Skip to Main content Skip to Navigation
New interface


...
tel-00293206v2  Theses
Faisal Alkhateeb. Querying RDF(S) with Regular Expressions
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2008. English. ⟨NNT : ⟩
...
tel-02376187v1  Theses
Clément Miklarz. Etude d'extensions des langages déterministes
Autre [cs.OH]. Normandie Université, 2019. Français. ⟨NNT : 2019NORMR059⟩
...
tel-00463049v1  Theses
Benoit Razet. Machines d'Eilenberg Effectives
Informatique [cs]. Université Paris-Diderot - Paris VII, 2009. Français. ⟨NNT : ⟩
...
tel-00745581v1  Theses
Benoit Groz. Vues de sécurité XML: requêtes, mises à jour et schémas.
Base de données [cs.DB]. Université des Sciences et Technologie de Lille - Lille I, 2012. Français. ⟨NNT : ⟩
...
tel-00004672v1  Theses
Catalin Dima. An algebraic theory of real-time formal languages
Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 2001. English. ⟨NNT : ⟩
...
tel-01455083v1  Theses
Paul Brunet. Algebras of Relations : from algorithms to formal proofs
Computation and Language [cs.CL]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSE1198⟩
...
tel-00794580v1  Theses
Ludovic Mignot. Des Codes Barres pour les Langages Rationnels
Théorie et langage formel [cs.FL]. Université de Rouen, 2010. Français. ⟨NNT : ⟩
...
tel-01548382v1  Theses
Muriel Pellissier. Anomaly detection technique for sequential data
Data Structures and Algorithms [cs.DS]. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM078⟩
...
tel-01962957v1  Theses
Ekaterina Arafailova. Functional description of sequence constraints and synthesis of combinatorial objects
Discrete Mathematics [cs.DM]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. English. ⟨NNT : 2018IMTA0089⟩
...
tel-01901576v1  Theses
Dogan Ulus. Pattern Matching with Time : Theory and Applications
Data Structures and Algorithms [cs.DS]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM003⟩