Marieke Huisman

Computer Science

1. Programs 100%
2. Software 33%
3. Case Study 30%
4. Program Verification 28%
5. Models 26%
6. Annotation 26%
7. concurrent software 25%
8. Algorithms 23%
9. Software Verification 21%
10. Concurrent Program 18%
11. Concurrency 17%
12. Events 17%
13. Application 15%
14. Design 14%
15. Model Checking 14%
16. User 14%
17. Transformations 13%
18. Classes 13%
19. Formal Specification 13%
20. Formal Verification 13%
21. Control Flow 12%
22. Software Development 11%
23. Sequential Program 11%
24. Software Development Tool 11%
25. Data Structure 10%
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. Control 8%
37. Software Systems 7%
38. Synchronization 7%
39. Distributed Systems 7%
40. Program Specification 6%
41. Verification Process 6%
42. Compiler Directive 6%
43. Academia 6%
44. Evaluation 6%
45. Research Community 6%
46. Development Process 6%
47. Testing 6%
48. modeling language 6%
49. Process Algebra 6%
50. Embedded Systems 6%