BACK TO INDEX

Internal reports
2019
  1. Mireille Ducassé. Kartu-Verbs: A Semantic Web Base of Inflected Verb Forms for the Georgian Language. Technical Report, IRISA-INSA, December 2019. Note: Avalaible under HAL https://hal.archives-ouvertes.fr/hal-02460975. [WWW] [Abstract] [bibtex-entry]


2018
  1. Guillaume Aucher, Anthony Baire, Jean Berbinau, Annie Foret, Jean-Baptiste Lenhof, Marie-Laure Morin, Olivier Ridoux, and François Schwarzentruber. Principles for a Judgement Editor Based on BDD. Research Report, Université de Rennes 1, France, November 2018. Note: Report of a collaborative project between the Cour de cassation, the University of Rennes 1, the ENS Rennes, the INRIA and the University of Torino, from 2013 to 2015.[WWW] [PDF] Keyword(s): BDD, software assistant, Law, artificial intelligence. [bibtex-entry]


  2. Peggy Cellier, Mireille Ducassé, Sébastien Ferré, and Olivier Ridoux. Data Mining for Fault Localization: towards a Global Debugging Process. Research Report, INSA RENNES ; Univ Rennes, CNRS, IRISA, France, 2018. [WWW] [PDF] [bibtex-entry]


  3. Hugues Ferreboeuf, Olivier Ridoux, and others. LEAN ICT, Pour une sobriété numérique. Technical report, The SHIFT Project, France, Mars 2018. Note: Rapport de travail intermédiaire.[WWW] [PDF] Keyword(s): Green IT, IT impact, LCA. [bibtex-entry]


  4. Sébastien Ferré. A SPARQL 1.1 Query Builder for the Data Analytics of Vanilla RDF Graphs. Research Report, IRISA, team SemLIS, 2018. [WWW] [PDF] Keyword(s): RDF, SPARQL, OLAP, natural language interface, data analytics, query builder, expressivity. [Abstract] [bibtex-entry]


  5. Esther Galbrun, Peggy Cellier, Nikolaj Tatti, Alexandre Termier, and Bruno Crémilleux. Mining Periodic Patterns with a MDL Criterion. Technical report, 2018. [WWW] [bibtex-entry]


2013
  1. Joris Guyonvarch, Sébastien Ferré, and Mireille Ducassé. Scalable Query-based Faceted Search on top of SPARQL Endpoints for Guided and Expressive Semantic Search. Research report PI-2009, LIS - IRISA, October 2013. [WWW] [PDF] Keyword(s): Web of data, semantic search, querying, faceted search, SPARQL, SEWELIS, expressivity, usability, scalability. [Abstract] [bibtex-entry]


2011
  1. Sébastien Ferré. SQUALL: a High-Level Language for Querying and Updating the Semantic Web. Research Report, IRISA, 2011. [WWW] Keyword(s): Semantic Web, controlled natural language, query language, update language, expressiveness, Montague grammar. [Abstract] [bibtex-entry]


  2. Sébastien Ferré, Alice Hermann, and Mireille Ducassé. Semantic Faceted Search: Safe and Expressive Navigation in RDF Graphs. Research Report, IRISA, 2011. [WWW] Keyword(s): semantic web, faceted search, query language, exploratory search, navigation, expressiveness. [Abstract] [bibtex-entry]


2009
  1. Sébastien Ferré. Navigating the Semantic Web with Logical Information Systems. internal publication 1934, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), August 2009. [WWW] Keyword(s): logical information systems, semantic web, navigation, querying. [Abstract] [bibtex-entry]


2006
  1. Sébastien Ferré and Olivier Ridoux. Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics. Research Report RR-5871, Irisa, March 2006. [WWW] Keyword(s): logic, components, modules and functors, theorem provers, type checking, application developpement. [Abstract] [bibtex-entry]


  2. Alexandre Vautier, Marie-Odile Cordier, Mireille Ducassé, and René Quiniou. Visualization of Internet Flow Records. Publication Interne 1828, IRISA, november 2006. Note: CURAR deliverable - CRE France Telecom R & D. [bibtex-entry]


2005
  1. T. Denmat, M. Ducassé, and O. Ridoux. Data Mining and Cross-checking of Execution Traces. A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version). Research Report RR-5661, INRIA, August 2005. Note: Also Publication Interne IRISA PI-1743. [WWW] [bibtex-entry]


  2. L. Langevine and M. Ducassé. A Tracer Driver to Enable Concurrent Dynamic Analyses. Research Report RR-5611, INRIA, June 2005. [WWW] [bibtex-entry]


2004
  1. Mireille Ducassé and Benjamin Sigonneau. Building efficient tools to query execution traces. Rapport de Recherche RR-5280, INRIA, July 2004. Note: Also Publication Interne IRISA 1638. [bibtex-entry]


  2. J.-P. Pouzol, S. Benferhat, H. Debar, M. Ducassé, E. Fayol, S. Gombault, J. Goubault-Larrecq, Y. Lavictoire, L. Mé, L. Noé, J. Olivain, E. Totel, and B. Vivinis. Rapport de synthèse sur la création de sondes de détection d'intrusions. Livrable du projet RNTL DICO, Juillet 2004. Note: 121 pages. [bibtex-entry]


2003
  1. Jean Goubault-Larrecq, Stéphane Demri, M. Ducassé, Ludovic Mé, Julien Olivain, Claudine Picaronny, Jean-Philippe Pouzol, Eric Totel, and Bernard Vivinis. Algorithmes de détection et langages de signatures. Livrable 3.3, Projet RNTL DICO, http://dico.netsecuresoftware.com//index.htm, Octobre 2003. [bibtex-entry]


  2. Yoann Padioleau and Olivier Ridoux. A Logic File System. Research Report 4656, INRIA, 2003. [WWW] Keyword(s): file system, information retrieval, applied logic. [Abstract] [bibtex-entry]


  3. Yoann Padioleau and Olivier Ridoux. The Parts-of-file File System. Rapport de recherche 4783, INRIA, 2003. [bibtex-entry]


2002
  1. Sébastien Ferré. Incremental Concept Formation made More Efficient by the Use of Associative Concepts. Research Report RR-4569, Inria, Institut National de Recherche en Informatique et en Automatique, October 2002. [WWW] Keyword(s): context, concept lattice, Galois lattice, incremental algorithm, complexity. [Abstract] [bibtex-entry]


  2. Sébastien Ferré and Olivier Ridoux. Introduction to Logical Information Systems. Research Report RR-4540, Inria, Institut National de Recherche en Informatique et en Automatique, September 2002. [WWW] Keyword(s): information system, information search and retrieval, query formulation, representation languages, deduction and theorem proving. [Abstract] [bibtex-entry]


  3. Sébastien Ferré and Olivier Ridoux. Logic Functors : a Framework for Developing Embeddable Customized Logics. Technical report RR-4457, Inria, Institut National de Recherche en Informatique et en Automatique, May 2002. [WWW] Keyword(s): applied logic, software component. [Abstract] [bibtex-entry]


2001
  1. M. Ducassé and L. Rozé. Revisiting the ``Traffic lights'' B case study. Publication Interne 1424, IRISA, November 2001. [bibtex-entry]


2000
  1. Sébastien Ferré and Olivier Ridoux. A File System Based on Concept Analysis. Technical Report RR-3942, Inria, Institut National de Recherche en Informatique et en Automatique, avril 2000. [WWW] [bibtex-entry]


1999
  1. Sébastien Ferré and Olivier Ridoux. Une généralisation logique de l'analyse de concepts logique. Technical Report RR-3820, Inria, Institut National de Recherche en Informatique et en Automatique, December 1999. [WWW] Keyword(s): concept analysis, concept lattice, logic, context, information systems, querying, browsing. [Abstract] [Annotation] [bibtex-entry]


  2. S. Mallet and M. Ducassé. Myrtle: A set-oriented meta-interpreter driven by a ``relational'' trace for deductive database debugging. Research Report RR-3598, INRIA, January 1999. [WWW] Keyword(s): deductive databases, debugging, trace, multi-SLD-AL, meta-interpreter, substitution set, instrumentation. [Abstract] [bibtex-entry]


1998
  1. M. Ducassé. Coca: A Debugger for C Based on Fine Grained Control Flow and Data Events. Technical report IRISA PI 1202 or INRIA RR-3489, INRIA, septembre 1998. [WWW] Keyword(s): Software engineering, Programming environment, Automated debugging, Trace query mechanism, Debugging language, Program behavior understanding, C Debugging tool. [Abstract] [bibtex-entry]


1993
  1. P. Brisset and O. Ridoux. The Compilation of $\lambda$Prolog and its execution with MALI. Rapport de recherche 1831, INRIA, 1993. [WWW] [bibtex-entry]


1992
  1. P. Brisset and O. Ridoux. The Compilation of $\lambda$Prolog and its execution with MALI. Publication Interne 687, IRISA, 1992. [WWW] Keyword(s): LambdaProlog, implementation, compilation, memory management.. [Abstract] [bibtex-entry]


1991
  1. M. Ducassé and A.-M. Emde. A High-level Debugging Environment for Prolog. Opium User's Manual. Technical Report TR-LP-60, ECRC, May 1991. [WWW] [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: Thu Apr 8 17:20:28 2021
Author: ferre.


This document was translated from BibTEX by bibtex2html