PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Haemmerlé, Rémy"

Author of the publication

copydeleteadd this publication to your clipboard
ENTRA: Whole-systems energy transparency.

, , , , , , , , , , , , , , , , and . Microprocessors and Microsystems - Embedded Hardware Design, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. David Remy University of Stuttgart

 

Other publications of authors with the same name

Modular Extensions for Modular (Logic) Languages., , and . LOPSTR, volume 7225 of Lecture Notes in Computer Science, page 139-154. Springer, (2011)Diagrammatic confluence for Constraint Handling Rules. CoRR, (2012)Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015., , , , , , , , , and 12 other author(s). CoRR, (2015)Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013)., and . CoRR, (2013)(Co-)Inductive semantics for Constraint Handling Rules. CoRR, (2011)Proceedings of the Eleventh Workshop on Constraint Handling Rules., and . CoRR, (2014)Observational equivalences for linear logic concurrent constraint languages.. TPLP, 11 (4-5): 469-485 (2011)Closures and Modules Within Linear Logic Concurrent Constraint Programming., , and . FSTTCS, volume 4855 of Lecture Notes in Computer Science, page 544-556. Springer, (2007)CLP projection for constraint handling rules., , and . PPDP, page 137-148. ACM, (2011)A Transformational Approach to Parametric Accumulated-Cost Static Profiling., , , , , and . FLOPS, volume 9613 of Lecture Notes in Computer Science, page 163-180. Springer, (2016)