Rémi Morvan

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 12

Top Topics

Quantifier Elimination

Semantic Relations

Decomposition Algorithm

Top Venues

Publications

Rémi Morvan
The Algebras for Automatic Relations. CoRR (2024)
Pablo Barceló, Diego Figueira, Rémi Morvan
Separating Automatic Relations. CoRR (2023)
Pablo Barceló, Diego Figueira, Rémi Morvan
Separating Automatic Relations. MFCS (2023)
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). Dagstuhl Reports 13 (9) (2023)
Diego Figueira, Rémi Morvan
Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries. ICDT (2023)
Thomas Colcombet, Sam van Gool, Rémi Morvan
First-order separation over countable ordinals. CoRR (2022)
Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini
Universal Algorithms for Parity Games and Nested Fixpoints. Principles of Systems Design (2022)
Thomas Colcombet, Sam van Gool, Rémi Morvan
First-order separation over countable ordinals. FoSSaCS (2022)
Diego Figueira, Rémi Morvan
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries. CoRR (2022)
Marcin Jurdzinski, Rémi Morvan
A Universal Attractor Decomposition Algorithm for Parity Games. CoRR (2020)
Marcin Jurdzinski, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini
A symmetric attractor-decomposition lifting algorithm for parity games. CoRR (2020)
Philippe Mathieu, Rémi Morvan
Un comportement déterministe pour une dynamique des prix réaliste. JFSMA (2019)