Vigneron, Laurent, 19..-...., informaticien
Vigneron, Laurent
VIAF ID: 200128147 ( Personal )
Permalink: http://viaf.org/viaf/200128147
Preferred Forms
Works
Title | Sources |
---|---|
Contributions à la vérification automatique de protocoles de groupes | |
Déduction automatique avec contraintes symboliques dans les théories équationnelles | |
Les effects et les handlers dans le langage naturel | |
Informatique mathématique : une photographie en 2018 | |
Modélisation de processus métiers sensibilisés aux risques et déploiement en confiance dans le cloud. | |
Output-sensitive algorithms for enumeration problems in graphs | |
Predictive analysis of learning data, in distance learning situations. | |
Preuves par induction dans le calcul de superposition | |
La protection de l'environnement antarctique | |
Recommanding sequences in a multidimensional space. | |
Risk-aware Business Process Modelling and Trusted Deployment in the Cloud | |
Le risque de défaillance des banques en France |