R\'emy Haemmerl\'e

Identifiers

name variant R\'emy Haemmerl\'e 0.60 · backfill

Papers (8)

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015 cs.DC · 2015 · author #15
Proceedings of the Eleventh Workshop on Constraint Handling Rules cs.PL · 2014 · author #1
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013) cs.PL · 2013 · author #1
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog cs.PL · 2013 · author #2
Lightweight compilation of (C)LP to JavaScript cs.PL · 2012 · author #2
Diagrammatic confluence for Constraint Handling Rules cs.PL · 2012 · author #1
(Co-)Inductive semantics for Constraint Handling Rules cs.LO · 2011 · author #1
Observational equivalences for linear logic CC languages cs.PL · 2011 · author #1

Mentions

1501.03064 #15 · backfill · confidence 0.70 R\'emy Haemmerl\'e
1406.1510 #1 · backfill · confidence 0.70 R\'emy Haemmerl\'e
1308.2055 #1 · backfill · confidence 0.70 R\'emy Haemmerl\'e
1301.7702 #2 · backfill · confidence 0.70 R\'emy Haemmerl\'e
1210.2864 #2 · backfill · confidence 0.70 R\'emy Haemmerl\'e
1210.2297 #1 · backfill · confidence 0.70 R\'emy Haemmerl\'e
1108.0330 #1 · backfill · confidence 0.70 R\'emy Haemmerl\'e
1108.0329 #1 · backfill · confidence 0.70 R\'emy Haemmerl\'e

Frequent Coauthors

Manuel V. Hermenegildo 3 shared papers
Alberto Garcia-Ortiz 1 shared papers
Albert Sa\`a-Garriga 1 shared papers
Andr\'es Rodr\'iguez 1 shared papers
Angeles Navarro 1 shared papers
Antonio Vilches 1 shared papers
Daniel Gregorek 1 shared papers
David Castells-Rufas 1 shared papers
Emilio Jes\'us Gallego Arias 1 shared papers
Francisco Corbera 1 shared papers
Ismat Chaib Draa 1 shared papers
Jamel Tayeb 1 shared papers
Jon Sneyers 1 shared papers
Jordi Carrabina 1 shared papers
Jos\'e F. Morales 1 shared papers
Jose F. Morales 1 shared papers
Jose Morales 1 shared papers
Manuel Carro 1 shared papers
Maria Garzaran 1 shared papers
Maximiliano Klemen 1 shared papers