( en | de | ru )

 

Disambiguierung von "Filiot, Emmanuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesis of Data Word Transducers.

, , und . CONCUR, Volume 140 von LIPIcs, Seite 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Emmanuel Filiot

Emmanuel Rehfeld

Emmanuel Stamou

Emmanuel Biris

Emmanuel Fiolitakis

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of Data Word Transducers., , und . Log. Methods Comput. Sci., (2021)Synthesizing Computable Functions from Rational Specifications Over Infinite Words., und . Int. J. Found. Comput. Sci., 35 (1&2): 179-214 (Januar 2024)Two-Way Parikh Automata., , und . FSTTCS, Volume 150 von LIPIcs, Seite 40:1-40:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Decidable weighted expressions with Presburger combinators., , und . J. Comput. Syst. Sci., (2019)Synthesis of Computable Regular Functions of Infinite Words., , , und . CONCUR, Volume 171 von LIPIcs, Seite 43:1-43:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Two-Player Boundedness Counter Games., und . CONCUR, Volume 243 von LIPIcs, Seite 21:1-21:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Synthesis from Weighted Specifications with Partial Domains over Finite Words., , und . FSTTCS, Volume 182 von LIPIcs, Seite 46:1-46:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Two-Way Parikh Automata with a Visibly Pushdown Stack., , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 189-206. Springer, (2019)The Complexity of Transducer Synthesis from Multi-Sequential Specifications., , und . CoRR, (2019)Streamability of nested word transductions., , , und . Logical Methods in Computer Science, (2019)