Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

Origin-equivalence of two-way word transducers is in PSPACE

 Sougata Bose , Anca Muscholl , Gabriele Puppis , Vincent Penelle
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.22⟩
Communication dans un congrès hal-02415557v1
Image document

On Synthesis of Resynchronizers for Transducers

 Sougata Bose , Anca Muscholl , Vincent Penelle , Krishna S , Gabriele Puppis
44th International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.55⟩
Communication dans un congrès hal-02415574v1

Rewriting Higher-Order Stack Trees

 Vincent Penelle
Theory of Computing Systems, 2017, 61 (2), pp.536 - 580. ⟨10.1007/s00224-017-9769-6⟩
Article dans une revue hal-01762628v1
Image document

The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems

 Jérôme Leroux , Vincent Penelle , Grégoire Sutre
ATVA'14, Nov 2014, Sydney, Australia. pp.248 - 263, ⟨10.1007/978-3-319-11936-6_19⟩
Communication dans un congrès hal-01084819v1

Undecidability of a weak version of MSO+U

 Vincent Penelle , Mikolaj Bojanczyk , Laure Daviaud , Bruno Guillon , A. V. Sreejith
Logical Methods in Computer Science, 2020
Article dans une revue hal-02510685v1
Image document

On the Context-Freeness Problem for Vector Addition Systems

 Jérôme Leroux , Vincent Penelle , Grégoire Sutre
LICS 2013, Jun 2013, New Orleans, LA, United States. pp.43-52, ⟨10.1109/LICS.2013.9⟩
Communication dans un congrès hal-00788744v2
Image document

Which classes of origin graphs are generated by transducers? *

 Mikołaj Bojańczyk , Laure Daviaud , Bruno Guillon , Vincent Penelle
ICALP 2017, Jul 2017, Warszawa, Poland
Communication dans un congrès hal-01762979v1

Informatique Mathématique Une photographie en 2020

 Sébastien Labbé , Vincent Penelle , Marni Mishna , Fredrik Johansson , Marthe Bonamy , et al.
2020
Ouvrages hal-03431823v1
Image document

On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems

 Vincent Penelle , Sylvain Salvati , Grégoire Sutre
FSTTCS 2018 - 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.44:1-44:20, ⟨10.4230/LIPIcs.FSTTCS.2018.44⟩
Communication dans un congrès hal-01962407v1
Page :