- Renseignements pratiques
- Enseignement
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
Accès aux publications de l'année : 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
[Van04]
J.M. Vanherpe, Clique-Width of Partner Limited Graphs, Discrete Mathematics, Vol.276, No.1-3, pp.363-374, 2004 Bibtex entry
[Siva04]
S. Anantharaman, P. Narendran et M. Rusinowitch, Unification modulo ACUI plus Distributivity Axioms, Journal of Automated Reasoning, Vol.33, pp.1-28, 2004 Bibtex entry
[RetyVuottoJSC04]
P. Réty et J. Vuotto, Tree Automata for Rewrite Strategies, Journal of Symbolic Computation, Vol.40, No.1, pp.749-794, 2004 Bibtex entry
[durand.lose04:IPL]
Jérôme Durand-Lose, A Kleene Theorem for Piecewise Constant Signals Automata, Information Processing Letters, Vol.89, No.5, pp.237-245, 2004 Bibtex entry
[Chen04]
Jing Chen et Zi-Ning Cao, Model Checking Real-time Value-passing Systems, Journal of Computer Science and Technology, Vol.19, No.4, pp.459-471, 2004 Bibtex entry
[BoKrMuTo04dam]
V. Bouchitté, D. Kratsch, H. Müller et I. Todinca, On treewidth approximations, Discrete Applied Mathematics, Vol.136, No.2-3, pp.183-196, 2004 Bibtex entry
[BraHoaVan04]
A. Brandstädt, C.T. Hoàng et J.M. Vanherpe, On Minimal Prime Extensions of a Four-Vertex Graph in a Prime Graph, Discrete Mathematics, Vol.288, pp.9-17, 2004 Bibtex entry
[Duval2004RNTI]
Béatrice Duval, Ansaf Salleb et Christel Vrain, Méthodes et mesures d'intérêt pour léxtraction de règles déxception, French journal : Revue des Nouvelles Technologies de l'Information - Mesures de Qualité pour la Fouille de Données RNTI-E-1, Cépaduès éditions, Henri Briand, Michèle Sebag, Régis Gras et Fabrice Guillet ed., pp.119-140, 2004 Bibtex entry
[blanc]
Mathieu Blanc, Trusted Linux Systems and Application to a Cluster Architecture, in Proceedings of the International Symposium on Cooperative Technologies and Systems, Waleed W. Smari et William McQuay ed., Vol.36, No.1, Simulation Series, pp.29-34, P.O. Box 17900, San Diego, CA, 92177, USA, The Society for Modeling and Simulation International SCS, January, 2004 Bibtex entry
[GLMM_EGPGV04]
V. Gouranton, S. Limet, S. Madougou et E. Melin, A Scalable Cluster-based Parallel Simplification Framework for Height Fields, Eurographics Symposium on Parallel Graphics and Visualization, EGPGV'04, June, 2004 Bibtex entry
[Cleuziou2004ECAI]
G. Cleuziou, L. Martin et C. Vrain, PoBOC: an Overlapping Clustering Algorithm. Application to Rule-Based Classification and Textual Data, in ECAI, R. López de Mántaras, L. Saitta et IOS Press ed., pp.440-444, Valencia, Spain, Proceedings of the 16th European Conference on Artificial Intelligence, August 22-27, 2004 Bibtex entry
[LegtchenkoLE:FLAIRS2004]
Andreï Legtchenko et Arnaud Lallouet and AbdelAli Ed-Dbali, Intermediate Consistencies by Delaying Expensive Propagators, in Flairs'04, International Florida Artificial Intelligence Conference, Valerie Barr et Zdravko Markov ed., South Beach Miami, FL, USAi, AAAI Press, 2004 Bibtex entry
[LallouetLDE:LNAI2004]
Arnaud Lallouet, Andreï Legtchenko and Thi-Bich-Hanh Dao et AbdelAli Ed-Dbali, Learning Approximate Consistencies, in Recent Advances in Constraints, Krzysztof R. Apt, Francois Fages, Francesca Rossi , Péter Szeredi et Jozsef Vancza ed., LNAI 3010, pp.87-106, Springer, 2004 Bibtex entry
[blanc_issre04]
Mathieu Blanc, Pierre Courtieu, Gaetan Hains and Laurent Oudot et Christian Toinard, A novel approach for distributed updates of MAC policies using a meta-protection framework, in Supplementary Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), Saint Malo, France, nov, 2004 Bibtex entry
[Fayolle2004a]
P.-A. Fayolle, C. Rosenberger et C. Toinard, 3D Shape Reconstruction of Template Models Using Genetic Algorithms, in International Conference on Pattern Recognition, pp.269-272, Cambridge - UK, August, 2004 Bibtex entry
[Fayolle2004b]
P.-A. Fayolle, C. Rosenberger et C. Toinard, Shape Recovery and Functional Modeling Using Genetic Algorithms, in LAVAL VIRTUAL, pp.227-232, Laval - France, May, 2004 Bibtex entry
[flowvr-europr:04]
J. Allard, V. Gouranton, L. Lecointre, S. Limet, E. Melin, B. Raffin et S. Robert, FlowVR: a Middleware for Large Scale Virtual Reality Applications, in Proceedings of Euro-par 2004, Pisa, Italia, 2004 Bibtex entry
[LS04]
S. Limet et G. Salzer, Proving Properties of Term Rewrite Systems via Logic Programs, in proceedings of RTA 2004, Vol.3091, LNCS, pp.170-184, Springer Verlag, 2004 Bibtex entry
[cleuziou2004spire]
G. Cleuziou, L. Martin, V. Clavier et C. Vrain, DDOC: Overlapping Clustering of Words for Document Classification, in In the proceedings of the 11th International Conference on String Processing and Information Retrieval, Vol.3246, LNCS, pp.127-128, Padova, Italy, Springer, October, 2004 Bibtex entry
[FoKrTo04icalp]
F. Fomin, D. Kratsch et I. Todinca, Exact (exponential) algorithms for treewidth and minimum fill-in, in Proceedings 31st International Colloquium on Automatas, Languages and Programming (ICALP'04), Vol.3142, Lecture Notes in Computer Science, pp.568-580, Springer, 2004 Bibtex entry
[toinard_pdcs04]
Christian Toinard, Usage of a Formal Result to Design a Causally and Totally Ordered Multicast Protocol, in Proceedings of Parallel and Distributed Computing Systems 2004, International Society for Computers et their Applications (ISCA) ed., pp.426-430, San Francisco, California, Waleed Smari, sep, 2004 Bibtex entry
[Merlin_avocs04]
A. Merlin et G. Hains, A generic cost model for concurrent and data-parallel meta-computing, in Fourth International Workshop on Automated Verification of Critical Systems: (AVOCS'04) , London, (UK), September, 2004, Note: Long preliminary version appears as LIFO RR2004-06 http://www.univ-orleans.fr/SCIENCES/LIFO Bibtex entry
[RetyVuottoRULE04]
P. Réty et J. Vuotto, Context-free Tree Languages for Descendants, in 5th Workshop on Rule-Based Programming (RULE). Also published in ENTCS vol 124(1), 2004 Bibtex entry
[SallebChallenge2004]
Ansaf Salleb, Teddy Turmeaux, Christel Vrain et Cyril Nortet, Mining Quantitative Association Rules in a Atherosclerosis Dataset, in Proceedings of the PKDD Discovery Challenge 2004 (co-located with the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases), pp.98-103, Pisa, Italy, 2004 Bibtex entry
[Abou2004ACM]
Anas Abou El Kalam (LIFO), Yves Deswarte (LAAS-CNRS), Gilles Trouessin (Ernst & Young) et Emmanuel Cordonnier (ETIAM), A Generic Approach for Healthcare Data Anonymization, in ACM Workshop on Privacy in the Electronic Society, Washington, DC, USA, 2004 Bibtex entry
[Lallouet:CSCLP2004]
Arnaud Lallouet, A note on Bilattice and Open Constraint Programming, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, Boi Faltings, François Fages, Francesca Rossi et Adrian Petcu ed., Lausanne, Switzerland, 2004 Bibtex entry
[LallouetLME:CHANGES2004]
Arnaud Lallouet, Andreï Legtchenko and Eric Monfroy et AbdelAli Ed-Dbali, Solver Learning for Predicting Changes in Dynamic Constraint Satisfaction Problems, in Changes'04, International Workshop on Constraint Solving under Change and Uncertainty, Chris Beck, Ken Brown et Gérard Verfaillie ed., Toronto, CA, 2004 Bibtex entry
[blanc_witsp04]
Mathieu Blanc, Patrice Clemente, Pierre Courtieu and Stephane Franche, Laurent Oudot, Christian Toinard et Lionel Vessiller, Hardening large-scale networks security through a meta-policy framework, in Third Workshop on the Internet, Telecommunications and Signal Processing (WITSP.04), Adelaide, Australia, dec, 2004 Bibtex entry
[cleuziou2004challenge]
N. Durand, G. Cleuziou et A. Soulet, Discovery of Overlapping Clusters to detect Atherosclerosis Risk Factors, in In the proceedings of the PKDD Discovery Challenge 2004 (co-located with the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases), Pisa, Italy, september, 2004 Bibtex entry
[ChenSE04]
Jing Chen, A Timed Mobile Calculus, in Proceedings of the 16th Nordic Workshop on Programming Theory (NWPT'04), Paul Pettersson et Wang Yi ed., pp.65-67, Department of Information Technology, Uppsala University, Box 337, SE-751 05 Uppsala, Sweden, October, 2004 Bibtex entry
[ChenFR04]
Jing Chen, Some Results on Timed Process Algebra, in Proceedings of International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), Laboratoire d'Informatique Fondamentale d'Orléans, Rue Léonard de Vinci, B.P. 6759, ORLEANS Cedex 2, France, June, 2004 Bibtex entry
[ChenCH04]
Jing Chen, Local Model Checking Real-time Value-passing Systems, in Proceedings of International Workshop on FORMAL METHODS and SECURITY (IWFMS'04), Nanjing University, Nanjing, China, May, 2004 Bibtex entry
[LimetSasyft04]
Sébastien Limet, Tree Tuple Languages as Logic Programs, and Applications, in Proceedings of International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), Laboratoire d'Informatique Fondamentale d'Orléans, Rue Léonard de Vinci, B.P. 6759, ORLEANS Cedex 2, France, June, 2004 Bibtex entry
[FerLesTes-wlpe-04]
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, Explanations to Understand the Trace of a Finite Domain Constraint Solver, in 14th Workshop on Logic Programming Environments, Susana Muoz-Hernàndez, José Manuel Gomez-Perez et Petra Hofstedt ed., pp.19-33, Saint-Malo, France, September, 2004 Bibtex entry
[FouHabMonVan04]
J.L. Fouquet, M. Habib, F. de MontGolfier et J.M. Vanherpe, bimodular decomposition of bipartite graphs, 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2004, 21-23 June, 2004 Bibtex entry
[FouVanCTW04]
J.L. Fouquet et J.M. Vanherpe, On (P5,P5)-graphs and other families, pp.142-146, Proceedings of CTW04 Workshop on Graphs and Combinatorial Optimization, June, 2004 Bibtex entry
[Maazouzi2004EGC]
Z. Maazouzi, A. Salleb et C. Vrain, BoolLoader : un chargeur efficace dédié aux bases denses, in Journées Francophones d' Extraction et de Gestion des Connaissances EGC'2004, pp.71-81, Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, janvier, 2004 Bibtex entry
[Cleuziou2004CORIA]
G. Cleuziou, Regroupements non-disjoints de mots pour la classification de documents, in Première Conférence en Recherche d'Information et Applications CORIA'2004, pp.41-56, IRIT,2004, janvier, 2004 Bibtex entry
[Cleuziou2004EGC]
G. Cleuziou, L. Martin et C. Vrain, PoBOC : un algorithme de ''soft-clustering''. Applications à l'apprentissage de règles et au traitement de données textuelles, in Journées Francophones d' Extraction et de Gestion des Connaissances EGC'2004, Vol.1, pp.217-228, Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, janvier, 2004 Bibtex entry
[FerrandL:JFPLC2004]
Gérard Ferrand et Arnaud Lallouet, Une Représentation Déclarative des Consistances de CSPs, in Journées Francophones de Programmation en Logique et par Contraintes, Fred Mesnard ed., pp.269-284, Angers, France, Hermès, 2004 Bibtex entry
[LegtchenkoLE:JNPC2004]
Andreï Legtchenko, Arnaud Lallouet et AbdelAli Ed-Dbali, Retarder les Propagateurs Complexes pour Calculer de Nouvelles Consistances, in Journées Nationales sur la Résolution Pratique des Problèmes NP-complets, Narendra Jussien ed., pp.251-266, Angers, France, 2004 Bibtex entry
[Abou04]
A. Abou El Kalam, Y. Deswarte, G. Trouessin et E. Cordonnier, Gestion des données médicales anonymisées : problèmes et solutions, in 2ème Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers, Mons - Belgique, 2004 Bibtex entry
[FerLesTes-jfplc-04]
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis, in Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, Frédéric Mesnard ed., pp.37-53, Angers, France, Hermès, June, 2004 Bibtex entry
[BraudTurmeaux04a]
A. Braud et T. Turmeaux, Réduction du coût d'évaluation d'une règle relationnelle., in Journées Francophones dÉxtraction et de Gestion des Connaissances (EGC 04), Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, 2004 Bibtex entry
[BraudTurmeaux04b]
A. Braud et T. Turmeaux, Echantillonner l'évaluation des motifs relationnels à différents niveaux, in Actes de la Conférence d'Apprentissage (CAp 2004), 2004 Bibtex entry
[Melin:Microscoop2004]
Emmanuel Melin, Réalité Virtuelle : Entre Matrix et dialogue Homme-Machine ?, 2004 Bibtex entry
Revues internationales à comité de lecture (7)
[Van04]
J.M. Vanherpe, Clique-Width of Partner Limited Graphs, Discrete Mathematics, Vol.276, No.1-3, pp.363-374, 2004 Bibtex entry
[Siva04]
S. Anantharaman, P. Narendran et M. Rusinowitch, Unification modulo ACUI plus Distributivity Axioms, Journal of Automated Reasoning, Vol.33, pp.1-28, 2004 Bibtex entry
[RetyVuottoJSC04]
P. Réty et J. Vuotto, Tree Automata for Rewrite Strategies, Journal of Symbolic Computation, Vol.40, No.1, pp.749-794, 2004 Bibtex entry
[durand.lose04:IPL]
Jérôme Durand-Lose, A Kleene Theorem for Piecewise Constant Signals Automata, Information Processing Letters, Vol.89, No.5, pp.237-245, 2004 Bibtex entry
[Chen04]
Jing Chen et Zi-Ning Cao, Model Checking Real-time Value-passing Systems, Journal of Computer Science and Technology, Vol.19, No.4, pp.459-471, 2004 Bibtex entry
[BoKrMuTo04dam]
V. Bouchitté, D. Kratsch, H. Müller et I. Todinca, On treewidth approximations, Discrete Applied Mathematics, Vol.136, No.2-3, pp.183-196, 2004 Bibtex entry
[BraHoaVan04]
A. Brandstädt, C.T. Hoàng et J.M. Vanherpe, On Minimal Prime Extensions of a Four-Vertex Graph in a Prime Graph, Discrete Mathematics, Vol.288, pp.9-17, 2004 Bibtex entry
Revues nationales à comité de lecture
[Duval2004RNTI]
Béatrice Duval, Ansaf Salleb et Christel Vrain, Méthodes et mesures d'intérêt pour léxtraction de règles déxception, French journal : Revue des Nouvelles Technologies de l'Information - Mesures de Qualité pour la Fouille de Données RNTI-E-1, Cépaduès éditions, Henri Briand, Michèle Sebag, Régis Gras et Fabrice Guillet ed., pp.119-140, 2004 Bibtex entry
Conférences internationales avec actes et comité de lecture (13)
[blanc]
Mathieu Blanc, Trusted Linux Systems and Application to a Cluster Architecture, in Proceedings of the International Symposium on Cooperative Technologies and Systems, Waleed W. Smari et William McQuay ed., Vol.36, No.1, Simulation Series, pp.29-34, P.O. Box 17900, San Diego, CA, 92177, USA, The Society for Modeling and Simulation International SCS, January, 2004 Bibtex entry
[GLMM_EGPGV04]
V. Gouranton, S. Limet, S. Madougou et E. Melin, A Scalable Cluster-based Parallel Simplification Framework for Height Fields, Eurographics Symposium on Parallel Graphics and Visualization, EGPGV'04, June, 2004 Bibtex entry
[Cleuziou2004ECAI]
G. Cleuziou, L. Martin et C. Vrain, PoBOC: an Overlapping Clustering Algorithm. Application to Rule-Based Classification and Textual Data, in ECAI, R. López de Mántaras, L. Saitta et IOS Press ed., pp.440-444, Valencia, Spain, Proceedings of the 16th European Conference on Artificial Intelligence, August 22-27, 2004 Bibtex entry
[LegtchenkoLE:FLAIRS2004]
Andreï Legtchenko et Arnaud Lallouet and AbdelAli Ed-Dbali, Intermediate Consistencies by Delaying Expensive Propagators, in Flairs'04, International Florida Artificial Intelligence Conference, Valerie Barr et Zdravko Markov ed., South Beach Miami, FL, USAi, AAAI Press, 2004 Bibtex entry
[LallouetLDE:LNAI2004]
Arnaud Lallouet, Andreï Legtchenko and Thi-Bich-Hanh Dao et AbdelAli Ed-Dbali, Learning Approximate Consistencies, in Recent Advances in Constraints, Krzysztof R. Apt, Francois Fages, Francesca Rossi , Péter Szeredi et Jozsef Vancza ed., LNAI 3010, pp.87-106, Springer, 2004 Bibtex entry
[blanc_issre04]
Mathieu Blanc, Pierre Courtieu, Gaetan Hains and Laurent Oudot et Christian Toinard, A novel approach for distributed updates of MAC policies using a meta-protection framework, in Supplementary Proceedings of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004), Saint Malo, France, nov, 2004 Bibtex entry
[Fayolle2004a]
P.-A. Fayolle, C. Rosenberger et C. Toinard, 3D Shape Reconstruction of Template Models Using Genetic Algorithms, in International Conference on Pattern Recognition, pp.269-272, Cambridge - UK, August, 2004 Bibtex entry
[Fayolle2004b]
P.-A. Fayolle, C. Rosenberger et C. Toinard, Shape Recovery and Functional Modeling Using Genetic Algorithms, in LAVAL VIRTUAL, pp.227-232, Laval - France, May, 2004 Bibtex entry
[flowvr-europr:04]
J. Allard, V. Gouranton, L. Lecointre, S. Limet, E. Melin, B. Raffin et S. Robert, FlowVR: a Middleware for Large Scale Virtual Reality Applications, in Proceedings of Euro-par 2004, Pisa, Italia, 2004 Bibtex entry
[LS04]
S. Limet et G. Salzer, Proving Properties of Term Rewrite Systems via Logic Programs, in proceedings of RTA 2004, Vol.3091, LNCS, pp.170-184, Springer Verlag, 2004 Bibtex entry
[cleuziou2004spire]
G. Cleuziou, L. Martin, V. Clavier et C. Vrain, DDOC: Overlapping Clustering of Words for Document Classification, in In the proceedings of the 11th International Conference on String Processing and Information Retrieval, Vol.3246, LNCS, pp.127-128, Padova, Italy, Springer, October, 2004 Bibtex entry
[FoKrTo04icalp]
F. Fomin, D. Kratsch et I. Todinca, Exact (exponential) algorithms for treewidth and minimum fill-in, in Proceedings 31st International Colloquium on Automatas, Languages and Programming (ICALP'04), Vol.3142, Lecture Notes in Computer Science, pp.568-580, Springer, 2004 Bibtex entry
[toinard_pdcs04]
Christian Toinard, Usage of a Formal Result to Design a Causally and Totally Ordered Multicast Protocol, in Proceedings of Parallel and Distributed Computing Systems 2004, International Society for Computers et their Applications (ISCA) ed., pp.426-430, San Francisco, California, Waleed Smari, sep, 2004 Bibtex entry
Workshops internationaux avec actes et comité de lecture (15)
[Merlin_avocs04]
A. Merlin et G. Hains, A generic cost model for concurrent and data-parallel meta-computing, in Fourth International Workshop on Automated Verification of Critical Systems: (AVOCS'04) , London, (UK), September, 2004, Note: Long preliminary version appears as LIFO RR2004-06 http://www.univ-orleans.fr/SCIENCES/LIFO Bibtex entry
[RetyVuottoRULE04]
P. Réty et J. Vuotto, Context-free Tree Languages for Descendants, in 5th Workshop on Rule-Based Programming (RULE). Also published in ENTCS vol 124(1), 2004 Bibtex entry
[SallebChallenge2004]
Ansaf Salleb, Teddy Turmeaux, Christel Vrain et Cyril Nortet, Mining Quantitative Association Rules in a Atherosclerosis Dataset, in Proceedings of the PKDD Discovery Challenge 2004 (co-located with the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases), pp.98-103, Pisa, Italy, 2004 Bibtex entry
[Abou2004ACM]
Anas Abou El Kalam (LIFO), Yves Deswarte (LAAS-CNRS), Gilles Trouessin (Ernst & Young) et Emmanuel Cordonnier (ETIAM), A Generic Approach for Healthcare Data Anonymization, in ACM Workshop on Privacy in the Electronic Society, Washington, DC, USA, 2004 Bibtex entry
[Lallouet:CSCLP2004]
Arnaud Lallouet, A note on Bilattice and Open Constraint Programming, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, Boi Faltings, François Fages, Francesca Rossi et Adrian Petcu ed., Lausanne, Switzerland, 2004 Bibtex entry
[LallouetLME:CHANGES2004]
Arnaud Lallouet, Andreï Legtchenko and Eric Monfroy et AbdelAli Ed-Dbali, Solver Learning for Predicting Changes in Dynamic Constraint Satisfaction Problems, in Changes'04, International Workshop on Constraint Solving under Change and Uncertainty, Chris Beck, Ken Brown et Gérard Verfaillie ed., Toronto, CA, 2004 Bibtex entry
[blanc_witsp04]
Mathieu Blanc, Patrice Clemente, Pierre Courtieu and Stephane Franche, Laurent Oudot, Christian Toinard et Lionel Vessiller, Hardening large-scale networks security through a meta-policy framework, in Third Workshop on the Internet, Telecommunications and Signal Processing (WITSP.04), Adelaide, Australia, dec, 2004 Bibtex entry
[cleuziou2004challenge]
N. Durand, G. Cleuziou et A. Soulet, Discovery of Overlapping Clusters to detect Atherosclerosis Risk Factors, in In the proceedings of the PKDD Discovery Challenge 2004 (co-located with the 6th European Conference on Principles and Practice of Knowledge Discovery in Databases), Pisa, Italy, september, 2004 Bibtex entry
[ChenSE04]
Jing Chen, A Timed Mobile Calculus, in Proceedings of the 16th Nordic Workshop on Programming Theory (NWPT'04), Paul Pettersson et Wang Yi ed., pp.65-67, Department of Information Technology, Uppsala University, Box 337, SE-751 05 Uppsala, Sweden, October, 2004 Bibtex entry
[ChenFR04]
Jing Chen, Some Results on Timed Process Algebra, in Proceedings of International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), Laboratoire d'Informatique Fondamentale d'Orléans, Rue Léonard de Vinci, B.P. 6759, ORLEANS Cedex 2, France, June, 2004 Bibtex entry
[ChenCH04]
Jing Chen, Local Model Checking Real-time Value-passing Systems, in Proceedings of International Workshop on FORMAL METHODS and SECURITY (IWFMS'04), Nanjing University, Nanjing, China, May, 2004 Bibtex entry
[LimetSasyft04]
Sébastien Limet, Tree Tuple Languages as Logic Programs, and Applications, in Proceedings of International Workshop on Security Analysis of Systems: Formalism and Tools (SASYFT'2004), Laboratoire d'Informatique Fondamentale d'Orléans, Rue Léonard de Vinci, B.P. 6759, ORLEANS Cedex 2, France, June, 2004 Bibtex entry
[FerLesTes-wlpe-04]
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, Explanations to Understand the Trace of a Finite Domain Constraint Solver, in 14th Workshop on Logic Programming Environments, Susana Muoz-Hernàndez, José Manuel Gomez-Perez et Petra Hofstedt ed., pp.19-33, Saint-Malo, France, September, 2004 Bibtex entry
[FouHabMonVan04]
J.L. Fouquet, M. Habib, F. de MontGolfier et J.M. Vanherpe, bimodular decomposition of bipartite graphs, 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2004, 21-23 June, 2004 Bibtex entry
[FouVanCTW04]
J.L. Fouquet et J.M. Vanherpe, On (P5,P5)-graphs and other families, pp.142-146, Proceedings of CTW04 Workshop on Graphs and Combinatorial Optimization, June, 2004 Bibtex entry
Conférences/workshops nationaux avec actes (9)
[Maazouzi2004EGC]
Z. Maazouzi, A. Salleb et C. Vrain, BoolLoader : un chargeur efficace dédié aux bases denses, in Journées Francophones d' Extraction et de Gestion des Connaissances EGC'2004, pp.71-81, Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, janvier, 2004 Bibtex entry
[Cleuziou2004CORIA]
G. Cleuziou, Regroupements non-disjoints de mots pour la classification de documents, in Première Conférence en Recherche d'Information et Applications CORIA'2004, pp.41-56, IRIT,2004, janvier, 2004 Bibtex entry
[Cleuziou2004EGC]
G. Cleuziou, L. Martin et C. Vrain, PoBOC : un algorithme de ''soft-clustering''. Applications à l'apprentissage de règles et au traitement de données textuelles, in Journées Francophones d' Extraction et de Gestion des Connaissances EGC'2004, Vol.1, pp.217-228, Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, janvier, 2004 Bibtex entry
[FerrandL:JFPLC2004]
Gérard Ferrand et Arnaud Lallouet, Une Représentation Déclarative des Consistances de CSPs, in Journées Francophones de Programmation en Logique et par Contraintes, Fred Mesnard ed., pp.269-284, Angers, France, Hermès, 2004 Bibtex entry
[LegtchenkoLE:JNPC2004]
Andreï Legtchenko, Arnaud Lallouet et AbdelAli Ed-Dbali, Retarder les Propagateurs Complexes pour Calculer de Nouvelles Consistances, in Journées Nationales sur la Résolution Pratique des Problèmes NP-complets, Narendra Jussien ed., pp.251-266, Angers, France, 2004 Bibtex entry
[Abou04]
A. Abou El Kalam, Y. Deswarte, G. Trouessin et E. Cordonnier, Gestion des données médicales anonymisées : problèmes et solutions, in 2ème Conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers, Mons - Belgique, 2004 Bibtex entry
[FerLesTes-jfplc-04]
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, Explications pour Comprendre la Trace d'un Solveur de Contraintes sur Domaines Finis, in Treizièmes Journées Francophones de Programmation en Logique et de programmation par Contraintes, Frédéric Mesnard ed., pp.37-53, Angers, France, Hermès, June, 2004 Bibtex entry
[BraudTurmeaux04a]
A. Braud et T. Turmeaux, Réduction du coût d'évaluation d'une règle relationnelle., in Journées Francophones dÉxtraction et de Gestion des Connaissances (EGC 04), Revue des Nouvelles Technologies de l'Information, Cépaduès-Edition, 2004 Bibtex entry
[BraudTurmeaux04b]
A. Braud et T. Turmeaux, Echantillonner l'évaluation des motifs relationnels à différents niveaux, in Actes de la Conférence d'Apprentissage (CAp 2004), 2004 Bibtex entry
Divers
[Melin:Microscoop2004]
Emmanuel Melin, Réalité Virtuelle : Entre Matrix et dialogue Homme-Machine ?, 2004 Bibtex entry
22/6/2010. Généré par biblifo, un programme Objective Caml.
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 