Rémy Haemmerlé Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
i5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales: The Ciao clp(FD) Library. A Modular CLP Extension for Prolog. CoRR abs/1301.7702 (2013)
2012
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé: Diagrammatic confluence for Constraint Handling Rules. TPLP 12(4-5): 737-753 (2012)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo: Lightweight compilation of (C)LP to JavaScript. TPLP 12(4-5): 755-773 (2012)
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé: Diagrammatic confluence for Constraint Handling Rules. CoRR abs/1210.2297 (2012)
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo: Lightweight compilation of (C)LP to JavaScript. CoRR abs/1210.2864 (2012)
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé: Observational equivalences for linear logic concurrent constraint languages. TPLP 11(4-5): 469-485 (2011)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé: (Co-)Inductive semantics for Constraint Handling Rules. TPLP 11(4-5): 593-609 (2011)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé: Modular Extensions for Modular (Logic) Languages. LOPSTR 2011: 139-154
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo: CLP projection for constraint handling rules. PPDP 2011: 137-148
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla: An Overview of the Ciao System. RuleML Europe 2011: 2
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé: Observational equivalences for linear logic CC languages. CoRR abs/1108.0329 (2011)
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé: (Co-)Inductive semantics for Constraint Handling Rules. CoRR abs/1108.0330 (2011)
2007
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé, François Fages, Sylvain Soliman: Closures and Modules Within Linear Logic Concurrent Constraint Programming. FSTTCS 2007: 544-556
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé, François Fages: Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. RTA 2007: 214-228
2006
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé, François Fages: Modules for Prolog Revisited. ICLP 2006: 41-55
2005
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Rémy Haemmerlé: SiLCC Is Linear Concurrent Constraint Programming. ICLP 2005: 448-449

Coauthor Index

1Emilio Jesús Gallego Arias
[i5]
2Francisco Bueno
[c5]
3Manuel Carro
[j3] [i3] [c5]
4François Fages
[c4] [c3] [c2]
5Manuel V. Hermenegildo
[i5] [j3] [i3] [c7] [c6] [c5]
6Pedro López-García
[c6] [c5]
7Edison Mera
[c5]
8José F. Morales
[i5] [j3] [i3] [c7] [c5]
9Germán Puebla (German Puebla)
[c5]
10Sylvain Soliman
[c4]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 14:17:08 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page