Lars Grunske
Papers
2
Total Citations
23
H-Index
2
About
No biography available yet.
Research Focus
Artificial intelligence2 · 23 citations
Probabilistic logic2 · 23 citations
Computer science2 · 23 citations
Human–computer interaction1 · 18 citations
Data science1 · 18 citations
Context (archaeology)1 · 18 citations
Formal methods1 · 18 citations
Domain (mathematical analysis)1 · 18 citations
Avionics1 · 18 citations
Counterexample1 · 18 citations
Field (mathematics)1 · 18 citations
Formal verification1 · 18 citations
Key Achievements
2
H-Index
2
Papers
23
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
A systematic literature review on counterexample explanation
18 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Humboldt-Universität zu Berlin
Top Papers
- 1A systematic literature review on counterexample explanation18 citations · 2021
- 2Formal Synthesis of Uncertainty Reduction Controllers5 citations · 2024
Key Collaborators
Not generated yet