Centrum Wiskunde & Informatica

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)

January 2011
Special boundedness properties in numerical initial value problems Article

BIT : Numerical Mathematics, 909-936.

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

January 2011
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)

January 2011
Conference on Probability Theory, Statistical Physics, and Applications under the auspices of the NYU Abu Dhabi Institute, January 16 - 20 2011, Abu Dhabi. Talk:" Sublinearity of the Travel-Time Variance for Dependent First-Passage Percolation" Lecture

J. van den Berg (Rob)

January 2011
Tamper-proof circuits: how to trade leakage for tamper-resilience In Proceedings

S. Faust, K.Z. Pietrzak (Krzysztof) and D. Venturi (Daniele)

January 2011
function for inhomogeneous point processes with applications, CFE'11 \& ERCIM'11, London, United Kingdom, December 17-19, 2011. Lecture

M.N.M. van Lieshout (Marie-Colette)

January 2011
Discrete explorations of multicellular growth and morphogenesis Miscellaneous

R.M.H. Merks (Roeland)

January 2011
Media Fragments URI 1.0 Standard

R. Troncy (Raphael), E. Mannens, S. Pfeiffer, D. van Deursen, M. Hausenblas, P. Jägenstedt, A.J. Jansen (Jack), Y. Lafon, C. Parker (Conrad) and T. Steiner

January 2011

Publication

Modeling and Analysis of Biological Networks with Model Checking Book Chapter

Special boundedness properties in numerical initial value problems Article

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

Conference on Probability Theory, Statistical Physics, and Applications under the auspices of the NYU Abu Dhabi Institute, January 16 - 20 2011, Abu Dhabi. Talk:" Sublinearity of the Travel-Time Variance for Dependent First-Passage Percolation" Lecture

Tamper-proof circuits: how to trade leakage for tamper-resilience In Proceedings

function for inhomogeneous point processes with applications, CFE'11 \& ERCIM'11, London, United Kingdom, December 17-19, 2011. Lecture

Discrete explorations of multicellular growth and morphogenesis Miscellaneous

Media Fragments URI 1.0 Standard

Address

CWI researchers

Questions or comments?

Publication

Modeling and Analysis of Biological Networks with Model Checking Book Chapter

Special boundedness properties in numerical initial value problems Article

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

Conference on Probability Theory, Statistical Physics, and Applications under the auspices of the NYU Abu Dhabi Institute, January 16 - 20 2011, Abu Dhabi. Talk:" Sublinearity of the Travel-Time Variance for Dependent First-Passage Percolation" Lecture

Tamper-proof circuits: how to trade leakage for tamper-resilience In Proceedings

function for inhomogeneous point processes with applications, CFE'11 \& ERCIM'11, London, United Kingdom, December 17-19, 2011. Lecture

Discrete explorations of multicellular growth and morphogenesis Miscellaneous

Media Fragments URI 1.0 Standard

Workflow

Workflow

Add Content