C\u{a}t\u{a}lin Dima
Identifiers
- name variant C\u{a}t\u{a}lin Dima 0.60 · backfill
Papers (2)
- The Expressive Power of Epistemic $\mu$-Calculus cs.LO · 2014 · author #1
- Model-checking an Epistemic \mu-calculus with Synchronous and Perfect Recall Semantics cs.LO · 2012 · author #2
Mentions
Frequent Coauthors
- Bastien Maubert 1 shared papers
- Constantin Enea 1 shared papers
- Rodica Bozianu 1 shared papers
- Sophie Pinchinat 1 shared papers