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 et de Christophe Bobineau . - 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 et de Fabrice Jouanot . - Université Grenoble Alpes
Mathématiques et Informatique
En préparation depuis le 06-05-2019
Intégration et exploitation dans la plateforme numérique SIDES 3.0 de la description formalisée de séances de formation et d'évaluation par simulation de gestes médicaux
par Shadi Baghernezhad Tabasi sous la direction de Marie-Christine Rousset et de Fabrice Jouanot . - Université Grenoble Alpes
Informatique
En préparation depuis le 28-04-2017
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 - Université Joseph Fourier (Grenoble)
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 - Université Joseph Fourier (Grenoble)
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
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
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
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 16 thèses suivantes :
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
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 10 thèses suivantes :
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
