Algorithme  Algorithmes  Anti-filtrage  Anti-pattern  Architecture Logicielle  Architecture logicielle  Calcul formel  Certification  Compilation  Compilation  Complement  Confiance  Contraintes  Contraintes de type  Corps de nombre  Corps fini  Corps finis  Courbe elliptique  Descripteur de Radon  Descripteurs de forme  Design patterns  ECM  FFS  Factorisation  Filtrage algébrique  Filtrage de motifs  Filtrage modulo  Filtres  Filtres  Informatique omniprésente  Langage Dédié  Langages de programmation  Langages formels  Ligne de produits  Ligne de produits logiciels  Lignes de produits  Logarithme discret  Logarithmes  Logiciels -- Développement  Logiciels -- Validation  Logiciels -- Vérification  Logiciels de groupe  Mesures de sûreté  Modèles  Méthodes formelles  Méthodes formelles  NFS  NFS-Dl  Negation  Politique de sécurité  Polynômes  Preuve formelle  Programmation dynamique  Qualification  Reconnaissance des formes  Reconnaissance graphique  Relations spaciales  Réécriture  Réécriture, Systèmes de  Sac de caractéristiques spaciales  Sous-typage  Stratégies de réécriture  Structures de données  Systèmes de types  Systèmes informatiques -- Mesures de sûreté  Systèmes, Conception de  Systéme ubiquitaire  Sélection polynomiale  Temps réel  Temps-Réel  Termes  Théorie des types  Théorie équationnelle  Transformation  Travail assisté par ordinateur  Travail collaboratif  Traçabilité  Vocabulaire visuel  analyse statique  langages embarqués  termes-graphes  transformation de programmes  Édition collaborative  Étape de filtrage  

Pierre-Etienne Moreau a dirigé les 5 thèses suivantes :


Pierre-Etienne Moreau a été président de jury des 2 thèses suivantes :


Pierre-Etienne Moreau a été rapporteur des 2 thèses suivantes :

Sciences de l'information et de la communication. Informatique
Soutenue le 16-11-2017
Thèse soutenue

Pierre-Etienne Moreau a été membre de jury de la thèse suivante :