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 2003

 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 (9)


[ColmerauerJC2003]
A. Colmerauer et T.-B.-H. Dao, Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees, Journal of Constraints, Vol.8, No.3, Kluwer Academic Publishers ed., 2003 Bibtex entry
[GP03]
E. Gascard et L. Pierre, Formal Proof of Applications Distributed in Symmetric Interconnection Networks, Parallel Processing Letters, World Scientific, Vol.13, No.1, pp.3-18, mar, 2003 Bibtex entry
[limet03manipulating]
Sébastien Limet et Gernot Salzer, Manipulating Tree Tuple Languages by Transforming Logic Programs, in Electronic Notes in Theoretical Computer Science, Ingo Dahn et Laurent Vigneron ed., Vol.86, Elsevier, 2003 Bibtex entry
[hlpp2003]
High-Level Parallel Programming and Applications, G. Hains et F. Loulergue ed., Vol.13, No.3, Parallel Processing Letters (World Scientific), September, 2003, Note: Selected papers from HLPP2003, Paris, June 2003. http://www.worldscinet.com/ppl.html Bibtex entry
[BE03_2]
M. Bamha et M. Exbrayat, Pipelining a Skew-Insensitive Parallel Join Algorithm, Parallel Processing Letters" journal, Vol.13, No.3, 2003, Note: Also appears in the Proceedings of "High-Level Parallel Programming and Applications" (HLPP 2003). 15-17 June 2003, Paris, France. http://www.worldscinet.com/ppl.html Bibtex entry
[Van03b]
J.M. Vanherpe, Some optimization problems on weak bisplit graphs, Information processing letters, Vol.88, pp.305-310, 2003 Bibtex entry
[Chen03]
Jing Chen, Dense time representation and redundancy elimination (in Chinese), Journal of Software, Vol.14, No.10, pp.16811691, 2003 Bibtex entry
[GiaVan03]
V. Giakoumakis et J.M. Vanherpe, Linear Time Recognition and Optimization for Weak-Bisplit Graphs, Bi-Cographs and Bipartite P6-Free Graphs, International Journal of Fundations of Computer Science, Vol.14, No.1, pp.107-136, 2003 Bibtex entry
[BraLeVan03]
A. Brandstädt, H. O. Le et J.M Vanherpe, Structure and stability number of chair, co-P and gem-free graphs revisited, Information processing letters, Vol.86, pp.161-167, 2003 Bibtex entry


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


[siva-mfcs03]
S. Anantharaman, P. Narendran et M.Rusinowitch, AC(U)ID-Unification is NEXPTIME-Decidable, in Proc. of the Int. Conf. MFCS 2003, Bratislava (Slovak Rep.), B. Rovan ed., Vol.xxxx, August 2003, Springer-Verlag, Lecture Notes in Computer Science, 2003 Bibtex entry
[Blanc_CTS03]
M. Blanc, O. Francillon et C. Toinard, Collaborative and Distributed Simulation Through a Reflexive XML Middleware Approach, in International Symposium on Collaborative Technologies and Systems CTS'03, Orlando, Florida, Western Multi Conferences (WMC03) , January, 2003 Bibtex entry
[siva-cade03]
Anantharaman S., Narendran P. et Rusinowitch M., Unification over ACUI plus Distributivity/Homomorphisms, in Proc. of the Int. Conf. on Automated Deduction, CADE-19, F. Baader ed., Vol.xxxx, Springer-Verlag, Lecture Notes in Computer Science, 2003 Bibtex entry
[turmeaux:2003:lcr]
Teddy Turmeaux, Ansaf Salleb et Christel Vrain and Daniel Cassard, Learning Characteristic Rules Relying on Quantified Paths, in To appear in 7th European Conference on Principles of Data Mining and Knowledge Discovery (PKDD), Springer-Verlag, Lecture Notes in Computer Science, September, 2003 Bibtex entry
[LallouetLDE:CP2003p]
Arnaud Lallouet, Andreï Legtchenko and Thi-Bich-Hanh Dao et AbdelAli Ed-Dbali, Intermediate (learned) consistencies, in International Conference on Principles and Practice of Constraint Programming, Francesca Rossi ed., LNCS, Kinsale, County Cork, Ireland, Springer, 2003, Note: Poster Bibtex entry
[LallouetDLE:IJCAI2003p]
Arnaud Lallouet, Thi-Bich-Hanh Dao, Andreï Legtchenko et AbdelAli Ed-Dbali, Finite Domain Constraint Solver Learning, in International Joint Conference on Artificial Intelligence, Georg Gottlob ed., Acapulco, Mexico, AAAI Press, 2003, Note: poster Bibtex entry
[LallouetDE:FLAIRS2003]
Arnaud Lallouet, Thi-Bich-Hanh Dao et AbdelAli Ed-Dbali, Language, definition and optimal computation of CSP approximations, in Flairs'03, International Florida Artificial Intelligence Conference, Susan Haller et Ingrid Russell ed., St Augustine, FL, USA, AAAI Press, 2003 Bibtex entry
[Cleuziou:ICWE2003]
Céline Poudat et Guillaume Cleuziou, Genre and Domain Processing in an Information Retrieval Perspective, in Third International Conference on Web Engineering, LNCS ed., pp.399-402, Oviedo, Spain, Springer, July, 2003, Note: Short paper Bibtex entry
[Cleuziou:ILP2003]
Guillaume Cleuziou, Lionel Martin et Christel Vrain, Disjunctive Learning with a Soft-Clustering Method, in 13th International Conference on Inductive Logic Programming, LNCS ed., Szeged, Hungary, Springer, September, 2003 Bibtex entry
[BE03_1]
M. Bamha et M. Exbrayat, Pipelined parallelism for multi-join queries on shared nothing machines, in Proceedings of the international conference on Parallel Computing (ParCo 2003), DRESDEN, Germany, 02-05 September, 2003 Bibtex entry
[To03wg]
I. Todinca, Coloring powers of graphs of bounded clique-width, in Proceedings 29th Workshop on Graph-Theoretic Aspects in Computer Science (WG 2003), Lecture Notes in Computer Sciences, Springer Verlag, 2003 Bibtex entry
[KrMuTo03wg]
D. Kratsch, H. Müller et I. Todinca, Feedback vertex set and longest induced path on AT-free graphs, in Proceedings 29th Workshop on Graph-Theoretic Aspects in Computer Science (WG 2003), Lecture Notes in Computer Sciences, Springer Verlag, 2003 Bibtex entry
[DFJLOT-flairs-03]
Romuald Debruyne, Gérard Ferrand, Narendra Jussien, Willy Lesaint, Samir Ouis et Alexandre Tessier, Correctness of Constraint Retraction Algorithms, in FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, Ingrid Russell et Susan Haller ed., pp.172-176, St Augustin, Florida, USA, AAAI Press, May, 2003 Bibtex entry
[Gaugne03]
R. Gaugne, S. Jubertie et S. Robert, Distributed Multigrid Algorithm for interactive scientific simulations on clusters, in 13th International Conference on Artificial Reality and Telexistence, pp.230-235, The Virtual Society of Japan, 2003 Bibtex entry
[blanc_dms03]
M. Blanc, C. Toinard, M. Andriambololona, L. Barthe, B. Doolaeghe, M. Hervieux, K. K. Hassani, P. Lefeuvre et T. Meurisse, An adaptive secure multicast system supporting mobile working, in Proceedings of the 9th International Conference on Distributed Multimedia Systems (DMS'03), Knowledge Systems Institute ed., pp.730-733, Miami, Florida, USA, sep, 2003 Bibtex entry
[blanc_softcom03]
Mahery Andriambololona, Mathieu Blanc, Lionel Barthe, Bruno Doolaeghe, Michaël Hervieux, Khalid Kadri Hassani, Pascal Lefeuvre, Thomas Meurisse et Christian Toinard, Secure replication limiting passive and active attacks, in Proceedings of the 2003 International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2003), Split, Dubrovnik (Croatia), Ancona, Venice (Italy), oct, 2003 Bibtex entry


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


[siva-ghains03b]
S. Anantharaman et G. Hains, Information Flow Analysis via Equational Reasoning, in Proc. of the Workshop UNIF'03, Int. Conf. RDP'03, June 2003, Valencia, Spain, J. Levy ed., Universidad Politecnica de Valencia, 2003 Bibtex entry
[Anantharaman_avocs03]
S. Anantharaman et G. Hains, A Synchronous Bisimulation-Based Approach for Information Flow Analysis, in Third Workshop on Automated Verification of Critical Systems: (AVOCS'03) , Southampton, (UK), April, 2003, Note: Long preliminary version appears as LIFO RR2003-01 http://www.univ-orleans.fr/SCIENCES/LIFO Bibtex entry
[LallouetLDE:ERCIM2003]
Arnaud Lallouet, Andreï Legtchenko and Thi-Bich-Hanh Dao et AbdelAli Ed-Dbali, Learning Approximate Consistencies, in Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi et Jozsef Vancza ed., MTA SZTAKI, Budapest, Hungary, 2003 Bibtex entry
[toinard-cans03]
M. Andriambololona, M. Blanc, L. Barthe, B. Doolaeghe and M. Hervieux, K.K. Hassani, P. Lefeuvre, T. Meurisse et C. Toinard, An adaptive secure multicast system supporting mobile working, in International Workshop on CRYPTOLOGY AND NETWORK SECURITY (CANS03) (Miami, Florida), Vol.accepted for publication, September 2003, 2003 Bibtex entry
[FerLesTes-aadebug-03]
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, Towards declarative diagnosis of constraint programs over finite domains, in Proceedings of the Fifth International Workshop on Automated Debugging, AADEBUG2003, Michiel Ronsse ed., pp.159-170, Ghent, Belgium, September, 2003 Bibtex entry
[madougou:vrc03]
S. Madougou et J. Vairon, Fast deployment of a commodity VR cluster, VR-Cluster'03 Review, 2003 Bibtex entry
[softgenlock:03]
J. Allard, V. Gouranton, G. Lamarque, E. Melin et B. Raffin, Softgenlock: Active Stereo and Genlock for PC Cluster, in Proceedings of the Joint IPT/EGVE'03 Workshop, Zurich, Switzerland, May, 2003 Bibtex entry


Conférences/workshops nationaux avec actes (4)


[Turmeaux2003EGC]
T. Turmeaux, D. Cassard, A. Salleb et C. Vrain, Apprentissage de Règles Caractéristiques, Journées Francophones dÉxtraction et de Gestion des Connaissances EGC'2003, Hermès science publications, revue RSTI - RIA , Vol.17, pp.437-448, 2003 Bibtex entry
[LallouetLDE:JFPLC2003]
Arnaud Lallouet, Andreï Legtchenko and Thi-Bich-Hanh Dao et AbdelAli Ed-Dbali, Apprentissage de solveurs de contraintes sur les domaines finis, in Journées Francophones de Programmation en Logique et par Contraintes, Mireille Ducassé ed., RSTI, pp.125-138, Hermès, 2003 Bibtex entry
[LallouetDE:JNPC2003]
Arnaud Lallouet, Thi-Bich-Hanh Dao et AbdelAli Ed-Dbali, Langage, Définition et Calcul Optimal d'Approximations de CSPs, in Journées Nationales sur la Résolution Pratique des Problèmes NP-complets, 2003 Bibtex entry
[Cleuziou:TIA2003]
Guillaume Cleuziou, Viviane Clavier et Lionel Martin, Une méthode de regroupement de mots fondée sur la recherche de cliques dans un graphe de cooccurrences, in 5èmes rencontres Terminologie et Intelligence Artificielle, LIIA - ENSAIS ed., pp.179-182, Strasbourg, France, Mars, 2003, Note: Poster Bibtex entry


Divers (3)


[AbFruLall:RCORP03]
International Workshop on Rule-Based Constraint Reasoning and Programming, Slim Abdennadher, Thom Früwirth et Arnaud Lallouet ed., Kinsale, County Cork, Ireland, 2003 Bibtex entry
[jfp2003]
G. Hains, Book Review on Implicit parallel programming in pH by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001, Journal of functional Programming, 13:824-826 Cambridge University Press, 2003 Bibtex entry
[Lallouet:Microscoop2003]
Arnaud Lallouet, La Programmation par Contraintes, 2003 Bibtex entry



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