受强制性开放获取政策约束的文章 - Léo Exibard了解详情
可在其他位置公开访问的文章：6 篇
Synthesis of data word transducers
L Exibard, E Filiot, PA Reynier
Logical Methods in Computer Science 17, 2021
强制性开放获取政策： National Fund for Scientific Research, Belgium, Agence Nationale de la Recherche
A Monitoring Tool for Linear-Time HML
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
International Conference on Coordination Languages and Models, 200-219, 2022
强制性开放获取政策： Icelandic Centre for Research, European Commission, Government of Italy
Church synthesis on register automata over linearly ordered data domains
L Exibard, E Filiot, A Khalimov
Formal Methods in System Design 61 (2), 290-337, 2022
强制性开放获取政策： National Fund for Scientific Research, Belgium, Icelandic Centre for Research
A monitoring tool for linear-time 𝜇HML
L Aceto, A Achilleos, DP Attard, L Exibard, A Francalanza, A Ingólfsdóttir
Science of Computer Programming 232, 103031, 2024
强制性开放获取政策： Icelandic Centre for Research, European Commission
Computability of Data-Word Transductions over Different Data Domains
L Exibard, E Filiot, N Lhote, PA Reynier
Logical Methods in Computer Science 18, 2022
强制性开放获取政策： National Fund for Scientific Research, Belgium, Agence Nationale de la Recherche
A synthesis tool for optimal monitors in a branching-time setting
A Achilleos, L Exibard, A Francalanza, K Lehtinen, J Xuereb
International Conference on Coordination Languages and Models, 181-199, 2022
强制性开放获取政策： Icelandic Centre for Research
出版信息和资助信息由计算机程序自动确定