- 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 2025
[RetyVuottoENTCS-02]
P. Réty and 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é and 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 and 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é and 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 and 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
[MillerTFP3]
Q. Miller, BSP in a Lazy Functional Context, in Trends in Functional Programming 3, Kevin Hammond and Sharon Curtis ed., Intellect Books, 2002 Bibtex entry
[HainsL:CMPP2000BOOK]
G. Hains, G. and F. Loulergue, Sergei Gorlatch and Christian Lengauer ed., Functional Bulk Synchronous Parallel Programming using the BSMLlib Library, Chapter 11, pp.165-178, Advances in Computation: Theory and Practice, Nova Science Books and Journals, 2002 Bibtex entry
[BallereauHL:CMPP2000BOOK]
O. Ballereau, G. Hains and A. Lallouet, Sergei Gorlatch and Christian Lengauer ed., BSP Constraint Programming, Chapter 7, pp.95-111, Advances in Computation: Theory and Practice, Nova Science Books and Journals, 2002 Bibtex entry
[Blanc2002]
M. Blanc, F. Costantini, S. Dubois, M. Forget, O. Francillon and 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 and 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 and 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 and 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 and 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 and 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 and P. Sébillot ed., Vol.1, pp.245-256, St-Malo, March, 2002 Bibtex entry
[LeclandRTA02]
B. Lecland and 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 and 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 and 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 and 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 and 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 and 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 and C. Vrain, Mining Maximal Frequent Itemsets by a Boolean Approach, in ECAI, F. van Harmelen and 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 and 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
[SAnant02]
Anantharaman S., Narendran P. and 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 and 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 and 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 and 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 and 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 and 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 and 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
[cleuziou2002CAp]
Viviane Clavier, Guillaume Cleuziou and 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 and 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 and 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 and 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 and G. Hains, La Machine Abstraite Catégorique BSP, in Journées Francophones des Langages Applicatifs (JFLA2002), L. Rideau ed., INRIA, Janvier, 2002 Bibtex entry
International Refereed Journals (6)
[RetyVuottoENTCS-02]
P. Réty and 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é and 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 and 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é and 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 and 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
Books or Book Chapters (3)
[MillerTFP3]
Q. Miller, BSP in a Lazy Functional Context, in Trends in Functional Programming 3, Kevin Hammond and Sharon Curtis ed., Intellect Books, 2002 Bibtex entry
[HainsL:CMPP2000BOOK]
G. Hains, G. and F. Loulergue, Sergei Gorlatch and Christian Lengauer ed., Functional Bulk Synchronous Parallel Programming using the BSMLlib Library, Chapter 11, pp.165-178, Advances in Computation: Theory and Practice, Nova Science Books and Journals, 2002 Bibtex entry
[BallereauHL:CMPP2000BOOK]
O. Ballereau, G. Hains and A. Lallouet, Sergei Gorlatch and Christian Lengauer ed., BSP Constraint Programming, Chapter 7, pp.95-111, Advances in Computation: Theory and Practice, Nova Science Books and Journals, 2002 Bibtex entry
International Conferences with Proceedings (14)
[Blanc2002]
M. Blanc, F. Costantini, S. Dubois, M. Forget, O. Francillon and 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 and 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 and 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 and 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 and 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 and 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 and P. Sébillot ed., Vol.1, pp.245-256, St-Malo, March, 2002 Bibtex entry
[LeclandRTA02]
B. Lecland and 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 and 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 and 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 and 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 and 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 and 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 and C. Vrain, Mining Maximal Frequent Itemsets by a Boolean Approach, in ECAI, F. van Harmelen and 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 and 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
International Workshops with Proceedings (8)
[SAnant02]
Anantharaman S., Narendran P. and 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 and 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 and 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 and 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 and 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 and 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 and 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
National Conferences/Workshops with Proceedings (5)
[cleuziou2002CAp]
Viviane Clavier, Guillaume Cleuziou and 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 and 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 and 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 and 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 and 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.
University of Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 