Publication

Brzozowski's algorithm (co)algebraically. Book Chapter

F. Bonchi (Filippo), M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

On the final coalgebra of automatic sequences. Book Chapter

A proof of Moessner's theorem by coinduction. Article

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

Defining context-free power series coalgebraically. In Proceedings

M.M. Bonsangue (Marcello), J.J.M.M. Rutten (Jan) and J. Winter (Joost)

Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

Lumen formation during angiogenesis: An integrated computational model Presentation

S.E.M. Boas (Sonja)

Reconciling real and stochastic time: the need for probabilistic refinement Article

J. Markovski (Jasen), P.R. D'Argenio, J.C.M. Baeten (Jos) and E.P. de Vink (Erik)

Transactions on Computational Systems Biology XIV Book

I. Petre and E.P. de Vink (Erik)