Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Marc Aiguier
Marc Aiguier
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Spécifications algébriques par objets : une proposition de formalisme et ses applications à l'implantation abstraite
Directed Thesis:
On the compositionality of monads via weak distributive laws
Progressive and Random Accessible Mesh Compression
Building and Using Knowledge Models for Semantic Image Annotation
Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing
Modeling and testing of component-based systems
Compression de maillages de grande taille
Test à partir de spécifications axiomatiques
Une méthode de sélection de tests à partir de spécifications algébriques