CRIS Current Research Information System

GORRIERI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.965
AS - Asia 3.483
EU - Europa 3.376
SA - Sud America 186
AF - Africa 138
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 1
Totale 11.152
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.924
GB - Regno Unito 1.284
CN - Cina 973
SG - Singapore 942
VN - Vietnam 756
IT - Italia 565
DE - Germania 330
SE - Svezia 258
FR - Francia 225
UA - Ucraina 225
HK - Hong Kong 221
IN - India 175
BR - Brasile 129
RU - Federazione Russa 128
IE - Irlanda 107
TR - Turchia 84
JP - Giappone 80
ZA - Sudafrica 57
NL - Olanda 50
KR - Corea 49
BD - Bangladesh 45
EE - Estonia 45
FI - Finlandia 40
CA - Canada 28
JO - Giordania 28
TG - Togo 26
PH - Filippine 25
AR - Argentina 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
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
MX - Messico 7
LT - Lituania 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
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
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
CR - Costa Rica 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
MN - Mongolia 1
NI - Nicaragua 1
PA - Panama 1
TL - Timor Orientale 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 11.152
Salva come PNG Salva come JPEG
Città #
Southend 1.167
Singapore 573
Fairfield 411
Santa Clara 339
Ashburn 311
San Jose 242
Woodbridge 216
Hong Kong 213
Chandler 183
Cambridge 162
Houston 157
Ho Chi Minh City 154
Jacksonville 150
Wilmington 150
Seattle 148
Hanoi 145
Princeton 133
Hefei 120
Ann Arbor 118
Bologna 118
Dublin 107
Dong Ket 101
Beijing 99
Boardman 93
Istanbul 79
Los Angeles 79
Lauterbourg 66
Tokyo 64
Nanjing 63
Jinan 61
Westminster 54
Padova 52
Buffalo 48
Medford 45
Berlin 43
Redmond 37
Seoul 37
Milan 36
Helsinki 34
Da Nang 29
Amman 28
Guangzhou 28
Saint Petersburg 28
New York 27
San Diego 27
Lomé 26
Amsterdam 23
Hebei 23
Nanchang 23
Tianjin 23
Mülheim 22
Des Moines 21
Shenyang 21
Dallas 20
São Paulo 19
Brussels 18
Changsha 18
Hangzhou 18
Mahé 18
Rome 18
Abidjan 17
Haiphong 17
Fremont 16
Brooklyn 15
Phoenix 14
The Dalles 14
Council Bluffs 13
Redwood City 13
Verona 13
Nuremberg 12
Paris 12
Taizhou 12
Atlanta 11
Brescia 11
Montreal 11
Shanghai 11
Turin 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
Vienna 8
Bangkok 7
Dearborn 7
Quito 7
Totale 7.311
Salva come PNG Salva come JPEG
Nome #
Introduction to Concurrency Theory - Transition Systems and CCS 245
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 215
An expressiveness study of priority in process calculi 210
Choreography and Orchestration Conformance for System Design 205
Choreography and Orchestration: A Synergic Approach for System Design 200
Towards a Formal Treatment of Secrecy against Computational Adversaries 196
Approximating Imperfect Cryptography in a Formal Model 194
An Operational Petri Net Semantics for A2CCS 190
Structural non-interference in elementary and trace nets 189
Positive Non–Interference in Elementary and Trace Nets 186
Language representability of finite place/transition Petri nets 183
Foundations of Security Analysis and Design III 182
A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules 182
Towards a formal framework for Choreography 181
Formal Methods for Open Object-Based Distributed Systems 179
Combining Partitions in SecSpaces 179
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems 178
Axiomatizing Team Equivalence for Finite-State Machines 178
Web Services for E-commerce: guaranteeing security access and quality of service 177
Reasoning about interaction patterns in Choreography 177
Foundations of Security Analysis and Design IV 177
Interleaving vs True Concurrency: Some Instructive Security Examples 176
Two Formal Approaches for Approximating Noninterference Properties 175
Ugo Montanari and Concurrency Theory 174
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 174
SOCK : A Calculus for Service Oriented Computing 173
Foundations of Security Analysis and design II 168
Team equivalences for finite-state machines with silent moves 168
Team bisimilarity, and its associated modal logic, for BPP nets 168
Contrasting Malicious Applets by Modifying the Java Virtual Machine 167
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 166
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 164
Language representability of finite P/T nets 162
A Process Calculus for Expressing Finite Place/Transition Petri Nets 161
On the Computational Power of Brane Calculi 160
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 159
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 159
On the Expressive Power of Global and Local Priority in Process Calculi 159
Towards Information Flow Properties for Distributed Systems 154
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks 153
Syntax and Semantics of Petri Nets 150
On the Decidability of Non Interference over Unbounded Petri Nets 150
An algebraic theory of nondeterministic finite automata 149
Security Issues in the Tuple-Space Coordination Model 149
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi 146
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 146
Petri Net Security Checker: Structural Non-interference at Work 145
CCS(25,12) is Turing-complete 145
Quantitative Information in the Tuple Space Coordination Model 143
A Study on Team Bisimulations for BPP nets 143
Verification of finite-state machines: A distributed approach 139
A study on team bisimulation and H-team bisimulation for BPP nets 139
On Intransitive Non-interference in Some Models of Concurrency 138
Causal Semantics for BPP Nets with Silent Moves 137
Toward Distributed Computability Theory 129
Automated Analysis of Timed Security: A Case Study on Web Privacy 128
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation 126
A Formalization of Credit and Responsibility Within the GNDC Schema 125
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves 122
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets 117
Supporting Secure Coordination in SecSpaces 105
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 102
Place Bisimilarity is Decidable, Indeed! 98
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures 80
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 80
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 68
A theory of processes with durational actions 66
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 65
QoS evaluation of IP telephony services: A specification language based simulation software tool 63
Performance preorder: Ordering processes with respect to speed 58
Performance preorder and competitive equivalence 56
On Securing Real-Time Speech Transmission Over the Internet: An Experimental Study 53
null 45
Totale 11.284
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.459
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 33.459
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021264 0 0 0 0 0 0 0 0 0 0 0 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.323 162 224 364 269 500 164 397 139 622 305 109 68
Totale 11.284