Knowledge Tree

researcher / Sébastien Limet

Sébastien Limet

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Unification dans la programmation logico-equationnelle

Directed Thesis:

Parallèlisme des calculs numériques appliqué aux géosciences

Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques

Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages

Un modèle pour la composition d'applications de visualisation et d'interaction continue avec des simulations scientifiques

Extensibilité des moyens de traitements pour les données issues des vastes systèmes d'informations géographiques

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis