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 2003

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


International Refereed Journals (9)


[ColmerauerJC2003]
A. Colmerauer and 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 and 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 and Gernot Salzer, Manipulating Tree Tuple Languages by Transforming Logic Programs, in Electronic Notes in Theoretical Computer Science, Ingo Dahn and Laurent Vigneron ed., Vol.86, Elsevier, 2003 Bibtex entry
[hlpp2003]
High-Level Parallel Programming and Applications, G. Hains and 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 and 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 and 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 and 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


International Conferences with Proceedings (16)


[siva-mfcs03]
S. Anantharaman, P. Narendran and 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 and 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. and 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 and 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 and 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 and 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 and AbdelAli Ed-Dbali, Language, definition and optimal computation of CSP approximations, in Flairs'03, International Florida Artificial Intelligence Conference, Susan Haller and Ingrid Russell ed., St Augustine, FL, USA, AAAI Press, 2003 Bibtex entry
[Cleuziou:ICWE2003]
Céline Poudat and 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 and 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 and 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 and 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 and Alexandre Tessier, Correctness of Constraint Retraction Algorithms, in FLAIRS'03: Sixteenth international Florida Artificial Intelligence Research Society conference, Ingrid Russell and Susan Haller ed., pp.172-176, St Augustin, Florida, USA, AAAI Press, May, 2003 Bibtex entry
[Gaugne03]
R. Gaugne, S. Jubertie and 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 and 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 and 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


International Workshops with Proceedings (7)


[siva-ghains03b]
S. Anantharaman and 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 and 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 and 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 and 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 and 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 and 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 and 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 and 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


National Conferences/Workshops with Proceedings (4)


[Turmeaux2003EGC]
T. Turmeaux, D. Cassard, A. Salleb and 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 and 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 and 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 and 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


Miscellaneous (3)


[AbFruLall:RCORP03]
International Workshop on Rule-Based Constraint Reasoning and Programming, Slim Abdennadher, Thom Früwirth and 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.