CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
A classification of weakly acyclic games In Proceedings
January 2012 -
Selfishness level of strategic games In Proceedings
January 2012 -
Distributed iterated elimination of strictly dominated strategies Article
Autonomous Agents and Multi-Agent Systems, 25(2), 395-418.S. A. Witzel (Andreas), K.R. Apt (Krzysztof) and J.A. Zvesper (Jonathan)
January 2012
-
Verification of object-oriented programs: A transformational approach Article
Journal of Computer and System Sciences, 78(3), 823-852.K.R. Apt (Krzysztof), F.S. de Boer (Frank), E.R. Olderog (Ernst-Rüdiger) and C.P.T. de Gouw (Stijn)
January 2012
-
Book review of 'A strange wilderness: The lives of the great mathematicians' by Amir D. Aczel Article
Nieuw Archief voor Wiskunde, 13(5), 138-138.January 2012 -
Book review of 'Logic: A brief course' by Daniele Mundici Article
Theory and Practice of Logic Programming, 12(3), 417-419.January 2012
-
Product-form results for two-queue networks with shared resources Article
Performance EvaluationW. van der Weij (Wemke), N.M. van Dijk and R.D. van der Mei (Rob)
January 2012 -
Two three pages papers Book Chapter
January 2012