Skip to Main content Skip to Navigation
New interface


...
tel-02376187v1  Theses
Clément Miklarz. Etude d'extensions des langages déterministes
Autre [cs.OH]. Normandie Université, 2019. Français. ⟨NNT : 2019NORMR059⟩
...
tel-01590825v1  Theses
Jean-Luc Joly. Contributions à la génération aléatoire pour des classes d'automates finis
Informatique et langage [cs.CL]. Université de Franche-Comté, 2016. Français. ⟨NNT : 2016BESA2012⟩
...
tel-01544698v1  Theses
Victor Marsault. Énumération et numération
Mathématique discrète [cs.DM]. Télécom ParisTech, 2016. Français. ⟨NNT : 2016ENST0017⟩
...
tel-00432301v1  Habilitation à diriger des recherches
Pierre-Cyrille Heam. Automates finis pour la fiabilité logicielle et l'analyse d'accessibilité
Informatique [cs]. Université de Franche-Comté, 2009
...
tel-01751072v1  Theses
Philippe Beaucamps. Analyse de programmes malveillants par abstraction de comportements
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL092N⟩
...
tel-00502192v1  Theses
Muhammad Ghulam Abbas Malik. Methods and Tools for Weak Problems of Translation
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2010. English. ⟨NNT : ⟩
...
tel-00874865v1  Theses
Nardjes Menadjelia. Towards automatic recovery in protocol-based Web service composition
Other. Université Blaise Pascal - Clermont-Ferrand II, 2013. English. ⟨NNT : 2013CLF22370⟩
...
tel-01569853v1  Habilitation à diriger des recherches
Sophie Demassey. Compositions et hybridations pour l'optimisation combinatoire appliquée
Recherche opérationnelle [cs.RO]. Université côte d'azur, 2017
...
tel-00349885v1  Theses
Salem Mosbah. Multiple scales modeling of solidification grain structures and segregation in metallic alloys
Mechanics [physics.med-ph]. École Nationale Supérieure des Mines de Paris, 2008. English. ⟨NNT : 2008ENMP1575⟩
...
tel-00339935v1  Theses
Margot Karam. Génération de test de circuits intégrés fondée sur des modèles fonctionnels
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1991. Français. ⟨NNT : ⟩
...
tel-00343206v1  Habilitation à diriger des recherches
Jean-Paul Allouche. Théorie des nombres et automates
Mathématiques [math]. Université Sciences et Technologies - Bordeaux I, 1983
...
tel-03018107v1  Theses
Jim Newton. Representing and computing with types in dynamically typed languages
Symbolic Computation [cs.SC]. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS440⟩
...
tel-00955543v1  Theses
Mickaël Danancher. A discrete event approach for model-based location tracking of inhabitants in smart homes
Other. École normale supérieure de Cachan - ENS Cachan; Technische Universität Kaiserslautern (Allemagne), 2013. English. ⟨NNT : 2013DENS0052⟩
...
tel-02977792v1  Theses
Colin Faverjon. Contribution à la méthode de Mahler : équations linéaires et automates finis
Théorie des nombres [math.NT]. Université Claude Bernard Lyon 1, 2020. Français
...
tel-00005097v1  Theses
Alain Girault. Sur la répartition de programmes synchrones
Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 1994. Français. ⟨NNT : ⟩
...
tel-00554026v1  Theses
Julien Cristau. Jeux et automates sur les ordres
Autre [cs.OH]. Université Paris-Diderot - Paris VII, 2010. Français. ⟨NNT : ⟩
...
tel-00102511v1  Theses
Gersende Georg. Analyse Informatique de Guides de Bonnes Pratiques Cliniques
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2006. Français. ⟨NNT : ⟩
...
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 : ⟩