Computer Science – Data Structures and Algorithms
Scientist
Computer Science
Data Structures and Algorithms
Scientist
University of Twente
Boosting Multi-Core Reachability Performance with Shared Hash Tables
Confluence Reduction for Probabilistic Systems (extended version)
Distributed Branching Bisimulation Minimization by Inductive Signatures
Parallel Recursive State Compression for Free
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
No associations
LandOfFree
Jaco van de Pol does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Jaco van de Pol, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jaco van de Pol will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-25431