Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications for year 2005

 Site en Français



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


International Refereed Journals


[Siva-Dran-Micha05]
S. Anantharaman, P. Narendran and M. Rusinowitch, Closure properties and decision problems of dag automata, Information Processing Letters, Vol.94, pp.231-240, 2005 Bibtex entry
[LOU2005:SCPE]
F. Loulergue, Special Issue on Practical Aspects of High-Level Parallel Programming, Scalable Computing: Practice and Experience, Vol.6, No.4, December, 2005, Note: Selected extended and revised papers from the First International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2004) Bibtex entry


National Refereed Journals


[AbouElKalam05]
A. Abou El Kalam, P. Balbiani, S.Benferhat, F. Cuppens, Y. Deswarte, R.Elbaida, C. Saurel and G. Trouessin, Modèles et politiques de sécurité des systèmes d'information et de communication en santé et social, Informatique et Systémique, Lavoisier-Hermes, Vol.7, 2005 Bibtex entry


International Conferences with Proceedings (27)


[Clemente2005KIMAS]
P. Clemente and F. Panaget, Modality Allocation Within a Formal Theory of Rational Agency: the Relevance of Modality to the Information and the User, in KIMAS, Waltham, Massachusetts, USA, Proceedings of the International Conference Integration of Knowledge Intensive Multi-Agent Systems, April 18-21, 2005 Bibtex entry
[Salleb2005ISMIS]
Ansaf Salleb and Christel Vrain, Estimation of Datasets Density Relying on Decision Diagrams, in To appear as a full paper in the proceedings of 15th International Symposium on Methodologies for Intelligent Systems ISMIS, Mohand-Saïd Hacid, Zbigniew W. Ras and Shusaku Tsumoto ed., Springer's Lecture Notes in Artificial Intelligence (LNAI), 2005 Bibtex entry
[Gouranton-Madougou-Melin-Nortet05]
V. Gouranton, S. Madougou, E. Melin and C. Nortet, Interactive Rendering of Massive Terrains Using PC Cluster., EuroVis 2005: Eurographics/IEEE-VGTC Symposium on Visualization, To appear, June, 2005 Bibtex entry
[Gadaud2005CS]
Fabrice Gadaud, Mathieu Blanc and Frédéric Combeau, An adaptive instrumented node for efficient anomalies and misuse detections in HPC environment, in Proceedings of 5th IEEE/ACM Symposium on Cluster Computing and the Grid (CCGrid'05), Workshop on Cluster Security, IEEE Computer Society, May, 2005 Bibtex entry
[AbouElKAlamIEEE_CTS05-1]
A. Abou El Kalam, Y.Deswarte, G.Trouessin and E.Cordonnier, Security and Privacy in collaborative environments, in The IEEE International Symposium on Collaborative Technologies and Systems (CTS'05). Missouri, USA, pp.56-62, 15-19 May, 2005 Bibtex entry
[AbouElKAlamIEEE_CTS05-2]
A. Abou El Kalam, J. Briffaut and C. Toinard, Distributed policy and multilevel intrusion detection: a new approach to secure large-scale networks, in The IEEE International Symposium on Collaborative Technologies and Systems (CTS'05). Missouri, USA, pp.100-106, 15-19 May, 2005 Bibtex entry
[AbouElKAlamSAR05]
A. Abou El Kalam, J. Briffaut, C. Toinard and M. Blanc, MIDS: Multi level Intrusion Detection System, in The 4th Conference on Security and Network Architectures. Batz sur Mer, France, June 06-10, 2005, 2005 Bibtex entry
[AbouElKAlamIEEEACSAC05]
A. Abou El Kalam and Y.Deswarte, Privacy Requirements Implemented with a JavaCard, in The IEEE Annual Computer Security Applications Conference (ACSAC'05). Missouri, Marriott University Park, Tucson, Arizona, Etats-Unis., 5-9 décembre, 2005 Bibtex entry
[Siva-Chen-Hains05]
S. Anantharaman, J. Chen and G. Hains, A Synchronous Process Calculus for Service Costs, in SEFM'05, The 3rd IEEE Int. Conference on Software Engineering and Formal Methods, pp.435-444, September, 2005 Bibtex entry
[Bam05_a]
M. Bamha, An optimal and skew-insensitive join and multi-join algorithm for ditributed architectures, in Proceedings of the International Conference on Database and Expert Systems Applications (DEXA'2005). 22-26 August, Copenhagen, Danemark, Vol.3588, Lecture Notes in Computer Science, pp.616-625, Springer-Verlag, 2005 Bibtex entry
[PL05]
S. Limet and P. Pillot, Solving First Order Formulae of Pseudo-Regular Theory, in proc. of the 2nd International Colloquium of Theoretical Aspects of Computing (ICTAC05), Vol.3722, LNCS, Springer Verlag, 2005, Note: to appear Bibtex entry
[Lallouet:LNAI2005]
Arnaud Lallouet, A Note on Bilattices and Open Constraint Programming, in CSCLP'04: Recent Advances in Constraints, Boi Faltings, François Fages, Francesca Rossi and Adrian Petcu ed., LNAI 3419, pp.12-25, Springer, 2005 Bibtex entry
[LegtchenkoL:CP2005]
Andreï Legtchenko and Arnaud Lallouet, Consistency for Partially Defined Constraints, in Principles and Practice of Constraint Programming - CP 2005, Peter van Beek ed., Vol.3709, LNCS, pp.854, Sitges, Spain, Springer, 2005 Bibtex entry
[LallouetL:ICTAI2005]
Arnaud Lallouet and Andreï Legtchenko, Consistency for Partially Defined Constraints, in International Conference on Tools with Artificial Intelligence, Andrew Lim ed., IEEE, 2005, Note: to appear Bibtex entry
[LallouetL:ECML2005]
Arnaud Lallouet and Andreï Legtchenko, Two Contributions of Constraint Programming to Machine Learning, in European Conference on Machine Learning, Rui Camacho and Joao Gama ed., LNCS, Porto, Springer, 2005 Bibtex entry
[FoMaTo05]
F. Fomin, F. Mazoit and I. Todinca, Computing Branchwidth via Efficient Triangulations and Blocks, in Proceedings of Graph-theoretic Concepts in Computer Science (WG 2005), Vol.3787, Lecture Notes in Computer Science, pp.374-384, Springer-Verlag, 2005 Bibtex entry
[HeSuToVi05]
P. Heggernes, K. Suchan, I. Todinca and Y. Villanger, Minimal Interval Completions, in Proceedings of the 13th European Symposium on Algorithms (ESA 2005), Vol.3669, Lecture Notes in Computer Science, pp.403-414, Springer-Verlag, 2005 Bibtex entry
[FoThTo05]
F. Fomin, D. Thilikos and I. Todinca, Connected Graph Searching in Outerplanar Graphs, Electronic Notes in Discrete Mathematics, Vol.22, pp.213-216, 2005, Note: 7th International Colloquium on Graph Theory. Short communication Bibtex entry
[durand.lose05:cie05]
Jérôme Durand-Lose, Abstract Geometrical Computation: Turing-Computing Ability and Undecidability, in New Computational Paradigms, 1st Conference on Computability in Europe (CiE'04), Cooper, Barry S., Lwe, Benedikt, Torenvliet and Leen ed., No.3526, LNCS, pp.106-116, Springer-Verlag, 2005 Bibtex entry
[durand.lose05:mcu04]
Jérôme Durand-Lose, Abstract geometrical computation for Black hole computation (extended abstract), in Universal Machines and Computations (MCU'04), M. Margenstern ed., No.3354, LNCS, pp.175-186, SPRINGER, 2005 Bibtex entry
[FerLesTes-exact-05]
Gérard Ferrand, Willy Lesaint and Alexandre Tessier, Explanations and Proof Trees, in International Symposium on Explanation-Aware Computing, ExaCt 2005, Thomas R. Roth-Berghofer, Stefan Schultz and Andrea Woody ed., pp.76-85, AAAI Press, 2005 Bibtex entry
[Gadaud_2005]
Fabrice Gadaud, NIDS architecture for clusters, in The IEEE International Symposium of Collaborative Technologies and System, Saint-Louis, Missouri, October, 2005 Bibtex entry
[EPIA_2005]
S. Silva, P.-A. Fayolle, J. Vincent, G. Pauron, C. Rosenberger and C. Toinard, Genetic Algorithms For Shape Modelling and Fitting, in Artificial Life and Evolutionary Algorithm, EPIA, 2005 Bibtex entry
[ABOUELKALAM:2005:CCSD-00083320:1]
Abou El Kalam Anas, Briffaut Jérémy, Toinard Christian and Blanc Mathieu, Intrusion Detection and Security Policy Framework for Distributed Environments , in The 2005 International Symposium on Collaborative Technologies and Systems , William McQuay and Waleed W. Smari ed., IEEE Computer Society , 2005 Bibtex entry
[BLANC:2005:CCSD-00083435:1]
Blanc Mathieu, Courtieu Pierre and Hains Gaétan, Mandatory Access Control On Distributed Systems: A Metapolicy Framework , in The First Colloquium on Risk and Security of the Internet and Systems (CRiSIS 2005) , Ecole Nationale Supérieure d'Ingénieurs de Bourges , 2005 Bibtex entry
[BRIFFAUT:2005:CCSD-00083333:1]
Briffaut Jérémy, Meta-Policy Oriented Intrusion Detection , in The Colloquium on Risk and Security of the Internet and Systems, France Bourges , Ecole Nationale Supérieure d'Ingénieurs de Bourges , 2005 Bibtex entry
[GADELRAB:2005:CCSD-00083393:1]
Gad El Rab Mohammed, Evaluating Intrusion Detection Systems: Synthesis and Perspectives , in 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes , France Bourges , ENSI de Bourges et LIFO , 2005 Bibtex entry


International Workshops with Proceedings (5)


[RetyUNIF2005]
P. Réty, J. Chabin and J. Chen, R-Unification thanks to Synchronized-ContextFree Tree languages, in International Workshop on Unification (UNIF), April, 2005 Bibtex entry
[iccs05]
M. Bamha and G. Hains, An Efficient Equi-semi-join Algorithm for Distributed Architectures, in the International Conference on Computational Science (ICCS'2005). 22-25 May, Atlanta, USA, Vol.3515, Lecture Notes in Computer Science, pp.755-763, Springer-Verlag, 2005 Bibtex entry
[Siva-Dran-Rusi05b]
S. Anantharaman, P. Narendran and M. Rusinowitch, Tree vs Dag Automata, in UNIF'05, The 19th Int. Workshop on Unification, pp.93-104, April 2005 Bibtex entry
[BrentotLM:COSOLV2005]
Angélique Brentot, Arnaud Lallouet and Eric Monfroy, Towards Fusion of Rule-based Solvers, in Cooperative Solvers in Constraint Programming, Laurent Granvilliers, Eric Monfroy and Frédéric Saubion ed., pp.1-15, Sitges, Spain, 2005 Bibtex entry
[LallouetL:CAD2005]
Arnaud Lallouet and Andreï Legtchenko, Acquiring an Incomplete Specification as a Partially Defined Constraint, in Workshop on Constraints and Design, Laurent Granvilliers and Barry O'Sullivan ed., pp.1-16, Sitges, Spain, 2005 Bibtex entry


National Conferences/Workshops with Proceedings (7)


[Nortet2005EGC]
Cyril Nortet, Ansaf Salleb, Teddy Turmeaux and Christel Vrain, Extraction de Règles d'Association Quantitatives - Application à des Données Médicales, in A paraître 5èmes journées dÉxtraction et de Gestion de Connaissances EGC'2005, Nicole Vincent and Suzanne Pinson ed., Cépaduès éditions, 2005 Bibtex entry
[Nortet2005DKQ]
Cyril Nortet, Ansaf Salleb, Teddy Turmeaux and Christel Vrain, Le rôle de l'utilisateur dans un processus d' extraction de règles d'association, in A paraître au DKQ 2005 atelier (associé aux 5èmes journées d' Extraction et de Gestion de Connaissances EGC'2005), 2005 Bibtex entry
[AbouJFPC2005]
A. Abou El Kalam and M. Ouabiba, Une nouvelle approche pour la détection et la résolution de conflits de sécurité dans les systèmes multi-organisationnels, in Premières Journées Francophones de Programmation par Contraintes (JFPC’05), June, 2005 Bibtex entry
[AbouCapteurs05]
A. Abou El Kalam and V. Arguenon, Protection de la vie privée et chaînage de données médicales, in (Capteur 2005), 19-20 octobre, 2005 Bibtex entry
[LegtchenkoL:CAP2005]
Andreï Legtchenko and Arnaud Lallouet, Acquisition de Contraintes Ouvertes par Apprentissage de Solveurs, in Conférence d'Apprentissage, François Denis ed., pp.185-200, Nice, AFIA, Presses Universitaires de Grenoble, 2005 Bibtex entry
[LegtchenkoL:JFPC2005]
Andreï Legtchenko and Arnaud Lallouet, Acquisition de Contraintes Ouvertes et Construction de Solveurs, in Journées Francophones de Programmation par Contraintes, Christine Solnon ed., pp.119-128, Lens, 2005 Bibtex entry
[BLANC:2005:CCSD-00083402:1]
Blanc Mathieu, Clemente Patrice, Courtieu Pierre, Franche Stéphane, Oudot Laurent, Toinard Christian and Vessiller Lionel, Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique , in Actes du 11ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2005) , Richard Castanet ed., Lavoisier , 2005 Bibtex entry



22/6/2010. Généré par biblifo, un programme Objective Caml.