Catalin Dima

Identifiers

• name variant Catalin Dima 0.60 · backfill

Papers (4)

1. Model Checking ATL* on vCGS cs.LO · 2019 · author #2
2. Safraless Synthesis for Epistemic Temporal Specifications cs.LO · 2014 · author #2
3. Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics cs.GT · 2013 · author #2
4. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable cs.LO · 2011 · author #1

Mentions

• 1405.0424 #2 · backfill · confidence 0.70 Catalin Dima
• 1310.6434 #2 · backfill · confidence 0.70 Catalin Dima
• 1102.4225 #1 · backfill · confidence 0.70 Catalin Dima

Frequent Coauthors

• Rodica Bozianu 2 shared papers
• Constantin Enea 1 shared papers
• Emmanuel Filiot 1 shared papers
• Ferucio Laurentiu Tiplea 1 shared papers
• Francesco Belardinelli 1 shared papers
• Ioana Boureanu 1 shared papers
• Vadim Malvone 1 shared papers