Publication

Analysing the BKE-security protocol with $\mu$CRL In Proceedings

S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), S. Mauw (Sjouke) and A. Serebrenik (Alexander)

A tutorial on coinductive stream calculus and signal flow graphs Article

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

A coinductive calculus of streams Article

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

Algebra, bitstreams, and circuits Book Chapter

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

Evolutionary algorithms for medical simulations -- a case study in minimally-invasive vascular interventions In Proceedings

P.A.N. Bosman (Peter) and T. Alderliesten (Tanja)

Composition of Negotiation Protocols for E-Commerce Applications In Proceedings

N.K. Diakov (Nikolay), Z.V. Zlatev and S. Pokraev

Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings

Exploiting gradient information in numerical multi-objective evolutionary optimization In Proceedings

P.A.N. Bosman (Peter) and E. de Jong (Edwin)