CRIS Current Research Information System

GORRIERI, ROBERTO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.140
EU - Europa 2.870
AS - Asia 1.174
AF - Africa 90
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.279
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.137
GB - Regno Unito 1.255
CN - Cina 432
IT - Italia 392
DE - Germania 298
SG - Singapore 293
SE - Svezia 256
UA - Ucraina 220
VN - Vietnam 170
IN - India 137
FR - Francia 127
IE - Irlanda 105
TR - Turchia 79
RU - Federazione Russa 75
EE - Estonia 45
ZA - Sudafrica 43
JO - Giordania 28
TG - Togo 26
FI - Finlandia 20
SC - Seychelles 18
JP - Giappone 17
BE - Belgio 16
NL - Olanda 14
AT - Austria 8
CH - Svizzera 7
GR - Grecia 5
RO - Romania 5
CZ - Repubblica Ceca 4
ID - Indonesia 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
MO - Macao, regione amministrativa speciale della Cina 3
PL - Polonia 3
EU - Europa 2
PH - Filippine 2
AR - Argentina 1
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 7.279
Salva come PNG Salva come JPEG
Città #
Southend 1.167
Fairfield 411
Santa Clara 331
Singapore 267
Ashburn 228
Woodbridge 216
Chandler 183
Cambridge 162
Houston 152
Wilmington 150
Jacksonville 149
Seattle 146
Princeton 133
Ann Arbor 118
Dublin 105
Dong Ket 101
Boardman 85
Istanbul 79
Nanjing 61
Jinan 58
Bologna 55
Westminster 54
Padova 52
Medford 45
Berlin 41
Redmond 37
Amman 28
Milan 28
Saint Petersburg 28
San Diego 27
Lomé 26
Los Angeles 25
Hebei 23
Nanchang 23
Beijing 22
Mülheim 22
Shenyang 21
Des Moines 20
Mahé 18
Helsinki 17
Brussels 16
Fremont 16
Tokyo 15
Changsha 13
Redwood City 13
Tianjin 13
Guangzhou 12
Taizhou 12
Verona 11
Rome 10
Turin 10
Flero 9
Hangzhou 9
Jiaxing 9
Ningbo 9
Norwalk 9
Fuzhou 8
Dearborn 7
Kunming 7
Nuremberg 7
Taiyuan 7
Bühl 6
Falls Church 6
Haikou 6
Montegalda 6
Shanghai 6
Vienna 6
Zhengzhou 6
Florence 5
Formigine 5
Foshan 5
Lanzhou 5
Mcallen 5
Olalla 5
Paris 5
Pisa 5
San Venanzo 5
Wenzhou 5
Bern 4
Forlì 4
Granarolo dell'Emilia e Viadagola 4
Jakarta 4
Medesano 4
Monticelli Terme 4
Novi Di Modena 4
Pascani 4
Xi'an 4
Abidjan 3
Besenello 3
Cagliari 3
Campobasso 3
Chongqing 3
Fort Worth 3
Genoa 3
Grafing 3
Harbin 3
Lappeenranta 3
Macao 3
Palazzolo 3
Pergine Valsugana 3
Totale 5.303
Salva come PNG Salva come JPEG
Nome #
An expressiveness study of priority in process calculi 168
Introduction to Concurrency Theory - Transition Systems and CCS 166
A Survey on Non-Interference with Petri Nets 163
Towards a Formal Treatment of Secrecy against Computational Adversaries 157
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference 154
Approximating Imperfect Cryptography in a Formal Model 149
A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules 149
Positive Non–Interference in Elementary and Trace Nets 148
Choreography and Orchestration Conformance for System Design 145
Classification of Security Properties. Part II: Network Security 140
Ugo Montanari and Concurrency Theory 135
Choreography and Orchestration: A Synergic Approach for System Design 134
Formal Methods for Open Object-Based Distributed Systems 132
Interleaving vs True Concurrency: Some Instructive Security Examples 132
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009 130
Two Formal Approaches for Approximating Noninterference Properties 130
Structural non-interference in elementary and trace nets 129
Axiomatizing Team Equivalence for Finite-State Machines 129
A Process Calculus for Expressing Finite Place/Transition Petri Nets 128
Foundations of Security Analysis and Design IV 124
Reasoning about interaction patterns in Choreography 122
SOCK : A Calculus for Service Oriented Computing 122
Language representability of finite P/T nets 122
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems 122
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures 121
An Operational Petri Net Semantics for A2CCS 119
Towards a formal framework for Choreography 118
Combining Partitions in SecSpaces 117
Foundations of Security Analysis and Design III 116
Language representability of finite place/transition Petri nets 116
Distributed semantics for the π-calculus based on Petri nets with inhibitor arcs 116
Web Services for E-commerce: guaranteeing security access and quality of service 115
Towards Information Flow Properties for Distributed Systems 115
On the Computational Power of Brane Calculi 115
Contrasting Malicious Applets by Modifying the Java Virtual Machine 114
On the Expressive Power of Global and Local Priority in Process Calculi 114
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model 113
Foundations of Security Analysis and design II 111
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks 108
Security Issues in the Tuple-Space Coordination Model 108
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time 107
Petri Net Security Checker: Structural Non-interference at Work 107
On Intransitive Non-interference in Some Models of Concurrency 105
A Formalization of Credit and Responsibility Within the GNDC Schema 101
A Study on Team Bisimulations for BPP nets 101
Quantitative Information in the Tuple Space Coordination Model 100
On the Decidability of Non Interference over Unbounded Petri Nets 99
CCS(25,12) is Turing-complete 98
Verification of finite-state machines: A distributed approach 97
Toward Distributed Computability Theory 97
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi 93
Automated Analysis of Timed Security: A Case Study on Web Privacy 93
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda 90
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets 84
Team equivalences for finite-state machines with silent moves 84
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation 82
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves 81
A study on team bisimulation and H-team bisimulation for BPP nets 71
Causal Semantics for BPP Nets with Silent Moves 70
Team bisimilarity, and its associated modal logic, for BPP nets 70
Supporting Secure Coordination in SecSpaces 65
Place Bisimilarity is Decidable, Indeed! 48
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 47
null 45
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures 28
A theory of processes with durational actions 27
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets 26
Performance preorder: Ordering processes with respect to speed 22
Comparing the QoS of Internet Audio Mechanisms via Formal Methods 20
Performance preorder and competitive equivalence 17
On Securing Real-Time Speech Transmission Over the Internet: An Experimental Study 17
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet 17
QoS evaluation of IP telephony services: A specification language based simulation software tool 16
Totale 7.391
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.764
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 20.764
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.312 0 0 0 0 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/2025948 74 212 140 123 399 0 0 0 0 0 0 0
Totale 7.391