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