Rémi Morvan - RankMe

19 papers A 1B 3Journal 12Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Dichotomy Theorem for Automatic Structures. CoRR Antoine Cuvelier, Rémi Morvan
2025	J	`jnl`	Homomorphism Problems in Graph Databases and Automatic Structures. CoRR Rémi Morvan
2025	—	`—`	Homomorphism problems in graph databases and automatic structures. (Problèmes de morphismes sur les bases de données graphes et les structures automatiques). Rémi Morvan
2025	J	`jnl`	Minimizing Conjunctive Regular Path Queries. CoRR Diego Figueira, Rémi Morvan, Miguel Romero
2025	J	`jnl`	Minimizing Conjunctive Regular Path Queries. Proc. ACM Manag. Data Diego Figueira, Rémi Morvan, Miguel Romero
2025	J	`jnl`	Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries. Log. Methods Comput. Sci. Diego Figueira, Rémi Morvan
2025	B	`conf`	The Algebras for Automatic Relations. CSL Rémi Morvan
2024	J	`jnl`	The Algebras for Automatic Relations. CoRR Rémi Morvan
2023	A	`conf`	Approximation and Semantic Tree-Width of Conjunctive Regular Path Queries. ICDT Diego Figueira, Rémi Morvan
2023	B	`conf`	Separating Automatic Relations. MFCS Pablo Barceló, Diego Figueira, Rémi Morvan
2023	J	`jnl`	Separating Automatic Relations. CoRR Pablo Barceló, Diego Figueira, Rémi Morvan
2023	J	`jnl`	The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). Dagstuhl Reports Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, Rémi Morvan
2022	J	`jnl`	Approximation and Semantic Tree-width of Conjunctive Regular Path Queries. CoRR Diego Figueira, Rémi Morvan
2022	B	`conf`	First-order separation over countable ordinals. FoSSaCS Thomas Colcombet, Sam van Gool, Rémi Morvan
2022	J	`jnl`	First-order separation over countable ordinals. CoRR Thomas Colcombet, Sam van Gool, Rémi Morvan
2022	—	`conf`	Universal Algorithms for Parity Games and Nested Fixpoints. Principles of Systems Design Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini
2020	J	`jnl`	A Universal Attractor Decomposition Algorithm for Parity Games. CoRR Marcin Jurdzinski, Rémi Morvan
2020	J	`jnl`	A symmetric attractor-decomposition lifting algorithm for parity games. CoRR Marcin Jurdzinski, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini
2019	—	`conf`	Un comportement déterministe pour une dynamique des prix réaliste. JFSMA Philippe Mathieu, Rémi Morvan