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

Identifiers

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

Papers (1)

1. Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions cs.LO · 2010 · author #1

Mentions

• 1006.1414 #1 · arxiv_oai · confidence 0.70 C\u{a}t\u{a}lin Dima (LACL
• 1006.1414 #1 · backfill · confidence 0.70 C\u{a}t\u{a}lin Dima (LACL

Frequent Coauthors

• Bulgarian Academy of Sciences) 1 shared papers
• CNRS UMR 7089 1 shared papers
• Constantin Enea (LIAFA 1 shared papers
• Dimitar Guelev (Section of Logic 1 shared papers
• Informatics 1 shared papers
• Institute of Mathematics 1 shared papers
• Universit\'e Paris Diderot - Paris 7) 1 shared papers
• Universit\'e Paris-Est Cr\'eteil) 1 shared papers