Catalin Dima

Identifiers

• name variant Catalin Dima 0.60 · backfill

Papers (5)

1. Weighing Timed Regular Languages: The Final Step (long version) cs.FL · 2026 · author #3
2. Model Checking ATL* on vCGS cs.LO · 2019 · author #2
3. Safraless Synthesis for Epistemic Temporal Specifications cs.LO · 2014 · author #2
4. Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics cs.GT · 2013 · author #2
5. Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable cs.LO · 2011 · author #1

Mentions

• 2606.11003 #3 · arxiv_oai · confidence 0.70 Catalin Dima
• 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
• Aldric Degorre 1 shared papers
• Bernardo Jacobo Incl\'an 1 shared papers
• Constantin Enea 1 shared papers
• Emmanuel Filiot 1 shared papers
• Eugene Asarin 1 shared papers
• Ferucio Laurentiu Tiplea 1 shared papers
• Francesco Belardinelli 1 shared papers
• Ioana Boureanu 1 shared papers
• Vadim Malvone 1 shared papers