Jeroen J.A. Keiren

View Scopus Profile

Jeroen J.A. Keiren

dr.ir.

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

Content available in repository

Filter
Chapter

Search results

  • 2024

    It’s All a Game: Apartness and Bisimilarity

    Keiren, J. J. A. & Willemse, T. A. C., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 150-167 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).

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

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