- Contacts/Reaching LIFO
- Teaching
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
Go to publications of year : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
[hal-00085563:1]
Anas Abou El Kalam & Yves Deswarte, Sensitive Data Anonymization, revue du IATAC (Information Assurance Technology Analysis Center), Vol. Vol 9 - N{\textdegree} 2 (Juillet)(2). Pp. 8-14. 2006. [URL]
[hal-00079720:1]
Jérôme Durand-Lose, Abstract geometrical computation 1: embedding Black hole computations with rational numbers, Fundamenta Informaticae, Vol. 74(4). Pp. 491-450, Polskie Towarzystwo Matematyczne. 2006. [URL]
[hal-00085545:1]
Gérard Ferrand, Willy Lesaint & Alexandre Tessier, Explanations and Proof Trees, Computing and Informatics, Vol. 25. Pp. 105-125, Slovak University Press, Bratislava. 2006. [URL]
[hal-00480731:1]
Glen-Brug Guenver, Jimmy Leblet & Jean-Xavier Rampon, Chain Dominated Orders, Order, Vol. 23(2-3). Pp. 109-127, Springer Verlag. 2006. [URL]
[hal-00085477:1]
Arnaud Lallouet & Andrei Legtchenko, Partially Defined Constraints in Constraint-based Design, AI EDAM, Vol. 20{:}4(4), Cambridge University Press (CUP). 2006. [URL]
[hal-00085309:1]
Sébastien Limet & Gernot Salzer, Basic rewriting via logic programming, with an application to the reachability problem, Journal of Automata Languages and Combinatorics, Vol. 11(1). Pp. 107-142, Otto-von-Guericke-Universität Magdeburg. 2006. [URL]
[hal-00085310:1]
Sébastien Limet & Gernot Salzer, Tree tuple languages from the logic programming point of view, Journal of Automated Reasoning, Vol. 37(4). Pp. 323-349, Springer Verlag. 2006. [URL]
[hal-00085713:1]
Matthieu Exbrayat & Lionel Martin, Calcul et visualisation d'une distance inter-enluminures à partir des couleurs, Le médiéviste et l'ordinateur(45). Pp. 0, Institut de Recherche et d'Histoire des Textes, CNRS, Paris. 2006. [URL]
[hal-00083792:1]
Mohammed Gad El Rab & Anas Abou El Kalam, Evaluation des systèmes de détection d'intrusions, La Revue de l'électricité et de l'électronique, Vol. 6/7. Pp. 25, Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication. 2006. [URL]
[hal-00084803:1]
Céline Poudat, Guillaume Cleuziou & Viviane Clavier, Catégorisation de textes en domaines et genres : complémentarité des indexations lexicale et morphosyntaxique, Document numérique - Revue des sciences et technologies de l'information. Série Document numérique, Vol. 9. Pp. 61-76, Hermès. 2006. [URL]
[hal-00468802:1]
Siva Anantharaman, Gaétan Hains, Michael Rusinowitch, Paul Gastin & John Mullins, Journal of Automata, Languages and Combinatorics, Vol. 11(1). Pp. 142, Otto-von-Guericke-Universität, D-39016 Magdeburg. 2006. [URL]
[inria-00466169:1]
Frédéric Loulergue, Special Issue: Practical Aspects of High-Level Parallel Programming, Frédéric Loulergue (Ed.). Pp. 38, Warsaw School of Social Psychology. 2006. [URL]
[tel-00460610:1]
Mathieu Blanc, Sécurité des systèmes d'exploitation répartis : architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire., Thèse de Doctorat. Université d'Orléans. 12. 2006. [URL]
[hal-00491497:1]
Arnaud Lallouet, Construction de Solveurs, Apprentissage de Contraintes, et Résolution de Contraintes Quantifiées, Habilitation à Diriger des Recherches. Université d'Orléans, LIFO. 12. 2006. [URL]
[tel-00480669:1]
Karol Suchan, Complétions d'intervalles minimales, Thèse de Doctorat. Université d'Orléans. 12. 2006. [URL]
[tel-00480655:1]
Ioan Todinca, Décompositions arborescentes de graphes : calcul, approximations, heuristiques, Université d'Orléans. Habilitation `a Diriger des Recherches. 12. 2006. [URL]
[hal-00483325:1]
Soumia Ziti, Classes Particulières de Graphes : Aspects Structurels et Algorithmiques, Thèse Université d'Orléans, . 10. 2006. [URL]
[hal-00098260:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, Parallel Processing Of Group-By Join Queries On Shared Nothing Machines, in (ICSOFT'06), Proceedings of the International Conference on Software Data Technologies. Setubal, Portugal, Volume 1. Pp. 301-307, INSTICC press. 09. 2006. [URL]
[hal-00466751:1]
Marco Benedetti, Abstract Branching for Quantified Formulas, in Proc. of 21st National Conference on Artificial Intelligence (AAAI06). Pp. 1-6, American Association for Artificial Intelligence. 2006. [URL]
[hal-00085494:1]
Marco Benedetti, Arnaud Lallouet & Jérémie Vautard, Reusing CSP propagators for QCSPs, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming. 2006. [URL]
[hal-00022260:1]
Radia Benheddi & Frédéric Loulergue, Minimally Synchronous Parallel ML with Parallel Composition, in Seventh Symposium on Trends in Functional Programming (TFP 2006). 2006. [URL]
[hal-00083350:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Collaborative Approach for Access Control, Intrusion Detection and Security Testing, in The 2006 International Symposium on Collaborative Technologies and Systems, Special Session on Multi Agent Systems and Collaboration, Waleed W. Smari and William McQuay (Ed.), ISBN: 0-9785699-0-3. Pp. 270-278, IEEE Computer Society. 2006. [URL]
[hal-00083356:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Multi-Agent and Multi-Level Architecture to Secure Distributed Systems, in First International Workshop on Privacy and Security in Agent-based Collaborative Environments. Hakodate, Japan. Pp. 8, The Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. 2006. [URL]
[hal-03226172:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Multi-Agent and Multi-Level Architecture to Secure Distributed Systems, in First International Workshop on Privacy and Security in Agent-based Collaborative Environments. Hakodate, Japan. Pp. 8, The Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. 2006. [URL]
[hal-03226354:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Collaborative Approach for Access Control, Intrusion Detection and Security Testing, in International Symposium on Collaborative Technologies and Systems (CTS'06), Waleed W. Smari and William McQuay (Ed.). Las Vegas, United States, ISBN: 0-9785699-0-3. Pp. 270-278, IEEE Computer Society. 2006. [URL]
[hal-00081640:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Collaboration between MAC policies and IDS based on a meta-policy approach, in Workshop on Collaboration and Security 2006, International Symposium on Collaborative Technologies and Systems, Waleed W. Smari and William McQuay (Ed.). Las Vegas, United States, ISBN: 0-9785699-0-3. Pp. 48-55, IEEE Computer Society. 05. 2006. [URL]
[hal-00082278:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Distributed control enabling consistent MAC policies and IDS based on a meta-policy approach, in POLICY 2006, Seventh IEEE International Workshop on Policies for Distributed Systems and Networks. University of Western Ontario, London, Canada, ISBN: 0-7695-2598-9. Pp. 153-156, IEEE Computer Society. 06. 2006. [URL]
[hal-00084782:1]
Guillaume Cleuziou, Sylvie Billot, Stanislas Lew, Lionel Martin & Christel Vrain, A proximity measure and a clustering method for concept extraction in an ontology building perspective, in 16th International Symposium on Methodologies for Intelligent Systems (ISMIS'2006), Foundations of Intelligent Systems, F. Esposito and Z. Raś (Ed.), Foundations of Intelligent Systems. Pp. 697-706, Lecture Notes in COmputer Science. 2006. [URL]
[hal-00460937:1]
Guillaume Cleuziou, Lionel Martin & Christel Vrain, Structuring natural language data by learning rewriting rules, in 16th International Conference on Inductive Logic Programming (ILP'06), 16th International Conference on Inductive Logic Programming (ILP'06), Revised Selected Papers, Alireza Tamaddoni-Nezhad Stephen Muggleton, Ramón P. Otero (Ed.). Santiago de Compostela, Spain, Lecture Notes in Computer Science, Vol. 4455. Pp. 125-138, Springer. 08. 2006. [URL]
[hal-00144957:1]
Thi-Bich-Hanh Dao & Khalil Djelloul, Solving First-Order Constraints in the Theory of the Evaluated Trees, in Logic Programming, 22nd International Conference, ICLP 2006, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4079 Springer 2006, ISBN 3-540-36635-0, Miroslaw Truszczynski Sandro Etalle (Ed.). Seattle, WA, United States, Vol. 4079. Pp. 423-424, Springer. 2006. [URL]
[hal-00084815:1]
Gaël Dias, Claudia Santos & Guillaume Cleuziou, Automatic Knowledge Representation using a Graph-based Algorithm for Language-Independent Lexical Chaining, in Information Extraction Beyond The Document Workshop collocated with ACL-COLING 2006. Pp. 36-47. 2006. [URL]
[hal-00144959:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories, in ACM Symposium on Applied Computing (SAC 2006), Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. ACM 2006, ISBN 1-59593-108-2, Hisham Haddad (Ed.). Dijon, France. Pp. 7-14, ACM. 2006. [URL]
[hal-00144960:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Complete First-Order Axiomatization of Finite or Infinite M-extended Trees, in 20th Workshop on Logic Programming, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. INFSYS Research Report 1843-06-02 Technische Universität Wien, Austria 2006, Stefan Woltran Michael Fink, Hans Tompits (Ed.). Vienna, Austria. Pp. 111-119, Technische Universität Wien. 2006. [URL]
[hal-00202317:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Extension into trees of first order theories, in The 8th International conference on artificial intelligence and symbolic computation, lecture notes in artificial intelligence, Vol. 4120. Pp. . LNAI, Vol 4120. P 53-67. 2006. [URL]
[hal-00079687:1]
Jérôme Durand-Lose, Reversible conservative rational abstract geometrical computation is Turing-universal, in 2nd Conference on Computability in Europe (CiE '06). Swansea, United Kingdom, Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings(3988). Pp. 163-172, Springer. 06. 2006. [URL]
[hal-00079692:1]
Jérôme Durand-Lose, Forcasting Black Holes in Abstract geometrical computation is Highly Unpredictable, in Theory and Appliacations of Models of Computations (TAMC'06), Third International Conference, J.-Y. Cai and S.B. Cooper and A. Li (Ed.), LNCS(3959). Pp. 644-653, Springer. 2006. [URL]
[hal-00461021:1]
Pierre-Alain Fayolle, A. Pasko, N. Mirenkov, Christophe Rosenberger & Christian Toinard, Constructive tree recovery using genetic algorithms, in VIIP 2006, Visualization, Imaging, and Image Processing. Palma De Mallorca, Spain. 08. 2006. [URL]
[hal-00461000:1]
Pierre-Alain Fayolle, Sara Silva, G. Latinier, D. Saffrey, Christophe Rosenberger & Christian Toinard, Shape modeling with genetic programming, in 8th International Conference on Virtual Reality, IEEE Virtual Reality International Conference. Laval, France. Pp. 235-241. 04. 2006. [URL]
[hal-00077536:3]
Barbara Fila & Siva Anantharaman, Automata for Positive Core XPath Queries on Compressed Documents, in 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Proc. de la Conf. LPAR06. Pp. 15p.. 11. 2006. [URL]
[hal-00325282:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On isomorphic linear partitions in cubic graphs, in 5th Krakow Conference on Graph Theory USTRON'06, Electronic Notes in Discrete Mathematics (Ed.). Ustron, Poland, 24, Vol. 24. Pp. 277-284. 09. 2006. [URL]
[hal-00176357:1]
Mohammed Gad El Rab & Anas Abou El Kalam, Testing Intrusion Detection Systems: An Engineered Approach, in International Conference on Software Engineering and Applications (SEA 2006), Proceeding of the International Conference on Software Engineering and Applications (SEA 2006). Pp. N/A. 11. 2006. [URL]
[hal-00461160:1]
Fabrice Gadaud, Monitoring high performance networks in large-scale clusters, in CCGRIDW'06, International Symposium on Cluster Computing and the Grid Workshops. Singapore, France, ISBN: 0-7695-2585-7, Vol. 2. Pp. 32, IEEE Computer Society. 05. 2006. [URL]
[inria-00452559:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski, Bulk Synchronous Parallel ML with Exceptions, in Distributed and Parallel Systems (DAPSYS 2006), Peter Kacsuk and Thomas Fahringer and Zsolt Nemeth (Ed.). Innsbruck, Austria, Distributed and Parallel Systems. Pp. 33-42, Springer. 09. 2006. [URL]
[hal-00460993:1]
Baptiste Hemery, Christian Toinard, Christophe Rosenberger & Bruno Emile, Comparative study of invariant descriptors for face recognition, in ICSP 2006, 8th International Conference on Signal Processing. Beijing, China, ISBN: 0-7803-9736-3, Vol. 2. 11. 2006. [URL]
[hal-00085492:1]
Arnaud Lallouet & Andrei Legtchenko, Extracting a Consistency Operator from a Constraint Satisfiability Function and Application to Partially Defined Constraints, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming. 2006. [URL]
[hal-00085495:1]
Arnaud Lallouet & Andrei Legtchenko, From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints, in ACM Symposium on Applied Computing, ACM. 2006. [URL]
[hal-00085489:1]
Arnaud Lallouet & Jérémie Vautard, Auralization of a Constraint Solver, in International Computer Music Conference. New Orleans, USA. 2006. [URL]
[hal-00085598:1]
Sébastien Limet & Pierre Pillot, Deciding Satisfiability of Positive Second Order Joinability Formulae, in 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), LNCS, Vol. 4246. Pp. 15-29, Springer Verlag. 2006. [URL]
[inria-00452579:1]
Frédéric Loulergue, A Calculus of Functional BSP Programs with Projection, in International Parallel & Distributed Processing Symposium, 8th Workshop on Advances in Parallel and Distributed Computational Models. Rhodes, Greece, IEEE Computer Society Press. 04. 2006. [URL]
[inria-00452573:1]
Frédéric Loulergue, Radia Benheddi, Frédéric Gava & Dimitri Louis-Regis, Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition, in International Computer Science Symposium in Russia (CSR 2006). Saint Peterbourg, Russian Federation, LNCS, Vol. 3967. Pp. 475-486, Springer. 06. 2006. [URL]
[hal-00085565:1]
Ivan Rapaport, Karol Suchan & Ioan Todinca, Minimal proper interval completions, in 32nd International Workshop on Graph-Theoretic Concepts in Computer Science, LNCS. Pp. To appear, Springer. 2006. [URL]
[hal-00462293:1]
Karol Suchan & Ioan Todinca, Minimal Interval Completion Through Graph Exploration, in Algorithms and Computation, 17th International Symposium (ISAAC 2006), Tetsuo Asano (Ed.). Kolkata, India, Lecture Notes in Computer Science, Vol. 4288. Pp. 517-526, Springer. 12. 2006. [URL]
[hal-00086523:1]
Anas Abou El Kalam & Yves Deswarte, Multi-OrBAC: un modèle de contrôle d'accès pour les systèmes multi-organisationnelstextquotedblright, in 3rd Security of Information Systems, 6-9 juin 2006 (Ed.). Pp. 67 - 85, ESAT. 2006. [URL]
[hal-00466744:1]
Marco Benedetti, Abstract Branching for Quantified Formulas, in Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 2006), Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. 2006. [URL]
[hal-00466746:1]
Marco Benedetti, Ragionamento per Vincoli Quantificati, in Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 06), Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. 2006. [URL]
[inria-00085806:1]
Marco Benedetti, Extraire des Certificats des Formules Booléennes Quantifiées, in Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06). 2006. [URL]
[hal-00022267:1]
Radia Benheddi & Frédéric Loulergue, Composition parallèle pour MSPML, in Journées Francophones des Langages Applicatifs (JFLA 2006), P.-E. Moreau et T. Hardin (Ed.). Pp. 16, INRIA. 2006. [URL]
[hal-00084809:1]
Guillaume Cleuziou, Classification avec recouvrement des classes : une extension des k-moyennes, in 13èmes rencontres de la Société Francophone de Classification (SFC'2006). Pp. 68-72. 2006. [URL]
[hal-00084787:1]
Guillaume Cleuziou, Sylvie Billot, Stanislas Lew, Lionel Martin & Christel Vrain, Une mesure de proximité et une méthode de regroupement pour l'aide à l'acquisition d'ontologies spécialisées, in Extraction et Gestion des Connaissances (EGC'2006), Revue des Nouvelles Technologies de l'Information (Ed.), Vol. 1. Pp. 163-174, Cépaduès. 2006. [URL]
[inria-00085773:1]
Thi-Bich-Hanh Dao & Khalil Djelloul, Résolution de contraintes du premier ordre dans la théorie des arbres évalués, in Journées Francophones de Programmation par Contraintes. 2006. [URL]
[hal-00202310:1]
Khalil Djelloul, Resolution de contraintes du premier ordre dans des théories dites décomposables., in ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision., actes de ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision.. Pp. 355-368. 2006. [URL]
[inria-00085774:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Complétude des extensions en arbres de théories, in Journées Francophones de Programmation par Contraintes. 2006. [URL]
[hal-00085716:1]
Matthieu Exbrayat & Lionel Martin, Visualisation 3D de paramètres d'apprentissage et de distances, in EGC 2006 Atelier Visualisation et Extraction des Connaissances, Ateliers EGC 2006 - Atelier Visualisation et Extraction des Connaissances. Lille, France. Pp. 3-13, EGC. 2006. [URL]
[hal-00083389:1]
Mohammed Gad El Rab & Anas Abou El Kalam, Une nouvelle méthodologie pour l'évaluation des Systémes de Détection d'Intrusions, in 5th Conference on Security and Network Architectures (SAR 2006), Proceeding of 5th Conference on Security and Network Architectures (SAR 2006). Pp. 0, IUT de Mont de Marsan. 2006. [URL]
[inria-00452566:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski, Bulk Synchronous Parallel ML avec exceptions, in Rencontres Francophones du Parallélisme (Renpar'17). Canet en Roussillon, France. 10. 2006. [URL]
[inria-00085811:1]
Jérémie Vautard & Arnaud Lallouet, Visualisation musicale d'un CSP, in Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06). 2006. [URL]
[hal-01857360:1]
Chaabane Djeraba, Stanislas Lew, Dan A. Simovici, Sylvain Mongy & Nacim Ihaddadene, Eye/gaze tracking in web, image and video documents, in 14th ACM international conference on Multimedia. Santa Barbara, California, United States. Pp. 481-482, ACM Press. 10. 2006. [URL]
[hal-00459990:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Politique de contrôle d'accès et détection d'intrusion basée sur une approche de méta-politique, in Journée Informatique de la Région Centre. Orléans, France. 2006. [URL]
[hal-00461179:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politique, in Les Journées Informatique de la Région Centre. Orléans, France. 07. 2006. [URL]
[inria-00464114:1]
Jacques Chabin, Jing Chen & Pierre Réty, Synchronized ContextFree Tree-tuple Languages. 2006. [URL]
[hal-00080644:3]
Barbara Fila & Siva Anantharaman, Running Tree Automata on Trees and/or Dags. 2006. [URL]
[hal-00088776:3]
Barbara Fila & Siva Anantharaman, Automata for Analyzing and Querying Compressed Documents. 2006. [URL]
International Refereed Journals
[hal-00085563:1]
Anas Abou El Kalam & Yves Deswarte, Sensitive Data Anonymization, revue du IATAC (Information Assurance Technology Analysis Center), Vol. Vol 9 - N{\textdegree} 2 (Juillet)(2). Pp. 8-14. 2006. [URL]
[hal-00079720:1]
Jérôme Durand-Lose, Abstract geometrical computation 1: embedding Black hole computations with rational numbers, Fundamenta Informaticae, Vol. 74(4). Pp. 491-450, Polskie Towarzystwo Matematyczne. 2006. [URL]
[hal-00085545:1]
Gérard Ferrand, Willy Lesaint & Alexandre Tessier, Explanations and Proof Trees, Computing and Informatics, Vol. 25. Pp. 105-125, Slovak University Press, Bratislava. 2006. [URL]
[hal-00480731:1]
Glen-Brug Guenver, Jimmy Leblet & Jean-Xavier Rampon, Chain Dominated Orders, Order, Vol. 23(2-3). Pp. 109-127, Springer Verlag. 2006. [URL]
[hal-00085477:1]
Arnaud Lallouet & Andrei Legtchenko, Partially Defined Constraints in Constraint-based Design, AI EDAM, Vol. 20{:}4(4), Cambridge University Press (CUP). 2006. [URL]
[hal-00085309:1]
Sébastien Limet & Gernot Salzer, Basic rewriting via logic programming, with an application to the reachability problem, Journal of Automata Languages and Combinatorics, Vol. 11(1). Pp. 107-142, Otto-von-Guericke-Universität Magdeburg. 2006. [URL]
[hal-00085310:1]
Sébastien Limet & Gernot Salzer, Tree tuple languages from the logic programming point of view, Journal of Automated Reasoning, Vol. 37(4). Pp. 323-349, Springer Verlag. 2006. [URL]
National Refereed Journals
[hal-00085713:1]
Matthieu Exbrayat & Lionel Martin, Calcul et visualisation d'une distance inter-enluminures à partir des couleurs, Le médiéviste et l'ordinateur(45). Pp. 0, Institut de Recherche et d'Histoire des Textes, CNRS, Paris. 2006. [URL]
[hal-00083792:1]
Mohammed Gad El Rab & Anas Abou El Kalam, Evaluation des systèmes de détection d'intrusions, La Revue de l'électricité et de l'électronique, Vol. 6/7. Pp. 25, Société de l'Électricité, de l'Électronique et des Technologies de l'Information et de la Communication. 2006. [URL]
[hal-00084803:1]
Céline Poudat, Guillaume Cleuziou & Viviane Clavier, Catégorisation de textes en domaines et genres : complémentarité des indexations lexicale et morphosyntaxique, Document numérique - Revue des sciences et technologies de l'information. Série Document numérique, Vol. 9. Pp. 61-76, Hermès. 2006. [URL]
Book Chapters
[hal-00468802:1]
Siva Anantharaman, Gaétan Hains, Michael Rusinowitch, Paul Gastin & John Mullins, Journal of Automata, Languages and Combinatorics, Vol. 11(1). Pp. 142, Otto-von-Guericke-Universität, D-39016 Magdeburg. 2006. [URL]
[inria-00466169:1]
Frédéric Loulergue, Special Issue: Practical Aspects of High-Level Parallel Programming, Frédéric Loulergue (Ed.). Pp. 38, Warsaw School of Social Psychology. 2006. [URL]
Thesis
[tel-00460610:1]
Mathieu Blanc, Sécurité des systèmes d'exploitation répartis : architecture décentralisée de méta-politique pour l'administration du contrôle d'accès obligatoire., Thèse de Doctorat. Université d'Orléans. 12. 2006. [URL]
[hal-00491497:1]
Arnaud Lallouet, Construction de Solveurs, Apprentissage de Contraintes, et Résolution de Contraintes Quantifiées, Habilitation à Diriger des Recherches. Université d'Orléans, LIFO. 12. 2006. [URL]
[tel-00480669:1]
Karol Suchan, Complétions d'intervalles minimales, Thèse de Doctorat. Université d'Orléans. 12. 2006. [URL]
[tel-00480655:1]
Ioan Todinca, Décompositions arborescentes de graphes : calcul, approximations, heuristiques, Université d'Orléans. Habilitation `a Diriger des Recherches. 12. 2006. [URL]
[hal-00483325:1]
Soumia Ziti, Classes Particulières de Graphes : Aspects Structurels et Algorithmiques, Thèse Université d'Orléans, . 10. 2006. [URL]
International Conference or Workshop with Proceedings
[hal-00098260:1]
Mohamad Al Hajj Hassan & Mostafa Bamha, Parallel Processing Of Group-By Join Queries On Shared Nothing Machines, in (ICSOFT'06), Proceedings of the International Conference on Software Data Technologies. Setubal, Portugal, Volume 1. Pp. 301-307, INSTICC press. 09. 2006. [URL]
[hal-00466751:1]
Marco Benedetti, Abstract Branching for Quantified Formulas, in Proc. of 21st National Conference on Artificial Intelligence (AAAI06). Pp. 1-6, American Association for Artificial Intelligence. 2006. [URL]
[hal-00085494:1]
Marco Benedetti, Arnaud Lallouet & Jérémie Vautard, Reusing CSP propagators for QCSPs, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming. 2006. [URL]
[hal-00022260:1]
Radia Benheddi & Frédéric Loulergue, Minimally Synchronous Parallel ML with Parallel Composition, in Seventh Symposium on Trends in Functional Programming (TFP 2006). 2006. [URL]
[hal-00083350:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Collaborative Approach for Access Control, Intrusion Detection and Security Testing, in The 2006 International Symposium on Collaborative Technologies and Systems, Special Session on Multi Agent Systems and Collaboration, Waleed W. Smari and William McQuay (Ed.), ISBN: 0-9785699-0-3. Pp. 270-278, IEEE Computer Society. 2006. [URL]
[hal-00083356:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Multi-Agent and Multi-Level Architecture to Secure Distributed Systems, in First International Workshop on Privacy and Security in Agent-based Collaborative Environments. Hakodate, Japan. Pp. 8, The Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. 2006. [URL]
[hal-03226172:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Multi-Agent and Multi-Level Architecture to Secure Distributed Systems, in First International Workshop on Privacy and Security in Agent-based Collaborative Environments. Hakodate, Japan. Pp. 8, The Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. 2006. [URL]
[hal-03226354:1]
Mathieu Blanc, Jérémy Briffaut, Patrice Clemente, Mohammed Gad El Rab & Christian Toinard, A Collaborative Approach for Access Control, Intrusion Detection and Security Testing, in International Symposium on Collaborative Technologies and Systems (CTS'06), Waleed W. Smari and William McQuay (Ed.). Las Vegas, United States, ISBN: 0-9785699-0-3. Pp. 270-278, IEEE Computer Society. 2006. [URL]
[hal-00081640:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Collaboration between MAC policies and IDS based on a meta-policy approach, in Workshop on Collaboration and Security 2006, International Symposium on Collaborative Technologies and Systems, Waleed W. Smari and William McQuay (Ed.). Las Vegas, United States, ISBN: 0-9785699-0-3. Pp. 48-55, IEEE Computer Society. 05. 2006. [URL]
[hal-00082278:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Distributed control enabling consistent MAC policies and IDS based on a meta-policy approach, in POLICY 2006, Seventh IEEE International Workshop on Policies for Distributed Systems and Networks. University of Western Ontario, London, Canada, ISBN: 0-7695-2598-9. Pp. 153-156, IEEE Computer Society. 06. 2006. [URL]
[hal-00084782:1]
Guillaume Cleuziou, Sylvie Billot, Stanislas Lew, Lionel Martin & Christel Vrain, A proximity measure and a clustering method for concept extraction in an ontology building perspective, in 16th International Symposium on Methodologies for Intelligent Systems (ISMIS'2006), Foundations of Intelligent Systems, F. Esposito and Z. Raś (Ed.), Foundations of Intelligent Systems. Pp. 697-706, Lecture Notes in COmputer Science. 2006. [URL]
[hal-00460937:1]
Guillaume Cleuziou, Lionel Martin & Christel Vrain, Structuring natural language data by learning rewriting rules, in 16th International Conference on Inductive Logic Programming (ILP'06), 16th International Conference on Inductive Logic Programming (ILP'06), Revised Selected Papers, Alireza Tamaddoni-Nezhad Stephen Muggleton, Ramón P. Otero (Ed.). Santiago de Compostela, Spain, Lecture Notes in Computer Science, Vol. 4455. Pp. 125-138, Springer. 08. 2006. [URL]
[hal-00144957:1]
Thi-Bich-Hanh Dao & Khalil Djelloul, Solving First-Order Constraints in the Theory of the Evaluated Trees, in Logic Programming, 22nd International Conference, ICLP 2006, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4079 Springer 2006, ISBN 3-540-36635-0, Miroslaw Truszczynski Sandro Etalle (Ed.). Seattle, WA, United States, Vol. 4079. Pp. 423-424, Springer. 2006. [URL]
[hal-00084815:1]
Gaël Dias, Claudia Santos & Guillaume Cleuziou, Automatic Knowledge Representation using a Graph-based Algorithm for Language-Independent Lexical Chaining, in Information Extraction Beyond The Document Workshop collocated with ACL-COLING 2006. Pp. 36-47. 2006. [URL]
[hal-00144959:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories, in ACM Symposium on Applied Computing (SAC 2006), Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. ACM 2006, ISBN 1-59593-108-2, Hisham Haddad (Ed.). Dijon, France. Pp. 7-14, ACM. 2006. [URL]
[hal-00144960:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Complete First-Order Axiomatization of Finite or Infinite M-extended Trees, in 20th Workshop on Logic Programming, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. INFSYS Research Report 1843-06-02 Technische Universität Wien, Austria 2006, Stefan Woltran Michael Fink, Hans Tompits (Ed.). Vienna, Austria. Pp. 111-119, Technische Universität Wien. 2006. [URL]
[hal-00202317:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Extension into trees of first order theories, in The 8th International conference on artificial intelligence and symbolic computation, lecture notes in artificial intelligence, Vol. 4120. Pp. . LNAI, Vol 4120. P 53-67. 2006. [URL]
[hal-00079687:1]
Jérôme Durand-Lose, Reversible conservative rational abstract geometrical computation is Turing-universal, in 2nd Conference on Computability in Europe (CiE '06). Swansea, United Kingdom, Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings(3988). Pp. 163-172, Springer. 06. 2006. [URL]
[hal-00079692:1]
Jérôme Durand-Lose, Forcasting Black Holes in Abstract geometrical computation is Highly Unpredictable, in Theory and Appliacations of Models of Computations (TAMC'06), Third International Conference, J.-Y. Cai and S.B. Cooper and A. Li (Ed.), LNCS(3959). Pp. 644-653, Springer. 2006. [URL]
[hal-00461021:1]
Pierre-Alain Fayolle, A. Pasko, N. Mirenkov, Christophe Rosenberger & Christian Toinard, Constructive tree recovery using genetic algorithms, in VIIP 2006, Visualization, Imaging, and Image Processing. Palma De Mallorca, Spain. 08. 2006. [URL]
[hal-00461000:1]
Pierre-Alain Fayolle, Sara Silva, G. Latinier, D. Saffrey, Christophe Rosenberger & Christian Toinard, Shape modeling with genetic programming, in 8th International Conference on Virtual Reality, IEEE Virtual Reality International Conference. Laval, France. Pp. 235-241. 04. 2006. [URL]
[hal-00077536:3]
Barbara Fila & Siva Anantharaman, Automata for Positive Core XPath Queries on Compressed Documents, in 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Proc. de la Conf. LPAR06. Pp. 15p.. 11. 2006. [URL]
[hal-00325282:1]
Jean-Luc Fouquet, Henri Thuillier, Jean-Marie Vanherpe & Adam Pawel Wojda, On isomorphic linear partitions in cubic graphs, in 5th Krakow Conference on Graph Theory USTRON'06, Electronic Notes in Discrete Mathematics (Ed.). Ustron, Poland, 24, Vol. 24. Pp. 277-284. 09. 2006. [URL]
[hal-00176357:1]
Mohammed Gad El Rab & Anas Abou El Kalam, Testing Intrusion Detection Systems: An Engineered Approach, in International Conference on Software Engineering and Applications (SEA 2006), Proceeding of the International Conference on Software Engineering and Applications (SEA 2006). Pp. N/A. 11. 2006. [URL]
[hal-00461160:1]
Fabrice Gadaud, Monitoring high performance networks in large-scale clusters, in CCGRIDW'06, International Symposium on Cluster Computing and the Grid Workshops. Singapore, France, ISBN: 0-7695-2585-7, Vol. 2. Pp. 32, IEEE Computer Society. 05. 2006. [URL]
[inria-00452559:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski, Bulk Synchronous Parallel ML with Exceptions, in Distributed and Parallel Systems (DAPSYS 2006), Peter Kacsuk and Thomas Fahringer and Zsolt Nemeth (Ed.). Innsbruck, Austria, Distributed and Parallel Systems. Pp. 33-42, Springer. 09. 2006. [URL]
[hal-00460993:1]
Baptiste Hemery, Christian Toinard, Christophe Rosenberger & Bruno Emile, Comparative study of invariant descriptors for face recognition, in ICSP 2006, 8th International Conference on Signal Processing. Beijing, China, ISBN: 0-7803-9736-3, Vol. 2. 11. 2006. [URL]
[hal-00085492:1]
Arnaud Lallouet & Andrei Legtchenko, Extracting a Consistency Operator from a Constraint Satisfiability Function and Application to Partially Defined Constraints, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming. 2006. [URL]
[hal-00085495:1]
Arnaud Lallouet & Andrei Legtchenko, From Satisfiability to Consistency through Certificates. Application to Partially Defined Constraints, in ACM Symposium on Applied Computing, ACM. 2006. [URL]
[hal-00085489:1]
Arnaud Lallouet & Jérémie Vautard, Auralization of a Constraint Solver, in International Computer Music Conference. New Orleans, USA. 2006. [URL]
[hal-00085598:1]
Sébastien Limet & Pierre Pillot, Deciding Satisfiability of Positive Second Order Joinability Formulae, in 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), Proceedings of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), LNCS, Vol. 4246. Pp. 15-29, Springer Verlag. 2006. [URL]
[inria-00452579:1]
Frédéric Loulergue, A Calculus of Functional BSP Programs with Projection, in International Parallel & Distributed Processing Symposium, 8th Workshop on Advances in Parallel and Distributed Computational Models. Rhodes, Greece, IEEE Computer Society Press. 04. 2006. [URL]
[inria-00452573:1]
Frédéric Loulergue, Radia Benheddi, Frédéric Gava & Dimitri Louis-Regis, Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition, in International Computer Science Symposium in Russia (CSR 2006). Saint Peterbourg, Russian Federation, LNCS, Vol. 3967. Pp. 475-486, Springer. 06. 2006. [URL]
[hal-00085565:1]
Ivan Rapaport, Karol Suchan & Ioan Todinca, Minimal proper interval completions, in 32nd International Workshop on Graph-Theoretic Concepts in Computer Science, LNCS. Pp. To appear, Springer. 2006. [URL]
[hal-00462293:1]
Karol Suchan & Ioan Todinca, Minimal Interval Completion Through Graph Exploration, in Algorithms and Computation, 17th International Symposium (ISAAC 2006), Tetsuo Asano (Ed.). Kolkata, India, Lecture Notes in Computer Science, Vol. 4288. Pp. 517-526, Springer. 12. 2006. [URL]
National Conference or Workshop with Proceedings
[hal-00086523:1]
Anas Abou El Kalam & Yves Deswarte, Multi-OrBAC: un modèle de contrôle d'accès pour les systèmes multi-organisationnelstextquotedblright, in 3rd Security of Information Systems, 6-9 juin 2006 (Ed.). Pp. 67 - 85, ESAT. 2006. [URL]
[hal-00466744:1]
Marco Benedetti, Abstract Branching for Quantified Formulas, in Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 2006), Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. 2006. [URL]
[hal-00466746:1]
Marco Benedetti, Ragionamento per Vincoli Quantificati, in Ragionamento Automatico e Rappresentazione della Conoscenza 2006 (Working group on Knowledge Representation and Automated Reasoning, RCRA 06), Atti della Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale. 2006. [URL]
[inria-00085806:1]
Marco Benedetti, Extraire des Certificats des Formules Booléennes Quantifiées, in Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06). 2006. [URL]
[hal-00022267:1]
Radia Benheddi & Frédéric Loulergue, Composition parallèle pour MSPML, in Journées Francophones des Langages Applicatifs (JFLA 2006), P.-E. Moreau et T. Hardin (Ed.). Pp. 16, INRIA. 2006. [URL]
[hal-00084809:1]
Guillaume Cleuziou, Classification avec recouvrement des classes : une extension des k-moyennes, in 13èmes rencontres de la Société Francophone de Classification (SFC'2006). Pp. 68-72. 2006. [URL]
[hal-00084787:1]
Guillaume Cleuziou, Sylvie Billot, Stanislas Lew, Lionel Martin & Christel Vrain, Une mesure de proximité et une méthode de regroupement pour l'aide à l'acquisition d'ontologies spécialisées, in Extraction et Gestion des Connaissances (EGC'2006), Revue des Nouvelles Technologies de l'Information (Ed.), Vol. 1. Pp. 163-174, Cépaduès. 2006. [URL]
[inria-00085773:1]
Thi-Bich-Hanh Dao & Khalil Djelloul, Résolution de contraintes du premier ordre dans la théorie des arbres évalués, in Journées Francophones de Programmation par Contraintes. 2006. [URL]
[hal-00202310:1]
Khalil Djelloul, Resolution de contraintes du premier ordre dans des théories dites décomposables., in ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision., actes de ROADEF 2006 7eme congres de la Société Française de Recherche Opérationnelle et d'Aide a la Décision.. Pp. 355-368. 2006. [URL]
[inria-00085774:1]
Khalil Djelloul & Thi-Bich-Hanh Dao, Complétude des extensions en arbres de théories, in Journées Francophones de Programmation par Contraintes. 2006. [URL]
[hal-00085716:1]
Matthieu Exbrayat & Lionel Martin, Visualisation 3D de paramètres d'apprentissage et de distances, in EGC 2006 Atelier Visualisation et Extraction des Connaissances, Ateliers EGC 2006 - Atelier Visualisation et Extraction des Connaissances. Lille, France. Pp. 3-13, EGC. 2006. [URL]
[hal-00083389:1]
Mohammed Gad El Rab & Anas Abou El Kalam, Une nouvelle méthodologie pour l'évaluation des Systémes de Détection d'Intrusions, in 5th Conference on Security and Network Architectures (SAR 2006), Proceeding of 5th Conference on Security and Network Architectures (SAR 2006). Pp. 0, IUT de Mont de Marsan. 2006. [URL]
[inria-00452566:1]
Louis Gesbert, Frédéric Gava, Frédéric Loulergue & Frédéric Dabrowski, Bulk Synchronous Parallel ML avec exceptions, in Rencontres Francophones du Parallélisme (Renpar'17). Canet en Roussillon, France. 10. 2006. [URL]
[inria-00085811:1]
Jérémie Vautard & Arnaud Lallouet, Visualisation musicale d'un CSP, in Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06). 2006. [URL]
Unrefereed publications at Conferences or Workshops
[hal-01857360:1]
Chaabane Djeraba, Stanislas Lew, Dan A. Simovici, Sylvain Mongy & Nacim Ihaddadene, Eye/gaze tracking in web, image and video documents, in 14th ACM international conference on Multimedia. Santa Barbara, California, United States. Pp. 481-482, ACM Press. 10. 2006. [URL]
Other Publications
[hal-00459990:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Politique de contrôle d'accès et détection d'intrusion basée sur une approche de méta-politique, in Journée Informatique de la Région Centre. Orléans, France. 2006. [URL]
[hal-00461179:1]
Mathieu Blanc, Jérémy Briffaut, Jean-François Lalande & Christian Toinard, Collaboration entre politiques MAC et IDS pour une approche basée sur une méta-politique, in Les Journées Informatique de la Région Centre. Orléans, France. 07. 2006. [URL]
[inria-00464114:1]
Jacques Chabin, Jing Chen & Pierre Réty, Synchronized ContextFree Tree-tuple Languages. 2006. [URL]
[hal-00080644:3]
Barbara Fila & Siva Anantharaman, Running Tree Automata on Trees and/or Dags. 2006. [URL]
[hal-00088776:3]
Barbara Fila & Siva Anantharaman, Automata for Analyzing and Querying Compressed Documents. 2006. [URL]
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 