Research leading Manuscripts
Thomas Genet
Reachability analysis of rewriting for software verification
2009 November, 30
Guillaume Gravier
Intégration de connaissances par modèles probabilistes pour l'analyse de documents multimédias
2009 September, 29
Nizar Bouabdallah
Une croisière dans les réseaux : des réseaux d'accès sans fil aux réseaux de coeur tout optique
2009 April, 30
/
107 pages
Gabriel Antoniu
Contribution à la conception de services de partage de données pour les grilles de calcul
2009 March, 05
Anne Siegel
Analyse de systèmes dynamiques par discrétisation Exemples d'applications en théorie des nombres et en biologie moléculaire
2008 December, 08
/
226 pages
Miklós Molnár
Optimisation des communications multicast sous contraintes
2008 November, 25
/
165 pages
Stefan Haar
Law and partial order Nonsequential behaviour and probability in asynchronous systems
2008 October, 30
Eric Anquetil
Reconnaissance d'écriture manuscrite et interaction homme-document
2008 October, 27
/
127 pages
Laurent Mevel
Identification and detection of stochastic systems application in structural monitoring
2008 October, 22
Christophe Collewet
Vers des asservissements visuels sur des scènes inconnues
2008 September, 30
/
89 pages