BACK TO INDEX

Thesis
2021
  1. Francesco Bariatti. Mining Tractable Sets of Graph Patterns with the Minimum Description Length Principle. PhD thesis, Université de Rennes 1, November 2021. [WWW] [bibtex-entry]


  2. Aurélien Lamercerie. Principe de transduction sémantique pour l'application de théories d'interfaces sur des documents de spécification. PhD thesis, Université de Rennes 1, April 2021. Note: Thèse de doctorat dirigée par Caillaud, Benoit et Foret, Annie. [WWW] [Abstract] [bibtex-entry]


2020
  1. Peggy Cellier. Towards Usable Pattern Mining. PhD thesis, Habilitation à diriger des recherche de l'université de Rennes 1, 30 octobre 2020. [bibtex-entry]


2015
  1. Mouhamadou Ba. Composition guidée de services : application aux workflows d'analyse de données en bio-informatique. PhD thesis, Thèse de l'INSA Rennes - École doctorale MATISSE, 4 décembre 2015. Note: Supervisée par M. Ducassé et S. Ferré. [Abstract] [bibtex-entry]


2014
  1. Sébastien Ferré. Reconciling Expressivity and Usability in Information Access - From Filesystems to the Semantic Web. Habilitation thesis, Matisse, Univ. Rennes 1, 2014. Note: Habilitation à Diriger des Recherches (HDR), defended on November 6th. Keyword(s): expressivity, usability, information access, information retrieval, query language, navigation structure, interactive view, abstract conceptual navigation, file system, semantic web. [Abstract] [bibtex-entry]


2012
  1. Annie Foret. On some classes of type-logical grammars that model syntax. Habilitation thesis, Matisse, Univ. Rennes 1, 2012. Note: Habilitation à Diriger des Recherches (HDR), defended on July 5th. [bibtex-entry]


  2. Alice Hermann. Création et mise à jour d'objets dans une base de connaissances. PhD thesis, Thèse de l'INSA Rennes - École doctorale MATISSE, 17 décembre 2012. Note: Supervised by M. Ducassé and S. Ferré. [bibtex-entry]


2011
  1. Pierre Allard. Logical modeling of multidimensional analysis of multivalued relations - Application to geographic data exploration. PhD thesis, Thèse de l'Université de Rennes 1 - École doctorale MATISSE, 12 décembre 2011. Note: Supervised by S. Ferré and O. Ridoux. [Abstract] [bibtex-entry]


2009
  1. Olivier Bedel. GEOLIS : Un Système d'information logique pour l'organisation et la recherche de données géolocalisées. PhD thesis, Thèse de l'université de Rennes 1, 22 janvier 2009. Note: Coencadrée par O. Ridoux et S. Ferré. [bibtex-entry]


2008
  1. Peggy Cellier. DeLLIS : Débogage de programmes par Localisation de fautes avec un Système d'Information Logique. PhD thesis, Thèse de l'université de Rennes 1, 05 décembre 2008. Note: Coencadrée par M. Ducassé, S. Ferré et O. Ridoux. [bibtex-entry]


  2. Tristan Denmat. Contraintes et abstractions pour la génération automatique de données de test. PhD thesis, Thèse de l'INSA de Rennes, 05 juin 2008. Note: Coencadrée par M. Ducassé et Anaud Gotlieb. [bibtex-entry]


2006
  1. Elvis Tombini. Amélioration du diagnostic en détection d'intrusions : étude et application d'une combinaison de méthodes de détection d'intrusions comportementale et par scénarios. PhD thesis, INSA de Rennes, septembre 2006. Note: M. Ducassé, H. Debar et L. Mé, directeurs de thèse. [bibtex-entry]


2005
  1. Yoann Padioleau. Logic File System, un système de fichier basé sur la logique. Thèse d'université, Université de Rennes 1, February 2005. Note: Supervised by O. Ridoux. Keyword(s): file system, logical information system, navigation, file. [bibtex-entry]


2002
  1. Sébastien Ferré. Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre. Thèse d'université, Université de Rennes 1, October 2002. Note: Accessible en ligne à l'adresse http://www.irisa.fr/bibli/publi/theses/theses02.html.[WWW] Keyword(s): système d'information, treillis (théorie des), analyse de concepts, logique, recherche de l'information, navigateurs (logiciels), apprentissage automatique. [Abstract] [bibtex-entry]


1999
  1. S. Mallet. Explications dans les bases de données déductives : Associer trace et sémantique. PhD thesis, Insa de Rennes, Irisa, novembre 1999. [bibtex-entry]


1992
  1. M. Ducassé. An extendable trace analyser to support automated debugging. PhD thesis, University of Rennes I, France, June 1992. Note: European Doctorate. [Abstract] [bibtex-entry]



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Fri Jan 28 13:48:41 2022
Author: ferre.


This document was translated from BibTEX by bibtex2html