Universal Algorithms for Parity Games and Nested Fixpoints M Jurdziński, R Morvan, KS Thejaswini Lecture Notes in Computer Science, 2022 | 23* | 2022 |
Approximation and semantic tree-width of conjunctive regular path queries D Figueira, R Morvan 26th International Conference on Database Theory (ICDT 2023), 2023 | 4 | 2023 |
First-order separation over countable ordinals T Colcombet, S van Gool, R Morvan International Conference on Foundations of Software Science and Computation …, 2022 | 3 | 2022 |
Separating Automatic Relations P Barceló, D Figueira, R Morvan arXiv preprint arXiv:2305.08727, 2023 | 2 | 2023 |
A deterministic behaviour for realistic price dynamics P Mathieu, R Morvan Physica A: Statistical Mechanics and its Applications 525, 33-49, 2019 | 1 | 2019 |
The Algebras for Automatic Relations R Morvan arXiv preprint arXiv:2404.15496, 2024 | | 2024 |
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391) N Fijalkow, B Finkbeiner, GA Pérez, E Polgreen, R Morvan Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2024 | | 2024 |
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries D Figueira, R Morvan arXiv preprint arXiv:2212.01679, 2022 | | 2022 |
First-order separation of transfinite regular languages R Morvan | | 2021 |