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

Research Output

Filter
Article
2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 Sep 2019, In : arXiv. 27 p., 1909.10824.

Research output: Contribution to journalArticleAcademic

Open Access
File
5 Downloads (Pure)
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
File
2 Citations (Scopus)
23 Downloads (Pure)
2017

An O(mlog n) algorithm for computing stuttering equivalence and branching bisimulation

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

Research output: Contribution to journalArticleAcademicpeer-review

18 Citations (Scopus)
4 Downloads (Pure)

Games for bisimulations and abstraction

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

Research output: Contribution to journalArticleAcademic

Open Access
File
2 Citations (Scopus)
22 Downloads (Pure)
2016

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., 21 Mar 2016, In : arXiv. 1603.06422v1, 52 p.

Research output: Contribution to journalArticleAcademic

File
13 Downloads (Pure)
2013

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Hwong, Y. L., Keiren, J. J. A., Kusters, V. J. J., Leemans, S. J. J. & Willemse, T. A. C., 2013, In : Science of Computer Programming. 78, 12, p. 2435-2452 18 p.

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
1 Downloads (Pure)
2012

Structural analysis of Boolean equation systems

Keiren, J. J. A., Reniers, M. A. & Willemse, T. A. C., 2012, In : ACM Transactions on Computational Logic. 13, 1, p. 8-1/35 8.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)
2011

Experiences in developing the mCRL2 toolset

Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W. & Willemse, T. A. C., 2011, In : Software : Practice and Experience. 41, 2, p. 143-153

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)