Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Bernard Lorho

Bernard Lorho

at_id:

orcid_id:

Disciplines:

Applied sciences
Common sciences and techniques
Computer sciences
Edit Merge See Links

Directed Thesis:

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)
Une formalisation d'asn. 1 application d'une methode formelle a un langage de specification telecom
Algorithmes de base pour la modularité et la reutilisabilité des grammaires attribuées
Contributions a la semantique declarative des systemes de transformation d'arbres attribues
Construction de grammaires attribuees associees a un programme logique et application au probleme du test d'occurrence
Optimisation de l'espace mémoire pour l'évaluation de grammaires attribuées
Contribution a la realisation d'une specification formelle pour prolog
Semantique denotationnelle de s3l un langage de flux, d'ensembles et de suites et son implantation en caml
La logique des partitions : application a l'information disjonctive dans les bases de donnees