Marc Ducobu

According to our database, Marc Ducobu authored at least 4 papers between 2011 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Right-Universality of Visibly Pushdown Automata.

Véronique Bruyère, Marc Ducobu, Olivier Gauwin

Proceedings of the Runtime Verification - 4th International Conference, 2013

Visibly Pushdown Automata: Universality and Inclusion via Antichains.

Véronique Bruyère, Marc Ducobu, Olivier Gauwin

Proceedings of the Language and Automata Theory and Applications, 2013

2012

Visibly pushdown automata on trees: universality and u-universality

Véronique Bruyère, Marc Ducobu, Olivier Gauwin

CoRR, 2012

2011

Antichain-Based QBF Solving.

Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2011