Computer Science

1. Rewriting Logic 100%
2. Case Study 52%
3. Business Process 46%
4. Business Process Model and Notation 42%
5. Annotation 41%
6. Execution Plan 38%
7. Reachability Analysis 35%
8. Synchronous Language 22%
9. Model Checking 22%
10. Formal Specification 21%
11. Decision Procedure 21%
12. Concurrent System 17%
13. Sufficient Completeness 16%
14. Statistical Model 16%
15. Operational Semantics 15%
16. State Space 15%
17. Constructors 15%
18. Theorem Proving 15%
19. Resource Allocation 14%
20. Formal Verification 14%
21. Execution Resource 13%
22. Interoperability 13%
23. Ground Confluence 13%
24. Theorem Prover 13%
25. Equality Predicate 13%
26. Proof Obligation 13%
27. Inductive Theorem 13%
28. Spectral Clustering 13%
29. Prediction Function 13%
30. Operating Systems 13%
31. Equational Theory 13%
32. Execution Time 13%
33. Inference System 10%
34. Specification Language 10%
35. Structural Property 10%
36. Link Prediction 10%
37. Eigenvalue 10%
38. Machine Learning 10%
39. Learning System 10%
40. Learning Algorithm 9%
41. Associativity 9%
42. Commutativity 9%
43. Formal Logic 9%
44. Data Type 9%
45. Formal Semantics 9%
46. Programming Language 8%
47. Deadlock Freedom 8%
48. Inductive Reasoning 8%
49. Bitcoin 7%
50. Analysis Technique 7%