Accéder directement au contenu

Patrice Ossona de Mendez

4
Documents
Identifiants chercheurs

Présentation

Publications

779066

Model-Checking on Ordered Structures

 Patrice Ossona de Mendez , Kord Eickmeyer , Jan van Den Heuvel , Ken-Ichi Kawarabayashi , Stephan Kreutzer
ACM Transactions on Computational Logic, 2020, 21 (2), pp.1-28. ⟨10.1145/3360011⟩
Article dans une revue hal-02901295v1

First-Order Interpretations of Bounded Expansion Classes

 Patrice Ossona de Mendez , Jakub Gajarsky , Stephan Kreutzer , Jaroslav Nešetřil , Patrice Ossona De Mendez
ACM Transactions on Computational Logic, 2020, 21 (4), pp.1-41. ⟨10.1145/3382093⟩
Article dans une revue hal-02901296v1

Clustering Powers of Sparse Graphs

 Jaroslav Nešetřil , Patrice Ossona de Mendez , Michał Pilipczuk , Xuding Zhu
The Electronic Journal of Combinatorics, 2020, 27 (4), ⟨10.37236/9417⟩
Article dans une revue hal-03039313v1
Image document

Rankwidth meets stability

 Patrice Ossona de Mendez , Jaroslav Nešetřil , Michał Pilipczuk , Roman Rabinovich , Sebastian Siebertz
Symposium on Discrete Algorithms (SODA), Jan 2021, Alexandria, United States
Communication dans un congrès hal-03373553v1