Emmanuel Filiot

129 papers A* 18A 4B 21C 3Journal 64Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Automata-Based Approach to Games with ω-Automatic Preferences. CoRR Véronique Bruyère, Emmanuel Filiot, Christophe Grandmont, Jean-François Raskin
2026	B	`conf`	Register-Bounded Synthesis from Constraint LTL. CSL Nino Dauvier, Emmanuel Filiot, Pierre-Alain Reynier
2025	A*	`conf`	Approximate Problems for Finite Transducers. ICALP Emmanuel Filiot, Ismaël Jecker, Khushraj Madnani, Saina Sunny
2025	J	`jnl`	Approximate Problems for Finite Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Khushraj Madnani, Saina Sunny
2025	J	`jnl`	Finite-valued Streaming String Transducers. TheoretiCS Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2025	J	`jnl`	LTL Reactive Synthesis with a Few Hints. J. Autom. Reason. Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
2025	B	`conf`	Lexicographic Transductions of Finite Words. MFCS Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2025	J	`jnl`	Lexicographic transductions of finite words. CoRR Emmanuel Filiot, Pierre-Alain Reynier, Nathan Lhote
2025	B	`conf`	Register Automata with Permutations. MFCS Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini, Nikos Tzevelekos
2024	A*	`conf`	Finite-valued Streaming String Transducers. LICS Emmanuel Filiot, Ismaël Jecker, Christof Löding, Anca Muscholl, Gabriele Puppis, Sarah Winter
2024	J	`jnl`	Finite-valued Streaming String Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Gabriele Puppis, Christof Löding, Anca Muscholl, Sarah Winter
2024	B	`conf`	Passive Learning of Regular Data Languages in Polynomial Time and Data. CONCUR Mrudula Balachander, Emmanuel Filiot, Raffaella Gentilini
2024	—	`conf`	SynthLearn: A Tool for Guided Reactive Synthesis. Taming the Infinities of Concurrency Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
2024	J	`jnl`	Synthesizing Computable Functions from Rational Specifications Over Infinite Words. Int. J. Found. Comput. Sci. Emmanuel Filiot, Sarah Winter
2023	A	`conf`	A Regular and Complete Notion of Delay for Streaming String Transducers. STACS Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2023	A*	`conf`	Deterministic Regular Functions of Infinite Words. ICALP Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
2023	J	`jnl`	Deterministic regular functions of infinite words. CoRR Olivier Carton, Gaëtan Douéneau-Tabot, Emmanuel Filiot, Sarah Winter
2023	—	`conf`	LTL Reactive Synthesis with a Few Hints. TACAS (2) Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
2023	J	`jnl`	LTL Reactive Synthesis with a Few Hints. CoRR Mrudula Balachander, Emmanuel Filiot, Jean-François Raskin
2023	J	`jnl`	Regular Transformations (Dagstuhl Seminar 23202). Dagstuhl Reports Rajeev Alur, Mikolaj Bojanczyk, Emmanuel Filiot, Anca Muscholl, Sarah Winter
2022	A*	`conf`	A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. ICALP Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2022	J	`jnl`	A Regular and Complete Notion of Delay for Streaming String Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2022	J	`jnl`	Church synthesis on register automata over linearly ordered data domains. Formal Methods Syst. Des. Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2022	J	`jnl`	Computability of Data-Word Transductions over Different Data Domains. Log. Methods Comput. Sci. Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2022	J	`jnl`	Synthesis of Computable Regular Functions of Infinite Words. Log. Methods Comput. Sci. Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2022	B	`conf`	Two-Player Boundedness Counter Games. CONCUR Emmanuel Filiot, Edwin Hamel-De le Court
2021	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2021	A	`conf`	Church Synthesis on Register Automata over Linearly Ordered Data Domains. STACS Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2021	J	`jnl`	Computability of Data-Word Transductions over Different Data Domains. CoRR Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier
2021	J	`jnl`	Copyful Streaming String Transducers. Fundam. Informaticae Emmanuel Filiot, Pierre-Alain Reynier
2021	J	`jnl`	Synthesis from Weighted Specifications with Partial Domains over Finite Words. CoRR Emmanuel Filiot, Christof Löding, Sarah Winter
2021	J	`jnl`	Synthesis of Data Word Transducers. Log. Methods Comput. Sci. Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2021	—	`conf`	Synthesizing Computable Functions from Rational Specifications over Infinite Words. FSTTCS Emmanuel Filiot, Sarah Winter
2021	J	`jnl`	Synthesizing Computable Functions from Rational Specifications over Infinite Words. CoRR Emmanuel Filiot, Sarah Winter
2021	J	`jnl`	Transducer Synthesis from Universal Register Automata in (N, >). CoRR Ayrat Khalimov, Emmanuel Filiot, Léo Exibard
2020	J	`jnl`	A Pattern Logic for Automata with Outputs. Int. J. Found. Comput. Sci. Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2020	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. CoRR Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2020	B	`conf`	On Computability of Data Word Functions Defined by Transducers. FoSSaCS Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2020	J	`jnl`	On Computability of Data Word Functions Defined by Transducers. CoRR Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2020	J	`jnl`	Register Games on Infinite Ordered Data Domains. CoRR Léo Exibard, Emmanuel Filiot, Ayrat Khalimov
2020	B	`conf`	Register Transducers Are Marble Transducers. MFCS Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin
2020	J	`jnl`	Register transducers are marble transducers. CoRR Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin
2020	—	`conf`	Synthesis from Weighted Specifications with Partial Domains over Finite Words. FSTTCS Emmanuel Filiot, Christof Löding, Sarah Winter
2020	B	`conf`	Synthesis of Computable Regular Functions of Infinite Words. CONCUR Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2020	A*	`conf`	The Adversarial Stackelberg Value in Quantitative Games. ICALP Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
2020	J	`jnl`	The Adversarial Stackelberg Value in Quantitative Games. CoRR Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
2020	B	`conf`	Weighted Transducers for Robustness Verification. CONCUR Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
2019	J	`jnl`	Decidable weighted expressions with Presburger combinators. J. Comput. Syst. Sci. Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2019	J	`jnl`	Deciding the Computability of Regular Functions over Infinite Words. CoRR Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote
2019	J	`jnl`	Logical and Algebraic Characterizations of Rational Transductions. Log. Methods Comput. Sci. Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2019	J	`jnl`	Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
2019	—	`ed.`	Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings RP Emmanuel Filiot, Raphaël M. Jungers, Igor Potapov
2019	J	`jnl`	Streamability of nested word transductions. Log. Methods Comput. Sci. Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2019	B	`conf`	Synthesis of Data Word Transducers. CONCUR Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2019	J	`jnl`	Synthesis of Data Word Transducers. CoRR Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier
2019	J	`jnl`	The Complexity of Transducer Synthesis from Multi-Sequential Specifications. CoRR Léo Exibard, Emmanuel Filiot, Ismaël Jecker
2019	B	`conf`	Two-Way Parikh Automata with a Visibly Pushdown Stack. FoSSaCS Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot
2019	—	`conf`	Two-Way Parikh Automata. FSTTCS Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
2019	J	`jnl`	Two-way Parikh Automata. CoRR Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
2018	C	`conf`	A Pattern Logic for Automata with Outputs. DLT Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2018	J	`jnl`	A Pattern Logic for Automata with Outputs. CoRR Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2018	J	`jnl`	Decision problems of tree transducers with origin. Inf. Comput. Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
2018	A*	`conf`	Logics for Word Transductions with Synthesis. LICS Luc Dartois, Emmanuel Filiot, Nathan Lhote
2018	J	`jnl`	Multi-Sequential Word Relations. Int. J. Found. Comput. Sci. Ismaël Jecker, Emmanuel Filiot
2018	—	`conf`	On Canonical Models for Rational Functions over Infinite Words. FSTTCS Emmanuel Filiot, Olivier Gauwin, Nathan Lhote, Anca Muscholl
2018	A*	`conf`	Rational Synthesis Under Imperfect Information. LICS Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
2018	B	`conf`	The Complexity of Transducer Synthesis from Multi-Sequential Specifications. MFCS Léo Exibard, Emmanuel Filiot, Ismaël Jecker
2018	J	`jnl`	Visibly pushdown transducers. J. Comput. Syst. Sci. Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2017	—	`conf`	Copyful Streaming String Transducers. RP Emmanuel Filiot, Pierre-Alain Reynier
2017	J	`jnl`	Decidable Logics for Transductions and Data Words. CoRR Luc Dartois, Emmanuel Filiot, Nathan Lhote
2017	B	`conf`	Decidable Weighted Expressions with Presburger Combinators. FCT Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2017	J	`jnl`	Decidable Weighted Expressions with Presburger Combinators. CoRR Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2017	J	`jnl`	Doomsday equilibria for omega-regular games. Inf. Comput. Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2017	J	`jnl`	Formal Methods of Transformations (Dagstuhl Seminar 17142). Dagstuhl Reports Emmanuel Filiot, Sebastian Maneth, Helmut Seidl
2017	J	`jnl`	Logical and Algebraic Characterizations of Rational Transductions. CoRR Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2017	J	`jnl`	Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. Inf. Comput. Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
2017	J	`jnl`	On Delay and Regret Determinization of Max-Plus Automata. CoRR Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
2017	A*	`conf`	On delay and regret determinization of max-plus automata. LICS Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez, Jean-François Raskin
2017	J	`jnl`	Streamability of nested word transductions. CoRR Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2016	—	`conf`	Aperiodicity of Rational Functions Is PSPACE-Complete. FSTTCS Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2016	A*	`conf`	First-order definability of rational transductions: An algebraic approach. LICS Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
2016	A*	`conf`	On Equivalence and Uniformisation Problems for Finite Transducers. ICALP Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2016	J	`jnl`	On Equivalence and Uniformisation Problems for Finite Transducers. CoRR Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
2016	A*	`conf`	The Complexity of Rational Synthesis. ICALP Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
2016	J	`jnl`	Transducers, logic and algebra for functions of finite words. ACM SIGLOG News Emmanuel Filiot, Pierre-Alain Reynier
2016	A*	`conf`	Two-Way Visibly Pushdown Automata and Transducers. LICS Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
2016	J	`jnl`	Two-Way Visibly Pushdown Automata and Transducers. CoRR Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
2015	—	`conf`	Decision Problems of Tree Transducers with Origin. ICALP (2) Emmanuel Filiot, Sebastian Maneth, Pierre-Alain Reynier, Jean-Marc Talbot
2015	—	`conf`	Logic-Automata Connections for Transformations. ICLA Emmanuel Filiot
2015	J	`jnl`	Multi-Sequential Word Relations. CoRR Ismaël Jecker, Emmanuel Filiot
2015	C	`conf`	Multi-sequential Word Relations. DLT Ismaël Jecker, Emmanuel Filiot
2015	J	`jnl`	Quantitative Languages Defined by Functional Automata Log. Methods Comput. Sci. Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
2014	B	`conf`	Doomsday Equilibria for Omega-Regular Games. VMCAI Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2014	—	`conf`	Expectations or Guarantees? I Want It All! A crossroad between games and MDPs. SR Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
2014	—	`conf`	Finite-Valued Weighted Automata. FSTTCS Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
2014	—	`conf`	First-order Definable String Transformations. FSTTCS Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
2014	J	`jnl`	First-order definable string transformations. CoRR Emmanuel Filiot, Shankara Narayanan Krishna, Ashutosh Trivedi
2014	A	`conf`	Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. STACS Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
2014	J	`jnl`	On Streaming String Transducers and HDT0L Systems. CoRR Emmanuel Filiot, Pierre-Alain Reynier
2014	A*	`conf`	Safraless Synthesis for Epistemic Temporal Specifications. CAV Rodica Bozianu, Catalin Dima, Emmanuel Filiot
2014	J	`jnl`	Safraless Synthesis for Epistemic Temporal Specifications. CoRR Rodica Bozianu, Catalin Dima, Emmanuel Filiot
2013	J	`jnl`	Doomsday Equilibria for Omega-Regular Games. CoRR Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin
2013	J	`jnl`	Exploiting structure in LTL synthesis. Int. J. Softw. Tools Technol. Transf. Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
2013	—	`conf`	Expressiveness of Visibly Pushdown Transducers. TTATT Mathieu Caralp, Emmanuel Filiot, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2013	J	`jnl`	From Two-Way to One-Way Finite State Transducers CoRR Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2013	A*	`conf`	From Two-Way to One-Way Finite State Transducers. LICS Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2013	J	`jnl`	Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. CoRR Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
2013	A	`conf`	Synthesis from LTL Specifications with Mean-Payoff Objectives. TACAS Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin
2012	A*	`conf`	Acacia+, a Tool for LTL Synthesis. CAV Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
2012	B	`conf`	Quantitative Languages Defined by Functional Automata. CONCUR Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
2012	A*	`conf`	Regular Transformations of Infinite Strings. LICS Rajeev Alur, Emmanuel Filiot, Ashutosh Trivedi
2012	J	`jnl`	Synthesis from LTL Specifications with Mean-Payoff Objectives CoRR Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Jean-François Raskin
2012	B	`conf`	Visibly Pushdown Transducers with Look-Ahead. SOFSEM Emmanuel Filiot, Frédéric Servais
2011	J	`jnl`	Antichains and compositional algorithms for LTL synthesis. Formal Methods Syst. Des. Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
2011	—	`conf`	Streamability of Nested Word Transductions. FSTTCS Emmanuel Filiot, Olivier Gauwin, Pierre-Alain Reynier, Frédéric Servais
2010	B	`conf`	Compositional Algorithms for LTL Synthesis. ATVA Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
2010	B	`conf`	Efficient Enumeration for Conjunctive Queries over X-underbar Structures. CSL Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin
2010	J	`jnl`	Iterated Regret Minimization in Game Graphs CoRR Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin
2010	B	`conf`	Iterated Regret Minimization in Game Graphs. MFCS Emmanuel Filiot, Tristan Le Gall, Jean-François Raskin
2010	J	`jnl`	On Functionality of Visibly Pushdown Transducers CoRR Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2010	B	`conf`	Properties of Visibly Pushdown Transducers. MFCS Emmanuel Filiot, Jean-François Raskin, Pierre-Alain Reynier, Frédéric Servais, Jean-Marc Talbot
2010	J	`jnl`	Tree Automata with Global Constraints. Int. J. Found. Comput. Sci. Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
2009	A*	`conf`	An Antichain Algorithm for LTL Realizability. CAV Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
2008	—	`—`	Logics for n-ary queries in trees. Emmanuel Filiot
2008	—	`conf`	Regular n-ary Queries in Trees and Variable Independence. IFIP TCS Emmanuel Filiot, Sophie Tison
2008	C	`conf`	Tree Automata with Global Constraints. Developments in Language Theory Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
2007	A*	`conf`	Polynomial time fragments of XPath with variables. PODS Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison
2007	B	`conf`	Satisfiability of a Spatial Logic with Tree Variables. CSL Emmanuel Filiot, Jean-Marc Talbot, Sophie Tison
2006	—	`conf`	Composing Monadic Queries in Trees. PLAN-X Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot, Sophie Tison