Marieke Huisman

Computer Science

1. Programs 100%
2. Program Verification 34%
3. Software 33%
4. Case Study 30%
5. concurrent software 27%
6. Models 26%
7. Annotation 26%
8. Algorithms 23%
9. Software Verification 21%
10. Concurrent Program 18%
11. Concurrency 17%
12. Events 17%
13. Application 15%
14. Data Structure 14%
15. Design 14%
16. Model Checking 14%
17. User 14%
18. Transformations 13%
19. Classes 13%
20. Formal Specification 13%
21. Formal Verification 13%
22. Control Flow 12%
23. Software Development 11%
24. Sequential Program 11%
25. Software Development Tool 11%
26. Procedures 10%
27. Postcondition 10%
28. Shared Memories 9%
29. Semantics 9%
30. Reasoning 8%
31. Graphics Processing Unit 8%
32. Threaded Program 8%
33. runtime verification 8%
34. Industrial Application 8%
35. Survey 8%
36. Parallel Program 8%
37. Control 8%
38. Software Systems 7%
39. Synchronization 7%
40. Distributed Systems 7%
41. Program Specification 6%
42. Verification Process 6%
43. Compiler Directive 6%
44. Academia 6%
45. Evaluation 6%
46. Research Community 6%
47. Development Process 6%
48. Testing 6%
49. modeling language 6%
50. Process Algebra 6%