CRIS Current Research Information System

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.217 0 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.408 162 224 364 269 500 164 397 139 622 305 109 153
2026/2027129 70 59 0 0 0 0 0 0 0 0 0 0
Totale 11.498