Statistics
Publications
8
Citations
240
H-Index
8
Active since
2010
Affiliations
University of Twente(Current)
Alfons Laarman is an author at University of Twente specializing in computer science, computing, and computer engineering.
Publications per year
2010–2023
8
8
Guard-based partial-order reduction
Alfons Laarman, Elwin Pater, Jaco van de Pol et al. · International Journal on Software Tools for Technology Transfer · 2014 · 31 citations · Full text
Multi-core on-the-fly SCC decomposition
Vincent Bloemen, Alfons Laarman, Jaco van de Pol · 2016 · 30 citations · Full text
1–5 of 8