Rémi Morvan

According to our database, Rémi Morvan authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Futures of Reactive Synthesis (Dagstuhl Seminar 23391).

Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan

Dagstuhl Reports, 2023

Separating Automatic Relations.

Pablo Barceló, Diego Figueira, Rémi Morvan

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries.

Diego Figueira, Rémi Morvan

Proceedings of the 26th International Conference on Database Theory, 2023

2022

First-order separation over countable ordinals.

Thomas Colcombet, Sam van Gool, Rémi Morvan

Proceedings of the Foundations of Software Science and Computation Structures, 2022

Universal Algorithms for Parity Games and Nested Fixpoints.

Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini

Proceedings of the Principles of Systems Design, 2022

2020

A symmetric attractor-decomposition lifting algorithm for parity games.

Marcin Jurdzinski, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini

CoRR, 2020

A Universal Attractor Decomposition Algorithm for Parity Games.

Marcin Jurdzinski, Rémi Morvan

CoRR, 2020

2019

Un comportement déterministe pour une dynamique des prix réaliste.

Philippe Mathieu, Rémi Morvan

Proceedings of the Systèmes Multi-Agents et simulation, 2019