Knowledge Tree

researcher / Maurice Nivat

Maurice Nivat

at_id:

orcid_id:

Disciplines:

Applied sciences

Common sciences and techniques

Computer sciences

Mathematics

Edit Merge See Links

Directed Thesis:

Convexite dans le plan discret. Application a la tomographie

Mots ultimement periodiques des langages rationnels de mots infinis

Pavages et graphes de Cayley planaires

Etudes et mises en Œuvre d'outils de verification basee sur la bisimulation

Automates et theorie descriptive

Methodes de programmation de machine parallele pyramidale. Applications en segmentation d'images

Verification automatique de programmes esterel

Un langage modulaire de specifications de programmes paralleles et sa compilation

Un modele generalise pour le classement de documents multimedia

Un modele distribue

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Methode de validation de systemes d'automates communicants avec accumulation d'evenements

Automates sur les mots bi-infinis

Contribution à l'étude des relations et langages infinitaires