DANIELE GORLA

Professore associato

email: daniele.gorla@uniroma1.it





Produzione scientifica

11573/1134153 - 2019 - A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano - 01a Articolo in rivista
rivista: ALGORITHMICA (New York : Springer Science + Business Media) pp. - - issn: 0178-4617 - wos: WOS:000465431800009 (0) - scopus: 2-s2.0-85050537427 (1)

11573/1311148 - 2019 - Conflict vs Causality in Event Structures
Gorla, Daniele; Salvo, Ivano; Piperno, Adolfo - 04b Atto di convegno in volume
congresso: EXPRESS/SOS (Amsterdam)
libro: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics - ()

11573/1355276 - 2019 - Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks
Daniele Gorla; Federica Granese - 04b Atto di convegno in volume
congresso: Theoretical Aspects of Computing (Hammammeth (Tunisia))
libro: Atti di ICTAC - (978-3-030-32505-3)

11573/1355284 - 2019 - Modal epistemic logic on contracts: A doctrinal approach
Bottoni P.; Gorla D.; Labella A. - 02a Capitolo o Articolo
libro: Models, Languages, and Tools for Concurrent and Distributed Programming - (978-3-030-21484-5; 978-3-030-21485-2)

11573/1355289 - 2019 - Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
Boreale M.; Gorla D. - 02a Capitolo o Articolo
libro: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - (978-3-030-31174-2; 978-3-030-31175-9)

11573/1028826 - 2018 - Inefficiencies in network models: a graph-theoretic perspective
Cenciarelli P.; Gorla D.; Salvo I. - 01a Articolo in rivista
rivista: INFORMATION PROCESSING LETTERS (-Amsterdam : Elsevier Science -Amsterdam : North-Holland) pp. 44-50 - issn: 0020-0190 - wos: WOS:000423005700008 (3) - scopus: 2-s2.0-85036453703 (3)

11573/1204060 - 2018 - Depletable channels: dynamics, behaviour, and efficiency in network design
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano - 01a Articolo in rivista
rivista: ACTA INFORMATICA (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229 SPRINGER, 233 SPRING STREET, NEW YORK, USA, NY, 10013) pp. - - issn: 0001-5903 - wos: (0) - scopus: 2-s2.0-85056297923 (0)

11573/1204104 - 2018 - Graph theoretic detection of inefficiencies in network models
Salvo, Ivano; Gorla, Daniele; Cenciarelli, Pietro - 04d Abstract in atti di convegno
rivista: CEUR WORKSHOP PROCEEDINGS (Aachen: M. Jeusfeld c/o Redaktion Sun SITE, Informatik V, RWTH Aachen.) pp. 87-91 - issn: 1613-0073 - wos: (0) - scopus: 2-s2.0-85056827908 (0)
congresso: 19th Italian Conference on Theoretical Computer Science, ICTCS 2018 (ita)
libro: CEUR Workshop Proceedings - ()

11573/945235 - 2018 - A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
Bottoni, Paolo Gaspare; Gorla, Daniele; Labella, Anna - 01a Articolo in rivista
rivista: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (New York: Cambridge University Press Cambridge : CUP, 1991-) pp. 508-532 - issn: 0960-1295 - wos: WOS:000426961900002 (0) - scopus: 2-s2.0-85013933977 (1)

11573/945237 - 2017 - Semantic subtyping for objects and classes
Gorla, Daniele - 01a Articolo in rivista
rivista: COMPUTER JOURNAL (Oxford University Press:Journals Department, Great Clarendon Street, Oxford OX2 6DP United Kingdom:011 44 1865 556767, EMAIL: jnlorders@oup.co.uk, INTERNET: http://www.oup.co.uk, Fax: 011 44 1865 267485) pp. 636-656 - issn: 0010-4620 - wos: WOS:000401986500002 (0) - scopus: 2-s2.0-85020111602 (0)

11573/633200 - 2016 - Full abstraction for expressiveness: history, myths and facts
Gorla, Daniele - 01a Articolo in rivista
rivista: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (New York: Cambridge University Press Cambridge : CUP, 1991-) pp. 639-654 - issn: 0960-1295 - wos: WOS:000374148200002 (5) - scopus: 2-s2.0-84968883807 (15)

11573/559899 - 2014 - A Concurrent Pattern Calculus
Gorla, Daniele - 01a Articolo in rivista
rivista: LOGICAL METHODS IN COMPUTER SCIENCE (Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig.) pp. 1-46 - issn: 1860-5974 - wos: WOS:000347714800011 (3) - scopus: 2-s2.0-84938626605 (6)

11573/796970 - 2014 - A semiring-based trace semantics for processes with applications to information leakage analysis
Gorla, Daniele - 01a Articolo in rivista
rivista: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (New York: Cambridge University Press Cambridge : CUP, 1991-) pp. 259-291 - issn: 0960-1295 - wos: WOS:000347805000003 (2) - scopus: 2-s2.0-84921065310 (2)

11573/527928 - 2013 - Pattern matching and bisimulation
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 (Florence)
libro: Coordination Models and Languages - (9783642384929; 9783642384936)

11573/527929 - 2013 - Semantic subtyping for objects and classes
Gorla, Daniele - 04b Atto di convegno in volume
congresso: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 (Florence, Italy)
libro: Formal Techniques for Distributed Systems - (9783642385919; 9783642385926)

11573/131841 - 2010 - Towards a unified approach to encodability and separation results for process calculi
Gorla, Daniele - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 1031-1053 - issn: 0890-5401 - wos: WOS:000281456800003 (43) - scopus: 2-s2.0-77955473679 (59)

11573/144954 - 2010 - From Flow Logic to static type systems for coordination languages
Gorla, Daniele - 01a Articolo in rivista
rivista: SCIENCE OF COMPUTER PROGRAMMING (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 376-397 - issn: 0167-6423 - wos: WOS:000277231300002 (5) - scopus: 2-s2.0-77949655889 (10)
congresso: 10th International Conference on Coordination Models and Languages (COORDINATION 2008) (Oslo, NORWAY)

11573/144955 - 2010 - A taxonomy of process calculi for distribution and mobility
Gorla, Daniele - 01a Articolo in rivista
rivista: DISTRIBUTED COMPUTING (Springer Verlag Germany:Tiergartenstrasse 17, D 69121 Heidelberg Germany:011 49 6221 3450, EMAIL: g.braun@springer.de, INTERNET: http://www.springer.de, Fax: 011 49 6221 345229) pp. 273-299 - issn: 0178-2770 - wos: WOS:000284159000002 (11) - scopus: 2-s2.0-78650597102 (15)

11573/227765 - 2010 - Tree-functors, determinacy and bisimulations
Gorla, Daniele; Labella, Anna - 01a Articolo in rivista
rivista: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (New York: Cambridge University Press Cambridge : CUP, 1991-) pp. 319-358 - issn: 0960-1295 - wos: WOS:000278636600001 (1) - scopus: 2-s2.0-77957274383 (2)

11573/56856 - 2010 - Concurrent pattern calculus
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science, TCS 2010, Held as Part of 21st IFIP World Computer Congress, WCC 2010 (Brisbane (Australia))
libro: 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science - (9783642152399; 9783642152405)

11573/56857 - 2010 - A semiring-based trace semantics for processes with applications to information leakage analysis
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 6th IFIP International Conference on Theoretical Computer Science, TCS 2010 (Brisbane (Australia))
libro: Theoretical Computer Science - (9783642152399; 9783642152405)

11573/633194 - 2010 - Semantic subtyping for objects and classes
Gorla, Daniele - 04f Poster
congresso: Poster session for the 8th Intern. Conf. on Principles and Practice of Programming in Java (Vienna)

11573/144952 - 2009 - Dynamic management of capabilities in a network aware coordination language
Gorla, Daniele - 01a Articolo in rivista
rivista: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (Tokyo ; Oxford ; New York ; London ; Amsterdam ; Shannon ; Paris : North-Holland) pp. 665-689 - issn: 1567-8326 - wos: WOS:000271778000001 (7) - scopus: 2-s2.0-70349448576 (13)

11573/195293 - 2009 - Introduzione alla logica e al linguaggio matematico
Gorla, Daniele; Labella, Anna - 03c Manuale Didattico

11573/389136 - 2009 - Depletable Channels: Dynamics and Behaviour
Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano - 04b Atto di convegno in volume
congresso: Fundamentals of Computation Theory, 17th International Symposium (Wroclaw, Poland)
libro: Lecture Notes in Computer ScienceFundamentals of Computation Theory - (9783642034084; 9783642034091)

11573/56009 - 2009 - On the Relative Expressive Power of Calculi for Mobility
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 25a conferenza su Mathematical Foundations of Programming Semantics (MFPS XXV) (Oxford (UK))
libro: Atti di MFPS XXV - ()

11573/59061 - 2009 - On the relative expressive power of ambient-based calculi
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 4° Simposio su Trustworthy Global Computing (Barcellona (Spagna))
libro: Atti di TGC'08 - (9783642009440)

11573/144951 - 2008 - Comparing communication primitives via their relative expressive power
Gorla, Daniele - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 931-952 - issn: 0890-5401 - wos: WOS:000258642800001 (18) - scopus: 2-s2.0-48149114283 (21)

11573/224839 - 2008 - Introduzione alla logica e al linguaggio matematico
Gorla, Daniele; Labella, Anna - 03c Manuale Didattico

11573/56007 - 2008 - From Flow Logic to Static Type Systems in Coordination Languages
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 10th International Conference on Coordination Models and Languages (Oslo (Norvegia))
libro: COORDINATION 2008 - (9783540682646)

11573/56008 - 2008 - Network Applications of Graph Bisimulation
Cenciarelli, Pietro; Gorla, Daniele - 04b Atto di convegno in volume
congresso: 4th International Conference on Graph Transformation (Leicester (UK))
libro: Atti di ICGT'08 - (9783540874041)

11573/59060 - 2008 - Towards a Unified Approach to Encodability and Separation Results for Process Calculi
Gorla, Daniele - 04b Atto di convegno in volume
congresso: International conf. on Concurrency Theory (Toronto (Canada))
libro: Atti della 19a conferenza Internazionale "Concurrency Theory" - (9783540853602)

11573/144950 - 2007 - Basic observables for a calculus for global computing
Gorla, Daniele - 01a Articolo in rivista
rivista: INFORMATION AND COMPUTATION (Academic Press Incorporated:6277 Sea Harbor Drive:Orlando, FL 32887:(800)543-9534, (407)345-4100, EMAIL: ap@acad.com, INTERNET: http://www.idealibrary.com, Fax: (407)352-3445) pp. 1491-1525 - issn: 0890-5401 - wos: WOS:000250096800001 (14) - scopus: 2-s2.0-84855192564 (15)

11573/59059 - 2007 - Synchrony vs Asynchrony in Communication Primitives
Gorla, Daniele - 04b Atto di convegno in volume
congresso: Expressiveness in Concurrency (Bonn (Germany))
libro: 13th Workshop on Expressiveness in Concurrency - ()

11573/144945 - 2006 - Confining data and processes in global computing applications
Gorla, Daniele - 01a Articolo in rivista
rivista: SCIENCE OF COMPUTER PROGRAMMING (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 57-87 - issn: 0167-6423 - wos: WOS:000241356300005 (4) - scopus: 2-s2.0-33748751279 (7)
congresso: International Workshop on Security Issues in Coordination Models, Languages, and Systems (Eindhoven, NETHERLANDS)

11573/144946 - 2006 - On the expressive power of the KLAIM language
Gorla, Daniele - 01a Articolo in rivista
rivista: THEORETICAL COMPUTER SCIENCE (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 387-421 - issn: 0304-3975 - wos: WOS:000237717500007 (16) - scopus: 2-s2.0-33646163020 (23)

11573/144947 - 2006 - Role-based access control for a distributed calculus
Gorla, Daniele - 01a Articolo in rivista
rivista: JOURNAL OF COMPUTER SECURITY (Amsterdam : IOS Press) pp. 113-155 - issn: 0926-227X - wos: WOS:237146200007 (0) - scopus: 2-s2.0-33646183666 (9)

11573/144948 - 2006 - Global Computing in a Dynamic Network of Tuple Spaces
Gorla, Daniele - 01a Articolo in rivista
rivista: SCIENCE OF COMPUTER PROGRAMMING (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 187-204 - issn: 0167-6423 - wos: WOS:000243150100002 (2) - scopus: 2-s2.0-33751176637 (2)

11573/56006 - 2006 - Inferring Dynamic Credentials for Role-based Trust Management
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (Venice (Italy))
libro: Atti di PPDP 2006 - (9781595933881)

11573/59058 - 2006 - On the relative expressive power of asynchronous communication primitives
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 (Vienna)
libro: 9th Int. Conf. on Foundations of Software Science and Computation Structures - (9783540330455; 9783540330462)

11573/144949 - 2005 - Security Policies as Membranes in Systems for Global Computing
Gorla, Daniele - 01a Articolo in rivista
rivista: LOGICAL METHODS IN COMPUTER SCIENCE (Braunschweig : Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig.) pp. 1-23 - issn: 1860-5974 - wos: WOS:000210754100002 (0) - scopus: 2-s2.0-24344510232 (17)

11573/56004 - 2005 - Pattern Matching over a Dynamic Network of Tuple Spaces
Gorla, Daniele - 04b Atto di convegno in volume
libro: 7th IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS) - (3540261818)

11573/56005 - 2005 - Basic Observables for a Calculus for Global Computing
Gorla, Daniele - 04b Atto di convegno in volume
libro: 32nd International Colloquium on Automata, Languages and Programming (ICALP) - (3540275800)

11573/59056 - 2005 - Global Computing in a Dynamic Network of Tuple Spaces
Gorla, Daniele - 04b Atto di convegno in volume
libro: 7th Int. Conf. on Coordination Models and Languages - (354025630X)

11573/56001 - 2004 - Controlling Data Movement in Global Computing Applications
Gorla, Daniele - 04b Atto di convegno in volume
congresso: the 2004 ACM symposium (Nicosia (Cyprus))
libro: 19th Annual ACM-SIGAPP Symposium on Applied Computing - (9781581138122)

11573/56002 - 2004 - A distributed calculus for role-based access control
Gorla, Daniele - 04b Atto di convegno in volume
congresso: 17th IEEE Computer Security Foundations Workshop (Pacific Grove, CA)
libro: 17th Computer Security Foundations Workshop - (9780769521695)

11573/56003 - 2004 - On the expressive power of KLAIM-based Calculi
Gorla, Daniele - 04b Atto di convegno in volume
libro: 11th Workshop on Expressiveness in Concurrency (EXPRESS) - ()

11573/59057 - 2004 - Security Policies as Membranes in Systems for Global Computing
Gorla, Daniele - 04b Atto di convegno in volume
congresso: Fondations of Global Ubiquitous Computing (London (UK))
libro: Workshop on Fondations of Global Ubiquitous Computing - ()

11573/163454 - 2003 - The KLAIM Project: Theory and Practice
Gorla, Daniele - 02a Capitolo o Articolo
libro: Global Computing: Programming Environments, Languages, Security and Analysis of Systems - (9783540205838; 9783540400424)

11573/59054 - 2003 - Resource Access and Mobility Control with Dynamic Privileges Acquisition
Gorla, Daniele - 04a Atto di comunicazione a congresso
libro: 30th International Colloquium on Automata, Languages and Programming (ICALP) - (9783540404934)

11573/59055 - 2003 - Enforcing Security Policies via Types
Gorla, Daniele - 04a Atto di comunicazione a congresso
libro: 1st Int. Conf. on Security in Pervasive Computing (SPC) - ()

11573/144944 - 2002 - Process Calculi and the Verification of Security Protocols
Gorla, Daniele - 01a Articolo in rivista
rivista: JOURNAL OF TELECOMMUNICATIONS AND INFORMATION TECHNOLOGY (National Institute of Telecommunications , Warsaw) pp. 28-40 - issn: 1509-4553 - wos: (0) - scopus: (0)

11573/56000 - 2002 - On Compositional Reasoning in the Spi–Calculus
Gorla, Daniele - 04a Atto di comunicazione a congresso
libro: 5th Int. Conf. on Foundations of Software Science and Computation Structures (FoSSaCS) - ()

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma