Centrum Wiskunde & Informatica

On the Semantics and Verification of Normative Multi-Agent Systems Article

Journal of Universal Computer Science, 15(13), 2629-2652.

L. Astefanoaei (Lacramioara), F.S. de Boer (Frank), M. Dastani and J.-J.C. Meyer (John-Jules)

January 2009
A Qualitative Vickrey Auction In Proceedings

B.P. Harrenstein, M.M. de Weerdt (Mathijs) and V. Conitzer (Vincent)

January 2009
Rascal: A domain specific language for source code analysis and manipulation In Proceedings

P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)

January 2009
The Merit of Agents in Freight Transport Book Chapter

T. Máhr, J. Srour, M.M. de Weerdt (Mathijs) and R.A. Zuidwijk

January 2009
Introduction to Planning in Multiagent Systems Article

Multiagent and Grid Systems, 5(4), 345-355.

M.M. de Weerdt (Mathijs) and B.J. Clement

January 2009
Hardness and Algorithms for Rainbow Connectivity In Proceedings

S. Chakraborty (Sourav), E. Fischer, A. Matsliah (Arie) and R. Yuster

January 2009
Coalgebraic Symbolic Semantics In Proceedings

F. Bonchi (Filippo) and U. Montanari

January 2009
Coalgebraic Reasoning in Coq: Bisimulation and the lambda-Coiteration Scheme In Proceedings

M. Niqui (Milad)

January 2009

Previous

Next