Paul Franchi-Zannettacci

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Contribution au traitement des contraintes disjonctives et a l'etude de la complexite pratique des problemes np-complets
Gestion et conception de documents structures par le contexte
Vers une formalisation de l'evaluation partielle
Edition de ressources dans un environnement interactif
Egerie : un interprete embarque dans un systeme de gestion d'interfaces homme-machine
Génération de serveurs de vues : Cohérence de représentations externes distribuées
Semantique des fenetres dans le systeme de fenetrage x pour les gestionnaires externes d'espace de travail
Esterel v4. Une extension modulaire d'esterel
Une automatisation de calcul des residus en semantique naturelle
Traduction entre calculs de processus
Objectivada : une extension objet du langage ada. application a un environnement pour la conception de systemes-experts
Spécifications par attributs sémantiques pour la génération d'éditeurs structurés graphiques incrémentaux
Un modèle objet logique et relationnel : le langage Othelo
Autograph : un outil de visualisation pour les calculs de processus
Coopération entre systèmes à base de connaissances et outils de CAO : l'environnement multi-agent ANAXAGORE
Compilation de programmes Typol par attributs sémantiques
Contribution au service des polices de caractères dans le système de fenêtres X
Un tableau réflexif pour la coopération de bases de connaissances
Problèmes de réutilisation liés au typage : application à une extension du langage ADA
D'un paragrapheur à un éditeur synthaxique et graphique pour le langage ESTEREL
Prise en compte de spécifications en ingénierie : application aux systèmes experts de conception
Vérification de réseaux d'automates finis par équivalences observationnelles : le système AUTO
Transformations automatiques de spécifications sémantiques : application : un vérificateur de types