Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Jean-Marc Champarnaud

a dirigé 9 thèses
a été rapporteur pour 1 thèse
a été membre de jury pour 1 thèse

Algorithm complexity Algorithme séquentiel Algorithmes Algorithmes parallèles Algorithmics Algorithmique du texte Analyse combinatoire énumérative Arbre binaire Automata theory Automate Automate de Glushkov Automate fini Automates Automates finis Automates mathématiques, Théorie des Automates programmables Binary tree Calcul formel Classes de symboles Compilation Complexité de calcul Complexité en espace Complexité moyenne Computational complexity Computer algebra Computer theory Concision des expressions Exploration de données Expressions rationnelles Graph theory Graphes, Théorie des Génome Génération aléatoire Géométrie discrète Hopcroft Informatique quantique Informatique théorique Langages algébriques Langages formels Langages rationnels Language theory Logiciels -- Vérification Machines séquentielles, Théorie des Minimisation Modèle PRAM Moore Moore, Loi de Mot vide Méthodes de conversion Ordinateurs -- Programmation Parallel algorithm Parallelization Pavage Programming theory Recherche de motifs Regular language Semigroup Semigroupes Système de numération abstrait Testability Testabilité Théorie du langage Traitement automatique du langage naturel Transducteurs Wfsc Xfst

Jean-Marc Champarnaud a dirigé les 9 thèses suivantes :

Langages géométriques et polycubes

par Hadrien Jeanne sous la direction de Jean-Marc Champarnaud et de Jean-Philippe Dubernard . - Rouen

Informatique

Soutenue en 2010

Thèse soutenue

Des Codes barres pour les langages rationnels

par Ludovic Mignot sous la direction de Jean-Marc Champarnaud et de Pascal Caron . - Rouen

Informatique

Soutenue en 2010

Thèse soutenue

Contribution à l’algorithmique des automates pondérés à une, deux ou plusieurs bandes

par Franck Guingne sous la direction de Jean-Marc Champarnaud - Rouen

Informatique

Soutenue en 2005

Thèse soutenue

Conception de modèles génériques pour les machines à états finis

par Florent Nicart sous la direction de Jean-Marc Champarnaud - Rouen

Informatique

Soutenue en 2005

Thèse soutenue

Minimisation d'automates non-déterministes, recherche d'expressions dans un texte et comparaison de génomes

par Fabien Coulon sous la direction de Jean-Marc Champarnaud - Rouen

Informatique théorique

Soutenue en 2004

Thèse soutenue

Génération aléatoire et structure des automates à états finis

par Thomas Paranthoën sous la direction de Jean-Marc Champarnaud - Rouen

Informatique

Soutenue en 2004

Thèse soutenue

Algorithmique et implémentation des automates contribution au développement du logiciel automate

par Jean-Luc Ponty sous la direction de Jean-Marc Champarnaud - Rouen

Sciences et techniques

Soutenue en 1997

Thèse soutenue

Langages rationnels et automates : de la théorie à la programmation

par Pascal Caron sous la direction de Jean-Marc Champarnaud - Rouen

Sciences appliquées

Soutenue en 1997

Thèse soutenue

Algorithmique parallèle et séquentielle des automates

par Djelloul Ziadi sous la direction de Jean-Marc Champarnaud - Rouen

Sciences appliquées

Soutenue en 1996

Thèse soutenue

Jean-Marc Champarnaud a été rapporteur de la thèse suivante :

Contributions à l'étude de la dérivation des expressions rationnelles et à l'étude des systèmes de numération abstraits

par Pierre-Yves Angrand sous la direction de Jacques Sakarovitch - Paris, ENST

Informatique et Réseaux

Soutenue le 08-03-2012

Thèse soutenue

Accéder en ligne

Jean-Marc Champarnaud a été membre de jury de la thèse suivante :

Génération aléatoire d'automates et analyse d'algorithmes de minimisation

par Julien David sous la direction de Frédérique Bassino - Paris Est

Informatique

Soutenue le 28-09-2010

Thèse soutenue

Accéder en ligne