Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Bernard Lorho
Bernard Lorho a dirigé les 9 thèses suivantes :
Une formalisation d'asn. 1 application d'une methode formelle a un langage de specification telecom
par Christian Rinderknecht sous la direction de Bernard Lorho - Paris 6
Sciences et techniques
Soutenue en 1998
Une methode pragmatique de generation de sequences de test pour les systemes imbriques (et applications aux plates-formes ouvertes distribuees et aux services de telecommunications)
par LUIZ AUGUSTO DE PAULA LIMA sous la direction de Bernard Lorho - Evry-Val d'Essonne
Sciences appliquées
Soutenue en 1998
Algorithmes de base pour la modularité et la reutilisabilité des grammaires attribuées
par Gilles Roussel sous la direction de Bernard Lorho - Paris 6
Informatique
Soutenue en 1994
Contributions a la semantique declarative des systemes de transformation d'arbres attribues
par Aziz Souah sous la direction de Bernard Lorho - Orléans
Sciences appliquées
Soutenue en 1991
Construction de grammaires attribuees associees a un programme logique et application au probleme du test d'occurrence
par Michel Teguia sous la direction de Bernard Lorho - Orléans
Sciences et techniques communes
Soutenue en 1990
Contribution a la realisation d'une specification formelle pour prolog
par Gilles Richard sous la direction de Bernard Lorho - Orléans
Sciences appliquées
Soutenue en 1989
Optimisation de l'espace mémoire pour l'évaluation de grammaires attribuées
par Catherine Julié-Mollo sous la direction de Bernard Lorho - Orléans
Informatique
Soutenue en 1989
Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml
par Sophie Anglade sous la direction de Bernard Lorho - Orléans
Sciences appliquées
Soutenue en 1988
La logique des partitions : application a l'information disjonctive dans les bases de donnees
par Dominique Laurent sous la direction de Bernard Lorho - Orléans
Sciences appliquées
Soutenue en 1987
