Emmanuel Filiot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
48
Venues
15
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
48 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Register-Bounded Synthesis from Constraint LTL. | Nino Dauvier, Emmanuel Filiot, Pierre-Alain Reynier |
| 2025 | ICALP | Approximate Problems for Finite Transducers. | Emmanuel Filiot, Ismal Jecker, Khushraj Madnani, Saina Sunny |
| 2025 | MFCS | Register Automata with Permutations. | Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini, Nikos Tzevelekos |
| 2025 | MFCS | Lexicographic Transductions of Finite Words. | Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier |
| 2024 | CONCUR | Passive Learning of Regular Data Languages in Polynomial Time and Data. | Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini |
| 2024 | LICS | Finite-valued Streaming String Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Anca Muscholl, Gabriele Puppis, Sarah Winter |
| 2023 | ICALP | Deterministic Regular Functions of Infinite Words. | Olivier Carton, Gatan Douneau-Tabot, Emmanuel Filiot, Sarah Winter |
| 2023 | STACS | A Regular and Complete Notion of Delay for Streaming String Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Sarah Winter |
| 2023 | TACAS | LTL Reactive Synthesis with a Few Hints. | Mrudula Balachander, Emmanuel Filiot, Jean-Franois Raskin |
| 2022 | CONCUR | Two-Player Boundedness Counter Games. | Emmanuel Filiot, Edwin Hamel-De le Court |
| 2022 | ICALP | A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. | Lo Exibard, Emmanuel Filiot, Ayrat Khalimov |
| 2021 | STACS | Church Synthesis on Register Automata over Linearly Ordered Data Domains. | Lo Exibard, Emmanuel Filiot, Ayrat Khalimov |
| 2020 | CONCUR | Synthesis of Computable Regular Functions of Infinite Words. | Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote |
| 2020 | CONCUR | Weighted Transducers for Robustness Verification. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2020 | FOSSACS | On Computability of Data Word Functions Defined by Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2020 | ICALP | The Adversarial Stackelberg Value in Quantitative Games. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2020 | MFCS | Register Transducers Are Marble Transducers. | Gatan Douneau-Tabot, Emmanuel Filiot, Paul Gastin |
| 2019 | CONCUR | Synthesis of Data Word Transducers. | Lo Exibard, Emmanuel Filiot, Pierre-Alain Reynier |
| 2019 | FOSSACS | Two-Way Parikh Automata with a Visibly Pushdown Stack. | Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot |
| 2018 | DLT | A Pattern Logic for Automata with Outputs. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin |
| 2018 | LICS | Logics for Word Transductions with Synthesis. | Luc Dartois, Emmanuel Filiot, Nathan Lhote |
| 2018 | LICS | Rational Synthesis Under Imperfect Information. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2018 | MFCS | The Complexity of Transducer Synthesis from Multi-Sequential Specifications. | Lo Exibard, Emmanuel Filiot, Ismal Jecker |
| 2017 | FCT | Decidable Weighted Expressions with Presburger Combinators. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin |
| 2017 | LICS | On delay and regret determinization of max-plus automata. | Emmanuel Filiot, Ismal Jecker, Nathan Lhote, Guillermo A. Prez, Jean-Franois Raskin |
| 2016 | ICALP | The Complexity of Rational Synthesis. | Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2016 | ICALP | On Equivalence and Uniformisation Problems for Finite Transducers. | Emmanuel Filiot, Ismal Jecker, Christof Lding, Sarah Winter |
| 2016 | LICS | Two-Way Visibly Pushdown Automata and Transducers. | Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2016 | LICS | First-order definability of rational transductions: An algebraic approach. | Emmanuel Filiot, Olivier Gauwin, Nathan Lhote |
| 2015 | DLT | Multi-sequential Word Relations. | Ismal Jecker, Emmanuel Filiot |
| 2015 | ICALP | Decision Problems of Tree Transducers with Origin. | Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot |
| 2014 | CAV | Safraless Synthesis for Epistemic Temporal Specifications. | Rodica Bozianu, Catalin Dima, Emmanuel Filiot |
| 2014 | STACS | Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. | Vronique Bruyre, Emmanuel Filiot, Mickael Randour, Jean-Franois Raskin |
| 2014 | VMCAI | Doomsday Equilibria for Omega-Regular Games. | Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-Franois Raskin |
| 2013 | LICS | From Two-Way to One-Way Finite State Transducers. | Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frdric Servais |
| 2013 | TACAS | Synthesis from LTL Specifications with Mean-Payoff Objectives. | Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Jean-Franois Raskin |
| 2012 | CAV | Acacia+, a Tool for LTL Synthesis. | Aaron Bohy, Vronique Bruyre, Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2012 | CONCUR | Quantitative Languages Defined by Functional Automata. | Emmanuel Filiot, Raffaella Gentilini, Jean-Franois Raskin |
| 2012 | LICS | Regular Transformations of Infinite Strings. | Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi |
| 2012 | SOFSEM | Visibly Pushdown Transducers with Look-Ahead. | Emmanuel Filiot, Frdric Servais |
| 2010 | ATVA | Compositional Algorithms for LTL Synthesis. | Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2010 | CSL | Efficient Enumeration for Conjunctive Queries over X-underbar Structures. | Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin |
| 2010 | MFCS | Iterated Regret Minimization in Game Graphs. | Emmanuel Filiot, Tristan Le Gall, Jean-Franois Raskin |
| 2010 | MFCS | Properties of Visibly Pushdown Transducers. | Emmanuel Filiot, Jean-Franois Raskin, Pierre-Alain Reynier, Frdric Servais, Jean-Marc Talbot |
| 2009 | CAV | An Antichain Algorithm for LTL Realizability. | Emmanuel Filiot, Naiyong Jin, Jean-Franois Raskin |
| 2008 | DLT | Tree Automata with Global Constraints. | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
| 2007 | CSL | Satisfiability of a Spatial Logic with Tree Variables. | Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison |
| 2007 | PODS | Polynomial time fragments of XPath with variables. | Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison |