Jaco van de Pol

Computer Science

1. Timed Automaton 100%
2. Model Checking 77%
3. binary decision diagram 72%
4. Data Structure 66%
5. model checker 54%
6. Simulation Tool 54%
7. Type Inference 48%
8. Real Time Systems 42%
9. Automaton 40%
10. External Memory 40%
11. Software Engineering 36%
12. Liveness 36%
13. Algorithm Semi 36%
14. Synthesis Problem 36%
15. Case Study 33%
16. Time Compilation 30%
17. Critical Software 27%
18. Boolean Formula 27%
19. Liveness Property 24%
20. Type Systems 24%
21. Tool Implementation 24%
22. Programming Language 24%
23. Strongly Connected Component 21%
24. Mealy Machine 18%
25. Model Checking Algorithm 18%
26. Parallelism 18%
27. Artificial Intelligence 18%
28. Extended Version 18%
29. Graph Cut 18%
30. Bottom Strongly Connected Component 18%
31. Polymorphic Type 18%
32. Software Architecture 18%
33. Variable Length 18%
34. Process Model 18%
35. Universal Quantification 18%
36. Preprocessing Step 18%
37. Winning Strategy 18%
38. State Space 18%
39. Symbolic Computation 18%
40. Hybrid Approach 18%
41. Reactive System 16%
42. Graph Algorithms 15%
43. Cyber Physical Systems 15%
44. Variable Elimination 15%
45. Experimental Result 15%
46. Programming Pattern 15%
47. Main Memory 13%
48. Speed-up 13%
49. Physical Qubits 12%
50. Computation Time 11%