Publication

Social Practices around Personal Videos using the Web In Proceedings

R.L. Guimarães (Rodrigo Laiola), P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), I. Kegel (Ian) and P. Ljungstrand

Multi-player Multi-issue Negotiation with Complete Information In Proceedings

M. Wu (Mengxiao), M.M. de Weerdt (Mathijs), J.A. La Poutré (Han), C. Yadati, Y.Q. Zhang (Yingqian (Jennie)) and C. Witteveen (Cees)

IFIP performance 2011 : 29th international symposium on computer performance, modeling, measurements and evaluation 2011: Amsterdam, 18-20 October 2011 Booklet

Modeling and Analysis of Biological Networks with Model Checking Book Chapter

D. Bosnacki, P.A.J. Hilbers, R.S. Mans and E.P. de Vink (Erik)

Discrete explorations of multicellular growth and morphogenesis Miscellaneous

R.M.H. Merks (Roeland)

Special boundedness properties in numerical initial value problems Article

W. Hundsdorfer (Willem), A. Mozartova (Anna) and M.N. Spijker

Buchi Automata for Modeling Component Connectors Article

M.M. Bonsangue (Marcello), D.G. Clarke (David) and M. Izadi (Mohammad)

Keynote - ICT.Open, Veldhoven, NL Lecture

D.C.A. Bulterman (Dick)