university website Publications by Year
  • sign in
  • Home

CWI Institutional Repository

Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
  • Goal-oriented modularity in agent programming In Proceedings

    M.B. van Riemsdijk, M. Dastani, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

    January 2006
  • Semantics of plan revision in intelligent agents Article

    Theoretical Computer Science, 240-257.

    M.B. van Riemsdijk, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

    January 2006
  • Algebraic specification and coalgebraic synthesis of Mealy automata In Proceedings

    J.J.M.M. Rutten (Jan)

    January 2006
  • Strong types for relational databases In Proceedings

    A.M. Silva (Alexandra) and J.M.W. Visser (Joost)

    January 2006
  • File op de e-snelweg stremt innovatie Magazine Article

    R.D. van der Mei (Rob)

    January 2006
  • Compositional Semantics of an Actor-Based Language Using constraint automata In Proceedings

    M. Sirjani (Marjan), M.M. Jaghoori (Mohammad Mahdi), C. Baier and F. Arbab (Farhad)

    January 2006
  • Using XML Transformations for Enterprise Architectures In Proceedings

    A. Stam, J.F. Jacob (Joost), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and L.W.N. van der Torre (Leon)

    January 2006
  • Formal Methods for Components and Objects Book

    F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

    January 2006
Previous
Next
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close