Marco Giunti
AuthID: R-000-V85
1
TITLE: Behavioural Up/down Casting For Statically Typed Languages
AUTHORS: Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara;
PUBLISHED: 2024, SOURCE: 38th European Conference on Object-Oriented Programming, ECOOP 2024 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 313
AUTHORS: Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara;
PUBLISHED: 2024, SOURCE: 38th European Conference on Object-Oriented Programming, ECOOP 2024 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 313
INDEXED IN: 
Scopus
Scopus2
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
DBLP3
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
