Skip to Main content Skip to Navigation
New interface


...
tel-00271099v1  Habilitation à diriger des recherches
Mirian Halfeld Ferrari Alves. Aspects dynamiques de XML et spécification des interfaces de services web avec PEWS
Informatique [cs]. Université François Rabelais - Tours, 2007
...
tel-01396543v1  Theses
Adrien Boiret. Normalization and Learning of Transducers on Trees and Words
Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2016. English. ⟨NNT : ⟩
...
tel-00643595v1  Habilitation à diriger des recherches
Florent Jacquemard. Extended Tree Automata Models for the Verification of Infinite State Systems
Formal Languages and Automata Theory [cs.FL]. École normale supérieure de Cachan - ENS Cachan, 2011