Back
  1. Home
  2. Profile of Marc Ducobu (UMONS)
Profil

Ducobu Marc

Main Referenced Co-authors
BRUYERE, Véronique  (3)
Gauwin, Olivier (2)
BRIHAYE, Thomas  (1)
Doyen, Laurent (1)
Raskin, Jean-François (1)
Main Referenced Unit & Research Centers
CREMMI - Modélisation mathématique et informatique (11)
Main Referenced Disciplines
Electrical & electronics engineering (11)

Publications (total 11)

The most cited

8 citations (Scopus®)

Bruyère, V., Ducobu, M., & Gauwin, O. (2013). Visibly Pushdown Automata: Universality and Inclusion via Antichains [Paper presentation]. Language and Automata Theory and Applications, Bilbao, Spain. https://hdl.handle.net/20.500.12907/7637

Ducobu, M. (2013). Antichains for QBF evaluation and VPA decision problems [Doctoral thesis, Université de Mons]. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/35806

Ducobu, M. (26 September 2013). Right-Universality of Visibly Pushdown Automata [Paper presentation]. Runtime Verification, Rennes, France.

Ducobu, M. (04 April 2013). Visibly Pushdown Automata: Universality and Inclusion via Antichains [Paper presentation]. 7th International Conference on Language and Automata Theory and Applications (LATA 2013), Bilbao, Spain.

Bruyère, V., Ducobu, M., & Gauwin, O. (2013). Visibly Pushdown Automata: Universality and Inclusion via Antichains [Paper presentation]. Language and Automata Theory and Applications, Bilbao, Spain.

Ducobu, M. (24 September 2012). Visibly pushdown automata on trees: universality and u-universality [Paper presentation]. CFV seminar, Bruxelles, Belgium.

Ducobu, M. (12 September 2012). Visibly pushdown automata on trees: universality and u-universality [Paper presentation]. Mons Days of Theoretical Computer Science, Louvain-la-Neuve, Belgium.

Bruyère, V., Ducobu, M., & Gauwin, O. (2012). Visibly pushdown automata on trees: universality and u-universality. ORBi UMONS-University of Mons. https://orbi.umons.ac.be/handle/20.500.12907/27348.

Brihaye, T., Bruyère, V., Doyen, L., Ducobu, M., & Raskin, J.-F. (2011). Antichain-Based QBF Solving [Paper presentation]. Automated Technology for Verification and Analysis, Taipei, Taiwan.

Ducobu, M. (05 April 2011). Antichain-based QBF Solving [Paper presentation]. Déjeuners Informatiques de l'UMONS, UMONS, Belgium.

Ducobu, M. (22 March 2011). Antichain-based QBF solving [Poster presentation]. Matinée des chercheurs, UMONS, Belgium.

Ducobu, M. (11 February 2011). Antichain-based QBF solving [Paper presentation]. CFV seminar, Bruxelles, Belgium.

Contact ORBi UMONS