Rodica Bozianu

Identifiers

• name variant Rodica Bozianu 0.60 · backfill

Papers (3)

1. Safraless Synthesis for Epistemic Temporal Specifications cs.LO · 2014 · author #1
2. Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics cs.GT · 2013 · author #1
3. Model-checking an Epistemic \mu-calculus with Synchronous and Perfect Recall Semantics cs.LO · 2012 · author #1

Mentions

• 1405.0424 #1 · backfill · confidence 0.70 Rodica Bozianu
• 1310.6434 #1 · backfill · confidence 0.70 Rodica Bozianu
• 1204.2087 #1 · backfill · confidence 0.70 Rodica Bozianu

Frequent Coauthors

• Catalin Dima 2 shared papers
• Constantin Enea 2 shared papers
• C\u{a}t\u{a}lin Dima 1 shared papers
• Emmanuel Filiot 1 shared papers