CRIS Current Research Information System

GORRIERI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.814
NA - Nord America 2.651
AS - Asia 774
AF - Africa 90
Continente sconosciuto - Info sul continente non disponibili 2
SA - Sud America 2
Totale 6.333
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.648
GB - Regno Unito 1.254
IT - Italia 356
CN - Cina 326
DE - Germania 289
SE - Svezia 256
UA - Ucraina 220
VN - Vietnam 170
IN - India 136
FR - Francia 125
IE - Irlanda 105
TR - Turchia 79
RU - Federazione Russa 75
EE - Estonia 45
ZA - Sudafrica 43
JO - Giordania 28
TG - Togo 26
SC - Seychelles 18
FI - Finlandia 17
JP - Giappone 17
BE - Belgio 16
NL - Olanda 12
CH - Svizzera 7
AT - Austria 5
GR - Grecia 5
RO - Romania 5
SG - Singapore 5
CZ - Repubblica Ceca 4
LB - Libano 4
SK - Slovacchia (Repubblica Slovacca) 4
AL - Albania 3
CA - Canada 3
CI - Costa d'Avorio 3
ES - Italia 3
HR - Croazia 3
PL - Polonia 3
EU - Europa 2
MO - Macao, regione amministrativa speciale della Cina 2
PH - Filippine 2
BR - Brasile 1
DK - Danimarca 1
EC - Ecuador 1
HU - Ungheria 1
IL - Israele 1
IR - Iran 1
KR - Corea 1
SA - Arabia Saudita 1
UZ - Uzbekistan 1
Totale 6.333
Salva come PNG Salva come JPEG
Città #
Southend 1.167
Fairfield 411
Ashburn 221
Woodbridge 216
Chandler 183
Cambridge 162
Houston 152
Wilmington 150
Jacksonville 149
Seattle 146
Princeton 133
Ann Arbor 118
Dublin 105
Dong Ket 101
Istanbul 79
Nanjing 60
Westminster 54
Jinan 53
Padova 52
Bologna 47
Medford 45
Berlin 41
Redmond 37
Amman 28
Saint Petersburg 28
San Diego 27
Lomé 26
Hebei 23
Nanchang 23
Los Angeles 22
Milan 22
Mülheim 22
Shenyang 21
Des Moines 20
Beijing 18
Mahé 18
Brussels 16
Fremont 16
Helsinki 15
Tokyo 15
Boardman 13
Changsha 13
Redwood City 13
Tianjin 12
Taizhou 11
Verona 11
Rome 10
Turin 10
Flero 9
Hangzhou 9
Norwalk 9
Jiaxing 8
Dearborn 7
Guangzhou 7
Kunming 7
Ningbo 7
Taiyuan 7
Bühl 6
Falls Church 6
Fuzhou 6
Haikou 6
Zhengzhou 6
Formigine 5
Lanzhou 5
Mcallen 5
Olalla 5
Paris 5
San Venanzo 5
Singapore 5
Vienna 5
Bern 4
Forlì 4
Granarolo dell'Emilia e Viadagola 4
Medesano 4
Monticelli Terme 4
Novi Di Modena 4
Pascani 4
Abidjan 3
Besenello 3
Cagliari 3
Campobasso 3
Genoa 3
Grafing 3
Nuremberg 3
Palazzolo 3
Pergine Valsugana 3
Pisa 3
Santa Rosa 3
Segrate 3
Valbonne 3
Augusta 2
Basiliano 2
Bayside 2
Bolzano 2
Brescia 2
Buffalo 2
Carpaneto Piacentino 2
Casalecchio di Reno 2
Ferrara 2
Grumolo delle Abbadesse 2
Totale 4.562
Salva come PNG Salva come JPEG
Nome #
An expressiveness study of priority in process calculi 156
A Survey on Non-Interference with Petri Nets 148
Introduction to Concurrency Theory - Transition Systems and CCS 147
Towards a Formal Treatment of Secrecy against Computational Adversaries 145
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 143
Approximating Imperfect Cryptography in a Formal Model 141
A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules 136
Positive Non–Interference in Elementary and Trace Nets 134
Classification of Security Properties. Part II: Network Security 133
Choreography and Orchestration Conformance for System Design 131
Ugo Montanari and Concurrency Theory 124
Formal Methods for Open Object-Based Distributed Systems 123
Interleaving vs True Concurrency: Some Instructive Security Examples 122
Choreography and Orchestration: A Synergic Approach for System Design 120
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 120
Two Formal Approaches for Approximating Noninterference Properties 118
Axiomatizing Team Equivalence for Finite-State Machines 117
A Process Calculus for Expressing Finite Place/Transition Petri Nets 116
Structural non-interference in elementary and trace nets 111
Foundations of Security Analysis and Design IV 111
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems 109
Towards a formal framework for Choreography 108
Combining Partitions in SecSpaces 108
An Operational Petri Net Semantics for A2CCS 107
Foundations of Security Analysis and Design III 106
Contrasting Malicious Applets by Modifying the Java Virtual Machine 106
Language representability of finite place/transition Petri nets 106
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 106
Language representability of finite P/T nets 105
Towards Information Flow Properties for Distributed Systems 103
On the Computational Power of Brane Calculi 103
Web Services for E-commerce: guaranteeing security access and quality of service 102
Reasoning about interaction patterns in Choreography 101
Foundations of Security Analysis and design II 100
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks 99
Security Issues in the Tuple-Space Coordination Model 99
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 99
SOCK : A Calculus for Service Oriented Computing 98
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 95
On the Expressive Power of Global and Local Priority in Process Calculi 94
On Intransitive Non-interference in Some Models of Concurrency 93
A Formalization of Credit and Responsibility Within the GNDC Schema 92
A Study on Team Bisimulations for BPP nets 90
On the Decidability of Non Interference over Unbounded Petri Nets 88
Petri Net Security Checker: Structural Non-interference at Work 87
Quantitative Information in the Tuple Space Coordination Model 86
Verification of finite-state machines: A distributed approach 85
Toward Distributed Computability Theory 85
CCS(25,12) is Turing-complete 84
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 82
Automated Analysis of Timed Security: A Case Study on Web Privacy 82
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 81
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi 78
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets 75
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves 70
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation 62
Team equivalences for finite-state machines with silent moves 60
Team bisimilarity, and its associated modal logic, for BPP nets 57
A study on team bisimulation and H-team bisimulation for BPP nets 56
Causal Semantics for BPP Nets with Silent Moves 55
Supporting Secure Coordination in SecSpaces 50
null 45
Place Bisimilarity is Decidable, Indeed! 38
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 33
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures 15
A theory of processes with durational actions 15
Performance preorder: Ordering processes with respect to speed 12
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 10
On Securing Real-Time Speech Transmission Over the Internet: An Experimental Study 7
QoS evaluation of IP telephony services: A specification language based simulation software tool 7
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 7
Performance preorder and competitive equivalence 4
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 4
Totale 6.445
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.346
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 17.346
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.720 246 36 29 97 142 160 217 237 207 128 66 155
2020/20211.357 221 71 39 77 37 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/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 6.445