Cinzia Di Giusto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
2007–2025
Best venue rank
C
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FORTE | Choreographies for Program Understanding. | Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germn Vidal |
| 2025 | PPDP | Realisability and Complementability of Multiparty Session Types. | Cinzia Di Giusto, tienne Lozes, Pascal Urso |
| 2023 | CONCUR | Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata. | Clment Bertrand, Cinzia Di Giusto, Hanna Klaudel, Damien Regnault |
| 2021 | CONCUR | A Unifying Framework for Deciding Synchronizability. | Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, tienne Lozes, Amrita Suresh |
| 2020 | FOSSACS | On the k-synchronizability of Systems. | Cinzia Di Giusto, Laetitia Laversa, tienne Lozes |
| 2013 | SAC | Disciplined structured communications with consistent runtime adaptation. | Cinzia Di Giusto, Jorge A. Prez |
| 2012 | ISoLA | Towards the Verification of Adaptable Processes. | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2011 | Coordination | Revisiting Glue Expressiveness in Component-Based Systems. | Cinzia Di Giusto, Jean-Bernard Stefani |
| 2011 | FCT | Hunting Distributed Malware with the κ-Calculus. | Mila Dalla Preda, Cinzia Di Giusto |
| 2011 | FORTE | Adaptable Processes (Extended Abstract). | Mario Bravetti, Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2009 | ICTAC | On the Expressiveness of Forwarding in Higher-Order Communication. | Cinzia Di Giusto, Jorge A. Prez, Gianluigi Zavattaro |
| 2009 | SOFSEM | Expressiveness of Multiple Heads in CHR. | Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo |
| 2008 | ESOP | Full Abstraction for Linda. | Cinzia Di Giusto, Maurizio Gabbrielli |
| 2007 | APLAS | CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. | Jess Aranda, Cinzia Di Giusto, Mogens Nielsen, Frank D. Valencia |