Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Emmanuel Filiot
@article{DBLP:journals/ijfcs/FiliotW24,
author = {Emmanuel Filiot and
Sarah Winter},
title = {Synthesizing Computable Functions from Rational Specifications Over
Infinite Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {35},
number = {1{\&}2},
pages = {179--214},
year = {2024},
url = {https://doi.org/10.1142/S012905412348009X},
doi = {10.1142/S012905412348009X},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FiliotW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CartonDFW23,
author = {Olivier Carton and
Ga{\"{e}}tan Dou{\'{e}}neau{-}Tabot and
Emmanuel Filiot and
Sarah Winter},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Deterministic Regular Functions of Infinite Words},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {121:1--121:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.121},
doi = {10.4230/LIPICS.ICALP.2023.121},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CartonDFW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FiliotJLW23,
author = {Emmanuel Filiot and
Isma{\"{e}}l Jecker and
Christof L{\"{o}}ding and
Sarah Winter},
editor = {Petra Berenbrink and
Patricia Bouyer and
Anuj Dawar and
Mamadou Moustapha Kant{\'{e}}},
title = {A Regular and Complete Notion of Delay for Streaming String Transducers},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2023, March 7-9, 2023, Hamburg, Germany},
series = {LIPIcs},
volume = {254},
pages = {32:1--32:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.STACS.2023.32},
doi = {10.4230/LIPICS.STACS.2023.32},
timestamp = {Fri, 03 Mar 2023 12:10:30 +0100},
biburl = {https://dblp.org/rec/conf/stacs/FiliotJLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BalachanderFR23,
author = {Mrudula Balachander and
Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {{LTL} Reactive Synthesis with a Few Hints},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {309--328},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_20},
doi = {10.1007/978-3-031-30820-8\_20},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BalachanderFR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10485,
author = {Mrudula Balachander and
Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin},
title = {{LTL} Reactive Synthesis with a Few Hints},
journal = {CoRR},
volume = {abs/2301.10485},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.10485},
doi = {10.48550/ARXIV.2301.10485},
eprinttype = {arXiv},
eprint = {2301.10485},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-10485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-06672,
author = {Olivier Carton and
Ga{\"{e}}tan Dou{\'{e}}neau{-}Tabot and
Emmanuel Filiot and
Sarah Winter},
title = {Deterministic regular functions of infinite words},
journal = {CoRR},
volume = {abs/2302.06672},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.06672},
doi = {10.48550/ARXIV.2302.06672},
eprinttype = {arXiv},
eprint = {2302.06672},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-06672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AlurBFMW23,
author = {Rajeev Alur and
Mikolaj Bojanczyk and
Emmanuel Filiot and
Anca Muscholl and
Sarah Winter},
title = {Regular Transformations (Dagstuhl Seminar 23202)},
journal = {Dagstuhl Reports},
volume = {13},
number = {5},
pages = {96--113},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.5.96},
doi = {10.4230/DAGREP.13.5.96},
timestamp = {Thu, 14 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AlurBFMW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ExibardFK22,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Ayrat Khalimov},
title = {Church synthesis on register automata over linearly ordered data domains},
journal = {Formal Methods Syst. Des.},
volume = {61},
number = {2},
pages = {290--337},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00435-w},
doi = {10.1007/S10703-023-00435-W},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ExibardFK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DaveFKL22,
author = {Vrunda Dave and
Emmanuel Filiot and
Shankara Narayanan Krishna and
Nathan Lhote},
title = {Synthesis of Computable Regular Functions of Infinite Words},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {2},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(2:23)2022},
doi = {10.46298/LMCS-18(2:23)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DaveFKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ExibardFLR22,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Nathan Lhote and
Pierre{-}Alain Reynier},
title = {Computability of Data-Word Transductions over Different Data Domains},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(3:9)2022},
doi = {10.46298/LMCS-18(3:9)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/ExibardFLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FiliotC22,
author = {Emmanuel Filiot and
Edwin Hamel{-}De le Court},
editor = {Bartek Klin and
Slawomir Lasota and
Anca Muscholl},
title = {Two-Player Boundedness Counter Games},
booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022,
September 12-16, 2022, Warsaw, Poland},
series = {LIPIcs},
volume = {243},
pages = {21:1--21:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.21},
doi = {10.4230/LIPICS.CONCUR.2022.21},
timestamp = {Mon, 26 Sep 2022 16:25:34 +0200},
biburl = {https://dblp.org/rec/conf/concur/FiliotC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ExibardF022,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Ayrat Khalimov},
editor = {Mikolaj Bojanczyk and
Emanuela Merelli and
David P. Woodruff},
title = {A Generic Solution to Register-Bounded Synthesis with an Application
to Discrete Orders},
booktitle = {49th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2022, July 4-8, 2022, Paris, France},
series = {LIPIcs},
volume = {229},
pages = {122:1--122:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.122},
doi = {10.4230/LIPICS.ICALP.2022.122},
timestamp = {Tue, 28 Jun 2022 15:52:51 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ExibardF022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04287,
author = {Emmanuel Filiot and
Isma{\"{e}}l Jecker and
Christof L{\"{o}}ding and
Sarah Winter},
title = {A Regular and Complete Notion of Delay for Streaming String Transducers},
journal = {CoRR},
volume = {abs/2205.04287},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04287},
doi = {10.48550/ARXIV.2205.04287},
eprinttype = {arXiv},
eprint = {2205.04287},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FiliotR21,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Copyful Streaming String Transducers},
journal = {Fundam. Informaticae},
volume = {178},
number = {1-2},
pages = {59--76},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-1998},
doi = {10.3233/FI-2021-1998},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/FiliotR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ExibardFR21,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Synthesis of Data Word Transducers},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7279},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ExibardFR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BerthonFFGMMPPR21,
author = {Rapha{\"{e}}l Berthon and
Nathana{\"{e}}l Fijalkow and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Sophie Pinchinat and
Sasha Rubin and
Olivier Serre},
title = {Alternating Tree Automata with Qualitative Semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {1},
pages = {7:1--7:24},
year = {2021},
url = {https://doi.org/10.1145/3431860},
doi = {10.1145/3431860},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BerthonFFGMMPPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotW21,
author = {Emmanuel Filiot and
Sarah Winter},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Synthesizing Computable Functions from Rational Specifications over
Infinite Words},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {43:1--43:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.43},
doi = {10.4230/LIPICS.FSTTCS.2021.43},
timestamp = {Tue, 30 Nov 2021 13:59:34 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/ExibardFK21,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Ayrat Khalimov},
editor = {Markus Bl{\"{a}}ser and
Benjamin Monmege},
title = {Church Synthesis on Register Automata over Linearly Ordered Data Domains},
booktitle = {38th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2021, March 16-19, 2021, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {187},
pages = {28:1--28:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.STACS.2021.28},
doi = {10.4230/LIPICS.STACS.2021.28},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/ExibardFK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-07038,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Nathan Lhote and
Pierre{-}Alain Reynier},
title = {Computability of Data-Word Transductions over Different Data Domains},
journal = {CoRR},
volume = {abs/2101.07038},
year = {2021},
url = {https://arxiv.org/abs/2101.07038},
eprinttype = {arXiv},
eprint = {2101.07038},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05550,
author = {Emmanuel Filiot and
Christof L{\"{o}}ding and
Sarah Winter},
title = {Synthesis from Weighted Specifications with Partial Domains over Finite
Words},
journal = {CoRR},
volume = {abs/2103.05550},
year = {2021},
url = {https://arxiv.org/abs/2103.05550},
eprinttype = {arXiv},
eprint = {2103.05550},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05550.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-05674,
author = {Emmanuel Filiot and
Sarah Winter},
title = {Synthesizing Computable Functions from Rational Specifications over
Infinite Words},
journal = {CoRR},
volume = {abs/2103.05674},
year = {2021},
url = {https://arxiv.org/abs/2103.05674},
eprinttype = {arXiv},
eprint = {2103.05674},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-05674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-09978,
author = {Ayrat Khalimov and
Emmanuel Filiot and
L{\'{e}}o Exibard},
title = {Transducer Synthesis from Universal Register Automata in (N, {\textgreater})},
journal = {CoRR},
volume = {abs/2105.09978},
year = {2021},
url = {https://arxiv.org/abs/2105.09978},
eprinttype = {arXiv},
eprint = {2105.09978},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-09978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FiliotMR20,
author = {Emmanuel Filiot and
Nicolas Mazzocchi and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A Pattern Logic for Automata with Outputs},
journal = {Int. J. Found. Comput. Sci.},
volume = {31},
number = {6},
pages = {711--748},
year = {2020},
url = {https://doi.org/10.1142/S0129054120410038},
doi = {10.1142/S0129054120410038},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/FiliotMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FiliotMR0020,
author = {Emmanuel Filiot and
Nicolas Mazzocchi and
Jean{-}Fran{\c{c}}ois Raskin and
Sriram Sankaranarayanan and
Ashutosh Trivedi},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Weighted Transducers for Robustness Verification},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {17:1--17:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.17},
doi = {10.4230/LIPICS.CONCUR.2020.17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/FiliotMR0020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DaveFKL20,
author = {Vrunda Dave and
Emmanuel Filiot and
Shankara Narayanan Krishna and
Nathan Lhote},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Synthesis of Computable Regular Functions of Infinite Words},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {43:1--43:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.43},
doi = {10.4230/LIPICS.CONCUR.2020.43},
timestamp = {Thu, 27 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DaveFKL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ExibardFR20,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {On Computability of Data Word Functions Defined by Transducers},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {217--236},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_12},
doi = {10.1007/978-3-030-45231-5\_12},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ExibardFR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotLW20,
author = {Emmanuel Filiot and
Christof L{\"{o}}ding and
Sarah Winter},
editor = {Nitin Saxena and
Sunil Simon},
title = {Synthesis from Weighted Specifications with Partial Domains over Finite
Words},
booktitle = {40th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2020, December 14-18, 2020,
{BITS} Pilani, {K} {K} Birla Goa Campus, Goa, India (Virtual Conference)},
series = {LIPIcs},
volume = {182},
pages = {46:1--46:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2020.46},
doi = {10.4230/LIPICS.FSTTCS.2020.46},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FiliotGR20,
author = {Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {The Adversarial Stackelberg Value in Quantitative Games},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {127:1--127:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.127},
doi = {10.4230/LIPICS.ICALP.2020.127},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/icalp/FiliotGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Doueneau-TabotF20,
author = {Ga{\"{e}}tan Dou{\'{e}}neau{-}Tabot and
Emmanuel Filiot and
Paul Gastin},
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {Register Transducers Are Marble Transducers},
booktitle = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
pages = {29:1--29:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.29},
doi = {10.4230/LIPICS.MFCS.2020.29},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Doueneau-TabotF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03664,
author = {Rapha{\"{e}}l Berthon and
Nathana{\"{e}}l Fijalkow and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Sophie Pinchinat and
Sasha Rubin and
Olivier Serre},
title = {Alternating Tree Automata with Qualitative Semantics},
journal = {CoRR},
volume = {abs/2002.03664},
year = {2020},
url = {https://arxiv.org/abs/2002.03664},
eprinttype = {arXiv},
eprint = {2002.03664},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08203,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {On Computability of Data Word Functions Defined by Transducers},
journal = {CoRR},
volume = {abs/2002.08203},
year = {2020},
url = {https://arxiv.org/abs/2002.08203},
eprinttype = {arXiv},
eprint = {2002.08203},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12141,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Ayrat Khalimov},
title = {Register Games on Infinite Ordered Data Domains},
journal = {CoRR},
volume = {abs/2004.12141},
year = {2020},
url = {https://arxiv.org/abs/2004.12141},
eprinttype = {arXiv},
eprint = {2004.12141},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12141.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12918,
author = {Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
title = {The Adversarial Stackelberg Value in Quantitative Games},
journal = {CoRR},
volume = {abs/2004.12918},
year = {2020},
url = {https://arxiv.org/abs/2004.12918},
eprinttype = {arXiv},
eprint = {2004.12918},
timestamp = {Wed, 29 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01342,
author = {Ga{\"{e}}tan Dou{\'{e}}neau{-}Tabot and
Emmanuel Filiot and
Paul Gastin},
title = {Register transducers are marble transducers},
journal = {CoRR},
volume = {abs/2005.01342},
year = {2020},
url = {https://arxiv.org/abs/2005.01342},
eprinttype = {arXiv},
eprint = {2005.01342},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FiliotMR19,
author = {Emmanuel Filiot and
Nicolas Mazzocchi and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Decidable weighted expressions with Presburger combinators},
journal = {J. Comput. Syst. Sci.},
volume = {106},
pages = {1--22},
year = {2019},
url = {https://doi.org/10.1016/j.jcss.2019.05.005},
doi = {10.1016/J.JCSS.2019.05.005},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FiliotMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FiliotGRS19,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {Streamability of nested word transductions},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(2:1)2019},
doi = {10.23638/LMCS-15(2:1)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/FiliotGRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/FiliotGL19,
author = {Emmanuel Filiot and
Olivier Gauwin and
Nathan Lhote},
title = {Logical and Algebraic Characterizations of Rational Transductions},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {4},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(4:16)2019},
doi = {10.23638/LMCS-15(4:16)2019},
timestamp = {Tue, 27 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/FiliotGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ExibardFR19,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
editor = {Wan J. Fokkink and
Rob van Glabbeek},
title = {Synthesis of Data Word Transducers},
booktitle = {30th International Conference on Concurrency Theory, {CONCUR} 2019,
August 27-30, 2019, Amsterdam, the Netherlands},
series = {LIPIcs},
volume = {140},
pages = {24:1--24:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.24},
doi = {10.4230/LIPICS.CONCUR.2019.24},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ExibardFR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DartoisFT19,
author = {Luc Dartois and
Emmanuel Filiot and
Jean{-}Marc Talbot},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Two-Way Parikh Automata with a Visibly Pushdown Stack},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {189--206},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_11},
doi = {10.1007/978-3-030-17127-8\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DartoisFT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotGM19,
author = {Emmanuel Filiot and
Shibashis Guha and
Nicolas Mazzocchi},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Two-Way Parikh Automata},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {40:1--40:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.40},
doi = {10.4230/LIPICS.FSTTCS.2019.40},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2019,
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3},
doi = {10.1007/978-3-030-30806-3},
isbn = {978-3-030-30805-6},
timestamp = {Mon, 09 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-04349,
author = {Rapha{\"{e}}l Berthon and
Emmanuel Filiot and
Shibashis Guha and
Bastien Maubert and
Aniello Murano and
Laureline Pinault and
Jean{-}Fran{\c{c}}ois Raskin and
Sasha Rubin},
title = {Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable},
journal = {CoRR},
volume = {abs/1901.04349},
year = {2019},
url = {http://arxiv.org/abs/1901.04349},
eprinttype = {arXiv},
eprint = {1901.04349},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-04349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-03538,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Synthesis of Data Word Transducers},
journal = {CoRR},
volume = {abs/1905.03538},
year = {2019},
url = {http://arxiv.org/abs/1905.03538},
eprinttype = {arXiv},
eprint = {1905.03538},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-03538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-03560,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Isma{\"{e}}l Jecker},
title = {The Complexity of Transducer Synthesis from Multi-Sequential Specifications},
journal = {CoRR},
volume = {abs/1905.03560},
year = {2019},
url = {http://arxiv.org/abs/1905.03560},
eprinttype = {arXiv},
eprint = {1905.03560},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-03560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04199,
author = {Vrunda Dave and
Emmanuel Filiot and
Shankara Narayanan Krishna and
Nathan Lhote},
title = {Deciding the Computability of Regular Functions over Infinite Words},
journal = {CoRR},
volume = {abs/1906.04199},
year = {2019},
url = {http://arxiv.org/abs/1906.04199},
eprinttype = {arXiv},
eprint = {1906.04199},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-09362,
author = {Emmanuel Filiot and
Shibashis Guha and
Nicolas Mazzocchi},
title = {Two-way Parikh Automata},
journal = {CoRR},
volume = {abs/1907.09362},
year = {2019},
url = {http://arxiv.org/abs/1907.09362},
eprinttype = {arXiv},
eprint = {1907.09362},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-09362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FiliotMRT18,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Decision problems of tree transducers with origin},
journal = {Inf. Comput.},
volume = {261},
pages = {311--335},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.02.011},
doi = {10.1016/J.IC.2018.02.011},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FiliotMRT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/JeckerF18,
author = {Isma{\"{e}}l Jecker and
Emmanuel Filiot},
title = {Multi-Sequential Word Relations},
journal = {Int. J. Found. Comput. Sci.},
volume = {29},
number = {2},
pages = {271--296},
year = {2018},
url = {https://doi.org/10.1142/S0129054118400075},
doi = {10.1142/S0129054118400075},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/JeckerF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FiliotRRST18,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
title = {Visibly pushdown transducers},
journal = {J. Comput. Syst. Sci.},
volume = {97},
pages = {147--181},
year = {2018},
url = {https://doi.org/10.1016/j.jcss.2018.05.002},
doi = {10.1016/J.JCSS.2018.05.002},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/FiliotRRST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FiliotMR18,
author = {Emmanuel Filiot and
Nicolas Mazzocchi and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Mizuho Hoshi and
Shinnosuke Seki},
title = {A Pattern Logic for Automata with Outputs},
booktitle = {Developments in Language Theory - 22nd International Conference, {DLT}
2018, Tokyo, Japan, September 10-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11088},
pages = {304--317},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98654-8\_25},
doi = {10.1007/978-3-319-98654-8\_25},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlt/FiliotMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotGLM18,
author = {Emmanuel Filiot and
Olivier Gauwin and
Nathan Lhote and
Anca Muscholl},
editor = {Sumit Ganguly and
Paritosh K. Pandya},
title = {On Canonical Models for Rational Functions over Infinite Words},
booktitle = {38th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2018, December 11-13, 2018,
Ahmedabad, India},
series = {LIPIcs},
volume = {122},
pages = {30:1--30:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.30},
doi = {10.4230/LIPICS.FSTTCS.2018.30},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotGLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DartoisFL18,
author = {Luc Dartois and
Emmanuel Filiot and
Nathan Lhote},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Logics for Word Transductions with Synthesis},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {295--304},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209181},
doi = {10.1145/3209108.3209181},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DartoisFL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiliotGR18,
author = {Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Rational Synthesis Under Imperfect Information},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {422--431},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209164},
doi = {10.1145/3209108.3209164},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FiliotGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ExibardFJ18,
author = {L{\'{e}}o Exibard and
Emmanuel Filiot and
Isma{\"{e}}l Jecker},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {The Complexity of Transducer Synthesis from Multi-Sequential Specifications},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {46:1--46:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.46},
doi = {10.4230/LIPICS.MFCS.2018.46},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ExibardFJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-03515,
author = {Emmanuel Filiot and
Nicolas Mazzocchi and
Jean{-}Fran{\c{c}}ois Raskin},
title = {A Pattern Logic for Automata with Outputs},
journal = {CoRR},
volume = {abs/1810.03515},
year = {2018},
url = {http://arxiv.org/abs/1810.03515},
eprinttype = {arXiv},
eprint = {1810.03515},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-03515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BruyereFRR17,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Emmanuel Filiot and
Mickael Randour and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Meet your expectations with guarantees: Beyond worst-case synthesis
in quantitative games},
journal = {Inf. Comput.},
volume = {254},
pages = {259--295},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.10.011},
doi = {10.1016/J.IC.2016.10.011},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BruyereFRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ChatterjeeDFR17,
author = {Krishnendu Chatterjee and
Laurent Doyen and
Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Doomsday equilibria for omega-regular games},
journal = {Inf. Comput.},
volume = {254},
pages = {296--315},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.10.012},
doi = {10.1016/J.IC.2016.10.012},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ChatterjeeDFR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FiliotMR17,
author = {Emmanuel Filiot and
Nicolas Mazzocchi and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Ralf Klasing and
Marc Zeitoun},
title = {Decidable Weighted Expressions with Presburger Combinators},
booktitle = {Fundamentals of Computation Theory - 21st International Symposium,
{FCT} 2017, Bordeaux, France, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10472},
pages = {243--256},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55751-8\_20},
doi = {10.1007/978-3-662-55751-8\_20},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fct/FiliotMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiliotJLPR17,
author = {Emmanuel Filiot and
Isma{\"{e}}l Jecker and
Nathan Lhote and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On delay and regret determinization of max-plus automata},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005096},
doi = {10.1109/LICS.2017.8005096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FiliotJLPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FiliotR17,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
editor = {Matthew Hague and
Igor Potapov},
title = {Copyful Streaming String Transducers},
booktitle = {Reachability Problems - 11th International Workshop, {RP} 2017, London,
UK, September 7-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10506},
pages = {75--86},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67089-8\_6},
doi = {10.1007/978-3-319-67089-8\_6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/FiliotR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotJLPR17,
author = {Emmanuel Filiot and
Isma{\"{e}}l Jecker and
Nathan Lhote and
Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {On Delay and Regret Determinization of Max-Plus Automata},
journal = {CoRR},
volume = {abs/1701.02903},
year = {2017},
url = {http://arxiv.org/abs/1701.02903},
eprinttype = {arXiv},
eprint = {1701.02903},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotJLPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DartoisFL17,
author = {Luc Dartois and
Emmanuel Filiot and
Nathan Lhote},
title = {Decidable Logics for Transductions and Data Words},
journal = {CoRR},
volume = {abs/1701.03670},
year = {2017},
url = {http://arxiv.org/abs/1701.03670},
eprinttype = {arXiv},
eprint = {1701.03670},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DartoisFL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotGL17,
author = {Emmanuel Filiot and
Olivier Gauwin and
Nathan Lhote},
title = {Logical and Algebraic Characterizations of Rational Transductions},
journal = {CoRR},
volume = {abs/1705.03726},
year = {2017},
url = {http://arxiv.org/abs/1705.03726},
eprinttype = {arXiv},
eprint = {1705.03726},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotMR17,
author = {Emmanuel Filiot and
Nicolas Mazzocchi and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Decidable Weighted Expressions with Presburger Combinators},
journal = {CoRR},
volume = {abs/1706.08855},
year = {2017},
url = {http://arxiv.org/abs/1706.08855},
eprinttype = {arXiv},
eprint = {1706.08855},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotGRS17,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {Streamability of nested word transductions},
journal = {CoRR},
volume = {abs/1707.00527},
year = {2017},
url = {http://arxiv.org/abs/1707.00527},
eprinttype = {arXiv},
eprint = {1707.00527},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotGRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FiliotMS17,
author = {Emmanuel Filiot and
Sebastian Maneth and
Helmut Seidl},
title = {Formal Methods of Transformations (Dagstuhl Seminar 17142)},
journal = {Dagstuhl Reports},
volume = {7},
number = {4},
pages = {23--37},
year = {2017},
url = {https://doi.org/10.4230/DagRep.7.4.23},
doi = {10.4230/DAGREP.7.4.23},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FiliotMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/FiliotR16,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {Transducers, logic and algebra for functions of finite words},
journal = {{ACM} {SIGLOG} News},
volume = {3},
number = {3},
pages = {4--19},
year = {2016},
url = {https://doi.org/10.1145/2984450.2984453},
doi = {10.1145/2984450.2984453},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/FiliotR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotGL16,
author = {Emmanuel Filiot and
Olivier Gauwin and
Nathan Lhote},
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {Aperiodicity of Rational Functions Is PSPACE-Complete},
booktitle = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
pages = {13:1--13:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.13},
doi = {10.4230/LIPICS.FSTTCS.2016.13},
timestamp = {Tue, 30 Nov 2021 13:29:05 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ConduracheFGR16,
author = {Rodica Condurache and
Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {The Complexity of Rational Synthesis},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {121:1--121:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.121},
doi = {10.4230/LIPICS.ICALP.2016.121},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ConduracheFGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FiliotJLW16,
author = {Emmanuel Filiot and
Isma{\"{e}}l Jecker and
Christof L{\"{o}}ding and
Sarah Winter},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {On Equivalence and Uniformisation Problems for Finite Transducers},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {125:1--125:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.125},
doi = {10.4230/LIPICS.ICALP.2016.125},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FiliotJLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DartoisFRT16,
author = {Luc Dartois and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Two-Way Visibly Pushdown Automata and Transducers},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {217--226},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935315},
doi = {10.1145/2933575.2935315},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DartoisFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiliotGL16,
author = {Emmanuel Filiot and
Olivier Gauwin and
Nathan Lhote},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {First-order definability of rational transductions: An algebraic approach},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {387--396},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934520},
doi = {10.1145/2933575.2934520},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FiliotGL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotJLW16,
author = {Emmanuel Filiot and
Isma{\"{e}}l Jecker and
Christof L{\"{o}}ding and
Sarah Winter},
title = {On Equivalence and Uniformisation Problems for Finite Transducers},
journal = {CoRR},
volume = {abs/1602.08565},
year = {2016},
url = {http://arxiv.org/abs/1602.08565},
eprinttype = {arXiv},
eprint = {1602.08565},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotJLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DartoisFRT16,
author = {Luc Dartois and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
title = {Two-Way Visibly Pushdown Automata and Transducers},
journal = {CoRR},
volume = {abs/1606.00234},
year = {2016},
url = {http://arxiv.org/abs/1606.00234},
eprinttype = {arXiv},
eprint = {1606.00234},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DartoisFRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0862,
author = {Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Quantitative Languages Defined by Functional Automata},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:14)2015},
doi = {10.2168/LMCS-11(3:14)2015},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0862.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/JeckerF15,
author = {Isma{\"{e}}l Jecker and
Emmanuel Filiot},
editor = {Igor Potapov},
title = {Multi-sequential Word Relations},
booktitle = {Developments in Language Theory - 19th International Conference, {DLT}
2015, Liverpool, UK, July 27-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9168},
pages = {288--299},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21500-6\_23},
doi = {10.1007/978-3-319-21500-6\_23},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlt/JeckerF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FiliotMRT15,
author = {Emmanuel Filiot and
Sebastian Maneth and
Pierre{-}Alain Reynier and
Jean{-}Marc Talbot},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Decision Problems of Tree Transducers with Origin},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {209--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_17},
doi = {10.1007/978-3-662-47666-6\_17},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/FiliotMRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Filiot15,
author = {Emmanuel Filiot},
editor = {Mohua Banerjee and
Shankara Narayanan Krishna},
title = {Logic-Automata Connections for Transformations},
booktitle = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
India, January 8-10, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8923},
pages = {30--57},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-45824-2\_3},
doi = {10.1007/978-3-662-45824-2\_3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Filiot15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JeckerF15,
author = {Isma{\"{e}}l Jecker and
Emmanuel Filiot},
title = {Multi-Sequential Word Relations},
journal = {CoRR},
volume = {abs/1504.03864},
year = {2015},
url = {http://arxiv.org/abs/1504.03864},
eprinttype = {arXiv},
eprint = {1504.03864},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JeckerF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozianuDF14,
author = {Rodica Bozianu and
Catalin Dima and
Emmanuel Filiot},
editor = {Armin Biere and
Roderick Bloem},
title = {Safraless Synthesis for Epistemic Temporal Specifications},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {441--456},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_29},
doi = {10.1007/978-3-319-08867-9\_29},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/BozianuDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotGR14,
author = {Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Finite-Valued Weighted Automata},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {133--145},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.133},
doi = {10.4230/LIPICS.FSTTCS.2014.133},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotKT14,
author = {Emmanuel Filiot and
Shankara Narayanan Krishna and
Ashutosh Trivedi},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {First-order Definable String Transformations},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {147--159},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.147},
doi = {10.4230/LIPICS.FSTTCS.2014.147},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BruyereFRR14,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Emmanuel Filiot and
Mickael Randour and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Ernst W. Mayr and
Natacha Portier},
title = {Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis
in Quantitative Games},
booktitle = {31st International Symposium on Theoretical Aspects of Computer Science
{(STACS} 2014), {STACS} 2014, March 5-8, 2014, Lyon, France},
series = {LIPIcs},
volume = {25},
pages = {199--213},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.STACS.2014.199},
doi = {10.4230/LIPICS.STACS.2014.199},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BruyereFRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Chatterjee0FR14,
author = {Krishnendu Chatterjee and
Laurent Doyen and
Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Kenneth L. McMillan and
Xavier Rival},
title = {Doomsday Equilibria for Omega-Regular Games},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8318},
pages = {78--97},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54013-4\_5},
doi = {10.1007/978-3-642-54013-4\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Chatterjee0FR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BruyereFRR14,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Emmanuel Filiot and
Mickael Randour and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Fabio Mogavero and
Aniello Murano and
Moshe Y. Vardi},
title = {Expectations or Guarantees? {I} Want It All! {A} crossroad between
games and MDPs},
booktitle = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
2014, Grenoble, France, April 5-6, 2014},
series = {{EPTCS}},
volume = {146},
pages = {1--8},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.146.1},
doi = {10.4204/EPTCS.146.1},
timestamp = {Sat, 30 Sep 2023 10:08:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruyereFRR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BozianuDF14,
author = {Rodica Bozianu and
Catalin Dima and
Emmanuel Filiot},
title = {Safraless Synthesis for Epistemic Temporal Specifications},
journal = {CoRR},
volume = {abs/1405.0424},
year = {2014},
url = {http://arxiv.org/abs/1405.0424},
eprinttype = {arXiv},
eprint = {1405.0424},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozianuDF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotKT14,
author = {Emmanuel Filiot and
Shankara Narayanan Krishna and
Ashutosh Trivedi},
title = {First-order definable string transformations},
journal = {CoRR},
volume = {abs/1406.7824},
year = {2014},
url = {http://arxiv.org/abs/1406.7824},
eprinttype = {arXiv},
eprint = {1406.7824},
timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FiliotKT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FiliotR14,
author = {Emmanuel Filiot and
Pierre{-}Alain Reynier},
title = {On Streaming String Transducers and {HDT0L} Systems},
journal = {CoRR},
volume = {abs/1412.0537},
year = {2014},
url = {http://arxiv.org/abs/1412.0537},
eprinttype = {arXiv},
eprint = {1412.0537},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FiliotR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FiliotJR13,
author = {Emmanuel Filiot and
Naiyong Jin and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Exploiting structure in {LTL} synthesis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {5-6},
pages = {541--561},
year = {2013},
url = {https://doi.org/10.1007/s10009-012-0222-5},
doi = {10.1007/S10009-012-0222-5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FiliotJR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FiliotGRS13,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {From Two-Way to One-Way Finite State Transducers},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {468--477},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.53},
doi = {10.1109/LICS.2013.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FiliotGRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BohyBFR13,
author = {Aaron Bohy and
V{\'{e}}ronique Bruy{\`{e}}re and
Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Synthesis from {LTL} Specifications with Mean-Payoff Objectives},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {169--184},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_12},
doi = {10.1007/978-3-642-36742-7\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BohyBFR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CaralpFRST13,
author = {Mathieu Caralp and
Emmanuel Filiot and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
editor = {Sebastian Maneth},
title = {Expressiveness of Visibly Pushdown Transducers},
booktitle = {Proceedings Second International Workshop on Trends in Tree Automata
and Tree Transducers, {TTATT} 2013, Hanoi, Vietnam, 19/10/2013},
series = {{EPTCS}},
volume = {134},
pages = {17--26},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.134.3},
doi = {10.4204/EPTCS.134.3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaralpFRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5197,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
title = {From Two-Way to One-Way Finite State Transducers},
journal = {CoRR},
volume = {abs/1301.5197},
year = {2013},
url = {http://arxiv.org/abs/1301.5197},
eprinttype = {arXiv},
eprint = {1301.5197},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BruyereFRR13,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Emmanuel Filiot and
Mickael Randour and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis
in Quantitative Games},
journal = {CoRR},
volume = {abs/1309.5439},
year = {2013},
url = {http://arxiv.org/abs/1309.5439},
eprinttype = {arXiv},
eprint = {1309.5439},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruyereFRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Chatterjee0FR13,
author = {Krishnendu Chatterjee and
Laurent Doyen and
Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Doomsday Equilibria for Omega-Regular Games},
journal = {CoRR},
volume = {abs/1311.3238},
year = {2013},
url = {http://arxiv.org/abs/1311.3238},
eprinttype = {arXiv},
eprint = {1311.3238},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chatterjee0FR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BohyBFJR12,
author = {Aaron Bohy and
V{\'{e}}ronique Bruy{\`{e}}re and
Emmanuel Filiot and
Naiyong Jin and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Acacia+, a Tool for {LTL} Synthesis},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {652--657},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_45},
doi = {10.1007/978-3-642-31424-7\_45},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BohyBFJR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FiliotGR12,
author = {Emmanuel Filiot and
Raffaella Gentilini and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Quantitative Languages Defined by Functional Automata},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {132--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_11},
doi = {10.1007/978-3-642-32940-1\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/FiliotGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlurFT12,
author = {Rajeev Alur and
Emmanuel Filiot and
Ashutosh Trivedi},
title = {Regular Transformations of Infinite Strings},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.18},
doi = {10.1109/LICS.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlurFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/FiliotS12,
author = {Emmanuel Filiot and
Fr{\'{e}}d{\'{e}}ric Servais},
editor = {M{\'{a}}ria Bielikov{\'{a}} and
Gerhard Friedrich and
Georg Gottlob and
Stefan Katzenbeisser and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Visibly Pushdown Transducers with Look-Ahead},
booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7147},
pages = {251--263},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27660-6\_21},
doi = {10.1007/978-3-642-27660-6\_21},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/FiliotS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-3539,
author = {Aaron Bohy and
V{\'{e}}ronique Bruy{\`{e}}re and
Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Synthesis from {LTL} Specifications with Mean-Payoff Objectives},
journal = {CoRR},
volume = {abs/1210.3539},
year = {2012},
url = {http://arxiv.org/abs/1210.3539},
eprinttype = {arXiv},
eprint = {1210.3539},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-3539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FiliotJR11,
author = {Emmanuel Filiot and
Naiyong Jin and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Antichains and compositional algorithms for {LTL} synthesis},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {3},
pages = {261--296},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0115-3},
doi = {10.1007/S10703-011-0115-3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/FiliotJR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FiliotGRS11,
author = {Emmanuel Filiot and
Olivier Gauwin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
editor = {Supratik Chakraborty and
Amit Kumar},
title = {Streamability of Nested Word Transductions},
booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, {FSTTCS} 2011, December 12-14, 2011,
Mumbai, India},
series = {LIPIcs},
volume = {13},
pages = {312--324},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.312},
doi = {10.4230/LIPICS.FSTTCS.2011.312},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/FiliotGRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/FiliotTT10,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
title = {Tree Automata with Global Constraints},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {4},
pages = {571--596},
year = {2010},
url = {https://doi.org/10.1142/S012905411000743X},
doi = {10.1142/S012905411000743X},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/FiliotTT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FiliotJR10,
author = {Emmanuel Filiot and
Naiyong Jin and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Compositional Algorithms for {LTL} Synthesis},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {112--127},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_10},
doi = {10.1007/978-3-642-15643-4\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/FiliotJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BaganDFG10,
author = {Guillaume Bagan and
Arnaud Durand and
Emmanuel Filiot and
Olivier Gauwin},
editor = {Anuj Dawar and
Helmut Veith},
title = {Efficient Enumeration for Conjunctive Queries over X-underbar Structures},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {80--94},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_10},
doi = {10.1007/978-3-642-15205-4\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/BaganDFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FiliotGR10,
author = {Emmanuel Filiot and
Tristan Le Gall and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Iterated Regret Minimization in Game Graphs},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {342--354},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_31},
doi = {10.1007/978-3-642-15155-2\_31},
timestamp = {Fri, 30 Aug 2019 10:02:28 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FiliotGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FiliotRRST10,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
editor = {Petr Hlinen{\'{y}} and
Anton{\'{\i}}n Kucera},
title = {Properties of Visibly Pushdown Transducers},
booktitle = {Mathematical Foundations of Computer Science 2010, 35th International
Symposium, {MFCS} 2010, Brno, Czech Republic, August 23-27, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6281},
pages = {355--367},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15155-2\_32},
doi = {10.1007/978-3-642-15155-2\_32},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FiliotRRST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1443,
author = {Emmanuel Filiot and
Jean{-}Fran{\c{c}}ois Raskin and
Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais and
Jean{-}Marc Talbot},
title = {On Functionality of Visibly Pushdown Transducers},
journal = {CoRR},
volume = {abs/1002.1443},
year = {2010},
url = {http://arxiv.org/abs/1002.1443},
eprinttype = {arXiv},
eprint = {1002.1443},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1443.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1456,
author = {Emmanuel Filiot and
Tristan Le Gall and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Iterated Regret Minimization in Game Graphs},
journal = {CoRR},
volume = {abs/1002.1456},
year = {2010},
url = {http://arxiv.org/abs/1002.1456},
eprinttype = {arXiv},
eprint = {1002.1456},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FiliotJR09,
author = {Emmanuel Filiot and
Naiyong Jin and
Jean{-}Fran{\c{c}}ois Raskin},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {An Antichain Algorithm for {LTL} Realizability},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {263--277},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_22},
doi = {10.1007/978-3-642-02658-4\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/FiliotJR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Filiot08,
author = {Emmanuel Filiot},
title = {Logics for n-ary queries in trees},
school = {Lille University of Science and Technology, France},
year = {2008},
url = {https://tel.archives-ouvertes.fr/tel-00330524},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/hal/Filiot08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/FiliotTT08,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Masami Ito and
Masafumi Toyama},
title = {Tree Automata with Global Constraints},
booktitle = {Developments in Language Theory, 12th International Conference, {DLT}
2008, Kyoto, Japan, September 16-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5257},
pages = {314--326},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85780-8\_25},
doi = {10.1007/978-3-540-85780-8\_25},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/FiliotTT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/FiliotT08,
author = {Emmanuel Filiot and
Sophie Tison},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Regular n-ary Queries in Trees and Variable Independence},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {429--443},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_29},
doi = {10.1007/978-0-387-09680-3\_29},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/FiliotT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FiliotTT07,
author = {Emmanuel Filiot and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {Satisfiability of a Spatial Logic with Tree Variables},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {130--145},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_13},
doi = {10.1007/978-3-540-74915-8\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/FiliotTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/FiliotNTT07,
author = {Emmanuel Filiot and
Joachim Niehren and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Leonid Libkin},
title = {Polynomial time fragments of XPath with variables},
booktitle = {Proceedings of the Twenty-Sixth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 11-13, 2007, Beijing, China},
pages = {205--214},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1265530.1265559},
doi = {10.1145/1265530.1265559},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pods/FiliotNTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/planX/FiliotNTT06,
author = {Emmanuel Filiot and
Joachim Niehren and
Jean{-}Marc Talbot and
Sophie Tison},
editor = {Giuseppe Castagna and
Mukund Raghavachari},
title = {Composing Monadic Queries in Trees},
booktitle = {{PLAN-X} 2006 Informal Proceedings, Charleston, South Carolina, USA,
January 14, 2006},
pages = {61--70},
publisher = {BRICS, Department of Computer Science, University of Aarhus},
year = {2006},
timestamp = {Mon, 18 Jun 2018 20:38:33 +0200},
biburl = {https://dblp.org/rec/conf/planX/FiliotNTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-02 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
