Catalogo dei prodotti della ricerca

GORLA, DANIELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.786
EU - Europa 683
AS - Asia 490
SA - Sud America 17
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 4.979
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.767
IT - Italia 306
SG - Singapore 175
CN - Cina 171
UA - Ucraina 141
IN - India 137
FI - Finlandia 69
SE - Svezia 52
GB - Regno Unito 26
DE - Germania 23
CA - Canada 17
IE - Irlanda 16
AR - Argentina 13
RO - Romania 10
BG - Bulgaria 9
BE - Belgio 8
FR - Francia 8
GR - Grecia 7
JP - Giappone 6
CL - Cile 3
AT - Austria 2
PL - Polonia 2
ZA - Sudafrica 2
BR - Brasile 1
CH - Svizzera 1
EU - Europa 1
LV - Lettonia 1
MX - Messico 1
PA - Panama 1
RU - Federazione Russa 1
SM - San Marino 1
VN - Vietnam 1
Totale 4.979
Salva come PNG Salva come JPEG
Città #
Fairfield 571
Woodbridge 385
Chandler 333
Seattle 249
Houston 247
Ann Arbor 220
Ashburn 205
Wilmington 179
Cambridge 169
Singapore 116
Rome 111
Princeton 104
Beijing 103
Plano 66
Jacksonville 53
Millbury 53
Lawrence 44
San Diego 41
Boston 40
San Paolo di Civitate 40
Wuhan 37
Andover 30
Des Moines 30
Dublin 16
Norwalk 15
Toronto 14
Federal 13
New York 13
Naples 12
Santa Clara 12
Milan 9
San Mateo 9
Sofia 9
Florence 8
Boardman 7
Brussels 7
Bühl 6
Cagliari 6
Shanghai 6
Southend 6
Civitavecchia 5
Mannheim 5
Falls Church 4
Kunming 4
Lappeenranta 4
Livorno 4
Padova 4
Stockholm 4
Cottbus 3
Falkenstein 3
Fuzhou 3
Hamamatsu 3
Helsinki 3
Monterotondo 3
Palermo 3
Ravenna 3
Redmond 3
Tokyo 3
Auburn Hills 2
Bagheria 2
Bologna 2
Buffalo 2
Como 2
Corbetta 2
Dearborn 2
Hefei 2
Impruneta 2
Lecce 2
Los Angeles 2
Lucca 2
Montalcino 2
Mumbai 2
Nowy Dwor Mazowiecki 2
Paris 2
Philadelphia 2
Phoenix 2
Pomezia 2
Portici 2
Rignano Flaminio 2
Sceaux 2
Torre Annunziata 2
Turin 2
Vicenza 2
Vienna 2
Barletta 1
Bern 1
Cesis 1
Council Bluffs 1
Dogana 1
East Lansing 1
Gallarate 1
Ghemme 1
Grafing 1
Guangzhou 1
Hanoi 1
Harbin 1
Hounslow 1
Indiana 1
Las Vegas 1
Laurel 1
Totale 3.726
Salva come PNG Salva come JPEG
Nome #
On the expressive power of KLAIM-based Calculi 111
Concurrent pattern calculus 108
Conflict vs causality in event structures 108
A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs 105
Inferring Dynamic Credentials for Role-based Trust Management 103
Controlling Data Movement in Global Computing Applications 102
Security Policies as Membranes in Systems for Global Computing 101
Role-based access control for a distributed calculus 97
Security Policies as Membranes in Systems for Global Computing 95
Global Computing in a Dynamic Network of Tuple Spaces 94
Introduzione alla logica e al linguaggio matematico 94
Inefficiencies in network models: a graph-theoretic perspective 92
Enhanced models for privacy and utility in continuous-time diffusion networks 91
Resource Access and Mobility Control with Dynamic Privileges Acquisition 90
Basic Observables for a Calculus for Global Computing 87
null 86
Pattern Matching over a Dynamic Network of Tuple Spaces 84
Depletable channels: dynamics, behaviour, and efficiency in network design 83
Basic observables for a calculus for global computing 83
The KLAIM Project: Theory and Practice 82
On the relative expressive power of asynchronous communication primitives 82
Comparing communication primitives via their relative expressive power 81
On the relative expressive power of ambient-based calculi 80
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes 80
Semantic subtyping for objects and classes 78
Full abstraction for expressiveness: history, myths and facts 77
On Compositional Reasoning in the Spi–Calculus 76
A taxonomy of process calculi for distribution and mobility 76
Synchrony vs Asynchrony in Communication Primitives 75
A distributed calculus for role-based access control 74
On the Relative Expressive Power of Calculi for Mobility 73
Network Applications of Graph Bisimulation 70
Approximate model counting, sparse XOR constraints and minimum distance 70
A semiring-based trace semantics for processes with applications to information leakage analysis 69
Towards a Unified Approach to Encodability and Separation Results for Process Calculi 69
Confining data and processes in global computing applications 68
Semantic subtyping for objects and classes 68
Towards a unified approach to encodability and separation results for process calculi 68
Dynamic management of capabilities in a network aware coordination language 67
Depletable Channels: Dynamics and Behaviour 67
From Flow Logic to Static Type Systems in Coordination Languages 67
Global Computing in a Dynamic Network of Tuple Spaces 67
A semiring-based trace semantics for processes with applications to information leakage analysis 66
On the expressive power of the KLAIM based calculi 61
Semantic subtyping for objects and classes 61
From Flow Logic to static type systems for coordination languages 61
Pattern matching and bisimulation 60
Tree-functors, determinacy and bisimulations 58
Modal epistemic logic on contracts: a doctrinal approach 58
Process Calculi and the Verification of Security Protocols 49
Conflict vs Causality in Event Structures 48
A Concurrent Pattern Calculus 46
Introduzione alla logica e al linguaggio matematico 44
Characterising Spectra of Equivalences for Event Structures, Logically 44
Enhanced models for privacy and utility in continuous-time diffusion networks 43
Graph theoretic detection of inefficiencies in network models 40
Output Sampling for Output Diversity in Automatic Unit Test Generation 39
Semantic approach to global computing systems 38
Tribute to Anna Labella 38
Behavioural Logics for Configuration Structures 35
Daniele Varacca 34
SecCo'07: Security Issues in Concurrency 33
DOCTOR: A Simple Method for Detecting Misclassification Errors 33
Journal of Logic and Algebraic Method in Programming 33
The 2021 Experience of Logic in Computer Science 32
COGS 29
CONCUR 2014 – Concurrency Theory 28
EXPRESS'09: Expressiveness in Concurrency 27
CONCUR (25th International Conference in Concurrency Theory) 27
Algebra and Coalgebra of Stream Products 27
PLID'08: Programming Language Interference and Dependence 26
Polynomial recognition of vulnerable multi-commodities 25
Products, polynomials and differential equations in the stream calculus 24
CONCUR'10 24
Univ.Sussex 24
Preface to special issue: EXPRESS, ICE and SOS 2009 24
David Clark 23
Preface (Proc. of Workshop on Security Is- sues in Concurrency - SecCo’07) 19
David Clark 16
EXPRESS'08: Expressiveness in Concurrency 16
Preface to special issue: Expressiveness in Concurrency 2008 16
Preface of the special issue dedicated to the best papers of CUNCUR'14 16
MFPS XXV 15
IFIP TCS (International Conference on Theoretical Computer Science) 15
EXPRESS'07: Expressiveness in Concurrency 15
Preface (Proc. of EXPRESS 2009) 15
Preface (Proc. of EXPRESS 2008) 15
ETAPS (European Joint Conference on Theory and Practice of Software) 14
Journal of Computer Security: Preface 14
PPS 13
BaBE: Enhancing Fairness via Estimation of Explaining Variables 12
A Sound Type System for Secure Currency Flow 10
An Implicit Function Theorem for the Stream Calculus 8
On the (Im)Possibility of Estimating Various Notions of Differential Privacy 5
Preventing Out-of-Gas Exceptions by Typing 4
Centralized vs Decentralized Monitors for Hyperproperties 3
Enforcing Security Policies via Types 1
Totale 5.102
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.210
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 14.210
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020962 0 0 0 54 96 103 132 154 130 183 81 29
2020/2021404 44 56 18 28 13 24 2 89 46 47 32 5
2021/20221.098 8 53 111 23 95 6 16 83 96 56 384 167
2022/2023842 183 104 36 97 126 107 9 58 88 8 23 3
2023/2024374 40 54 18 21 28 39 10 16 2 54 45 47
2024/2025215 93 50 72 0 0 0 0 0 0 0 0 0
Totale 5.102