CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Questions about Voting Rules, With Some Answers Book Chapter
January 2012
-
January 2012
-
Choosing products in social networks In Proceedings
January 2012 -
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