BACK TO INDEX

Publications of year 2004
Books and proceedings
  1. M. Ducassé, U. Nilsson, and D. Seipel, editors. Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP, http://www.ep.liu.se/ecp/012/, September 2004. Linköping Electronic Conference Proceedings, Issue No. 12. Note: ISSN 1650-3686 (print), 1650-3740 (www).
    @Proceedings{ducasse04b,
    Title={Proceedings of the First International Workshop on Teaching Logic Programming: TeachLP},
    Year={2004},
    Editor={M. Ducassé and U. Nilsson and D. Seipel },
    Publisher={Linköping Electronic Conference Proceedings, Issue No. 12},
    Address={http://www.ep.liu.se/ecp/012/},
    Month={September},
    Note={ISSN 1650-3686 (print), 1650-3740 (www)}
    }
    


Articles in journal or book chapters
  1. L. Langevine, P. Deransart, and M. Ducassé. A Generic Trace Schema for the Portability of CP(FD) Debugging Tools. In J. Vancza, K. Apt, F. Fages, F. Rossi, and P. Szeredi, editors, Recent advances in Constraint Programming, pages 171-195. Springer-Verlag, Lecture Notes in Artificial Intelligence 3010, 2004.
    @InCollection{langevine04,
    Author={L. Langevine and P. Deransart and M. Ducassé},
    Title={A Generic Trace Schema for the Portability of CP(FD) Debugging Tools},
    BookTitle={Recent advances in Constraint Programming},
    Editor={J. Vancza and K. Apt and F. Fages and F. Rossi and P. Szeredi},
    Publisher={Springer-Verlag, Lecture Notes in Artificial Intelligence 3010},
    pages = {171--195},
    Year={2004}
    }
    


  2. Hervé Debar, B. Morin, Frédéric Cuppens, Fabien Autrel, Ludovic Mé, Bernard Vivinis, Salem Benferhat, M. Ducassé, and Rodolphe Ortalo. Corrélation d'alertes en détection d'intrusions. Technique et Science Informatiques, 23(3):323-358, 2004.
    @Article{debar04,
    Author={Hervé Debar and B. Morin and Frédéric Cuppens and Fabien Autrel and Ludovic Mé and Bernard Vivinis and Salem Benferhat and M. Ducassé and Rodolphe Ortalo},
    Title={Corrélation d'alertes en détection d'intrusions},
    Journal = {Technique et Science Informatiques},
    volume = "23",
    number = "3",
    pages = "323--358",
    year = "2004" 
    }
    


  3. Sébastien Ferré and Olivier Ridoux. An Introduction to Logical Information Systems. Information Processing & Management, 40(3):383-419, 2004. Keyword(s): information systems, information search, retrieval, query formulation, representation languages, deduction, theorem proving.
    Abstract:
    Logical information systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of a schema in databases. We present the principles of LIS, the constraints they impose on the expression of logics, and hints for their effective implementation.

    @Article{FerRid2004,
    author = {Sébastien Ferré and Olivier Ridoux},
    title = {An Introduction to Logical Information Systems},
    journal = {Information Processing \& Management},
    year = {2004},
    volume = {40},
    number = {3},
    pages = {383--419},
    abstract = {Logical information systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of a schema in databases. We present the principles of LIS, the constraints they impose on the expression of logics, and hints for their effective implementation.},
    keywords = {information systems; information search; retrieval; query formulation; representation languages; deduction; theorem proving},
    
    }
    


  4. Jeanne Villaneau, Olivier Ridoux, and Jean-Yves Antoine. LOGUS : un système formel de compréhension de l'oral spontané. RIA --- Revue d'Intelligence Artificielle, (à paraître), 2004.
    @article{VRA-RIA2004,
    author = {Jeanne Villaneau and Olivier Ridoux and Jean-Yves Antoine},
    title = {LOGUS : un système formel de compréhension de l'oral spontané},
    journal = "RIA --- Revue d'Intelligence Artificielle, (à paraître)",
    year = 2004 
    }
    


Conference articles
  1. D. Bechet, A. Dikovsky, A. Foret, and E. Moreau. On learning discontinuous dependencies from positive data. In Proceedings of the Formal Grammar Conference (FG 2004), August 2004.
    @InProceedings{Foret04b,
    author = {D. Bechet and A. Dikovsky and A. Foret and E. Moreau},
    title = {On learning discontinuous dependencies from positive data},
    booktitle = {Proceedings of the Formal Grammar Conference (FG~2004)},
    month = aug,
    year = 2004 
    }
    


  2. Denis Bechet and Annie Foret. On Intermediate Structures for Non-Associative Lambek Grammars and Learnability. In Proceedings of the CG 2004 Conference : Categorial Grammars An efficient tool for Natural Language Processing, June 2004.
    @InProceedings{Foret04a,
    author = {Denis Bechet and Annie Foret},
    title = {On Intermediate Structures for Non-Associative {L}ambek Grammars and Learnability},
    booktitle = {Proceedings of the CG 2004 Conference : Categorial Grammars "An efficient tool for Natural Language Processing" },
    month = jun,
    year = 2004 
    }
    


  3. D. Bechet, A. Foret, and I. Tellier. Learnability of Pregroup Grammars. In Proceedings of the International Conference of grammatical Inference (ICGI 2004), LNAI 3264, October 2004.
    @InProceedings{Foret04c,
    author = {D. Bechet and A. Foret and I. Tellier},
    title = {Learnability of Pregroup Grammars},
    booktitle = {Proceedings of the International Conference of grammatical Inference (ICGI~2004), LNAI 3264},
    month = oct,
    year = 2004 
    }
    


  4. Sébastien Ferré and R. D. King. BLID: an Application of Logical Information Systems to Bioinformatics. In P. Eklund, editor, Int. Conf. Formal Concept Analysis, LNCS 2961, pages 47-54, 2004. Springer. Keyword(s): logical concept analysis, information system, bioinformatics.
    Abstract:
    BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both data browsing and analysis. We describe BLIDrsquos novel data browsing system which is based on the idea of Logical Information Systems. This enables combined querying and navigation of data in BLID (extracted from public bioinformatic repositories). The browsing language is a logic especially designed for bioinformatics. It currently includes sequence motifs, taxonomies, and macromolecule structures, and it is designed to be easily extensible, as it is composed of reusable components. Navigation is tightly combined with this logic, and assists users in browsing a genome through a form of human-computer dialog.

    @InProceedings{FerKin2004a,
    author = {Sébastien Ferré and R. D. King},
    title = {{BLID}: an Application of Logical Information Systems to Bioinformatics},
    booktitle = {Int. Conf. Formal Concept Analysis},
    pages = {47--54},
    year = {2004},
    series = {LNCS 2961},
    editor = "P. Eklund",
    publisher = {Springer},
    keywords = {logical concept analysis, information system, bioinformatics},
    abstract = {BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both data browsing and analysis. We describe BLIDrsquos novel data browsing system which is based on the idea of Logical Information Systems. This enables combined querying and navigation of data in BLID (extracted from public bioinformatic repositories). The browsing language is a logic especially designed for bioinformatics. It currently includes sequence motifs, taxonomies, and macromolecule structures, and it is designed to be easily extensible, as it is composed of reusable components. Navigation is tightly combined with this logic, and assists users in browsing a genome through a form of human-computer dialog.},
    
    }
    


  5. L. Langevine and M. Ducassé. A tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer. In B. Demoen and V. Lifschtitz, editors, Proceedings of the International Conference on Logic Programming, pages 462-463, September 2004. Lecture Notes in Computer Science 3132, Springer-Verlag. Note: Poster.
    @InProceedings{langevine04c,
    Author={L. Langevine and M. Ducassé},
    Title={A tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer},
    BookTitle={Proceedings of the International Conference on Logic Programming},
    Year={2004},
    Editor={B. Demoen and V. Lifschtitz},
    Publisher={Lecture Notes in Computer Science 3132, Springer-Verlag},
    Pages = {462-463},
    Month={September},
    Note={Poster}
    }
    


  6. L. Langevine and M. Ducassé. Un pilote de traceur pour la PLC. Déboguer, auditer et visualiser une exécution avec un même traceur. In F. Mesnard, editor, Actes des Journées Francophones de Programmation en Logique avec Contraintes, pages 19-36, Juin 2004. HERMES Science Publications.
    @InProceedings{langevine04b,
    Author={L. Langevine and M. Ducassé},
    Title={Un pilote de traceur pour la PLC. Déboguer, auditer et visualiser une exécution avec un m\^eme traceur},
    Pages={19-36},
    BookTitle={Actes des Journées Francophones de Programmation en Logique avec Contraintes},
    Year={2004},
    Editor={F. Mesnard},
    Publisher={HERMES Science Publications},
    Month={Juin}
    }
    


  7. Benjamin Sigonneau and Olivier Ridoux. Indexation multiple et automatisée de composants logiciels orientés objet. In AFADL --- Approches Formelles dans l'Assistance au Développement de Logiciels, 2004.
    @inproceedings{RS-AFADL2004,
    author = {Benjamin Sigonneau and Olivier Ridoux},
    title = {Indexation multiple et automatisée de composants logiciels orientés objet},
    booktitle = {AFADL --- Approches Formelles dans l'Assistance au Développement de Logiciels},
    year = 2004
    }
    


  8. E. Tombini, H. Debar, L. Mé, and M. Ducassé. A serial combination of anomaly and misuse IDSes applied to HTTP traffic. In D. Thomsen and C. Schuba, editors, Proceedings of the Annual Computer Security Applications Conference, December 2004.
    @InProceedings{tombini04,
    Author={E. Tombini and H. Debar and L. Mé and M. Ducassé},
    Title={A serial combination of anomaly and misuse {IDSes} applied to {HTTP} traffic},
    BookTitle={Proceedings of the Annual Computer Security Applications Conference},
    Year={2004},
    Editor={D. Thomsen and C. Schuba},
    Month={December}
    }
    


Internal reports
  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.
    @TechReport{ducasse04,
    Author={Mireille Ducassé and Benjamin Sigonneau},
    Title={Building efficient tools to query execution traces},
    Institution={INRIA},
    Year={2004},
    Type={Rapport de Recherche},
    Number={RR-5280},
    Month={July},
    Note={Also Publication Interne IRISA 1638}
    }
    


  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.
    @TechReport{dico-sp4-04,
    Author={J.-P. Pouzol and S. Benferhat and H. Debar and M. Ducassé and E. Fayol and S. Gombault and J. Goubault-Larrecq and Y. Lavictoire and L. Mé and L. Noé and J. Olivain and E. Totel and B. Vivinis},
    Title={Rapport de synthèse sur la création de sondes de détection d'intrusions},
    Year={2004},
    Type={Livrable du projet {RNTL DICO}},
    Month={Juillet},
    Note={121 pages} 
    }
    



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 Jan 10 11:13:31 2019
Author: ferre.


This document was translated from BibTEX by bibtex2html