C\u{a}t\u{a}lin Dima

Identifiers

• name variant C\u{a}t\u{a}lin Dima 0.60 · backfill

Papers (2)

1. The Expressive Power of Epistemic $\mu$-Calculus cs.LO · 2014 · author #1
2. Model-checking an Epistemic \mu-calculus with Synchronous and Perfect Recall Semantics cs.LO · 2012 · author #2

Mentions

• 1407.5166 #1 · backfill · confidence 0.70 C\u{a}t\u{a}lin Dima
• 1204.2087 #2 · backfill · confidence 0.70 C\u{a}t\u{a}lin Dima

Frequent Coauthors

• Bastien Maubert 1 shared papers
• Constantin Enea 1 shared papers
• Rodica Bozianu 1 shared papers
• Sophie Pinchinat 1 shared papers