Skip to main navigation Skip to search Skip to main content
Jan Heemstra

View Scopus Profile

Jan Heemstra

 https://orcid.org/0009-0007-2025-5085
  • 3
    Citations - based on content available in repository [source: Scopus]
20252025

Content available in repository

Fingerprint

Dive into the research topics where Jan Heemstra is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 1 Chapter
  • 1 Conference contribution
  • 1 Preprint

  • Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking

    Heemstra, J., Martens, J. & Wijs, A., 28 Aug 2025, arXiv.org, 28 p.

    Research output: Working paper › Preprint › Professional

    Open Access
    File
    47 Downloads (Pure)

  • GPUexplorePROB: Markov Chain State Space Construction and Verification with GPUs

    Heemstra, J. & Wijs, A. (Corresponding author), 2025, Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part III. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 139-147 9 p. (Lecture Notes in Computer Science (LNCS); vol. 15698).

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

    Open Access
    File
    2   Link opens in a new tab Citations (Scopus)
    74 Downloads (Pure)

  • Towards End-to-End GPU Acceleration of PCTL Model Checking

    Heemstra, J., Osama, M. & Wijs, A. (Corresponding author), 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 314-337 24 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

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

    1   Link opens in a new tab Citation (Scopus)
    3 Downloads (Pure)