Volgen
Lars van den Haak
Lars van den Haak
PhD, Technical University Eindhoven
Geverifieerd e-mailadres voor tue.nl
Titel
Geciteerd door
Geciteerd door
Jaar
A linear parallel algorithm to compute bisimulation and relational coarsest partitions
J Martens, JF Groote, L van den Haak, P Hijma, A Wijs
Formal Aspects of Component Software: 17th International Conference, FACS …, 2021
92021
Formal methods for gpgpu programming: Is the demand met?
LB van den Haak, A Wijs, M van den Brand, M Huisman
International Conference on Integrated Formal Methods, 160-177, 2020
52020
Accelerating Nested Data Parallelism: Preserving Regularity
LB van den Haak, TL McDonell, GK Keller, IG de Wolff
European Conference on Parallel Processing, 426-442, 2020
32020
HaliVer: Deductive Verification and Scheduling Languages Join Forces
LB van den Haak, A Wijs, M Huisman, M van den Brand
International Conference on Tools and Algorithms for the Construction and …, 2024
2024
Linear parallel algorithms to compute strong and branching bisimilarity
J Martens, JF Groote, LB Haak, P Hijma, A Wijs
Software and Systems Modeling 22 (2), 521-545, 2023
2023
Accelerating Nested Data Parallelism: Preserving Regularity (master thesis)
LB van den Haak
Utrecht University, 2019
2019
The Origin of Hoag's Object
LB van den Haak
2016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7