Laboratory for Informatics at Polytechnique School
Research :

Thesis defense


Year index :

2007 - 2006 - 2005 - 2004 - 2003 - 2002 - 2001 - 2000 - 1999
1998 - 1997 - 1996 - 1995 - 1994- 1993 - 1991 - 1990

Year 2007

  • Interoperable Proof Systems.
    Soutenue par Florent Kirchner, le 26 juin 2007 à l'Ecole Polytechnique, directeur de thèse Gilles Dowek.

  • Probabilistic and Information-Theoretic Approaches to Anonymity.
    Soutenue par Kostas Chatzikokolakis, le 26 octobre 2007 à l'Ecole Polytechnique, directeur de thèse Catuscia Palamidessi.

  • Analysis of uncertainties in air-traffic flow.
    Soutenue par Claus Gwiggner, le 13 septembre 2007 à l'Ecole Polytechnique, directeur de thèse Philippe Baptiste.

  • Combinatoire des cartes planaires et applications algorithmiques.
    Soutenue par Eric Fusy, le 11 juin 2007 à l'INRIA Rocquencourt, directeurs de thèse Philippe Flajolet et Gilles Schaeffer.

    Year 2006

  • Extraction de programme optimisés à partir de preuves par l'interprétation Dialectica légère.
    Soutenue par Dan-Mircea Hernest, le 14 décembre 2006 à l'Ecole Polytechnique, directeurs de thèse Jean-Pierre Jouannaud et Helmut Schwichtenberg.

  • Représentations compactes de structures de données géométriques.
    Soutenue par Luca Castelli Aleardi le 12 décembre 2006 à l'Ecole Polytechnique, directeur de thèse Olivier Devillers.

  • Optimisation combinatoire et contrôle aérien : Planification des horaires et des trajectoires.
    Soutenue par Konstantin Artiouchine le 8 décembre 2006 à l'Ecole Polytechnique, directeur de thèse Philippe Baptiste.

  • Modèles analytiques et évaluation de performances dans les grands réseaux mobiles ad hoc.
    Soutenue par Georgios Rodolakis le jeudi 7 décembre 2006 à l'Ecole Polytechnique, directeur de thèse Philippe Jacquet.

  • Bornes sur la hauteur des coefficients d'une représentation triangulaire.
    Soutenue par Xavier Dahan le 24 novembre 2006 à l'Ecole Polytechnique, directeur de thèse Marc Giusti.

  • Propriétés de sécurité dans le lambda-calcul.
    Soutenue par Tomasz Blanc le 7 novembre 2006 à l'Ecole Polytechnique, directeur de thèse Jean-Jacques Lévy.

  • Formalisation et automatisation du raisonnement géométrique en Coq.
    Soutenue par Julien Narboux le 26 septembre 2006 à 14h30 au LRI à Orsay, directeur de thèse Hugo Herbelin.

  • Stratégies efficaces et modèles d'implantation pour les Langages fonctionnels.
    Soutenue par François-Régis Sinot le 19 septembre 2006 à École Polytechnique, directeurs de thèse Maribel Fernández, Jean-Pierre Jouannaud.

  • Modélisation analytique des réseaux dynamiques.
    Soutenue par Dmitry Lebedev le 11 septembre 2006 à École Polytechnique, directeurs de thèse Jean-Marc Steyaert, Philippe Jacquet.

  • Un cadre formel pour l'étude des systèmes industriels complexes : exemple basé sur l'infrastructure de l'UMTS.
    Soutenue par Simon Bliudze le 30 juin 2006 à l'École Polytechnique, directeur de thèse Daniel Krob.

  • Moyenne arithmético-géometrique, suites de Borchardt et applications.
    Soutenue par Regis Dupont le vendredi 7 avril 2006 à l'Ecole Polytechnique.

  • Routage et mobilité dans les rands réseaux hétérogènes à commutation de paquets.
    Soutenue par Emmanuel Bacelli le 05 janvier 2006, directeur de thèse Philippe Jacquet.

    Year 2005

  • Méthodes sémantiques en Déduction Modulo. Résumé en français / english.
    Soutenue par Olivier Hermant le 6 Décembre 2005, directeur de thèse Gilles Dowek.

  • Comparaison efficace de structures d'évolution de séquences : approche par la programmation dynamique.
    Soutenue par Behshad Behzadi le 13 juillet 2005, directeur de thèse Jean-Marc Steyaert.

    Year 2004

  • Au delà du tas de sable, un nouveau modèle combinatoire : le modèle flèche-hauteur.
    Soutenue par Arnaud Dartois le 2 décembre 2004, directeur de thèse CORI Robert.

  • Modélisation et prédiction de la structure des protéines transmembranaires.
    Soutenue par Jérôme Waldispuhl le 26 novembre 2004, directeur de thèse Jean-Marc Steyaert.

  • Distribution de valuations sur les arbres.
    Soutenue par Michel Nguyen-The le 09 février 2004, directeur de thèse Jean-Marc Steyaert.

  • Vérification de descriptions VHDL par interprétation abstraite.
    Soutenue par Charles Hymans, le 09 septembre 2004, directrice de thèse Radhia Cousot.

    Year 2003

  • Conception de cryptosystèmes à base de courbes algébriques.
    Soutenue par Nicolas Gurel, 15 décembre 2003, directeur de thèse François Morain.

  • Algorithmes de calcul de logarithmes discrets dans les corps finis.
    Soutenue par Emmanuel Thomé le 12 mai 2003, directeur de thèse François Morain.

  • Etude du modèle du tas de sable abélien : points de vue algorithmique et algébrique.
    Soutenue par Clémence Magnien le 06 mai 2003, directeur de thèse CORI Robert.

    Year 2002

  • Enumération de cartes et génération aléatoire.
    Soutenue par Dominique Poulalhon le 17 décembre 2002, directeur de thèse Robert Cori.

  • Vérification de propriétés temporelles par interprétation abstraite.
    Soutenue par Damien Masse le 14 décembre 2002, directrice de thèse Radhia Cousot.

  • Raffinement d'analyses statiques par interprétation abstraite.
    Soutenue par Stanislav Tzolovski le 15 mai 2002, directrice de thèse Radhia Cousot.

    Year 2001

  • Anneau d'endomorphismes et cardinalité des courbes elliptiques : aspects algorithmiques.
    Soutenue par Mireille Fouquet le 17 décembre 2001, directeur de thèse François Morain.

  • Implantation parallèle avec la logique linéaire. Applications des réseaux d'interaction et de la géométrie de l'interaction.
    Soutenue par Jorge Miguel De Matos Sousa Pinto le 02 février 2001, directrice de thèse Radhia Cousot.

    Year 2000

  • Propriétés combinatoires de certaines familles d'automates cellulaires.
    Soutenue par Dominique Rossin le lundi 18 décembre 2000 à l'Ecole Polytechnique, directeur de thèse Robert Cori.

  • Algorithmique des Courbes hyperelliptiques et Applications à la cryptographie.
    Soutenue par Pierrick Gaudry le 12 décembre 2000, directeur de thèse François Morain.

    Year 1999

  • Accélération de l'algorithme des k plus proches voisins par réorganisation arborescente de la base de données.
    Soutenue par Diana Mangalagiu le 22 novembre 1999, directeur de thèse Michel Weinfeld.

  • Une approche économisant les traitements pour reconnaître l'écriture manuscrite. Application à la reconnaissance des montants littéraux de chèques bancaires.
    Soutenue par Daniel Ollivier le jeudi 30 septembre 1999 au LRI, Université Paris XI (Orsay).

    • Year 1998

  • Analyse statique des structures dynamiques de graphes dans les langages non typés.
    Soutenue par Arnaud Venet le 07 décembre 1998, directeur de thèse Patrick Cousot.

    Year 1997

  • Analyse des performances du transfert d'images sur des réseaux ATM.
    Soutenue par Benoit Paul-Dubois-Taine le 16 décembre 1997, directeur de thèse Jean-Marc Steyaert.

  • Conception et réalisation d'un accélérateur matériel pour la reconnaissance de formes basée sur l'algorithme des plus proches voisins.
    Soutenue par Eric Delaunay, le mardi 26 septembre 1997, LRI, Université Paris XI (Orsay).

  • Grammaires S-attribuées multi-bandes et applications à l'analyse de séquences biologiques.
    Soutenue par Fabrice Lefebvre le 24 juin 1997, directeur de thèse Jean-Marc Steyaert.

  • Algorithmique des courbes elliptiques dans les corps finis.
    Soutenue par Reynald Lercier le 16 juin 1997, directeur de thèse Jean-Marc Steyaert.

  • Cartes et arbres : énumération, génération et dessins.
    Soutenue par Benjamin Jacquard le 23 avril 1997, directeur de thèse Robert Cori.

    Year 1996

  • Combinaison de classifieurs, une nouvelle approche.
    Soutenue par Bahram Moobed, le vendredi 21 juin 1996 au LRI (Université de Paris Sud).

  • Applications embarquées des réseaux de neurones au diagnostic et au contrôle d'un moteur d'automobile.
    Soutenue par Éric Chapuis le mardi 16 avril 1996.

    • Year 1995

  • Architecture multi-agents et réseaux connexionnistes. Application à la lecture des chèques manuscrits.
    Soutenue par Lionel Montoliu le 27 septembre 1995, directeur de thèse Michel Weinfeld.

    Year 1994

  • Théorèmes limites pour les structures combinatoires et fonctions arithmétiques.
    Soutenue par Hsien-Kuei Hwang le 09 décembre 1994, directeur de thèse Jean-Marc Steyaert.

    Year 1993

  • Analyse sémantique relationnelle des indices de tableaux par congruence et trapézoïdes rationnels.
    Soutenue par François Masdupuy le 21 décembre 1993, directeur de thèse Patrick Cousot.

    Year 1991

  • Autour de la fonction de Hilbert-Samuel (escaliers d'idéaux polynomiaux).
    Soutenue par Guillermo Moreno Socias le 08 novembre 1991, directeur de thèse Marc Giusti.

  • Approche effective de la théorie des invariants des groupes classiques.
    Soutenue par Bernard Mourrain le 05 septembre 1991 directeur de thèse Michel Demazure

  • Asymptotique automatique et fonctions génératrices.
    Soutenue par Bruno Salvy le 09 avril 1991, directeur de thèse Jean-Marc Steyaert.

  • Analyses sémantiques de congruence.
    Soutenue par Philippe Granger le 12 juillet 1991, directeur de thèse Patrick Cousot.

  • Analyse en moyenne d'algorithmes : Tri rapide et arbres de recherche.
    Soutenue par Pascal Hennequin le 27 mars 1991, directeur de thèse Jean-Marc Steyaert.

  • Parallélisme et Distribution en Lisp.
    Soutenue par José Piquier le 01 février 1991, directeur de thèse Christian Queinnec.

    Year 1990

  • Analyse sémantique des communications entre processus de programmes parallèles.
    Soutenue par Nicolas Mercouroff le 21 septembre 1990, directeur de thèse Patrick Cousot.

  • Le problème de l'identifiabilité globale : Approche théorique, méthodes effectives et bornes de complexité.
    Soutenue par François Ollivier le 25 juin 1990, directeur de thèse Marc Giusti.

    • Legal Information
    And laboratory associate with INRIA