20172018

Research output per year

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

Fingerprint Dive into the research topics where Jeroen Keiren is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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
  • 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