CRIS Current Research Information System

GORRIERI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.805
AS - Asia 3.445
EU - Europa 3.343
SA - Sud America 186
AF - Africa 138
Continente sconosciuto - Info sul continente non disponibili 3
Totale 10.920
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.775
GB - Regno Unito 1.282
CN - Cina 972
SG - Singapore 941
VN - Vietnam 756
IT - Italia 535
DE - Germania 330
SE - Svezia 258
FR - Francia 225
UA - Ucraina 225
HK - Hong Kong 219
IN - India 175
BR - Brasile 129
RU - Federazione Russa 128
IE - Irlanda 107
TR - Turchia 84
JP - Giappone 80
ZA - Sudafrica 57
KR - Corea 49
NL - Olanda 49
EE - Estonia 45
FI - Finlandia 40
JO - Giordania 28
TG - Togo 26
PH - Filippine 25
AR - Argentina 20
CA - Canada 20
BE - Belgio 19
ID - Indonesia 19
SC - Seychelles 18
CI - Costa d'Avorio 17
TH - Thailandia 16
EC - Ecuador 14
IQ - Iraq 14
AT - Austria 13
PL - Polonia 13
BD - Bangladesh 12
ES - Italia 11
PK - Pakistan 10
CO - Colombia 9
RO - Romania 9
SA - Arabia Saudita 9
SK - Slovacchia (Repubblica Slovacca) 9
CH - Svizzera 8
GR - Grecia 8
LT - Lituania 6
MX - Messico 6
MY - Malesia 6
AL - Albania 5
CL - Cile 5
HU - Ungheria 5
TN - Tunisia 5
CZ - Repubblica Ceca 4
KE - Kenya 4
LB - Libano 4
PY - Paraguay 4
TW - Taiwan 4
UZ - Uzbekistan 4
ET - Etiopia 3
HR - Croazia 3
MA - Marocco 3
MO - Macao, regione amministrativa speciale della Cina 3
VE - Venezuela 3
AM - Armenia 2
DK - Danimarca 2
EU - Europa 2
GH - Ghana 2
IL - Israele 2
KW - Kuwait 2
AE - Emirati Arabi Uniti 1
AF - Afghanistan, Repubblica islamica di 1
AO - Angola 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
CR - Costa Rica 1
DZ - Algeria 1
EG - Egitto 1
GT - Guatemala 1
IR - Iran 1
KH - Cambogia 1
KZ - Kazakistan 1
LU - Lussemburgo 1
LV - Lettonia 1
MN - Mongolia 1
NI - Nicaragua 1
PA - Panama 1
TL - Timor Orientale 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 10.920
Salva come PNG Salva come JPEG
Città #
Southend 1.167
Singapore 572
Fairfield 411
Santa Clara 338
Ashburn 299
San Jose 218
Woodbridge 216
Hong Kong 211
Chandler 183
Cambridge 162
Houston 155
Ho Chi Minh City 154
Wilmington 150
Jacksonville 149
Seattle 148
Hanoi 145
Princeton 133
Hefei 120
Ann Arbor 118
Bologna 114
Dublin 107
Dong Ket 101
Beijing 98
Boardman 88
Istanbul 79
Los Angeles 74
Lauterbourg 66
Tokyo 64
Nanjing 63
Jinan 61
Westminster 54
Padova 52
Buffalo 45
Medford 45
Berlin 43
Redmond 37
Seoul 37
Milan 35
Helsinki 34
Da Nang 29
Amman 28
Guangzhou 28
Saint Petersburg 28
San Diego 27
Lomé 26
Amsterdam 23
Hebei 23
Nanchang 23
Tianjin 23
Mülheim 22
Des Moines 21
Shenyang 21
São Paulo 19
Brussels 18
Changsha 18
Hangzhou 18
Mahé 18
Abidjan 17
Haiphong 17
Rome 17
Fremont 16
Dallas 15
Brooklyn 14
The Dalles 14
Redwood City 13
Verona 13
New York 12
Nuremberg 12
Paris 12
Taizhou 12
Brescia 11
Council Bluffs 11
Phoenix 11
Shanghai 11
Bengaluru 10
Biên Hòa 10
Redondo Beach 10
Shenzhen 10
Turin 10
Warsaw 10
Zhengzhou 10
Chennai 9
Flero 9
Hải Dương 9
Jiaxing 9
Montreal 9
Ningbo 9
Norwalk 9
Can Tho 8
Frankfurt am Main 8
Fuzhou 8
Kunming 8
Vienna 8
Bangkok 7
Dearborn 7
Florence 7
London 7
Quito 7
Suzhou 7
Taiyuan 7
Totale 7.209
Salva come PNG Salva come JPEG
Nome #
Introduction to Concurrency Theory - Transition Systems and CCS 242
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 217
A Survey on Non-Interference with Petri Nets 215
Classification of Security Properties. Part II: Network Security 209
An expressiveness study of priority in process calculi 207
Choreography and Orchestration Conformance for System Design 202
Choreography and Orchestration: A Synergic Approach for System Design 198
Towards a Formal Treatment of Secrecy against Computational Adversaries 195
Approximating Imperfect Cryptography in a Formal Model 194
Positive Non–Interference in Elementary and Trace Nets 185
Foundations of Security Analysis and Design III 181
A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules 180
Language representability of finite place/transition Petri nets 179
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems 178
Formal Methods for Open Object-Based Distributed Systems 177
Axiomatizing Team Equivalence for Finite-State Machines 177
Web Services for E-commerce: guaranteeing security access and quality of service 176
Reasoning about interaction patterns in Choreography 176
Towards a formal framework for Choreography 176
Two Formal Approaches for Approximating Noninterference Properties 175
Interleaving vs True Concurrency: Some Instructive Security Examples 175
Ugo Montanari and Concurrency Theory 172
Structural non-interference in elementary and trace nets 172
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 172
An Operational Petri Net Semantics for A2CCS 172
SOCK : A Calculus for Service Oriented Computing 171
Foundations of Security Analysis and Design IV 168
Foundations of Security Analysis and design II 167
Combining Partitions in SecSpaces 167
Contrasting Malicious Applets by Modifying the Java Virtual Machine 166
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 164
Team equivalences for finite-state machines with silent moves 164
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 163
A Process Calculus for Expressing Finite Place/Transition Petri Nets 161
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 159
On the Computational Power of Brane Calculi 159
On the Expressive Power of Global and Local Priority in Process Calculi 159
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 155
Team bisimilarity, and its associated modal logic, for BPP nets 153
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks 151
Towards Information Flow Properties for Distributed Systems 151
Language representability of finite P/T nets 151
On the Decidability of Non Interference over Unbounded Petri Nets 148
Petri Net Security Checker: Structural Non-interference at Work 145
Security Issues in the Tuple-Space Coordination Model 145
CCS(25,12) is Turing-complete 145
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi 144
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 142
Syntax and Semantics of Petri Nets 139
Quantitative Information in the Tuple Space Coordination Model 139
A Study on Team Bisimulations for BPP nets 139
Verification of finite-state machines: A distributed approach 138
On Intransitive Non-interference in Some Models of Concurrency 137
An algebraic theory of nondeterministic finite automata 136
Causal Semantics for BPP Nets with Silent Moves 135
A study on team bisimulation and H-team bisimulation for BPP nets 134
Automated Analysis of Timed Security: A Case Study on Web Privacy 128
Toward Distributed Computability Theory 128
A Formalization of Credit and Responsibility Within the GNDC Schema 125
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation 121
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves 121
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets 116
Supporting Secure Coordination in SecSpaces 103
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 98
Place Bisimilarity is Decidable, Indeed! 94
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures 77
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 77
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 67
A theory of processes with durational actions 65
QoS evaluation of IP telephony services: A specification language based simulation software tool 63
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 62
Performance preorder and competitive equivalence 56
Performance preorder: Ordering processes with respect to speed 56
On Securing Real-Time Speech Transmission Over the Internet: An Experimental Study 53
null 45
Totale 11.052
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.070
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 32.070
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021454 0 0 0 0 0 0 0 0 0 92 98 264
2021/20221.303 86 47 149 171 140 70 44 107 81 32 179 197
2022/20231.067 119 165 58 116 62 145 29 36 204 15 89 29
2023/2024366 20 66 22 24 23 76 22 25 7 64 10 7
2024/20251.518 74 212 140 123 402 53 148 38 20 18 78 212
2025/20263.091 162 224 364 269 500 164 397 139 622 250 0 0
Totale 11.052