Marco Giunti

31 papers A* 1A 2B 2C 2Misc 1Journal 13Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
ChatGPT-4 and Other LLMs in the Turing Test: A Critical Analysis.
Minds Mach.
Marco Giunti
2026 J jnl
Expressing knowledge as linked data by FOOL.
Log. J. IGPL
Marco Giunti, Simone Pinna
2026 — conf
Type Congruence, Duality and Iso-Recursive Binary Session Types.
Concurrent Programming, Open Systems and Formal Methods
Marco Giunti, Nobuko Yoshida
2025 J jnl
ChatGPT-4 in the Turing Test: A Critical Analysis.
CoRR
Marco Giunti
2025 J jnl
Iso-Recursive Multiparty Sessions and their Automated Verification - Technical Report.
CoRR
Marco Giunti, Nobuko Yoshida
2025 — conf
Iso-Recursive Multiparty Sessions and their Automated Verification.
ESOP (1)
Marco Giunti, Nobuko Yoshida
2024 A conf
Behavioural Up/down Casting For Statically Typed Languages.
ECOOP
Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
2024 B conf
Time Factor in Neural Learning Processes.
SEFM
Fabrizia Giulia Garavaglia, Marco Giunti, Giuseppe Sergioli
2023 Misc conf
Anticipation of Method Execution in Mixed Consistency Systems.
SAC
Marco Giunti, Hervé Paulino, António Ravara
2023 J jnl
AtomiS: Data-Centric Synchronization Made Practical.
Proc. ACM Program. Lang.
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
2023 A conf
On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper).
ECOOP
João Mota, Marco Giunti, António Ravara
2023 J jnl
Sound Atomicity Inference for Data-Centric Synchronization.
CoRR
Hervé Paulino, Ana Almeida Matos, Jan Cederquist, Marco Giunti, João Matos, António Ravara
2022 J jnl
A Java typestate checker supporting inheritance.
Sci. Comput. Program.
Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, António Ravara
2022 J jnl
Anticipation of Method Execution in Mixed Consistency Systems - Technical Report.
CoRR
Marco Giunti, Hervé Paulino, António Ravara
2022 J jnl
On using VeriFast, VerCors, Plural, and KeY to check object usage.
CoRR
João Mota, Marco Giunti, António Ravara
2021 — conf
Developing the Semantic Web via the Resolution of Meaning Ambiguities.
SEFM Workshops
Simone Pinna, Francesca Ervas, Marco Giunti
2021 C conf
Java Typestate Checker.
COORDINATION
João Mota, Marco Giunti, António Ravara
2021 J jnl
Representing n-ary relations in the Semantic Web.
Log. J. IGPL
Marco Giunti, Giuseppe Sergioli, Giuliano Vivanet, Simone Pinna
2020 C conf
GoPi: Compiling Linear and Static Channels in Go.
COORDINATION
Marco Giunti
2016 J jnl
For a dynamical approach to human computation.
Log. J. IGPL
Marco Giunti, Simone Pinna
2016 J jnl
Linearity, session types and the Pi calculus.
Math. Struct. Comput. Sci.
Marco Giunti, Vasco Thudichum Vasconcelos
2015 — conf
Unlocking Blocked Communicating Processes.
WWV
Adrian Francalanza, Marco Giunti, António Ravara
2014 — conf
Static Semantics of Secret Channel Abstractions.
NordSec
Marco Giunti
2013 J jnl
Algorithmic type checking for a pi-calculus with name matching and session types.
J. Log. Algebraic Methods Program.
Marco Giunti
2013 — conf
Towards Static Deadlock Resolution in the π-Calculus.
TGC
Marco Giunti, António Ravara
2012 — conf
Hide and New in the Pi-Calculus
EXPRESS/SOS
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
2011 — conf
A type checking algorithm for qualified session types
WWV
Marco Giunti
2010 B conf
A Linear Account of Session Types in the Pi Calculus.
CONCUR
Marco Giunti, Vasco Thudichum Vasconcelos
2010 — —
Secure implementations of typed channel abstractions.
Marco Giunti
2007 A* conf
Secure implementations of typed channel abstractions.
POPL
Michele Bugliesi, Marco Giunti
2005 — conf
Typed Processes in Untyped Contexts.
TGC
Michele Bugliesi, Marco Giunti