( en | de | ru )

 

Disambiguation of "Martin-Martin, Enrique"

Author of the publication

copydeleteadd this publication to your clipboard
Resource Analysis: From Sequential to Concurrent and Distributed Programs.

, , , , , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 3-17. Springer, (2015)

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.

Alvaro Enrique San Martin Ulloa

Enrique Casanovas

Martin Breitenfeldt

Mass measurements on short-lived Cd and Ag nuclides at the online mass spectrometer ISOLTRAP. Uni Greifswald, (2009)

Martin Faes

Analyse der mehrskaligen Transportmechanismen beim laminaren Mischen mittels laseroptischer und numerischer Methoden. Uni Hannover, (2009)

Martin Klug

The late Quaternary environmental and climatic history of North-East Greenland, inferred from coastal lakes. Uni Köln, (2009)
 

Other publications of authors with the same name

Static Inference of Transmission Data Sizes in Distributed Systems., , , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 104-119. Springer, (2014)May-Happen-in-Parallel Analysis for Actor-Based Concurrency., , , and . ACM Trans. Comput. Log., 17 (2): 11 (2016)A Formal, Resource Consumption-Preserving Translation of Actors to Haskell., , , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 21-37. Springer, (2016)Rewriting and narrowing for constructor systems with call-time choice semantics., , , and . Theory Pract. Log. Program., 14 (2): 165-213 (2014)A core Erlang semantics for declarative debugging., , , and . J. Log. Algebraic Methods Program., (2019)A unified framework for declarative debugging and testing., , , and . Inf. Softw. Technol., (2021)Formally Verified EVM Block-Optimizations., , , and . CAV (3), volume 13966 of Lecture Notes in Computer Science, page 176-189. Springer, (2023)A Transformational Approach to Resource Analysis with Typed-norms Inference., , , and . Theory Pract. Log. Program., 20 (3): 310-357 (2020)FLOP, a free laboratory of programming., , and . Koli Calling, page 93-99. ACM, (2012)New Results on Type Systems for Functional Logic Programming., , and . WFLP, volume 5979 of Lecture Notes in Computer Science, page 128-144. Springer, (2009)