Jacquemard, Florent
VIAF ID: 15607683 ( Personal )
Permalink: http://viaf.org/viaf/15607683
Preferred Forms
-
- 100 1 _ ‡a Jacquemard, Florent
- 100 1 _ ‡a Jacquemard, Florent
- 100 1 _ ‡a Jacquemard, Florent
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité | |
Automates d'arbres et reecriture de termes | |
Contribution to the theory of tile languages. | |
Dynamic Data Adaptation for the Synthesis and Deployment of Protocol Mediators. | |
Ground reducibility and automata with disequality constraints | |
Mathematical Morphology for the Analysis and Generation of Time-Frequency Representations of Music | |
Model-based testing real-time and interactive music systems | |
Modélisation, analyse et éxécution de graphes audio dans les systèmes interactifs multimédia. | |
Neural networks for automatic musical projective orchestration | |
[Not communicated]. | |
Renforcement de la sécurité des systèmes virtualisés. | |
Réseaux de neurones pour l’orchestration musicale automatique. | |
Tests de systèmes musicaux interactifs et temps réel basés sur modèles. | |
Traitement de la polyphonie pour l'analyse informatique de partitions musicales | |
TREE AUTOMATA AND TERM REWRITING. | |
Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking |