Research Group on the Foundations of Computer Science

Computer Science

1. Models 100%
2. Testing 77%
3. Software Product Line 70%
4. Transition System 40%
5. Algorithms 39%
6. Semantics 39%
7. Programs 36%
8. Intensive System 26%
9. Symbolic Execution 26%
10. Self-Adaptive System 26%
11. Contexts 24%
12. Software 23%
13. Timed Automaton 22%
14. Model Checking 22%
15. Application 21%
16. Events 21%
17. Detection 20%
18. model based testing 20%
19. Unification 19%
20. Concurrency 19%
21. Prioritization 18%
22. Automaton 17%
23. Domains 16%
24. Simulation 15%
25. formal modeling 14%
26. Modeling 13%
27. Case Study 13%
28. Structured Query Language 13%
29. Business Intelligence 13%
30. Food Traceability 13%
31. Mobile Device 13%
32. Coverage Criterion 12%
33. Design 12%
34. Evaluation 10%
35. Complexity 10%
36. Programming Language 9%
37. Formal Semantics 9%
38. modeling language 9%
39. Analysis Technique 9%
40. Functionality 9%
41. User 9%
42. Temporal Logic 9%
43. System Management 9%
44. Survey 9%
45. Oriented Service 8%
46. Mutation Operator 8%
47. Tuple Space 8%
48. Telephone Company 8%
49. Control 8%
50. Real Time Systems 8%
51. Resource Allocation 8%
52. Secondary School 8%
53. Decision-Making 8%
54. Communication Network 7%
55. Decision Support System 7%
56. Data Model 7%
57. Embedding 7%
58. Reasoning 7%
59. Academia 7%
60. Knowledge Management 7%
61. Computing 7%
62. Logic Programming 7%
63. Model Checking Problem 6%
64. Application Level 6%
65. Concurrent Program 6%
66. Open Source 6%
67. Configuration File 6%
68. Web Development 6%
69. Model-Driven Engineering 6%
70. Inference Model 6%
71. Unification Problem 6%
72. Quality Assurance 6%
73. Generative Adversarial Networks 6%
74. Printed Circuit Board 6%
75. Extract Information 6%
76. Open Source Community 6%
77. Structured Knowledge Base 6%
78. Support Student 6%
79. Random Decision Forest 6%
80. Customer Review 6%
81. Engineering Principle 6%
82. Modularization 6%
83. Human-Computer Interaction 6%
84. Product Quality 6%
85. Fuzzy Modeling 6%
86. Business Process Monitoring 6%
87. Similarity Search 6%
88. Message Passing 6%
89. Visualization System 6%
90. Human Computer Interaction 6%
91. Interaction Model 6%
92. Reactive System 6%
93. Sequence Diagram 6%
94. Structural Analysis 6%
95. Visualization Tool 6%
96. Big Data Analytics 6%
97. Ontology 6%
98. Validation 6%
99. Consensus Algorithm 6%
100. Average Consensus 6%