Centrum Wiskunde & Informatica

Proving language inclusion and equivalence by coinduction Tech Report

J.C. Rot (Jurriaan), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2015
Raimond: Quantitative Data Extraction from Twitter to Describe Events In Proceedings

T.H.J. Sellam (Thibault) and O. Alonso (Omar)

January 2015
Coalgebraic semantics of heavy-weighted automata Tech Report

M. Fortin (Marie), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)

January 2015
Enhanced coalgebraic bisimulation Tech Report

J.C. Rot (Jurriaan), F. Bonchi (Filippo), M.M. Bonsangue (Marcello), D. Pous (Damien), J.J.M.M. Rutten (Jan) and A.M. Silva (Alexandra)

January 2015
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
SGF-Quantales and their Groupoids In Proceedings

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

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

Previous

Next