Laurentiu Hetel

SyNeR

Lois de commande soumises à des contraintes discrètes 2017-06-14

Jean Martinet

FOX

Caractéristiques avancées pour la représentation d'images : intégration des relations, des poids, de la profondeur et du temps 2016-12-15

Anne Etien

RMoD

Apport de la méta-modélisation à l'évolution et au test 2016-06-28

Michal Valko

SequeL

Bandits and graphs and structures 2016-06-15

Martin Monperrus

Spirals

Des oracles pour le diagnostic et la réparation automatique des bugs logiciels 2016-05-03

Mathieu Giraud

Bonsai

Compter les globules blancs, analyser les partitions 2016-03-30

Slawomir Staworko

LINKS

Symbolic Inference Methods for Databases 2015-12-14

Cédric Dumoulin

CARBON

Modéliser pour programmer moins. 2015-12-01

Gang Zheng

SyNeR

Analyse d'observabilité et synthèse d'observateur pour des systèmes dynamiques complexes 2015-11-26

Jérémie Mary

SequeL

Data-Driven Recommender Systems - Sequences of Recommendations 2015-11-24

Philippe Merle

Spirals

Intergiciel d’intergiciels adaptable à base de Services, Composants et Aspects 2015-09-24

Romain Rouvoy

Spirals

Contributions to the Autonomy of Ubiquitous Software Systems 2014-12-05

Xavier Le Pallec

CARBON

Centrer l’Ingénierie Dirigée par les Modèles sur l’Humain 2014-12-05

Julien Iguchi-Cartigny

2XS

Contributions à la sécurité des Java Card 2014-12-04

Michaël Hauspie

2XS

Eléments de conception de systèmes embarqués fortement contraints 2014-12-04

Yvan Peter

NOCE

Infrastructures support aux activités et scénarios d'apprentissage – du LMS aux environnements ouverts et pervasifs 2014-12-01

Mohammad Ghavamzadeh

SequeL

Complexité d’Échantillonnage pour la Prise de Décision Séquentielle 2014-06-11

Nicolas Anquetil

RMoD

Aide à l'Évolution Logicielle dans les Organisations 2014-05-09

Cédric Lhoussaine

BioComputing

Approches de la modélisation en biologie par langages de programmation concurrente 2013-12-13

Sébastien Picault

SMAC

De la simulation multi-agents à la simulation multi-niveaux. Pour une réification des interactions. 2013-12-06

Maude Pupin

Bonsai

Modèles bio-informatiques pour les peptides non-ribosomiques et leurs synthétases 2013-12-03

Géry Casiez

MINT

Du mouvement à l’interaction et au geste : études, techniques, outils et périphériques 2012-11-12

Daniil Ryabko

SequeL

Apprenabilité dans les problèmes de l'inférence séquentielle 2011-12-19

José Rouillard

NOCE

Adaptation en contexte : contribution aux interfaces multimodales et multicanal 2008-12-04

Jean-Stéphane Varré

Bonsai

Algorithmes pour la comparaison de génomes et la recherche de signaux cis-régulateurs 2008-12-04