CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Supervisor synthesis based on abstractions of nondeterministic automata In Proceedings
R. Su (Rong), J.H. van Schuppen (Jan) and J.E. Rooda (Jacobus)
January 2008
-
Of Mechanism Design and Multiagent Planning In Proceedings
R.P.J. van der Krogt, M.M. de Weerdt (Mathijs) and Y.Q. Zhang (Yingqian (Jennie))
January 2008 -
Bit-Interleaved Coded Modulation Revisited: A Mismatched Decoding Perspective In Proceedings
A. Martinez (Alfonso), A. Guillén i Fàbregas, G. Caire and F.M.J. Willems
January 2008 -
Algorithmic information theory Book Chapter
January 2008 -
Reo Connectors as Coordination Artifacts in 2APL Systems In Proceedings
F.S. de Boer (Frank), F. Arbab (Farhad), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008 -
A Verification Framework for Normative Multi-Agent Systems In Proceedings
F.S. de Boer (Frank), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)
January 2008 -
A Deductive Proof System for Multithreaded Java with Exceptions Article
Fundamenta Informaticae, 82(4)F.S. de Boer (Frank), E. Abraham (Erika), W.P. de Roever and M. Steffen
January 2008 -
Model-checking agent refinement In Proceedings
January 2008