Marco Giunti
AuthID: R-000-V85
1
TÃTULO: Behavioural Up/down Casting For Statically Typed Languages
AUTORES: Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara;
PUBLICAÇÃO: 2024, FONTE: 38th European Conference on Object-Oriented Programming, ECOOP 2024 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 313
AUTORES: Lorenzo Bacchiani; Mario Bravetti; Marco Giunti; João Mota; António Ravara;
PUBLICAÇÃO: 2024, FONTE: 38th European Conference on Object-Oriented Programming, ECOOP 2024 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 313
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Sound Atomicity Inference for Data-Centric Synchronization
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
AUTORES: Hervé Paulino ; Ana Almeida Matos; Jan Cederquist; Marco Giunti; João Matos; António Ravara;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2309.05483
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: Anticipation of Method Execution in Mixed Consistency Systems - Technical Report
AUTORES: Marco Giunti; Hervé Paulino ; António Ravara;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2212.14651
AUTORES: Marco Giunti; Hervé Paulino ; António Ravara;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2212.14651
INDEXADO EM: DBLP
DBLP4
TÃTULO: Algorithmic type checking for a pi-calculus with name matching and session types Full Text
AUTORES: Marco Giunti;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 82, NÚMERO: 8
AUTORES: Marco Giunti;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 82, NÚMERO: 8
