Marco Giunti
AuthID: R-000-V85
1
TITLE: Sound Atomicity Inference for Data-Centric Synchronization
AUTHORS: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.05483
AUTHORS: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2309.05483
INDEXED IN: 
DBLP
DBLP2
TITLE: A Java typestate checker supporting inheritance Full Text
AUTHORS: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
AUTHORS: Bacchiani, Lorenzo; Bravetti, Mario; Giunti, Marco; Mota, Joao; Ravara, Antonio;
PUBLISHED: 2022, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 221
INDEXED IN: 
WOS
WOS3
TITLE: Anticipation of Method Execution in Mixed Consistency Systems - Technical Report
AUTHORS: Marco Giunti; Hervé Paulino ; António Ravara;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.14651
AUTHORS: Marco Giunti; Hervé Paulino ; António Ravara;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.14651
INDEXED IN: DBLP
DBLP4
TITLE: Algorithmic type checking for a pi-calculus with name matching and session types Full Text
AUTHORS: Marco Giunti;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 82, ISSUE: 8
AUTHORS: Marco Giunti;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 82, ISSUE: 8
