| 2026 | ECOOP | Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts. | Stian Lybech, Daniele Gorla, Luca Aceto |
| 2025 | CONCUR | Denotational Semantics for Probabilistic and Concurrent Programs. | Noam Zilberstein, Daniele Gorla, Alexandra Silva |
| 2025 | ICST | CubeTesterAI: Automated JUnit Test Generation Using the LLaMA Model. | Daniele Gorla, Shivam Kumar, Pietro Nicolaus Roselli Lorenzini, Alireza Alipourfaz |
| 2024 | CONCUR | Centralized vs Decentralized Monitors for Hyperproperties. | Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker |
| 2024 | ECOOP | A Sound Type System for Secure Currency Flow. | Luca Aceto, Daniele Gorla, Stian Lybech |
| 2024 | ISoLA | Preventing Out-of-Gas Exceptions by Typing. | Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa |
| 2021 | CONCUR | Algebra and Coalgebra of Stream Products. | Michele Boreale, Daniele Gorla |
| 2019 | ICTAC | Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. | Daniele Gorla, Federica Granese, Catuscia Palamidessi |
| 2013 | Coordination | Pattern Matching and Bisimulation. | Thomas Given-Wilson, Daniele Gorla |
| 2013 | FORTE | Semantic Subtyping for Objects and Classes. | Ornela Dardha, Daniele Gorla, Daniele Varacca |
| 2009 | FCT | Depletable Channels: Dynamics and Behaviour. | Pietro Cenciarelli, Daniele Gorla, Ivano Salvo |
| 2008 | CONCUR | Towards a Unified Approach to Encodability and Separation Results for Process Calculi. | Daniele Gorla |
| 2008 | Coordination | From Flow Logic to Static Type Systems for Coordination Languages. | Rocco De Nicola, Daniele Gorla, Ren Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
| 2006 | FOSSACS | On the Relative Expressive Power of Asynchronous Communication Primitives. | Daniele Gorla |
| 2006 | PPDP | Inferring dynamic credentials for rle-based trust management. | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
| 2005 | Coordination | Global Computing in a Dynamic Network of Tuple Spaces. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2005 | ICALP | Basic Observables for a Calculus for Global Computing. | Rocco De Nicola, Daniele Gorla, Rosario Pugliese |
| 2004 | SAC | Controlling data movement in global computing applications. | Daniele Gorla, Rosario Pugliese |
| 2003 | ICALP | Resource Access and Mobility Control with Dynamic Privileges Acquisition. | Daniele Gorla, Rosario Pugliese |
| 2002 | FOSSACS | On Compositional Reasoning in the Spi-calculus. | Michele Boreale, Daniele Gorla |