Scholar
Marie-Christine Jakobs
Google Scholar ID: LF7vijUAAAAJ
LMU München
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
440
H-index
12
i10-index
16
Publications
20
Co-authors
0
Publications
1 items
Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
2025
Cited
0
