( en | de | ru )

 

Disambiguation of "Martin-Martin, Enrique"

Author of the publication

copydeleteadd this publication to your clipboard
SACO: Static Analyzer for Concurrent Objects.

, , , , , , , and . TACAS, volume 8413 of Lecture Notes in Computer Science, page 562-567. Springer, (2014)

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)A core Erlang semantics for declarative debugging., , , and . J. Log. Algebraic Methods Program., (2019)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 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)Declarative debugging of concurrent Erlang programs., , , and . J. Log. Algebraic Methods Program., (2018)A liberal type system for functional logic programs., , and . Math. Struct. Comput. Sci., 25 (4): 942-977 (2015)Well-typed narrowing with extra variables in functional-logic programming., , and . PEPM, page 83-92. ACM, (2012)