Daniele Gorla

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 47

Top Topics

Minimum Distance

Differential Privacy

Epistemic Logic

Top Venues

ACM SIGLOG News

Math. Struct. Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Daniele Gorla
The First 10 Volumes of SIGLOG News: a retrospective. ACM SIGLOG News 11 (1) (2024)
Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa
Preventing Out-of-Gas Exceptions by Typing. CoRR (2024)
Ugo Dal Lago, Daniele Gorla
Preface. Theor. Comput. Sci. 1010 (2024)
Daniele Gorla
From the Editor-in-Chief. ACM SIGLOG News 11 (1) (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CoRR (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log. 25 (1) (2024)
Daniele Gorla
From the Editor-in-Chief. ACM SIGLOG News 11 (2) (2024)
Luca Aceto, Daniele Gorla, Stian Lybech
A Sound Type System for Secure Currency Flow. CoRR (2024)
Daniele Gorla
From the Editor-in-Chief. ACM SIGLOG News 11 (3) (2024)
Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
BaBE: Enhancing Fairness via Estimation of Explaining Variables. FAccT (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
An implicit function theorem for the stream calculus. Log. Methods Comput. Sci. 20 (2) (2024)
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR (2024)
Michele Boreale, Luisa Collodi, Daniele Gorla
An implicit function theorem for the stream calculus. CoRR (2023)
Dario Fiorenza, Daniele Gorla, Ivano Salvo
Polynomial recognition of vulnerable multi-commodities. Inf. Process. Lett. 179 (2023)
Daniele Gorla
From the Editor-in-Chief. ACM SIGLOG News 10 (1) (2023)
Daniele Gorla
From the Editor-in-Chief. ACM SIGLOG News 10 (4) (2023)
Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables. CoRR (2023)
Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper). ICTCS (2023)
Daniele Gorla
CADE and FSCD: A Successful Joint Venture in 2023. ACM SIGLOG News 10 (4) (2023)
Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
On the (Im)Possibility of Estimating Various Notions of Differential Privacy. CoRR (2022)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Characterising spectra of equivalences for event structures, logically. Inf. Comput. 285 (Part) (2022)
Héctor D. Menéndez, Michele Boreale, Daniele Gorla, David Clark
Output Sampling for Output Diversity in Automatic Unit Test Generation. IEEE Trans. Software Eng. 48 (2) (2022)
Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo
Behavioural logics for configuration structures. Theor. Comput. Sci. 913 (2022)
Michele Boreale, Daniele Gorla
Algebra and coalgebra of stream products. CoRR (2021)
Paolo Bottoni, Rocco De Nicola, Daniele Gorla
Tribute to Anna Labella. J. Log. Algebraic Methods Program. 121 (2021)
Daniele Gorla, Ivano Salvo
Conflict vs causality in event structures. J. Log. Algebraic Methods Program. 119 (2021)
Federica Granese, Daniele Gorla, Catuscia Palamidessi
Enhanced models for privacy and utility in continuous-time diffusion networks. Int. J. Inf. Sec. 20 (5) (2021)
Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida
DOCTOR: A Simple Method for Detecting Misclassification Errors. NeurIPS (2021)
Daniele Gorla
The 2021 experience of logic in computer science. ACM SIGLOG News 8 (4) (2021)
Michele Boreale, Daniele Gorla
Algebra and Coalgebra of Stream Products. CONCUR (2021)
Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida
DOCTOR: A Simple Method for Detecting Misclassification Errors. CoRR (2021)
Daniele Gorla, Federica Granese, Catuscia Palamidessi
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. ICTAC (2019)
Daniele Gorla, Ivano Salvo, Adolfo Piperno
Conflict vs Causality in Event Structures. EXPRESS/SOS (2019)
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
Modal Epistemic Logic on Contracts: A Doctrinal Approach. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. Algorithmica 81 (4) (2019)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Depletable channels: dynamics, behaviour, and efficiency in network design. Acta Informatica 56 (5) (2019)
Michele Boreale, Daniele Gorla
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. CoRR (2019)
Michele Boreale, Daniele Gorla
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. The Art of Modelling Computational Systems (2019)
Ivano Salvo, Daniele Gorla, Pietro Cenciarelli
Graph Theoretic Detection of Inefficiencies in Network Models. ICTCS (2018)
Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes. Math. Struct. Comput. Sci. 28 (4) (2018)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Inefficiencies in network models: A graph-theoretic perspective. Inf. Process. Lett. 131 (2018)
Paolo Baldan, Daniele Gorla
Preface. Inf. Comput. 252 (2017)
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes. Comput. J. 60 (5) (2017)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. CoRR (2016)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Graph Theoretic Investigations on Inefficiencies in Network Models. CoRR (2016)
Daniele Gorla, Uwe Nestmann
Full abstraction for expressiveness: history, myths and facts. Math. Struct. Comput. Sci. 26 (4) (2016)
Michele Boreale, David Clark, Daniele Gorla
A semiring-based trace semantics for processes with applications to information leakage analysis. Math. Struct. Comput. Sci. 25 (2) (2015)
Thomas Given-Wilson, Daniele Gorla, Barry Jay
A Concurrent Pattern Calculus. Log. Methods Comput. Sci. 10 (3) (2014)
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes. FMOODS/FORTE (2013)
Thomas Given-Wilson, Daniele Gorla
Pattern Matching and Bisimulation. COORDINATION (2013)
Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin
Preface to special issue: EXPRESS, ICE and SOS 2009. Math. Struct. Comput. Sci. 22 (2) (2012)
Thomas T. Hildebrandt, Daniele Gorla
Preface to special issue: Expressiveness in Concurrency 2008. Math. Struct. Comput. Sci. 20 (1) (2010)
Thomas Given-Wilson, Daniele Gorla, Barry Jay
Concurrent Pattern Calculus. IFIP TCS (2010)
Michele Boreale, David Clark, Daniele Gorla
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS (2010)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75 (6) (2010)
Daniele Gorla, Catuscia Palamidessi
Preface. J. Comput. Secur. 18 (2) (2010)
Daniele Gorla
A taxonomy of process calculi for distribution and mobility. Distributed Comput. 23 (4) (2010)
Daniele Gorla
Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208 (9) (2010)
Rocco De Nicola, Daniele Gorla, Anna Labella
Tree-functors, determinacy and bisimulations. Math. Struct. Comput. Sci. 20 (3) (2010)
Daniele Gorla
On the Relative Expressive Power of Calculi for Mobility. MFPS (2009)
Daniele Gorla, Rosario Pugliese
Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78 (8) (2009)
Pietro Cenciarelli, Daniele Gorla, Ivano Salvo
Depletable Channels: Dynamics and Behaviour. FCT (2009)
Daniele Gorla
Towards a Unified Approach to Encodability and Separation Results for Process Calculi. CONCUR (2008)
Daniele Gorla
Comparing communication primitives via their relative expressive power. Inf. Comput. 206 (8) (2008)
Thomas T. Hildebrandt, Daniele Gorla
Preface. EXPRESS (2008)
Daniele Gorla
On the Relative Expressive Power of Ambient-Based Calculi. TGC (2008)
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION (2008)
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
Network Applications of Graph Bisimulation. ICGT (2008)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64 (2) (2007)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Basic observables for a calculus for global computing. Inf. Comput. 205 (10) (2007)
Daniele Gorla, Catuscia Palamidessi
Preface. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Confining data and processes in global computing applications. Sci. Comput. Program. 63 (1) (2006)
Daniele Gorla
On the Relative Expressive Power of Asynchronous Communication Primitives. FoSSaCS (2006)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356 (3) (2006)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Inferring dynamic credentials for rôle-based trust management. PPDP (2006)
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
Role-based access control for a distributed calculus. J. Comput. Secur. 14 (2) (2006)
Daniele Gorla
Synchrony vs Asynchrony in Communication Primitives. EXPRESS (2006)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Security Policies as Membranes in Systems for Global Computing. Electron. Notes Theor. Comput. Sci. 138 (1) (2005)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION (2005)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Security Policies as Membranes in Systems for Global Computing. Log. Methods Comput. Sci. 1 (3) (2005)
Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
Security Policies as Membranes in Systems for Global Computing CoRR (2005)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS (2005)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
Basic Observables for a Calculus for Global Computing. ICALP (2005)
Daniele Gorla, Rosario Pugliese
Controlling data movement in global computing applications. SAC (2004)
Chiara Braghin, Daniele Gorla, Vladimiro Sassone
A Distributed Calculus for Ro^le-Based Access Control. CSFW (2004)
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
On the Expressive Power of Klaim-based Calculi. EXPRESS (2004)
Daniele Gorla, Rosario Pugliese
Enforcing Security Policies via Types. SPC (2003)
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
The Klaim Project: Theory and Practice. Global Computing (2003)
Daniele Gorla, Rosario Pugliese
Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP (2003)
Michele Boreale, Daniele Gorla
On Compositional Reasoning in the Spi-calculus. FoSSaCS (2002)