Jan Heemstra
Orcid: 0009-0007-2025-5085
According to our database1,
Jan Heemstra
authored at least 2 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
GPUexplore<sup>sc prob</sup>: Markov Chain State Space Construction and Verification with GPUs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025
2024
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024