关注
Rémi Morvan
Rémi Morvan
在 u-bordeaux.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
42023
First-order separation over countable ordinals
T Colcombet, S van Gool, R Morvan
International Conference on Foundations of Software Science and Computation …, 2022
32022
Separating Automatic Relations
P Barceló, D Figueira, R Morvan
arXiv preprint arXiv:2305.08727, 2023
22023
A deterministic behaviour for realistic price dynamics
P Mathieu, R Morvan
Physica A: Statistical Mechanics and its Applications 525, 33-49, 2019
12019
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
系统目前无法执行此操作,请稍后再试。
文章 1–9