( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Computability of Data Word Functions Defined by Transducers.

, , и . FoSSaCS, том 12077 из Lecture Notes in Computer Science, стр. 217-236. Springer, (2020)

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.

Pierre-Alain Avouac

Pierre-Alain Dupont

Pierre-Alain Weiß

Pierre-Alain Loizeau

Pierre-Alain Mariaux

 

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

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning., и . Petri Nets, том 6709 из Lecture Notes in Computer Science, стр. 69-88. Springer, (2011)Extended Timed Automata and Time Petri Nets., , и . ACSD, стр. 91-100. IEEE Computer Society, (2006)Visibly Pushdown Transducers with Well-Nested Outputs., и . Int. J. Found. Comput. Sci., 27 (2): 235-258 (2016)On Characteristic Formulae for Event-Recording Automata., и . FICS, стр. 70-78. Institute of Cybernetics, (2009)Robust Analysis of Timed Automata via Channel Machines., , и . FoSSaCS, том 4962 из Lecture Notes in Computer Science, стр. 157-171. Springer, (2008)Trimming Visibly Pushdown Automata., , и . CIAA, том 7982 из Lecture Notes in Computer Science, стр. 84-96. Springer, (2013)Synthesis of Data Word Transducers., , и . CONCUR, том 140 из LIPIcs, стр. 24:1-24:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Robust Class of Languages of 2-Nested Words., , и . MFCS, том 241 из LIPIcs, стр. 50:1-50:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Decidability of One-Clock Weighted Timed Games with Arbitrary Weights., , и . Log. Methods Comput. Sci., (2025)Lexicographic transductions of finite words., , и . CoRR, (марта 2025)