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

Lifo > Publications de l'année 2002

 English Version



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


Revues internationales à comité de lecture (6)


[RetyVuottoENTCS-02]
P. Réty et J. Vuotto, Regular Sets of Descendants by Leftmost Strategy, Electronic Notes in Theoretical Computer Science (Extended and improved version of the proceedings of WRS'2002), Vol.70, No.6, Elsevier ed., 2002 Bibtex entry
[BoTo2001dam]
V. Bouchitté et I. Todinca, Approximating the Treewidth of AT-Free Graphs, Dicrete Applied Mathematics, 2002, Note: To appear Bibtex entry
[BoKrMuTo01]
V. Bouchitté, D. Kratsch, H. Müller et I. Todinca, On Treewidth Approximations, Dicrete Applied Mathematics, 2002, Note: To appear Bibtex entry
[Fouquet2002]
J.-L. Fouquet, No Odd Pairs in Minimal Imperfect NP_5 Graphs, Information Processing Letters, Vol.83, pp.201-204, 2002 Bibtex entry
[BoTo02tcs]
V. Bouchitté et I. Todinca, Listing all potential maximal cliques of a graph, Theoretical Computer Science, Vol.276, No.1-2, pp.17-32, 2002 Bibtex entry
[FerLesTes-entcs-02]
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction, Electronic Notes in Theoretical Computer Science, Elsevier, Vol.76, November, 2002, Note: http://www.elsevier.com/gej-ng/31/29/23/126/23/26/76008.pdf Bibtex entry


Livres et chapitres de livres (3)


[MillerTFP3]
Q. Miller, BSP in a Lazy Functional Context, in Trends in Functional Programming 3, Kevin Hammond et Sharon Curtis ed., Intellect Books, 2002 Bibtex entry
[HainsL:CMPP2000BOOK]
G. Hains, G. et F. Loulergue, Sergei Gorlatch et Christian Lengauer ed., Functional Bulk Synchronous Parallel Programming using the BSMLlib Library, Chapitre 11, pp.165-178, Advances in Computation: Theory and Practice, Nova Science Books and Journals, 2002 Bibtex entry
[BallereauHL:CMPP2000BOOK]
O. Ballereau, G. Hains et A. Lallouet, Sergei Gorlatch et Christian Lengauer ed., BSP Constraint Programming, Chapitre 7, pp.95-111, Advances in Computation: Theory and Practice, Nova Science Books and Journals, 2002 Bibtex entry


Conférences internationales avec actes et comité de lecture (14)


[Blanc2002]
M. Blanc, F. Costantini, S. Dubois, M. Forget, O. Francillon et C. Toinard, Collaborative Simulation by Reuse of COTS Simulators, in Advances in Object Oriented Information Systems. Proceedings of OOIS 2002, Lecture Notes in Computer Science, pp.142-151, Montpellier, France, Springer, September, 2002 Bibtex entry
[IPTS02VR]
J. Allard, V. Gouranton, E. Melin et B. Raffin, Parallelizing Pre rendering Computation on a NetJuggler PC Cluster, in Immersive Projection Technology Symposium, Orlando, US, March, 2002 Bibtex entry
[IEEE02VR]
J. Allard, V. Gouranton, L. Lecointre, E. Melin et B. Raffin, NetJuggler: Running VrJuggler with Multiple Displays on a Commodity Component Cluster, in IEEE Virtual reality, Orlando, US, March, 2002 Bibtex entry
[Salleb2002GIS]
Andor Lips, Daniel Cassard, Vincent Bouchot and Mario Billa and Ansaf Salleb, Maria Gonzalez, Laurent Bougrain, Christel Vrain, Bruno Tourlière, Gilbert Stein et Frédéric Alexandre, Quantitative Assessments of a Continent-Scale Metallogenic GIS by Data-Driven and Knowledge-Driven Approaches to Construct Decision-Aid Documents, in International Conference: GIS in Geology, Moscou, novembre 13-15, 2002 Bibtex entry
[HainsPDCS2002]
G. Hains et M. Bergeron, The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols, in International Conference on Parallel and Distributed Computer Systems, ed., Vol. , , pp. -, Cambridge MA, USA, IASTED, , November, 2002, Note: Bibtex entry
[Debourges2002]
I. Debourges, S. Guilloré-Billot et Ch. Vrain, Learning verbal relations in text maps, in JADT 2002 - 6èmes Journées Internationales d'Analyse Statistique de Données Textuelles , A. Morin et P. Sébillot ed., Vol.1, pp.245-256, St-Malo, March, 2002 Bibtex entry
[LeclandRTA02]
B. Lecland et P. Réty, TTSLI: an Implementation of Tree-tuple Synchronized Languages, in Proceedings of 13th International Conference on Rewriting Techniques and Applications (RTA), Copenhagen (Denmark), Lecture Notes in Computer Science, Springer, 2002 Bibtex entry
[RetyRTA02]
P. Réty et J. Vuotto, Regular Sets of Descendants by some Rewrite Strategies, in Proceedings of 13th International Conference on Rewriting Techniques and Applications (RTA), Copenhagen (Denmark), Lecture Notes in Computer Science, Springer, 2002 Bibtex entry
[FerrandL:ICLP02p]
G. Ferrand et A. Lallouet, A Logic Program characterization of domain reduction approximations in finite domain CSPs, in International Conference on Logic Programming, Peter J. Stuckey ed., LLCS, Springer-Verlag, 2002, Note: Poster Bibtex entry
[LMS-fossacs2002]
F. Laroussinie et N. Markey and Ph. Schnoebelen, On Model Checking Durational Kripke Structures (Extended Abstract), in Proc. 5th Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS'2002), Genova, Italy, Apr. 2002, Vol.2303, Lect. Notes in Comp. Sci., pp.264-279, Springer-Verlag, 2002 Bibtex entry
[LMS-lics2002]
F. Laroussinie et N. Markey and Ph. Schnoebelen, Temporal Logic with Forgettable Past, in Proc. 17th IEEE Symp. Logic in Computer Science (LICS'2002), Copenhagen, Denmark, IEEE Comp. Soc. Press, July, 2002 Bibtex entry
[Salleb2002Ike]
A. Salleb, Z. Maazouzi et C. Vrain, Search Space Splitting for Mining Maximal Frequent Itemsets, in 2002 International Conference on Information and Knowledge Engineering IKE'02, Las Vegas, USA, CSREA Press ed., June, 2002 Bibtex entry
[Salleb2002Ecai]
A. Salleb, Z. Maazouzi et C. Vrain, Mining Maximal Frequent Itemsets by a Boolean Approach, in ECAI, F. van Harmelen et IOS Press Amsterdam ed., Lyon, France, Proceedings of the 15th European Conference on Artificial Intelligence, July 21-26, 2002 Bibtex entry
[DaoLLM:CP2002]
T. B. H. Dao, A. Lallouet, A. Legtchenko et L. Martin, Indexical-based Solver Learning, in International Conference on Principles and Practice of Constraint Programming, Pascal Van Hentenryck ed., lncs, Ithaca, NY, USA, Springer-Verlag, Sept. 7 - 13, 2002 Bibtex entry


Workshops internationaux avec actes et comité de lecture (8)


[SAnant02]
Anantharaman S., Narendran P. et Rusinowitch M., ACID-Unification, Rewrite Reachability, and Set Constraints, in Proceedings of the 16th International Workshop on Unification (UNIF 2002), Christophe Ringeissen, Cesare Tinelli, Ralf Treinen et Rakesh M. Verma ed., Iowa City, IA, USA, Department of Computer Science, Univerity of Iowa, 2002, Note: Technical Report number 02-05 Bibtex entry
[GP02]
E. Gascard et L. Pierre, Mechanical Verification of Hypercube Algorithms, in Proceedings of the 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, IEEE CS Press, apr, 2002 Bibtex entry
[NM-express2002]
Nicolas Markey, Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past, in Proc. 9th Int. Workshop on Expressiveness in Concurrency (EXPRESS'2002), Brno, Czech Republic, Aug. 2002, Vol.68.2, entcs, elsevier, 2002 Bibtex entry
[Lesaint-wlpe-02]
Willy Lesaint, Value Withdrawal Explanations: a Theoretical Tool for Programming Environments, in Proceedings of the 12th Workshop on Logic Programming Environments, Alexandre Tessier ed., pp.17-33, Copenhagen, Denmark, July, 2002, Note: http://xxx.lanl.gov/html/cs/0207052 Bibtex entry
[FerLesTes-wflp-02]
G. Ferrand, W. Lesaint et A. Tessier, Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction, in Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, Moreno Falaschi ed., Vol.76, Electronic Notes in Theoretical Computer Science, Grado, Italy, June, 2002, Note: http://www.elsevier.com/gej-ng/31/29/23/show/Products/notes/index.htt Bibtex entry
[RetyWRS02]
P. Réty et J. Vuotto, Regular Sets of Descendants by Leftmost Strategy, in Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Copenhagen (Denmark), 2002 Bibtex entry
[FerrandLA:WFLP02]
G. Ferrand, A. Lallouet et J. Arsouze, The Constraint System of the Grammatical View of (Constraint) Logic Programming, in International Workshop on Functional and (Constraint) Logic Programming, Moreno Falaschi ed., Grado, Italy, University of Udine, June 20-22, 2002 Bibtex entry
[blanc_oois02]
Mathieu Blanc, Fabien Costantini, Sébastien Dubois, Manuel Forget, Olivier Francillon et Christian Toinard, Collaborative Simulation by Reuse of COTS Simulators with a Reflexive XML Middleware, in Advances in Object-Oriented Information Systems : OOIS 2002 Workshops, Vol.2426, Lecture Notes in Computer Science, pp.142-151, Montpellier, France, Springer-Verlag, sep, 2002 Bibtex entry


Conférences/workshops nationaux avec actes (5)


[cleuziou2002CAp]
Viviane Clavier, Guillaume Cleuziou et Lionel Martin, Organisation conceptuelle de mots pour la recherche d'information sur le web, in Conférence d'Apprentissage CAp'2002, PUG Presses Universitaires de Grenoble ISBN 2 7061 1092 9 ed., pp.111-122, Orléans, Juin, 2002 Bibtex entry
[Salleb2002CAp]
A. Salleb et Z. Maazouzi, Approche booléenne pour l' Extraction des Itemsets Fréquents Maximaux, in Conférence d'Apprentissage CAp'2002, PUG Presses Universitaires de Grenoble ISBN 2 7061 1092 9 ed., pp.111-122, Orléans, Juin, 2002 Bibtex entry
[ArsouzeFL:JFPLC2002]
J. Arsouze, G. Ferrand et A. Lallouet, Arbres d'itérations chaotiques pour décrire la résolution des CSPs, in Journées Francophones de Programmation en Logique et par Contraintes, Michel Rueher ed., Nice, France, Hermès, 2002 Bibtex entry
[LallouetG:NPar2002]
A. Lallouet et L. Granvilliers, Stratégies parallèles pour la relaxation de contraintes, in Workshop Résolution parallèles de Problèmes NP-complets, Daniel Singer ed., Hammamet, Tunisie, April, 2002 Bibtex entry
[jfla2002]
A. Merlin et G. Hains, La Machine Abstraite Catégorique BSP, in Journées Francophones des Langages Applicatifs (JFLA2002), L. Rideau ed., INRIA, Janvier, 2002 Bibtex entry



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