Centrum Wiskunde & Informatica

Model-checking agent refinement In Proceedings

F.S. de Boer (Frank) and L. Astefanoaei (Lacramioara)

January 2008
A Deductive Proof System for Multithreaded Java with Exceptions Article

Fundamenta Informaticae, 82(4)

F.S. de Boer (Frank), E. Abraham (Erika), W.P. de Roever and M. Steffen

January 2008
A Verification Framework for Normative Multi-Agent Systems In Proceedings

F.S. de Boer (Frank), L. Astefanoaei (Lacramioara), M. Dastani and J.-J.C. Meyer (John-Jules)

January 2008
Biosimulation in drug development Book

F.J. Bruggeman (Frank), H.M. Härdin (Hanna), J.H. van Schuppen (Jan) and H.V. Westerhoff (Hans)

January 2008
Vertical systems biology: from DNA to flux and back Book Chapter

A. Bevilacqua, S.J. Wilkinson, R. Dimelow, E. Murabito, S. Rehman, M. Nardelli, K. van Eunen, S. Rossell, F.J. Bruggeman (Frank), N. Bluethgen, et al. J. Bouwman, H.V. Westerhoff (Hans)

January 2008
Fronts in Fermi-Pasta-Ulam chains Tech Report

M. Herrmann and J.D.M. Rademacher (Jens)

January 2008
Challenges for societal logistics Article

ERCIM News, 28-29.

R.D. van der Mei (Rob)

January 2008
A new tower over cubic finite fields Article

Moscow Mathematical Journal, 8(3), 401-418.

A. Bassa (Alp), A. Garcia and H. Stichtenoth

January 2008

Previous

Next