Author Info
Name
Affiliation
Papers
MICHAEL WEBER
Department of Software Engineering, CWI, Amsterdam, The Netherlands
11
Collaborators
Citations 
PageRank 
12
240
11.93
Referers 
Referees 
References 
308
275
190
Search Limit
100308
Title
Citations
PageRank
Year
Guard-Based Partial-Order Reduction.40.442013
Multi-core nested depth-first search220.832011
Multi-core LTSmin: marrying modularity and scalability251.182011
Parallel recursive state compression for free150.942011
Boosting multi-core reachability performance with shared hash tables441.862010
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings140.862010
LTSMIN: distributed and symbolic reachability652.292010
A Database Approach to Distributed State Space Generation130.982008
A Multi-Core Solver for Parity Games80.582008
Local Parallel Model Checking for the Alternation-Free µ-Calculus170.962002
Parallel Model Checking for the Alternation Free µ-Calculus131.022001