Marieke Huisman

Computer Science

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