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 2001

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


Revues internationales à comité de lecture (5)


[RoRu01jctb]
F. Roussel et 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 et H. Thuillier, New classes of perfectly orderable graphs, Discrete Mathematics, Vol.236, No.1-3, pp.95-109, 2001 Bibtex entry
[BoTo01sjc]
V. Bouchitté et 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 et 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 et J. Mullins, Concrete Data Structures and Functional Parallel Programming, Theoretical Computer Science, Vol.258, No.1-2, pp.233-267, April, 2001 Bibtex entry


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


[lms-fossacs2001]
François Laroussinie et 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 et 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 et Thom Frühwirth ed., Paphos, Cyprus, 2001 Bibtex entry
[BraudVrain01a]
A. Braud et 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 et Edmund Burke ed., pp.753, San Francisco, California, USA, Morgan Kaufmann, 7-11 July, 2001 Bibtex entry
[BraudVrain01b]
A. Braud et C. Vrain, A Genetic Algorithm for Propositionalization, in Proceedings of the 11th International Conference on Inductive Logic Programming, Céline Rouveirol et Michèle Sebag ed., Vol.2157, Lecture Notes in Artificial Intelligence, pp.27-40, Springer-Verlag, sep, 2001 Bibtex entry
[MartinMoal:ecml01]
L. Martin et F. Moal, A Language-Based Similarity Measure, in Proceedings of the 12th European Conference on Machine Learning, Luc De Raedt et Peter Flach ed., Vol.2167, LNAI, pp.336-347, Berlin, Springer, September, 2001 Bibtex entry
[DebourgesIWCS2001]
Debourges I., Vrain Ch. et 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 et 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 et 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


Workshops internationaux avec actes et comité de lecture (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 et 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é et 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 et 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 et 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


Conférences/workshops nationaux avec actes


[MartinMoal:cap01]
L. Martin et 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


Divers


[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.