Knowledge Tree

researcher / André Arnold

André Arnold

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Mathematics

Natural sciences

Edit Merge See Links

Directed Thesis:

Dépliages efficaces de réseaux de Petri

Conception et réalisation d'un vérificateur de modèles AltaRica

Un algorithme linéaire de calcul de points fixes dans les systèmes de transitions : parallélisation et études expérimentales

Propriétés logiques du non déterminisme et μ-calcul modal

Modélisation et implantation d'un système de raisonnement à partir de littérature médicale : application à la cancérologie

Modélisation et traitement des connaissances sur le temps et les tâches médicales pour les systèmes experts en cancérologie

Equations et systèmes de réécritures dans le monoïde libre : une approche commune

Contribution à l'étude des systèmes communicants et des algorithmes d'exclusion mutuelle

Réalisation de l'outil Mec : spécification fonctionnelle et architecture

Implémentation centralisée de C. S. P : étude de théorique et réalisation

Étude de la reconnaissabilité des langages rationnels de mots infinis