20172018

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2018

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., Aug 2018, In : Acta Informatica. 55, 5, p. 401-444 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
2017

An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 23 Jun 2017, In : Acm Transactions on Computational Logic. 18, 2, 13.

Research output: Contribution to journalArticleAcademicpeer-review

Corrections to "A Menagerie of Timed Automata"

Keiren, J. J. A., Fontana, P. & Cleaveland, R., Oct 2017, In : Acm Computing Surveys. 50, 3, p. 1-8 8 p., 42.

Research output: Contribution to journalArticleAcademicpeer-review

Games for Bisimulations and Abstraction

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 28 Nov 2017, In : Logical Methods in Computer Science. 13, 4, 40 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access