Publication

Special issue Logic for Information Security -- Editorial Article

P. Balbiani (Philippe), H. van Ditmarsch (Hans) and D.J.N. van Eijck (Jan)

Strategy elimination in games with interaction structures In Proceedings

S. A. Witzel (Andreas), K.R. Apt (Krzysztof) and J.A. Zvesper (Jonathan)

Kosmische bliksems, George van Hal, natuur-wetenschap&techniek (nwt), nr. 10/2009, p. 28-34. Magazine Article

U. Ebert (Ute)

XForms 1.1 Standard

J.M. Boyer and S. Pemberton (Steven)

Verification of Sequential and Concurrent Programs Book

K.R. Apt (Krzysztof), E.R. Olderog (Ernst-Rüdiger) and F.S. de Boer (Frank)

Aankondiging Open Dag WCW 10-10-2009 Other

Vallang: mutually recursive immutable data-types on the JVM Software

J.J. Vinju (Jurgen), P. Klint (Paul), R.M. Fuhrer (Robert), D. Landman (Davy), A.W. Lankamp (Arnold) and M.J. Steindorfer (Michael)

Modelling, Simulation, and Inferring Regulatory Networks Dissertation

M. Ashyraliyev (Maksat)