Cătălin Dima
Author
Alternate names C. Dima, Cǎtǎlin Dima, Cătălin Dima, Catalin Dima
Institution Université Paris-Est Créteil
Past institutions Université Paris-Est Créteil, Paris-Est Sup, Laboratoire d'Algorithmique, Complexité et Logique, Département d'Informatique, Université Paris Cité +5 more
ORCID: Yes
H-index: 13
I10-index: 19
Works count: 87
Citations count: 584
Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable
2011 · Cătălin Dima, Ferucio Laurenţiu Ţiplea · HAL (Le Centre pour la Communication Scientifique Directe)
Off-line real-time fault-tolerant scheduling
2002 · Cătălin Dima, Alain Girault, et al.
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
2011 · Dimitar P. Guelev, Cătălin Dima, et al. · Journal of Applied Non-Classical Logics