Marc Ducobu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2013
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | LATA | Visibly Pushdown Automata: Universality and Inclusion via Antichains. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2013 | RV | Right-Universality of Visibly Pushdown Automata. | Vronique Bruyre, Marc Ducobu, Olivier Gauwin |
| 2011 | ATVA | Antichain-Based QBF Solving. | Thomas Brihaye, Vronique Bruyre, Laurent Doyen, Marc Ducobu, Jean-Franois Raskin |