Concepedia
Statistics
Publications
20
Citations
538
H-Index
14
Active since
2004
Affiliations
Sapienza University of Rome(Current)
University of Florence
University of Sussex
Ca' Foscari University of Venice
Daniele Gorla is an author at Sapienza University of Rome specializing in computing, computer science, and distributed systems.
Publications per year
2004–2021
Towards a unified approach to encodability and separation results for process calculi
Daniele Gorla · Information and Computation · 2010 · 152 citations
Computing, Computer Science, Formal Methods +5
Full abstraction for expressiveness: history, myths and facts
Daniele Gorla, Uwe Nestmann · Mathematical Structures in Computer Science · 2014 · 45 citations
Computing, Computer Science, Programming Languages +14
On the expressive power of KLAIM-based calculi
Rocco De Nicola, Daniele Gorla, Rosario Pugliese · Theoretical Computer Science · 2006 · 37 citations
Computing, Computer Science, Distributed Systems +9
Comparing communication primitives via their relative expressive power
Daniele Gorla · Information and Computation · 2008 · 33 citations
Computing, Communication, Computer Science +7
Basic observables for a calculus for global computing
Rocco De Nicola, Daniele Gorla, Rosario Pugliese · Information and Computation · 2007 · 26 citations
Natural Sciences, Computer Science, Mathematics +14
1–5 of 20