Marc Ducobu

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Multiresolution

Top Venues

Publications

Véronique Bruyère, Marc Ducobu, Olivier Gauwin
Right-Universality of Visibly Pushdown Automata. RV (2013)
Véronique Bruyère, Marc Ducobu, Olivier Gauwin
Visibly Pushdown Automata: Universality and Inclusion via Antichains. LATA (2013)
Véronique Bruyère, Marc Ducobu, Olivier Gauwin
Visibly pushdown automata on trees: universality and u-universality CoRR (2012)
Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin
Antichain-Based QBF Solving. ATVA (2011)