Francois Laroussinie

Identifiers

• name variant Francois Laroussinie 0.60 · backfill

Papers (3)

1. From Quantified CTL to QBF cs.LO · 2019 · author #2
2. Model Checking Probabilistic Timed Automata with One or Two Clocks cs.LO · 2008 · author #2
3. On the Expressiveness and Complexity of ATL cs.LO · 2008 · author #1

Mentions

• 0809.0060 #2 · backfill · confidence 0.70 Francois Laroussinie
• 0804.2435 #1 · backfill · confidence 0.70 Francois Laroussinie

Frequent Coauthors

• Akash Hossain 1 shared papers
• Ghassan Oreiby 1 shared papers
• Jeremy Sproston 1 shared papers
• Marcin Jurdzinski 1 shared papers
• Nicolas Markey 1 shared papers