Chris Banks

Computer Science

1. Temporal Logic 100%
2. Process Algebra 80%
3. Case Study 80%
4. Cache Coherence 60%
5. Circadian Clock 40%
6. Memory Model 40%
7. Concurrent System 40%
8. Distributed Protocol 40%
9. Temporal Behavior 40%
10. Open Source 40%
11. Model Checking 33%
12. State Space 33%
13. Formal Verification 20%
14. Memory Consistency 20%
15. Weak Simulation 20%
16. Operational Model 20%
17. Simulation Relation 20%
18. Dynamic Programming 20%
19. Process Model 20%
20. Model Checking Problem 20%
21. Model Checking Algorithm 20%
22. Race Condition 20%
23. modeling language 20%
24. Continuous Process 20%
25. Software Model Checking 20%
26. Continuous Time 20%
27. model checker 20%
28. Enterprise Level 20%
29. Correctness 20%
30. Building-Blocks 20%
31. Agile Development 20%
32. Content Management 20%
33. Modular Architecture 20%
34. Development Cycle 20%
35. Open Source System 20%
36. Customisation 20%
37. Source Component 20%
38. Technology Project 20%
39. Educational Technology 20%
40. User Engagement 20%
41. Target Audience 20%
42. Iterative Development 20%
43. Stochastic Simulation 13%
44. Process State 13%
45. Efficient Computation 13%
46. External Process 13%
47. Checking Technique 13%
48. Trace Information 13%
49. Numerical Solution 13%