( en | de | ru )

 

Disambiguierung von "Exibard, Léo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computability of Data-Word Transductions over Different Data Domains.

, , , und . Log. Methods Comput. Sci., (2022)

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.

Plinio Léon Cantón

Juan Léon Villa

Jens Léon

Isabelle Léonard

Vincent Léon

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of Data Word Transducers., , und . Log. Methods Comput. Sci., (2021)Church synthesis on register automata over linearly ordered data domains., , und . Formal Methods Syst. Des., 61 (2): 290-337 (Dezember 2022)Computability of Data-Word Transductions over Different Data Domains., , , und . Log. Methods Comput. Sci., (2022)A Synthesis Tool for Optimal Monitors in a Branching-Time Setting., , , , und . COORDINATION, Volume 13271 von Lecture Notes in Computer Science, Seite 181-199. Springer, (2022)Church Synthesis on Register Automata over Linearly Ordered Data Domains., , und . STACS, Volume 187 von LIPIcs, Seite 28:1-28:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Complexity of Transducer Synthesis from Multi-Sequential Specifications., , und . CoRR, (2019)On Computability of Data Word Functions Defined by Transducers., , und . FoSSaCS, Volume 12077 von Lecture Notes in Computer Science, Seite 217-236. Springer, (2020)Automatic Synthesis of Systems with Data. (Synthèse Automatique de Systèmes avec Données).. Université libre de Bruxelles, Belgium, (2021)A Monitoring Tool for Linear-Time μHML., , , , , und . COORDINATION, Volume 13271 von Lecture Notes in Computer Science, Seite 200-219. Springer, (2022)Synthesis of Data Word Transducers., , und . CONCUR, Volume 140 von LIPIcs, Seite 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)