CRIS Current Research Information System

GORRIERI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.423
EU - Europa 3.177
AS - Asia 2.572
SA - Sud America 151
AF - Africa 120
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.446
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.405
GB - Regno Unito 1.271
SG - Singapore 825
CN - Cina 797
IT - Italia 498
VN - Vietnam 338
DE - Germania 315
SE - Svezia 258
UA - Ucraina 224
HK - Hong Kong 203
IN - India 156
FR - Francia 146
RU - Federazione Russa 128
BR - Brasile 107
IE - Irlanda 107
TR - Turchia 80
JP - Giappone 56
ZA - Sudafrica 54
EE - Estonia 45
NL - Olanda 42
KR - Corea 38
FI - Finlandia 33
JO - Giordania 28
TG - Togo 26
SC - Seychelles 18
AR - Argentina 17
BE - Belgio 17
ID - Indonesia 17
CI - Costa d'Avorio 16
AT - Austria 13
EC - Ecuador 12
CA - Canada 11
ES - Italia 11
PL - Polonia 11
RO - Romania 9
SK - Slovacchia (Repubblica Slovacca) 9
CH - Svizzera 8
GR - Grecia 7
BD - Bangladesh 6
CO - Colombia 6
LT - Lituania 6
AL - Albania 4
CZ - Repubblica Ceca 4
HU - Ungheria 4
LB - Libano 4
MX - Messico 4
CL - Cile 3
HR - Croazia 3
IQ - Iraq 3
MO - Macao, regione amministrativa speciale della Cina 3
PY - Paraguay 3
DK - Danimarca 2
EU - Europa 2
IL - Israele 2
KE - Kenya 2
PH - Filippine 2
PK - Pakistan 2
SA - Arabia Saudita 2
TN - Tunisia 2
UZ - Uzbekistan 2
AF - Afghanistan, Repubblica islamica di 1
AZ - Azerbaigian 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
BO - Bolivia 1
DZ - Algeria 1
GT - Guatemala 1
IR - Iran 1
KW - Kuwait 1
KZ - Kazakistan 1
MA - Marocco 1
MY - Malesia 1
NI - Nicaragua 1
PA - Panama 1
TL - Timor Orientale 1
UY - Uruguay 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 9.446
Salva come PNG Salva come JPEG
Città #
Southend 1.167
Singapore 480
Fairfield 411
Santa Clara 336
Ashburn 264
Woodbridge 216
Hong Kong 203
Chandler 183
Cambridge 162
Houston 154
Wilmington 150
Jacksonville 149
Seattle 147
Princeton 133
Hefei 119
Ann Arbor 118
Dublin 107
Bologna 101
Dong Ket 101
Beijing 97
Boardman 88
Istanbul 79
Los Angeles 69
Ho Chi Minh City 65
Nanjing 62
Jinan 60
Westminster 54
Padova 52
Tokyo 49
Medford 45
Berlin 43
Buffalo 43
Redmond 37
Seoul 37
Milan 30
Hanoi 29
Amman 28
Saint Petersburg 28
Helsinki 27
San Diego 27
Lomé 26
Hebei 23
Nanchang 23
Mülheim 22
Shenyang 21
Tianjin 21
Des Moines 20
Mahé 18
Amsterdam 17
Brussels 17
Guangzhou 17
Abidjan 16
Changsha 16
Fremont 16
Rome 15
Dallas 14
Brooklyn 13
Redwood City 13
São Paulo 13
Verona 13
Taizhou 12
Nuremberg 11
Bengaluru 10
Hangzhou 10
Phoenix 10
Redondo Beach 10
Turin 10
Zhengzhou 10
Flero 9
Jiaxing 9
Ningbo 9
Norwalk 9
Biên Hòa 8
Brescia 8
Fuzhou 8
Kunming 8
Shanghai 8
Vienna 8
Warsaw 8
Da Nang 7
Dearborn 7
Florence 7
Haiphong 7
Quito 7
Taiyuan 7
Yubileyny 7
Bühl 6
Falls Church 6
Haikou 6
Lanzhou 6
London 6
Montegalda 6
Vitry-sur-Seine 6
Xi'an 6
Bern 5
Bolzano 5
Castelli Calepio 5
Chennai 5
Forlì 5
Formigine 5
Totale 6.406
Salva come PNG Salva come JPEG
Nome #
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 207
Introduction to Concurrency Theory - Transition Systems and CCS 202
An expressiveness study of priority in process calculi 193
Classification of Security Properties. Part II: Network Security 191
A Survey on Non-Interference with Petri Nets 191
Choreography and Orchestration Conformance for System Design 183
Choreography and Orchestration: A Synergic Approach for System Design 181
Towards a Formal Treatment of Secrecy against Computational Adversaries 181
Positive Non–Interference in Elementary and Trace Nets 173
Approximating Imperfect Cryptography in a Formal Model 171
A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules 171
Ugo Montanari and Concurrency Theory 166
Formal Methods for Open Object-Based Distributed Systems 165
Towards a formal framework for Choreography 161
Reasoning about interaction patterns in Choreography 160
Axiomatizing Team Equivalence for Finite-State Machines 159
Foundations of Security Analysis and Design III 158
Contrasting Malicious Applets by Modifying the Java Virtual Machine 157
SOCK : A Calculus for Service Oriented Computing 157
Web Services for E-commerce: guaranteeing security access and quality of service 156
Structural non-interference in elementary and trace nets 155
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems 154
Two Formal Approaches for Approximating Noninterference Properties 153
Interleaving vs True Concurrency: Some Instructive Security Examples 153
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 151
Foundations of Security Analysis and Design IV 149
A Process Calculus for Expressing Finite Place/Transition Petri Nets 147
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 147
Language representability of finite place/transition Petri nets 146
Foundations of Security Analysis and design II 145
An Operational Petri Net Semantics for A2CCS 145
Language representability of finite P/T nets 143
Combining Partitions in SecSpaces 142
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 142
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 140
On the Expressive Power of Global and Local Priority in Process Calculi 138
Towards Information Flow Properties for Distributed Systems 136
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 135
Security Issues in the Tuple-Space Coordination Model 134
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks 132
On the Computational Power of Brane Calculi 132
Team equivalences for finite-state machines with silent moves 128
Petri Net Security Checker: Structural Non-interference at Work 126
On the Decidability of Non Interference over Unbounded Petri Nets 126
On Intransitive Non-interference in Some Models of Concurrency 123
CCS(25,12) is Turing-complete 122
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi 119
Quantitative Information in the Tuple Space Coordination Model 119
A Formalization of Credit and Responsibility Within the GNDC Schema 118
Toward Distributed Computability Theory 117
A Study on Team Bisimulations for BPP nets 117
Verification of finite-state machines: A distributed approach 116
Automated Analysis of Timed Security: A Case Study on Web Privacy 115
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 115
Team bisimilarity, and its associated modal logic, for BPP nets 112
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets 106
A study on team bisimulation and H-team bisimulation for BPP nets 105
An algebraic theory of nondeterministic finite automata 104
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation 104
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves 104
Causal Semantics for BPP Nets with Silent Moves 99
Supporting Secure Coordination in SecSpaces 89
Syntax and Semantics of Petri Nets 86
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 75
Place Bisimilarity is Decidable, Indeed! 68
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures 56
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 54
A theory of processes with durational actions 51
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 48
Performance preorder: Ordering processes with respect to speed 45
null 45
QoS evaluation of IP telephony services: A specification language based simulation software tool 41
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 41
On Securing Real-Time Speech Transmission Over the Internet: An Experimental Study 40
Performance preorder and competitive equivalence 38
Totale 9.574
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.455
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 29.455
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021912 0 0 0 0 0 58 32 121 247 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/20261.613 162 224 364 269 500 94 0 0 0 0 0 0
Totale 9.574