Centrum Wiskunde & Informatica

Strong types for relational databases In Proceedings

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

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

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

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
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
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
Generic ownership for generic java In Proceedings

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

January 2006
Formal Semantics and Analysis of Component Connectors in reo Article

Electronic Notes in Theoretical Computer Science, 83-99.

M.R. Mousavi, M. Sirjani (Marjan) and F. Arbab (Farhad)

January 2006
Components as coalgebras: The refinement dimension Article

Theoretical Computer Science, 276-294.

S. Meng and L.S. Barbosa

January 2006

Previous

Next