Jeroen J.A. Keiren

View Scopus Profile

Jeroen J.A. Keiren

dr.ir.

 https://orcid.org/0000-0002-5772-9527
  • 382
    Citations - based on content available in repository [source: Scopus]
20072025

Content available in repository

Search results

  • 2009

    Bisimulation minimisations for Boolean equation systems

    Keiren, J. & Willemse, T. A. C., 2009, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 0917)

    Research output: Book/Report › Report › Academic

    Open Access
    File
    163 Downloads (Pure)

  • Constructability of trip-lets

    Keiren, J. J. A., Walderveen, van, F. & Wolff, A., 2009, Abstracts 25th European Workshop on Computational Geometry (EuroCG'09, Brussels, Belgium, March 16-18, 2009). p. 251-254

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    79 Downloads (Pure)
  • 2008

    Designing case handling systems

    Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2008, Transactions on Petri Nets and Other Models of Concurrency I. Jensen, K., Aalst, van der, W. M. P. & Billington, J. (eds.). Berlin: Springer, p. 119-133 (Lecture Notes in Computer Science; vol. 5100).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    8 Citations (Scopus)
    1 Downloads (Pure)

  • The mCRL2 toolset

    Groote, J. F., Keiren, J. J. A., Mathijssen, A. H. J., Ploeger, B., Stappers, F. P. M., Tankink, C., Usenko, Y. S., Weerdenburg, van, M. J., Wesselink, J. W., Willemse, T. A. C. & Wulp, van der, J., 2008, Informal proceedings of the International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008, Paphos, Cyprus, July 8, 2008; co-located with ECOOP). p. 5-1/10

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    3 Downloads (Pure)
  • 2007

    Designing case handling systems

    Hee, van, K. M., Keiren, J., Post, R. D. J., Sidorova, N. & Werf, van der, J. M. E. M., 2007, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007) 25-26 June 2007, Siedlce, Poland. Moldt, D., Kordon, F., Hee, van, K. M., Colom, J. M. & Bastide, R. (eds.). p. 52-66

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review