Centrum Wiskunde & Informatica

Universal coalgebra: a theory of systems Article

Theoretical Computer Science

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

January 2015
Weak Completeness of Coalgebraic Dynamic Logics In Proceedings

H.H. Hansen (Helle) and C.A. Kupke (Clemens)

January 2015
Cell-based modeling of cell-matrix interactions in angiogenesis In Proceedings

R.M.H. Merks (Roeland)

January 2015
Modelling competition between cancer cells and healthy cells Presentation

E. Vendel (Esmée)

January 2015
SGF-Quantales and their Groupoids In Proceedings

H.H. Hansen (Helle), C. Ossa, A. Palmigiano and R. Re

January 2015
In Silico Modeling of Stomatal Patterning Presentation

C.C. Antonovici (Claudiu-Cristi)

January 2015
Learning Optimal Policies in Markov Decision Processes with Value Function Discovery Article

ACM SIGMETRICS Performance Evaluation Review, 43(2), 7-9.

M. Onderwater (Martijn), S. Bhulai (Sandjai) and R.D. van der Mei (Rob)

January 2015
Being and Change: Reasoning About Invariance In Proceedings

F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

January 2015

Previous

Next