Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Rémy Haemmerlé
@article{DBLP:journals/mam/EderGLMBGHHKKKK16,
author = {Kerstin Eder and
John P. Gallagher and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Henk L. Muller and
Zorana Bankovic and
Kyriakos Georgiou and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Steve Kerrison and
Maja H. Kirkeby and
Maximiliano Klemen and
Xueliang Li and
Umer Liqat and
Jeremy Morse and
Morten Rhiger and
Mads Rosendahl},
title = {{ENTRA:} Whole-systems energy transparency},
journal = {Microprocess. Microsystems},
volume = {47},
pages = {278--286},
year = {2016},
url = {https://doi.org/10.1016/j.micpro.2016.07.003},
doi = {10.1016/J.MICPRO.2016.07.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HaemmerleLLKGH16,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Umer Liqat and
Maximiliano Klemen and
John P. Gallagher and
Manuel V. Hermenegildo},
editor = {Oleg Kiselyov and
Andy King},
title = {A Transformational Approach to Parametric Accumulated-Cost Static
Profiling},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {163--180},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_11},
doi = {10.1007/978-3-319-29604-3\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HaemmerleLLKGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EderGLMBGHHKKKK16,
author = {Kerstin Eder and
John P. Gallagher and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Henk L. Muller and
Zorana Bankovic and
Kyriakos Georgiou and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Steve Kerrison and
Maja H. Kirkeby and
Maximiliano Klemen and
Xueliang Li and
Umer Liqat and
Jeremy Morse and
Morten Rhiger and
Mads Rosendahl},
title = {{ENTRA:} Whole-Systems Energy Transparency},
journal = {CoRR},
volume = {abs/1606.04074},
year = {2016},
url = {http://arxiv.org/abs/1606.04074},
eprinttype = {arXiv},
eprint = {1606.04074},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CorberaRANVGDTNDGSOLHKLHVSCC15,
author = {Francisco Corbera and
Andr{\'{e}}s Rodr{\'{\i}}guez and
Rafael Asenjo and
Angeles G. Navarro and
Antonio Vilches and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
Ismat Chaib Draa and
Jamel Tayeb and
Sma{\"{\i}}l Niar and
Mikael Desertot and
Daniel Gregorek and
Robert Schmidt and
Alberto Garc{\'{\i}}a Ortiz and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
R{\'{e}}my Haemmerl{\'{e}} and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo and
Radim Vavr{\'{\i}}k and
Albert Sa{\`{a}}{-}Garriga and
David Castells{-}Rufas and
Jordi Carrabina},
title = {Proceedings of the Workshop on High Performance Energy Efficient Embedded
Systems {(HIP3ES)} 2015},
journal = {CoRR},
volume = {abs/1501.03064},
year = {2015},
url = {http://arxiv.org/abs/1501.03064},
eprinttype = {arXiv},
eprint = {1501.03064},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CorberaRANVGDTNDGSOLHKLHVSCC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Lopez-GarciaHKL15,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
R{\'{e}}my Haemmerl{\'{e}} and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo},
title = {Towards Energy Consumption Verification via Static Analysis},
journal = {CoRR},
volume = {abs/1512.09369},
year = {2015},
url = {http://arxiv.org/abs/1512.09369},
eprinttype = {arXiv},
eprint = {1512.09369},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lopez-GarciaHKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DuckHS14,
author = {Gregory J. Duck and
R{\'{e}}my Haemmerl{\'{e}} and
Martin Sulzmann},
title = {On Termination, Confluence and Consistent CHR-based Type Inference},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {619--632},
year = {2014},
url = {https://doi.org/10.1017/S1471068414000246},
doi = {10.1017/S1471068414000246},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DuckHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Haemmerle14,
author = {R{\'{e}}my Haemmerl{\'{e}}},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {On Combining Backward and Forward Chaining in Constraint Logic Programming},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {213--224},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643144},
doi = {10.1145/2643135.2643144},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Haemmerle14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DuckHS14,
author = {Gregory J. Duck and
R{\'{e}}my Haemmerl{\'{e}} and
Martin Sulzmann},
title = {On Termination, Confluence and Consistent CHR-based Type Inference},
journal = {CoRR},
volume = {abs/1405.3393},
year = {2014},
url = {http://arxiv.org/abs/1405.3393},
eprinttype = {arXiv},
eprint = {1405.3393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuckHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaemmerleS14,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Jon Sneyers},
title = {Proceedings of the Eleventh Workshop on Constraint Handling Rules},
journal = {CoRR},
volume = {abs/1406.1510},
year = {2014},
url = {http://arxiv.org/abs/1406.1510},
eprinttype = {arXiv},
eprint = {1406.1510},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaemmerleS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-7702,
author = {Emilio Jes{\'{u}}s Gallego Arias and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {The Ciao clp(FD) Library. {A} Modular {CLP} Extension for Prolog},
journal = {CoRR},
volume = {abs/1301.7702},
year = {2013},
url = {http://arxiv.org/abs/1301.7702},
eprinttype = {arXiv},
eprint = {1301.7702},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-7702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HaemmerleM13,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Jos{\'{e}} F. Morales},
title = {Proceedings of the 23rd Workshop on Logic-based methods in Programming
Environments {(WLPE} 2013)},
journal = {CoRR},
volume = {abs/1308.2055},
year = {2013},
url = {http://arxiv.org/abs/1308.2055},
eprinttype = {arXiv},
eprint = {1308.2055},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HaemmerleM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Haemmerle12,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {Diagrammatic confluence for Constraint Handling Rules},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {737--753},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000270},
doi = {10.1017/S1471068412000270},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Haemmerle12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MoralesHCH12,
author = {Jos{\'{e}} F. Morales and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Lightweight compilation of {(C)LP} to JavaScript},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {755--773},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000336},
doi = {10.1017/S1471068412000336},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MoralesHCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2297,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {Diagrammatic confluence for Constraint Handling Rules},
journal = {CoRR},
volume = {abs/1210.2297},
year = {2012},
url = {http://arxiv.org/abs/1210.2297},
eprinttype = {arXiv},
eprint = {1210.2297},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2297.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2864,
author = {Jos{\'{e}} F. Morales and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Lightweight compilation of {(C)LP} to JavaScript},
journal = {CoRR},
volume = {abs/1210.2864},
year = {2012},
url = {http://arxiv.org/abs/1210.2864},
eprinttype = {arXiv},
eprint = {1210.2864},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Haemmerle11,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {Observational equivalences for linear logic concurrent constraint
languages},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {469--485},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000123},
doi = {10.1017/S1471068411000123},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Haemmerle11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Haemmerle11a,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {(Co-)Inductive semantics for Constraint Handling Rules},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {593--609},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000196},
doi = {10.1017/S1471068411000196},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Haemmerle11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MoralesHH11,
author = {Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo and
R{\'{e}}my Haemmerl{\'{e}}},
editor = {Germ{\'{a}}n Vidal},
title = {Modular Extensions for Modular (Logic) Languages},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {139--154},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_10},
doi = {10.1007/978-3-642-32211-2\_10},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MoralesHH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HaemmerleLH11,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {{CLP} projection for constraint handling rules},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {137--148},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003496},
doi = {10.1145/2003476.2003496},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/HaemmerleLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HermenegildoBCLHMMP11,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Manuel Carro and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
R{\'{e}}my Haemmerl{\'{e}} and
Edison Mera and
Jos{\'{e}} F. Morales and
Germ{\'{a}}n Puebla},
editor = {Nick Bassiliades and
Guido Governatori and
Adrian Paschke},
title = {An Overview of the Ciao System},
booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International
Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6826},
pages = {2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22546-8\_2},
doi = {10.1007/978-3-642-22546-8\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/HermenegildoBCLHMMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-0329,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {Observational equivalences for linear logic {CC} languages},
journal = {CoRR},
volume = {abs/1108.0329},
year = {2011},
url = {http://arxiv.org/abs/1108.0329},
eprinttype = {arXiv},
eprint = {1108.0329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-0330,
author = {R{\'{e}}my Haemmerl{\'{e}}},
title = {(Co-)Inductive semantics for Constraint Handling Rules},
journal = {CoRR},
volume = {abs/1108.0330},
year = {2011},
url = {http://arxiv.org/abs/1108.0330},
eprinttype = {arXiv},
eprint = {1108.0330},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/HaemmerleFS07,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Fran{\c{c}}ois Fages and
Sylvain Soliman},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Closures and Modules Within Linear Logic Concurrent Constraint Programming},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {544--556},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_45},
doi = {10.1007/978-3-540-77050-3\_45},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/HaemmerleFS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/HaemmerleF07,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Fran{\c{c}}ois Fages},
editor = {Franz Baader},
title = {Abstract Critical Pairs and Confluence of Arbitrary Binary Relations},
booktitle = {Term Rewriting and Applications, 18th International Conference, {RTA}
2007, Paris, France, June 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4533},
pages = {214--228},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73449-9\_17},
doi = {10.1007/978-3-540-73449-9\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/HaemmerleF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HaemmerleF06,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Fran{\c{c}}ois Fages},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Modules for Prolog Revisited},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {41--55},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_6},
doi = {10.1007/11799573\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HaemmerleF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Haemmerle05,
author = {R{\'{e}}my Haemmerl{\'{e}}},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {SiLCC Is Linear Concurrent Constraint Programming},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {448--449},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_50},
doi = {10.1007/11562931\_50},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Haemmerle05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
