Foto van Jeroen J.A. Keiren

Bekijk Scopus-profiel

Jeroen J.A. Keiren

dr.ir.

 https://orcid.org/0000-0002-5772-9527
  • 398
    Citaties
20072025

Onderzoeksresultaten per jaar

Zoekresultaten

  • 2010

    Structural analysis of Boolean equation systems

    Keiren, J. J. A., Reniers, M. A. & Willemse, T. A. C., 2010, s.n. (arXiv.org [cs.LO]; vol. 1002.3222)

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    9 Downloads (Pure)
  • 2009

    Bisimulation minimisations for Boolean equation systems

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    Open Access
    Bestand
    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). blz. 251-254

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

    Open Access
    Bestand
    80 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. (uitgave). Berlin: Springer, blz. 119-133 (Lecture Notes in Computer Science; vol. 5100).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Hoofdstuk › Academic

    8 Citaten (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). blz. 5-1/10

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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. (uitgave). blz. 52-66

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review