Sophie Pinchinat

Identifiers

• name variant Sophie Pinchinat 0.60 · backfill

Papers (9)

1. The Packed Interval Covering Problem is NP-complete cs.CC · 2019 · author #3
2. Reachability Games in Dynamic Epistemic Logic cs.LO · 2019 · author #2
3. Is my attack tree correct? Extended version cs.CR · 2017 · author #2
4. Unifying Hyper and Epistemic Temporal Logic cs.LO · 2014 · author #3
5. The Expressive Power of Epistemic $\mu$-Calculus cs.LO · 2014 · author #3
6. Automata Techniques for Epistemic Protocol Synthesis cs.LO · 2014 · author #3
7. Specifying Robustness cs.LO · 2013 · author #4
8. The Complexity of Synthesizing Uniform Strategies cs.GT · 2013 · author #2
9. Refinement Modal Logic cs.LO · 2012 · author #5

Mentions

• 1409.2711 #3 · backfill · confidence 0.70 Sophie Pinchinat
• 1407.5166 #3 · backfill · confidence 0.70 Sophie Pinchinat
• 1404.0844 #3 · backfill · confidence 0.70 Sophie Pinchinat
• 1309.4416 #4 · backfill · confidence 0.70 Sophie Pinchinat
• 1303.0798 #2 · backfill · confidence 0.70 Sophie Pinchinat
• 1202.3538 #5 · backfill · confidence 0.70 Sophie Pinchinat

Frequent Coauthors

• Bastien Maubert 5 shared papers
• Laura Bozzelli 3 shared papers
• Fran\c{c}ois Schwarzentruber 2 shared papers
• Tim French 2 shared papers
• Abdallah Saffidine 1 shared papers
• Barbara Kordy 1 shared papers
• C\u{a}t\u{a}lin Dima 1 shared papers
• Guillaume Aucher 1 shared papers
• Hans van Ditmarsch 1 shared papers
• James Hales 1 shared papers
• John C. McCabe-Dansted 1 shared papers
• Mark Reynolds 1 shared papers
• Maxime Audinot 1 shared papers
• S\'ebastien L\^e Cong 1 shared papers