Un comportement déterministe pour une dynamique des prix réaliste. - Philippe Mathieu; Rémi Morvan (JFSMA, 2019)

A Universal Attractor Decomposition Algorithm for Parity Games. - Marcin Jurdzinski; Rémi Morvan (CoRR, 2020)

A symmetric attractor-decomposition lifting algorithm for parity games. - Marcin Jurdzinski; Rémi Morvan; Pierre Ohlmann; K. S. Thejaswini (CoRR, 2020)

Universal Algorithms for Parity Games and Nested Fixpoints. - Marcin Jurdzinski; Rémi Morvan; K. S. Thejaswini (Principles of Systems Design, 2022)

First-order separation over countable ordinals. - Thomas Colcombet; Sam van Gool; Rémi Morvan (FoSSaCS, 2022)

Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries. - Diego Figueira; Rémi Morvan (ICDT, 2023)

Separating Automatic Relations. - Pablo Barceló; Diego Figueira; Rémi Morvan (MFCS, 2023)

The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). - Nathanaël Fijalkow; Bernd Finkbeiner; Guillermo A. Pérez 001; Elizabeth Polgreen; Rémi Morvan (Dagstuhl Reports, 2023)

The Algebras for Automatic Relations. - Rémi Morvan (CSL, 2025)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries. - Diego Figueira; Rémi Morvan (Log. Methods Comput. Sci., 2025)

Minimizing Conjunctive Regular Path Queries. - Diego Figueira; Rémi Morvan; Miguel Romero 001 (Proc. ACM Manag. Data, 2025)