default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaniele Gorla
Person information
- affiliation: Sapienza University of Rome, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j42]Michele Boreale, Luisa Collodi, Daniele Gorla:
An implicit function theorem for the stream calculus. Log. Methods Comput. Sci. 20(2) (2024)- [j41]Daniele Gorla:
From the Editor-in-Chief. ACM SIGLOG News 11(1): 1 (2024) - [j40]Daniele Gorla:
The First 10 Volumes of SIGLOG News: a retrospective. ACM SIGLOG News 11(1): 2-10 (2024) - [j39]Daniele Gorla:
From the Editor-in-Chief. ACM SIGLOG News 11(2): 1 (2024) - [j38]Daniele Gorla:
From the Editor-in-Chief. ACM SIGLOG News 11(3): 1 (2024) - [j37]Ugo Dal Lago, Daniele Gorla:
Preface. Theor. Comput. Sci. 1010: 114716 (2024) - [j36]Michele Boreale
, Luisa Collodi, Daniele Gorla:
Products, Polynomials and Differential Equations in the Stream Calculus. ACM Trans. Comput. Log. 25(1): 7:1-7:26 (2024) - [c38]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CONCUR 2024: 4:1-4:19 - [c37]Luca Aceto, Daniele Gorla, Stian Lybech:
A Sound Type System for Secure Currency Flow. ECOOP 2024: 1:1-1:27 - [c36]Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi:
BaBE: Enhancing Fairness via Estimation of Explaining Variables. FAccT 2024: 1917-1925 - [c35]Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa:
Preventing Out-of-Gas Exceptions by Typing. ISoLA (1) 2024: 409-426 - [i12]Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Daniele Gorla, Jana Wagemaker:
Centralized vs Decentralized Monitors for Hyperproperties. CoRR abs/2405.12882 (2024) - [i11]Luca Aceto, Daniele Gorla, Stian Lybech:
A Sound Type System for Secure Currency Flow. CoRR abs/2405.12976 (2024) - [i10]Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa:
Preventing Out-of-Gas Exceptions by Typing. CoRR abs/2407.15676 (2024) - 2023
- [j35]Dario Fiorenza, Daniele Gorla, Ivano Salvo:
Polynomial recognition of vulnerable multi-commodities. Inf. Process. Lett. 179: 106282 (2023) - [j34]Daniele Gorla:
From the Editor-in-Chief. ACM SIGLOG News 10(1): 1 (2023) - [j33]Daniele Gorla:
From the Editor-in-Chief. ACM SIGLOG News 10(4): 1 (2023) - [j32]Daniele Gorla:
CADE and FSCD: A Successful Joint Venture in 2023. ACM SIGLOG News 10(4): 42-43 (2023) - [c34]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: 219-224 - [i9]Michele Boreale, Luisa Collodi, Daniele Gorla:
An implicit function theorem for the stream calculus. CoRR abs/2303.11876 (2023) - [i8]Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi:
BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables. CoRR abs/2307.02891 (2023) - 2022
- [j31]Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo:
Characterising spectra of equivalences for event structures, logically. Inf. Comput. 285(Part): 104887 (2022) - [j30]Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo:
Behavioural logics for configuration structures. Theor. Comput. Sci. 913: 94-112 (2022) - [j29]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): 295-308 (2022) - [e5]Ugo Dal Lago, Daniele Gorla:
Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022. CEUR Workshop Proceedings 3284, CEUR-WS.org 2022 [contents] - [i7]Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida:
On the (Im)Possibility of Estimating Various Notions of Differential Privacy. CoRR abs/2208.14414 (2022) - 2021
- [j28]Federica Granese, Daniele Gorla, Catuscia Palamidessi:
Enhanced models for privacy and utility in continuous-time diffusion networks. Int. J. Inf. Sec. 20(5): 763-782 (2021) - [j27]Daniele Gorla, Ivano Salvo:
Conflict vs causality in event structures. J. Log. Algebraic Methods Program. 119: 100631 (2021) - [j26]Paolo Bottoni, Rocco De Nicola, Daniele Gorla:
Tribute to Anna Labella. J. Log. Algebraic Methods Program. 121: 100663 (2021) - [j25]Daniele Gorla:
The 2021 experience of logic in computer science. ACM SIGLOG News 8(4): 23-24 (2021) - [c33]Michele Boreale, Daniele Gorla:
Algebra and Coalgebra of Stream Products. CONCUR 2021: 19:1-19:17 - [c32]Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida:
DOCTOR: A Simple Method for Detecting Misclassification Errors. NeurIPS 2021: 5669-5681 - [i6]Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida:
DOCTOR: A Simple Method for Detecting Misclassification Errors. CoRR abs/2106.02395 (2021) - [i5]Michele Boreale, Daniele Gorla:
Algebra and coalgebra of stream products. CoRR abs/2107.04455 (2021)
2010 – 2019
- 2019
- [j24]Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
Depletable channels: dynamics, behaviour, and efficiency in network design. Acta Informatica 56(5): 405-431 (2019) - [j23]Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
A Polynomial-Time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. Algorithmica 81(4): 1535-1560 (2019) - [c31]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: 298-314 - [c30]Michele Boreale, Daniele Gorla:
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. The Art of Modelling Computational Systems 2019: 363-378 - [c29]Daniele Gorla, Federica Granese, Catuscia Palamidessi:
Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. ICTAC 2019: 313-331 - [c28]Daniele Gorla, Ivano Salvo, Adolfo Piperno:
Conflict vs Causality in Event Structures. EXPRESS/SOS 2019: 86-101 - [i4]Michele Boreale, Daniele Gorla:
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. CoRR abs/1907.05121 (2019) - 2018
- [j22]Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
Inefficiencies in network models: A graph-theoretic perspective. Inf. Process. Lett. 131: 44-50 (2018) - [j21]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): 508-532 (2018) - [c27]Ivano Salvo, Daniele Gorla, Pietro Cenciarelli:
Graph Theoretic Detection of Inefficiencies in Network Models. ICTCS 2018: 87-91 - 2017
- [j20]Ornela Dardha, Daniele Gorla, Daniele Varacca:
Semantic Subtyping for Objects and Classes. Comput. J. 60(5): 636-656 (2017) - [j19]Paolo Baldan, Daniele Gorla:
Preface. Inf. Comput. 252: 1 (2017) - 2016
- [j18]Daniele Gorla, Uwe Nestmann:
Full abstraction for expressiveness: history, myths and facts. Math. Struct. Comput. Sci. 26(4): 639-654 (2016) - [i3]Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
Graph Theoretic Investigations on Inefficiencies in Network Models. CoRR abs/1603.01983 (2016) - [i2]Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
A Polynomial-time Algorithm for Detecting the Possibility of Braess Paradox in Directed Graphs. CoRR abs/1610.09320 (2016) - 2015
- [j17]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): 259-291 (2015) - 2014
- [j16]Thomas Given-Wilson, Daniele Gorla, Barry Jay:
A Concurrent Pattern Calculus. Log. Methods Comput. Sci. 10(3) (2014) - [e4]Paolo Baldan, Daniele Gorla:
CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Lecture Notes in Computer Science 8704, Springer 2014, ISBN 978-3-662-44583-9 [contents] - 2013
- [c26]Thomas Given-Wilson, Daniele Gorla:
Pattern Matching and Bisimulation. COORDINATION 2013: 60-74 - [c25]Ornela Dardha, Daniele Gorla, Daniele Varacca:
Semantic Subtyping for Objects and Classes. FMOODS/FORTE 2013: 66-82 - 2012
- [j15]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): 123-124 (2012) - 2010
- [j14]Daniele Gorla:
A taxonomy of process calculi for distribution and mobility. Distributed Comput. 23(4): 273-299 (2010) - [j13]Daniele Gorla:
Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9): 1031-1053 (2010) - [j12]Daniele Gorla, Catuscia Palamidessi:
Preface. J. Comput. Secur. 18(2): 189 (2010) - [j11]Thomas T. Hildebrandt, Daniele Gorla:
Preface to special issue: Expressiveness in Concurrency 2008. Math. Struct. Comput. Sci. 20(1): 1-2 (2010) - [j10]Rocco De Nicola, Daniele Gorla, Anna Labella:
Tree-functors, determinacy and bisimulations. Math. Struct. Comput. Sci. 20(3): 319-358 (2010) - [j9]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): 376-397 (2010) - [c24]Thomas Given-Wilson, Daniele Gorla, Barry Jay:
Concurrent Pattern Calculus. IFIP TCS 2010: 244-258 - [c23]Michele Boreale, David Clark, Daniele Gorla:
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354
2000 – 2009
- 2009
- [j8]Daniele Gorla, Rosario Pugliese:
Dynamic management of capabilities in a network aware coordination language. J. Log. Algebraic Methods Program. 78(8): 665-689 (2009) - [c22]Pietro Cenciarelli, Daniele Gorla, Ivano Salvo:
Depletable Channels: Dynamics and Behaviour. FCT 2009: 50-61 - [c21]Daniele Gorla:
On the Relative Expressive Power of Calculi for Mobility. MFPS 2009: 269-286 - [e3]Thomas T. Hildebrandt, Daniele Gorla:
Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(1), Elsevier 2009 [contents] - [e2]Sibylle B. Fröschle, Daniele Gorla:
Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009. EPTCS 8, 2009 [contents] - 2008
- [j7]Daniele Gorla:
Comparing communication primitives via their relative expressive power. Inf. Comput. 206(8): 931-952 (2008) - [c20]Daniele Gorla:
Towards a Unified Approach to Encodability and Separation Results for Process Calculi. CONCUR 2008: 492-507 - [c19]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: 100-116 - [c18]Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto:
Network Applications of Graph Bisimulation. ICGT 2008: 131-146 - [c17]Daniele Gorla:
On the Relative Expressive Power of Ambient-Based Calculi. TGC 2008: 141-156 - [c16]Thomas T. Hildebrandt, Daniele Gorla:
Preface. EXPRESS 2008: 1-2 - 2007
- [j6]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007) - [j5]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007) - [c15]Daniele Gorla, Catuscia Palamidessi:
Preface. SecCO@CONCUR 2007: 1-2 - [e1]Daniele Gorla, Catuscia Palamidessi:
Proceedings of the Fifth Workshop on Security Issues in Concurrency, SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(1), Elsevier 2007 [contents] - 2006
- [j4]Chiara Braghin, Daniele Gorla, Vladimiro Sassone:
Role-based access control for a distributed calculus. J. Comput. Secur. 14(2): 113-155 (2006) - [j3]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006) - [j2]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006) - [c14]Daniele Gorla:
On the Relative Expressive Power of Asynchronous Communication Primitives. FoSSaCS 2006: 47-62 - [c13]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224 - [c12]Daniele Gorla:
Synchrony vs Asynchrony in Communication Primitives. EXPRESS 2006: 87-108 - 2005
- [j1]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing. Log. Methods Comput. Sci. 1(3) (2005) - [c11]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172 - [c10]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14 - [c9]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238 - [i1]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing. CoRR abs/cs/0506061 (2005) - 2004
- [c8]Chiara Braghin, Daniele Gorla, Vladimiro Sassone:
A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60 - [c7]Daniele Gorla, Rosario Pugliese:
Controlling data movement in global computing applications. SAC 2004: 1462-1467 - [c6]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone:
Security Policies as Membranes in Systems for Global Computing. FGUC 2004: 23-42 - [c5]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the Expressive Power of Klaim-based Calculi. EXPRESS 2004: 117-130 - 2003
- [c4]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: 88-150 - [c3]Daniele Gorla, Rosario Pugliese:
Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132 - [c2]Daniele Gorla, Rosario Pugliese:
Enforcing Security Policies via Types. SPC 2003: 86-100 - 2002
- [c1]Michele Boreale, Daniele Gorla:
On Compositional Reasoning in the Spi-calculus. FoSSaCS 2002: 67-81
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
