| Logic, programming, and type systems | Lifetime | 1 | US 1 | 99.90 |
| semigroups and automata theory | Lifetime | 1 | US 1 | 99.57 |
| Formal Methods in Verification | Lifetime | 3 | US 2 | 99.89 |
| Logic, Reasoning, and Knowledge | Lifetime | 4 | US 2 | 99.81 |
| Hermeneutics and Narrative Identity | Lifetime | 31 | US 8 | 97.76 |
| Advanced Database Systems and Queries | Lifetime | 20 | US 18 | 99.72 |
| Health, Medicine and Society | Lifetime | 90 | US 9 | 97.28 |
| Data Management and Algorithms | Lifetime | 52 | US 28 | 99.51 |
| Aging, Elder Care, and Social Issues | Lifetime | 106 | US 17 | 96.75 |
| Semantic Web and Ontologies | Lifetime | 96 | US 44 | 99.24 |
| Computability, Logic, AI Algorithms | Lifetime | 30 | US 21 | 98.15 |
| Model-Driven Software Engineering Techniques | Lifetime | 67 | US 20 | 98.17 |
| Embedded Systems Design Techniques | Lifetime | 194 | US 105 | 98.68 |
| Software Testing and Debugging Techniques | Lifetime | 142 | US 69 | 98.52 |
| Algorithms and Data Compression | Lifetime | 217 | US 115 | 97.11 |
| Distributed systems and fault tolerance | Lifetime | 300 | US 184 | 97.89 |
| Constraint Satisfaction and Optimization | Lifetime | 75 | US 31 | 96.99 |
| Robotic Path Planning Algorithms | Lifetime | 746 | US 238 | 96.59 |
| Software Reliability and Analysis Research | Lifetime | 451 | US 145 | 96.34 |
| Advanced Algebra and Logic | Lifetime | 292 | US 71 | 95.40 |
| AI-based Problem Solving and Planning | Lifetime | 412 | US 207 | 93.03 |
| Machine Learning and Algorithms | Lifetime | 436 | US 221 | 91.84 |
| Bayesian Modeling and Causal Inference | Lifetime | 492 | US 193 | 91.25 |
| Complexity and Algorithms in Graphs | Lifetime | 824 | US 311 | 88.16 |
| Graph Theory and Algorithms | Lifetime | 593 | US 201 | 83.48 |
| Safety Systems Engineering in Autonomy | Lifetime | 429 | US 104 | 81.01 |
| Ethics and Social Impacts of AI | Lifetime | 959 | US 356 | 76.64 |
| Cybersecurity and Cyber Warfare Studies | Lifetime | 937 | US 344 | 51.95 |
| Formal Methods in Verification | 2021-2025 | 48 | US 12 | 94.99 |
| Logic, programming, and type systems | 2021-2025 | 46 | US 9 | 90.06 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 190 | US 11 | 67.96 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 451 | US 61 | 62.29 |
| semigroups and automata theory | 2021-2025 | 304 | US 30 | 58.48 |
| Bayesian Modeling and Causal Inference | 2021-2025 | 806 | US 134 | 35.74 |
| AI-based Problem Solving and Planning | 2021-2025 | 450 | US 123 | 33.38 |
