Scholar
Catalin Dima
Google Scholar ID: 5vEwhHEAAAAJ
Professor of Computer Science, Université Paris-Est Créteil, France
model-checking
temporal logics
epistemic logics
timed automata
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
980
H-index
17
i10-index
26
Publications
20
Co-authors
0
Publications
2 items
Weighing Timed Regular Languages: The Final Step (long version)
2026
Cited
0
Weighing Obese Timed Languages
2025
Cited
0
