( en | de | ru )

 

Disambiguation of "Giunti, Marco"

Author of the publication

copydeleteadd this publication to your clipboard
AtomiS: Data-Centric Synchronization Made Practical.

, , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 116-145 (October 2023)

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.

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

Johannes Marcour

Massimiliano Marcon

 

Other publications of authors with the same name

Static Semantics of Secret Channel Abstractions.. NordSec, volume 8788 of Lecture Notes in Computer Science, page 165-180. Springer, (2014)Algorithmic type checking for a pi-calculus with name matching and session types.. J. Log. Algebraic Methods Program., 82 (8): 263-281 (2013)For a dynamical approach to human computation., and . Log. J. IGPL, 24 (4): 557-569 (2016)Anticipation of Method Execution in Mixed Consistency Systems., , and . SAC, page 1394-1401. ACM, (2023)Secure implementations of typed channel abstractions.. Ca' Foscari University of Venice, Italy, (2010)Java Typestate Checker., , and . COORDINATION, volume 12717 of Lecture Notes in Computer Science, page 121-133. Springer, (2021)AtomiS: Data-Centric Synchronization Made Practical., , , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 116-145 (October 2023)Anticipation of Method Execution in Mixed Consistency Systems - Technical Report., , and . CoRR, (2022)A Java typestate checker supporting inheritance., , , , and . Sci. Comput. Program., (2022)Representing n-ary relations in the Semantic Web., , , and . Log. J. IGPL, 29 (4): 697-717 (2021)