On Compositional Reasoning in the Spi-calculus. - Michele Boreale; Daniele Gorla (FoSSaCS, 2002)

The Klaim Project: Theory and Practice. - Lorenzo Bettini; Viviana Bono; Rocco De Nicola; Gian-Luigi Ferrari 002; Daniele Gorla; Michele Loreti; Eugenio Moggi; Rosario Pugliese; Emilio Tuosto; Betti Venneri (Global Computing, 2003)

Resource Access and Mobility Control with Dynamic Privileges Acquisition. - Daniele Gorla; Rosario Pugliese (ICALP, 2003)

Enforcing Security Policies via Types. - Daniele Gorla; Rosario Pugliese (SPC, 2003)

A Distributed Calculus for Ro^le-Based Access Control. - Chiara Braghin; Daniele Gorla; Vladimiro Sassone (CSFW, 2004)

Controlling data movement in global computing applications. - Daniele Gorla; Rosario Pugliese (SAC, 2004)

Security Policies as Membranes in Systems for Global Computing. - Daniele Gorla; Matthew Hennessy; Vladimiro Sassone (FGUC, 2004)

Pattern Matching over a Dynamic Network of Tuple Spaces. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (FMOODS, 2005)

On the Relative Expressive Power of Asynchronous Communication Primitives. - Daniele Gorla (FoSSaCS, 2006)

Inferring dynamic credentials for rôle-based trust management. - Daniele Gorla; Matthew Hennessy; Vladimiro Sassone (PPDP, 2006)

Synchrony vs Asynchrony in Communication Primitives. - Daniele Gorla (EXPRESS, 2006)

Role-based access control for a distributed calculus. - Chiara Braghin; Daniele Gorla; Vladimiro Sassone (J. Comput. Secur., 2006)

Confining data and processes in global computing applications. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Sci. Comput. Program., 2006)

On the expressive power of KLAIM-based calculi. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Theor. Comput. Sci., 2006)

Basic observables for a calculus for global computing. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Inf. Comput., 2007)

Global computing in a dynamic network of tuple spaces. - Rocco De Nicola; Daniele Gorla; Rosario Pugliese (Sci. Comput. Program., 2007)

Network Applications of Graph Bisimulation. - Pietro Cenciarelli; Daniele Gorla; Emilio Tuosto (ICGT, 2008)

On the Relative Expressive Power of Ambient-Based Calculi. - Daniele Gorla (TGC, 2008)

Preface. - Thomas T. Hildebrandt; Daniele Gorla (EXPRESS, 2008)

Comparing communication primitives via their relative expressive power. - Daniele Gorla (Inf. Comput., 2008)

Depletable Channels: Dynamics and Behaviour. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (FCT, 2009)

On the Relative Expressive Power of Calculi for Mobility. - Daniele Gorla (MFPS, 2009)

Dynamic management of capabilities in a network aware coordination language. - Daniele Gorla; Rosario Pugliese (J. Log. Algebraic Methods Program., 2009)

A taxonomy of process calculi for distribution and mobility. - Daniele Gorla (Distributed Comput., 2010)

Towards a unified approach to encodability and separation results for process calculi. - Daniele Gorla (Inf. Comput., 2010)

Preface. - Daniele Gorla; Catuscia Palamidessi (J. Comput. Secur., 2010)

Preface to special issue: Expressiveness in Concurrency 2008. - Thomas T. Hildebrandt; Daniele Gorla (Math. Struct. Comput. Sci., 2010)

Tree-functors, determinacy and bisimulations. - Rocco De Nicola; Daniele Gorla; Anna Labella (Math. Struct. Comput. Sci., 2010)

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 (Sci. Comput. Program., 2010)

Preface to special issue: EXPRESS, ICE and SOS 2009. - Filippo Bonchi; Sibylle B. Fröschle; Daniele Gorla; Bartek Klin (Math. Struct. Comput. Sci., 2012)

Pattern Matching and Bisimulation. - Thomas Given-Wilson; Daniele Gorla (COORDINATION, 2013)

A Concurrent Pattern Calculus. - Thomas Given-Wilson; Daniele Gorla; Barry Jay (Log. Methods Comput. Sci., 2014)

A semiring-based trace semantics for processes with applications to information leakage analysis. - Michele Boreale; David Clark 001; Daniele Gorla (Math. Struct. Comput. Sci., 2015)

Graph Theoretic Investigations on Inefficiencies in Network Models. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (CoRR, 2016)

Full abstraction for expressiveness: history, myths and facts. - Daniele Gorla; Uwe Nestmann (Math. Struct. Comput. Sci., 2016)

Semantic Subtyping for Objects and Classes. - Ornela Dardha; Daniele Gorla; Daniele Varacca (Comput. J., 2017)

Preface. - Paolo Baldan; Daniele Gorla (Inf. Comput., 2017)

Graph Theoretic Detection of Inefficiencies in Network Models. - Ivano Salvo; Daniele Gorla; Pietro Cenciarelli (ICTCS, 2018)

Inefficiencies in network models: A graph-theoretic perspective. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (Inf. Process. Lett., 2018)

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. - Paolo Bottoni; Daniele Gorla; Stefano Kasangian; Anna Labella (Math. Struct. Comput. Sci., 2018)

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. - Michele Boreale; Daniele Gorla (The Art of Modelling Computational Systems, 2019)

Modal Epistemic Logic on Contracts: A Doctrinal Approach. - Paolo Bottoni; Daniele Gorla; Stefano Kasangian; Anna Labella (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Depletable channels: dynamics, behaviour, and efficiency in network design. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (Acta Informatica, 2019)

A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. - Pietro Cenciarelli; Daniele Gorla; Ivano Salvo (Algorithmica, 2019)

Conflict vs Causality in Event Structures. - Daniele Gorla; Ivano Salvo; Adolfo Piperno (EXPRESS/SOS, 2019)

Algebra and Coalgebra of Stream Products. - Michele Boreale; Daniele Gorla (CONCUR, 2021)

DOCTOR: A Simple Method for Detecting Misclassification Errors. - Federica Granese; Marco Romanelli 002; Daniele Gorla; Catuscia Palamidessi; Pablo Piantanida (NeurIPS, 2021)

Enhanced models for privacy and utility in continuous-time diffusion networks. - Federica Granese; Daniele Gorla; Catuscia Palamidessi (Int. J. Inf. Sec., 2021)

Tribute to Anna Labella. - Paolo Bottoni; Rocco De Nicola; Daniele Gorla (J. Log. Algebraic Methods Program., 2021)

Conflict vs causality in event structures. - Daniele Gorla; Ivano Salvo (J. Log. Algebraic Methods Program., 2021)

The 2021 experience of logic in computer science. - Daniele Gorla (ACM SIGLOG News, 2021)

On the (Im)Possibility of Estimating Various Notions of Differential Privacy. - Daniele Gorla; Louis Jalouzot; Federica Granese; Catuscia Palamidessi; Pablo Piantanida (CoRR, 2022)

Characterising spectra of equivalences for event structures, logically. - Paolo Baldan; Daniele Gorla; Tommaso Padoan; Ivano Salvo (Inf. Comput., 2022)

Behavioural logics for configuration structures. - Paolo Baldan; Daniele Gorla; Tommaso Padoan; Ivano Salvo (Theor. Comput. Sci., 2022)

Output Sampling for Output Diversity in Automatic Unit Test Generation. - Héctor D. Menéndez 001; Michele Boreale; Daniele Gorla; David Clark 001 (IEEE Trans. Software Eng., 2022)

On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper). - Daniele Gorla; Louis Jalouzot; Federica Granese; Catuscia Palamidessi; Pablo Piantanida (ICTCS, 2023)

BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables. - Ruta Binkyte; Daniele Gorla; Catuscia Palamidessi (CoRR, 2023)

Polynomial recognition of vulnerable multi-commodities. - Dario Fiorenza; Daniele Gorla; Ivano Salvo (Inf. Process. Lett., 2023)

From the Editor-in-Chief. - Daniele Gorla (ACM SIGLOG News, 2023)

CADE and FSCD: A Successful Joint Venture in 2023. - Daniele Gorla (ACM SIGLOG News, 2023)

Centralized vs Decentralized Monitors for Hyperproperties. - Luca Aceto; Antonis Achilleos; Elli Anastasiadi; Adrian Francalanza; Daniele Gorla; Jana Wagemaker (CONCUR, 2024)

A Sound Type System for Secure Currency Flow. - Luca Aceto; Daniele Gorla; Stian Lybech (ECOOP, 2024)

BaBE: Enhancing Fairness via Estimation of Explaining Variables. - Ruta Binkyte; Daniele Gorla; Catuscia Palamidessi (FAccT, 2024)

Preventing Out-of-Gas Exceptions by Typing. - Luca Aceto; Daniele Gorla; Stian Lybech; Mohammad Hamdaqa (ISoLA (1), 2024)

Typing Composite Subjects. - Luca Aceto; Daniele Gorla; Stian Lybech (CoRR, 2024)

An implicit function theorem for the stream calculus. - Michele Boreale; Luisa Collodi; Daniele Gorla (Log. Methods Comput. Sci., 2024)

Preface. - Ugo Dal Lago; Daniele Gorla (Theor. Comput. Sci., 2024)

The First 10 Volumes of SIGLOG News: a retrospective. - Daniele Gorla (ACM SIGLOG News, 2024)

Products, Polynomials and Differential Equations in the Stream Calculus. - Michele Boreale; Luisa Collodi; Daniele Gorla (ACM Trans. Comput. Log., 2024)

Denotational Semantics for Probabilistic and Concurrent Programs. - Noam Zilberstein; Daniele Gorla; Alexandra Silva 001 (CONCUR, 2025)

CubeTesterAI: Automated JUnit Test Generation Using the LLaMA Model. - Daniele Gorla; Shivam Kumar; Pietro Nicolaus Roselli Lorenzini; Alireza Alipourfaz (ICST, 2025)

On Estimating the Strength of Differentially Private Mechanisms in a Black-Box Setting. - Daniele Gorla; Louis Jalouzot; Federica Granese; Catuscia Palamidessi; Pablo Piantanida (IEEE Trans. Dependable Secur. Comput., 2025)