( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Synthesis of Systems with Data. (Synthèse Automatique de Systèmes avec Données).

. Université libre de Bruxelles, Belgium, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Plinio Léon Cantón

Juan Léon Villa

Jens Léon

Isabelle Léonard

Vincent Léon

 

Другие публикации лиц с тем же именем

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