Concepedia
Statistics
Publications
20
Citations
496
H-Index
13
Active since
2001
Affiliations
Centrum Wiskunde & Informatica(Current)
University of Twente
Eindhoven University of Technology
Universität Innsbruck
Stefan Blom is an author at Centrum Wiskunde & Informatica specializing in computer science, computing, and computer engineering.
Publications per year
2001–2021
Distributed Branching Bisimulation Reduction of State Spaces
Stefan Blom, Simona Orzan · Electronic Notes in Theoretical Computer Science · 2003 · 62 citations · Full text
Computing, Computer Engineering, Computer Science +17
A distributed algorithm for strong bisimulation reduction of state spaces
Stefan Blom, Simona Orzan · International Journal on Software Tools for Technology Transfer · 2005 · 60 citations
Computing, Computer Engineering, Computer Science +14
Specification and verification of GPGPU programs
Stefan Blom, Marieke Huisman, Matej Mihelčić · Science of Computer Programming · 2014 · 52 citations · Full text
Computing, Computer Engineering, Computer Science +12
Skew confluence and the lambda calculus with letrec
Zena M. Ariola, Stefan Blom · Annals of Pure and Applied Logic · 2002 · 41 citations
Computing, Computer Science, Formal Methods +8
Distributed state space minimization
Stefan Blom, Simona Orzan · International Journal on Software Tools for Technology Transfer · 2005 · 41 citations
Computing, Computer Science, Distributed Systems +9
1–5 of 20