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. |