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 2001

 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 70 11
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


International Refereed Journals (5)


[RoRu01jctb]
F. Roussel and P. Rubio, About Skew Partitions in Minimal Imperfect Graphs, Journal of Combinatorial Theory, Series B, Vol.83, No.2, pp.171-190, 2001 Bibtex entry
[FoRoRuTh01dm]
J.-L. Fouquet, F. Roussel, P. Rubio and H. Thuillier, New classes of perfectly orderable graphs, Discrete Mathematics, Vol.236, No.1-3, pp.95-109, 2001 Bibtex entry
[BoTo01sjc]
V. Bouchitté and I. Todinca, Treewidth and minimum fill-in: grouping the minimal separators, SIAM Journal on Computing, Vol.31, No.1, pp.212-232, 2001 Bibtex entry
[hlpp2001]
High-Level Parallel Programming and Applications, G. Hains and Q. Miller ed., Vol.11, No.4, Parallel Processing Letters (World Scientific) , December , 2001, Note: Selected papers from HLPP2001, Orléans, March 2001. Bibtex entry
[HainsTCS2001]
G. Hains, F. Loulergue and J. Mullins, Concrete Data Structures and Functional Parallel Programming, Theoretical Computer Science, Vol.258, No.1-2, pp.233-267, April, 2001 Bibtex entry


International Conferences with Proceedings (8)


[lms-fossacs2001]
François Laroussinie and Nicolas Markey and Philippe Schnoebelen, Model checking CTL+ and FCTL is hard, in Proc. 4th Int. Conf. Foundations of Software Science and Computation Structures (FOSSACS'2001), Genova, Italy, Apr. 2001, Vol.2030, Lect. Notes in Comp. Sci., pp.318-331, Springer-Verlag, 2001 Bibtex entry
[LallouetFA:RCORP01]
A. Lallouet, G. Ferrand and Julien Arsouze, Chaotic derivations : an operational semantics for complete constraint solving, in RCORP'01, post ICLP/CP'01 workshop on Rule-Based Constraint Reasoning and Programming, Slim Abdennadher and Thom Frühwirth ed., Paphos, Cyprus, 2001 Bibtex entry
[BraudVrain01a]
A. Braud and C. Vrain, A Study of the Scalability of a Data Mining Genetic Algorithm on a Distributed Database, in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001), Lee Spector, Erik D. Goodman, Annie Wu, W.B. Langdon, Hans-Michael Voigt, Mitsuo Gen, Sandip Sen, Marco Dorigo, Shahram Pezeshk, Max H. Garzon and Edmund Burke ed., pp.753, San Francisco, California, USA, Morgan Kaufmann, 7-11 July, 2001 Bibtex entry
[BraudVrain01b]
A. Braud and C. Vrain, A Genetic Algorithm for Propositionalization, in Proceedings of the 11th International Conference on Inductive Logic Programming, Céline Rouveirol and Michèle Sebag ed., Vol.2157, Lecture Notes in Artificial Intelligence, pp.27-40, Springer-Verlag, sep, 2001 Bibtex entry
[MartinMoal:ecml01]
L. Martin and F. Moal, A Language-Based Similarity Measure, in Proceedings of the 12th European Conference on Machine Learning, Luc De Raedt and Peter Flach ed., Vol.2167, LNAI, pp.336-347, Berlin, Springer, September, 2001 Bibtex entry
[DebourgesIWCS2001]
Debourges I., Vrain Ch. and Guillore S., TEXT MAPPING: A New Approach for Exploring Large Corpora, in Proceedings of the Fourth International Workshop on Computational Semantics (IWCS-4), pp.447-450, Tilburg, January, 2001, Note: Poster Bibtex entry
[GourantonFOSSACS01]
V. Gouranton, P. Réty and H. Seidl, Synchronized Tree Languages Revisited and New Applications, in Proceedings of FoSSaCs, Vol.xxx, Lecture Notes in Computer Science, Springer Verlag, 2001 Bibtex entry
[limetRTA01]
S. Limet, P. Réty and H. Seidl, Weakly Regular Relations and Applications, in Proceedings of 12th Conference on Rewriting Techniques and Applications, Utrecht (The Netherlands), Vol.xxx, Lecture Notes in Computer Science, Springer Verlag, 2001 Bibtex entry


International Workshops with Proceedings (5)


[SAnant01]
Anantharaman S., Context Congruence Closure and Context Rewriting for Context-Free Commutative Grammars, in Proceddings of the Workshop W4 (UNIF-2001), International Joint Conference on Automated Reasoning (IJCAR-2001), Technical Report DII-09/01, pp.35-40, Dipartimento di Ingeneria dell'Informazione, Università degli Studi, SIENA, Italy, 2001 Bibtex entry
[Ed-Dbali-wlpe2001]
A. Ed-Dbali, P. Deransart, M. Bigonha, J. de Siqueira and R. Bigonha, HyperPro - An Integrated Documentation Environment for CLP, in Proceedings in WLPE'2001 (11th Workshop on Logic Programming Environment at CP and ICLP'2001), Anthony J. Kusalik, M. Ducassé and G. Puebla ed., Paphos - Cyprus, http://xxx.lanl.gov/abs/cs.PL/0111046, november, 2001 Bibtex entry
[MillerSFP2001]
Q. Miller, BSP in a Lazy Functional Context, in SFP'2001 Scottish Functional Programming Workshop, Stirling, August, 2001 Bibtex entry
[MerlinSFP2001]
A. Merlin, G. Hains and F. Loulergue, An SPMD Environment Machine for Functional BSP Programs, in SFP'2001 Scottish Functional Programming Workshop, Stirling, August, 2001, Note: ISBN 2-7261-1197-1 Bibtex entry
[EdDbaliJFPLC2001]
A. Ed-Dbali, P. Deransart, M. Bigonha and J. de Siqueira and R. Bigonha, HyperPro - Un environnement intégré de documentation pour la PLC, in JFPLC'2001 Dixièmes Journées Francophones de Programmation en Logique et par Contraintes, Paris, Hermes, Mai, 2001 Bibtex entry


National Conferences/Workshops with Proceedings


[MartinMoal:cap01]
L. Martin and F. Moal, Mesure de similarité relative à un langage, in Conférence d'Apprentissage, Gilles Bisson ed., pp.279-292, Grenoble, Presses Universitaires de Grenoble, jun, 2001 Bibtex entry


Miscellaneous


[DebourgesATALA2001]
Isabelle Debourges, Cartographie de Textes: Une nouvelle approche pour l' Exploitation de Grands Corpora, Rapport, No.00.13, Journée dÉtudes de l'ATALA - La collocation. Institut de Recherche en Informatique de Nantes, 2001 Bibtex entry



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