The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Rémy Haemmerlé" ( http://dblp.L3S.de/Authors/Rémy_Haemmerlé )

URL (Homepage):  http://clip.dia.fi.upm.es/~remy/  Author page on DBLP  Author page in RDF  Community of Rémy Haemmerlé in ASPL-2

Publication years (Num. hits)
2005-2012 (15) 2013-2016 (11)
Publication types (Num. hits)
article(17) inproceedings(9)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 27 publication records. Showing 26 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-systems energy transparency. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-Systems Energy Transparency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo A Transformational Approach to Parametric Accumulated-Cost Static Profiling. Search on Bibsonomy FLOPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo Towards Energy Consumption Verification via Static Analysis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García 0001, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Rémy Haemmerlé, Jon Sneyers Proceedings of the Eleventh Workshop on Constraint Handling Rules. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann On Termination, Confluence and Consistent CHR-based Type Inference. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gregory J. Duck, Rémy Haemmerlé, Martin Sulzmann On Termination, Confluence and Consistent CHR-based Type Inference. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé On Combining Backward and Forward Chaining in Constraint Logic Programming. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, José F. Morales Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales The Ciao clp(FD) Library. A Modular CLP Extension for Prolog Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Rémy Haemmerlé Diagrammatic confluence for Constraint Handling Rules Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Rémy Haemmerlé Diagrammatic confluence for Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo Lightweight compilation of (C)LP to JavaScript. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé Observational equivalences for linear logic CC languages Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Rémy Haemmerlé (Co-)Inductive semantics for Constraint Handling Rules Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Rémy Haemmerlé (Co-)Inductive semantics for Constraint Handling Rules. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé Observational equivalences for linear logic concurrent constraint languages. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, Pedro López-García 0001, Manuel V. Hermenegildo CLP projection for constraint handling rules. Search on Bibsonomy PPDP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla An Overview of the Ciao System. Search on Bibsonomy RuleML Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé Modular Extensions for Modular (Logic) Languages. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, François Fages Abstract Critical Pairs and Confluence of Arbitrary Binary Relations. Search on Bibsonomy RTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, François Fages, Sylvain Soliman Closures and Modules Within Linear Logic Concurrent Constraint Programming. Search on Bibsonomy FSTTCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé, François Fages Modules for Prolog Revisited. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Rémy Haemmerlé SiLCC Is Linear Concurrent Constraint Programming. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license