Centrum Wiskunde & Informatica

Generic ownership for generic java In Proceedings

A. Potanin, J. Noble, D.G. Clarke (David) and R. Biddle

January 2006
Prototyping 3APL in the Maude term rewriting language In Proceedings

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

January 2006
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
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

Previous

Next