Publication

Strategy elimination in games with interaction structures In Proceedings

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

3D hybrid computations for streamer discharges and production of runaway electrons Article

C. Li (Chao), U. Ebert (Ute) and W. Hundsdorfer (Willem)

Dereuzebliksem verklaard News Broadcast

U. Ebert (Ute)

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

U. Ebert (Ute)

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)