Centrum Wiskunde & Informatica

Ensō: interpretation and Composition of Executable Specification Languages Presentation

T. van der Storm (Tijs)

January 2012
The contributions of palaeontology to the study of developmental evolution and biases Unpublished

M.R. Sanchez-Villagra, S.S. Urdy (Severine), L.A.B. Wilson and J. Haug

January 2012
Building simulation models of developing plant organs using VirtualLeaf Book Chapter

R.M.H. Merks (Roeland) and M.A. Guravage (Michael)

January 2012
Convective tissue movements play a major role in avian endocardial morphogenesis Article

Developmental Biology

A. Aleksandrova, A. Czirok, A. Szabó (Andras), M.B. Filla, M.J. Hossainc, P.F. Whelan, R.D. Lansford and B.J. Rongish

January 2012
Connectors as designs: Modeling, refinement and test case generation. Article

Science of Computer Programming, 77(7-8)

F.S. de Boer (Frank)

January 2012
Invasion from a cell aggregate—the roles of active cell motion and mechanical equilibrium Article

Physical Biology

A. Szabó (Andras), K. Varga, T. Garay, B. Hegedus and A. Czirok

January 2012
Invited plenary lecture at the Milner Memorial Symposium, Edinburgh Lecture

J.J.M.M. Rutten (Jan)

January 2012
Near-Linear Unconditionally-Secure Multiparty Computation with a Dishonest Minority In Proceedings

E. Ben-Sasson, S. Fehr (Serge) and R. Ostrovsky

January 2012

Previous

Next