Marie-Christine Rousset
Marie-Christine Rousset a rédigé la thèse suivante :
Sur la cohérence et la validation des bases de connaissances : le système COVADIS
par Marie-Christine Rousset sous la direction de Marie-Odile Cordier - Paris 11
Informatique
Soutenue en 1988
Marie-Christine Rousset dirige actuellement les 4 thèses suivantes :
Apprentissage de règles logiques pour la preuve formelle de réseaux de neurones profonds : application à la classification d'objets dans le contexte d'un véhicule autonome
par Romain Xu (Xu-darme) sous la direction de Georges Quenot et de Marie-Christine Rousset . - Université Grenoble Alpes
Informatique
En préparation depuis le 02-11-2020
Vulnérabilités du web sémantique en matière de confidentialité et de sécurité
par Hira Asghar sous la direction de Marie-Christine Rousset - Université Grenoble Alpes
Informatique
En préparation depuis le 15-02-2020
Analytique des données massives basée sur des ontologies: application à la plateforme de formation SIDES 3.0 en médecine
par Adam Sanchez ayte sous la direction de Marie-Christine Rousset - Université Grenoble Alpes
Mathématiques et Informatique
En préparation depuis le 06-05-2019
Modélisation et mise à jour d'ontologies interactives : application à la formation par simulation de gestes médicaux
par Shadi Baghernezhad tabasi sous la direction de Marie-Christine Rousset - Université Grenoble Alpes
Informatique
Soutenue le 30-09-2021
Marie-Christine Rousset a dirigé les 22 thèses suivantes :
Intégration de données liées respectueuse de la confidentialité
par Rémy Delanaux sous la direction de Angela Bonifati , Marie-Christine Rousset et de Romuald Thion . - Lyon
Informatique
Soutenue le 13-12-2019
Uncertainty-Sensitive Reasoning over the Web of Data
par Mustafa al Bakri sous la direction de Marie-Christine Rousset et de Manuel Atencia . - Grenoble
Informatique
Soutenue le 15-12-2014
Abstraction et comparaison de traces d'exécution pour l'analyse d'applications multimédias embarquées
par Christiane Kamdem Kengne sous la direction de Marie-Christine Rousset et de Maurice Tchuenté . - Grenoble
Informatique
Soutenue le 05-12-2014
Un algorithme de fouille de données générique et parallèle pour architecture multi-coeurs
par Benjamin Negrevergne sous la direction de Marie-Christine Rousset et de Alexandre Termier . - Grenoble
Informatique
Soutenue le 29-11-2011
Composition dynamique de fonctionnalités de dispositifs en réseaux dans le web semantique
par Sattisvar Tandabany sous la direction de Marie-Christine Rousset - Grenoble 1
Informatique
Soutenue en 2009
Fiabilité des réponses fournies par un réseau logique pair-à-pair
par Gia Hien Nguyen sous la direction de Marie-Christine Rousset - Grenoble 1
Informatique
Soutenue en 2008
Intégration sémantique de données guidée par une ontologie
par Fatiha Saïs sous la direction de Marie-Christine Rousset et de Nathalie Pernelle . - Paris 11
Informatique
Soutenue en 2007
Raisonnement pair-à-pair en logique propositionnelle : algorithmes, passage à l'échelle et applications
par Philippe Adjiman sous la direction de Marie-Christine Rousset - Paris 11
Informatique
Soutenue en 2006
Recherche ciblée de documents sur le Web
par Amar-Djalil Mezaour sous la direction de Marie-Christine Rousset - Paris 11
Informatique
Soutenue en 2005
XSEarch, un moteur de recherche pour XML combinant structure et contenu
par Jonathan Mamou sous la direction de Marie-Christine Rousset - Paris 11
Informatique
Soutenue en 2005
Extraction d'arbres fréquents dans un corpus hétérogène de données semi-structurées : application à la fouille de document XML
par Alexandre Termier sous la direction de Marie-Christine Rousset et de Michèle Sebag . - Paris 11
Informatique
Soutenue en 2004
Multirésolution pour le test de consistance et la déduction en logique propositionnelle
par Laurent Simon sous la direction de Marie-Christine Rousset et de Philippe Chatalic . - Paris 11
Informatique
Soutenue en 2001
Reecriture de requetes en termes de vues dans carin et integration d'informations
par François Goasdoué sous la direction de Marie-Christine Rousset - Paris 11
Sciences et techniques
Soutenue en 2001
Astree : automatiser l'aide à la construction d'un modèle de résolution de problèmes
par Françoise Tort sous la direction de Marie-Christine Rousset - Paris 11
Informatique
Soutenue en 1996
Validation, diagnostic et réparation de bases de connaissances : le système KBDR
par Fatma Bouali sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1996
Representation et verification de connaissances de structuration a l'aide de systemes terminologiques
par PASCALE HORS sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1995
Lisa : un langage reflexif pour la modelisation du controle dans les systemes a base de connaissances. application a la planification des reseaux electriques
par ISABELLE DELOUIS sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1993
Planification et explication du raisonnement d'un resolveur complexe en algebre : application aux factorisations de polynomes et aux resolutions d'equations
par MUSTAPHA SAIDI sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1992
Construction et transmission d'explications dans les systemes a base de connaissances
par Benoît Lemaire sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1992
Filtrage flou et representation centree-objet pour raisonner par analogie : le systeme floran
par SYLVIE SALOTTI-LAMMIN sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1992
Representation de points de vue pour le raisonnement hypothetique : application a l'aide a la decision
par ANTOINE DIAZ sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1992
Carmen : plate-forme de construction de systemes experts seconde generation
par XUEJUN TONG sous la direction de Marie-Christine Rousset - Paris 11
Sciences appliquées
Soutenue en 1990
Marie-Christine Rousset a été président de jury des 19 thèses suivantes :
Text-to-Movie création de leçons d'anatomie
par Vaishnavi Ameya Murukutla sous la direction de Olivier Palombi et de Rémi Ronfard . - Université Grenoble Alpes
Informatique
Soutenue le 07-12-2021
Apprentissage en présence de données stratégiques : modèles et solutions
par Benjamin Roussillon sous la direction de Patrick Loiseau et de Panayotis Mertikopoulos . - Université Grenoble Alpes
Mathématiques appliquées
Soutenue le 15-09-2021
Raisonnement efficace sur des grands graphes hétérogènes
par Maxime Buron sous la direction de Ioana Gabriela Manolescu Goujot et de Marie-Laure Mugnier . - Institut polytechnique de Paris
Informatique
Soutenue le 07-10-2020
Reconnaissance et modélisation des actions de manipulation
par Nachwa Abou Bakr sous la direction de James L Crowley et de Rémi Ronfard . - Université Grenoble Alpes
Informatique
Soutenue le 12-06-2020
A new approach for distributed programming in smart grids
par Thi Thanh Quynh Nguyen sous la direction de Nouredine Hadj-Said - Université Grenoble Alpes (ComUE)
Génie électrique
Soutenue le 16-12-2019
Machines stochastiques dédiées à l'inférence Bayésienne pour la localisation et séparation de sources
par Raphael Frisch sous la direction de Laurent Fesquet et de Emmanuel Mazer . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 14-11-2019
Argumentation techniques for existential rules
par Bruno Yun sous la direction de Madalina Croitoru et de Rallou Thomopoulos . - Montpellier
Informatique
Soutenue le 11-07-2019
Traitements formels et sémantiques des échanges et des documents textuels liés à des activités collaboratives
par Ruslan Kalitvianski sous la direction de Christian Boitet et de Valérie Bellynck . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 20-03-2018
Sur les aspects théoriques et pratiques des compromis dans les problèmes d'allocation des ressources
par Abhinav Srivastav sous la direction de Oded Maler et de Denis Trystram . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 16-02-2017
Conception d'un famework pour la relaxation des requêtes SPARQL
par Géraud Fokou Pelap sous la direction de Stéphane Jean - Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique
Informatique et applications
Soutenue le 21-11-2016
Extraction des règles d'association dans des bases de connaissances
par Luis Galarraga Del Prado sous la direction de Fabian Suchanek - Paris, ENST
Informatique et réseaux
Soutenue le 29-09-2016
Génération de la prosodie audio-visuelle pour les acteurs virtuels expressifs
par Adela Barbulescu sous la direction de Rémi Ronfard et de Gérard Bailly . - Université Grenoble Alpes (ComUE)
Mathématiques et Informatique
Soutenue le 23-11-2015
Learning information retrieval functions and parameters on unlabeled collections
par Parantapa Goswami sous la direction de Éric Gaussier et de Massih-Reza Amini . - Grenoble
Informatique
Soutenue le 06-10-2014
Assistance à la construction et à la comparaison de techniques de diagnostic des connaissances
par Sébastien Lallé sous la direction de Vanda Luengo et de Nathalie Guin . - Grenoble
Informatique
Soutenue le 11-12-2013
Programmation d'espace intelligent par l'utilisateur final
par Emeric Fontaine sous la direction de Joëlle Coutaz et de Alexandre Demeure . - Grenoble
Informatique
Soutenue le 12-07-2012
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
par Ismael Barcenas Patino sous la direction de Nabil Layaida - Grenoble
Informatique
Soutenue le 14-02-2011
Mesures de similarité et cosinus généralisé : une approche d'apprentissage supervisé fondée sur les k plus proches voisins
par Ali Mustafa Qamar sous la direction de Éric Gaussier - Grenoble
Informatique
Soutenue en 2010
Macro-opérateurs en Programmation Logique Inductive : théorie et algorithmes
par Erick Alphonse sous la direction de Céline Rouveirol - Paris 11
Informatique
Soutenue en 2003
Approche incrémentale des preuves automatiques de terminaison
par Xavier Urbain sous la direction de Claude Marché et de Jean-Pierre Jouannaud . - Paris 11
Informatique
Soutenue en 2001
Marie-Christine Rousset a été rapporteur des 11 thèses suivantes :
Ingénierie des connaissances dans le domaine du sourcing pour la recommandation de prestataires
par Molka Tounsi Dhouib sous la direction de Andrea Tettamanzi et de Catherine Faron-Zucker . - Université Côte d'Azur
Informatique
Soutenue le 26-03-2021
Knowledge Extraction from Description Logic Terminologies
par Jieying Chen sous la direction de Philippe Dague - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 30-11-2018
Intégrer des sources de données hétérogènes dans le Web de données
par Franck Michel sous la direction de Johan Montagnat et de Catherine Faron-Zucker . - Université Côte d'Azur (ComUE)
Informatique
Soutenue le 03-03-2017
Répondre efficacement aux requêtes Big Data en présence de contraintes
par Damián Bursztyn sous la direction de Ioana Gabriela Manolescu Goujot - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 15-12-2016
Querying existential rule knowledge bases : decidability and complexity
par Swan Rocher sous la direction de Marie-Laure Mugnier - Montpellier
Informatique
Soutenue le 25-11-2016
Semantically-enabled stream processing and complex event processing over RDF graph streams
par Syed Gillani sous la direction de Frédérique Laforest et de Gauthier Picard . - Lyon
Informatique
Soutenue le 04-11-2016
Approches vers des modèles unifiés pour l'intégration de bases de connaissances
par Maria Koutraki sous la direction de Karine Bennis-Zeitouni et de Christian Dan Vodislav . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 27-09-2016
Approches algébriques pour la gestion et l’exploitation de partitions sur des jeux de données
par Frédéric Dumonceaux sous la direction de Marc Gelgon - Nantes
Informatique et applications
Soutenue en 2015
Automatic key discovery for Data Linking
par Danai Symeonidou sous la direction de Nathalie Pernelle - Paris 11
Informatique
Soutenue le 09-10-2014
Bridging the gap between social and digital works : system modeling and trust evaluation)
par Nagham Alhadad sous la direction de Philippe Lamarre - Nantes
Informatique
Soutenue en 2014
Conjunctive query answering under existential rules : decidability, complexity and algorithms
par Michaël Thomazo sous la direction de Marie-Laure Mugnier et de Jean-François Baget . - Montpellier 2
Informatique
Soutenue le 24-10-2013
Marie-Christine Rousset a été membre de jury des 7 thèses suivantes :
Réduire la probabilité de disparité des termes en exploitant leurs relations sémantiques
par Mohannad Almasri sous la direction de Jean-Pierre Chevallet et de Catherine Berrut . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 27-06-2017
Gestion des incohérences pour l'accès aux données en présence d'ontologies
par Camille Bourgaux sous la direction de François Goasdoué - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 29-09-2016
View-Based techniques for the efficient management of web data
par Konstantinos Karanasos sous la direction de Ioana Gabriela Manolescu Goujot - Paris 11
Informatique
Soutenue le 29-06-2012
Distributed data management with access control : social Networks and Data of the Web
par Alban Galland sous la direction de Serge Abiteboul - Paris 11
Informatique
Soutenue le 28-09-2011
Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair
par Philippe Gauron sous la direction de Pierre Fraigniaud - Paris 11
Informatique
Soutenue en 2006
Inde : un système de détection d'inconsistances et d'incomplétudes dans les bases de connaissances
par Eric Pipard sous la direction de Guy Vidal-Naquet - Paris 11
Informatique
Soutenue en 1987
Le problème des explications négatives dans les systèmes experts : le système pourquoi-pas ?
par Brigitte Safar sous la direction de Marie-Odile Cordier - Paris 11
Informatique
Soutenue en 1987
