CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO In Proceedings
H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan), F.A.G. Sietsma (Floor), S.E. Simon (Sunil) and not CWI et al
January 2012
-
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages In Proceedings
January 2012
-
A One-Stop Shop for Software Evolution Tool Construction Article
ERCIM News, 11-12.M.A. Hills (Mark), P. Klint (Paul), T. van der Storm (Tijs) and J.J. Vinju (Jurgen)
January 2012
-
Composition methods, Maxwell's equations, and source terms Article
SIAM Journal on Numerical Analysis, 50(2), 439-457.January 2012
-
Questions about Voting Rules, With Some Answers In Proceedings
January 2012
-
Reo + mCRL2: A Framework for Model-Checking Dataflow in Service Compositions Article
Formal Aspects of Computing, 187-216.N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)
January 2012
-
On the Logic of Lying Book Chapter
H. van Ditmarsch (Hans), D.J.N. van Eijck (Jan) and F.A.G. Sietsma (Floor)
January 2012
-
Towards Role Detection in Virtual Worlds Article
ACM Computers in EntertainmentJanuary 2012