Publication

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)

A Mathematical Programming Approach to Marker-Assisted Gene Pyramiding In Proceedings

S. Canzar (Stefan) and M. El-Kebir (Mohammed)

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

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)

Optimal Mixing Evolutionary Algorithms In Proceedings

D. Thierens (Dirk) and P.A.N. Bosman (Peter)

Discrete explorations of multicellular growth and morphogenesis Miscellaneous

R.M.H. Merks (Roeland)

Representation of Power Series over Word Algebras In Proceedings

U. Faigle and A. Schönhuth (Alexander)