TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.050
EU - Europa 4.618
AS - Asia 3.882
SA - Sud America 422
AF - Africa 191
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 8
Totale 20.186
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.720
CN - Cina 1.561
SG - Singapore 1.136
RU - Federazione Russa 1.074
IT - Italia 900
PL - Polonia 684
DE - Germania 408
HK - Hong Kong 407
BR - Brasile 341
UA - Ucraina 328
FR - Francia 304
CA - Canada 281
SE - Svezia 277
GB - Regno Unito 256
VN - Vietnam 254
FI - Finlandia 166
ZA - Sudafrica 142
KR - Corea 129
TR - Turchia 124
IE - Irlanda 67
IN - India 59
JP - Giappone 42
MX - Messico 33
PK - Pakistan 31
BD - Bangladesh 26
SI - Slovenia 26
AR - Argentina 25
BE - Belgio 24
NL - Olanda 24
IQ - Iraq 22
DZ - Algeria 17
VE - Venezuela 16
MA - Marocco 13
EU - Europa 12
ES - Italia 11
CH - Svizzera 10
ID - Indonesia 10
IL - Israele 10
AE - Emirati Arabi Uniti 8
AT - Austria 8
CO - Colombia 8
EC - Ecuador 8
UZ - Uzbekistan 8
LT - Lituania 7
PY - Paraguay 7
SA - Arabia Saudita 7
AZ - Azerbaigian 6
PS - Palestinian Territory 6
BG - Bulgaria 5
CL - Cile 5
CZ - Repubblica Ceca 5
EG - Egitto 5
IR - Iran 5
LV - Lettonia 5
AU - Australia 4
BO - Bolivia 4
CR - Costa Rica 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
MK - Macedonia 4
MY - Malesia 4
PE - Perù 4
RO - Romania 4
A2 - ???statistics.table.value.countryCode.A2??? 3
GR - Grecia 3
HU - Ungheria 3
JO - Giordania 3
KE - Kenya 3
KZ - Kazakistan 3
SK - Slovacchia (Repubblica Slovacca) 3
SY - Repubblica araba siriana 3
TH - Thailandia 3
TN - Tunisia 3
AM - Armenia 2
BN - Brunei Darussalam 2
DK - Danimarca 2
KG - Kirghizistan 2
LK - Sri Lanka 2
ME - Montenegro 2
NG - Nigeria 2
NO - Norvegia 2
NP - Nepal 2
NZ - Nuova Zelanda 2
PA - Panama 2
PH - Filippine 2
RS - Serbia 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AL - Albania 1
BW - Botswana 1
BY - Bielorussia 1
GD - Grenada 1
GE - Georgia 1
GP - Guadalupe 1
GY - Guiana 1
HN - Honduras 1
IS - Islanda 1
JM - Giamaica 1
KW - Kuwait 1
MD - Moldavia 1
Totale 20.181
Salva come PNG Salva come JPEG
Città #
Fairfield 1.255
Ashburn 1.008
Woodbridge 943
Jacksonville 768
Houston 672
Singapore 593
Seattle 570
Warsaw 507
Chandler 484
Wilmington 476
San Jose 465
Cambridge 445
Ann Arbor 429
Hong Kong 403
Boardman 333
Beijing 261
Nanjing 216
Toronto 194
Kraków 171
Los Angeles 166
The Dalles 149
Camerino 137
Johannesburg 136
Seoul 129
New York 118
Tongling 111
Princeton 110
Lawrence 109
Columbus 105
Bremen 104
San Mateo 102
Istanbul 94
Nanchang 86
Ho Chi Minh City 84
Lauterbourg 83
Ogden 81
Dallas 80
Helsinki 77
Dearborn 73
Buffalo 71
Shanghai 71
London 66
San Diego 64
Dublin 63
Chicago 61
Moscow 60
Guangzhou 53
Hanoi 51
Milan 47
São Paulo 47
Lachine 45
Shenyang 45
Jiaxing 43
Kunming 43
Düsseldorf 39
Rome 39
Centro 38
Tianjin 38
Tokyo 38
Orem 37
Dong Ket 35
Council Bluffs 33
Hebei 31
Santa Clara 31
Venezia 30
Trieste 29
Brooklyn 26
Munich 26
Brussels 24
Frankfurt am Main 23
Chennai 22
Montreal 22
Philadelphia 22
Wuhan 22
Hangzhou 21
Jinan 20
Stockholm 20
Hefei 19
Phoenix 19
Denver 18
Florence 16
Kocaeli 16
Poplar 16
Atlanta 15
Changsha 15
Lappeenranta 15
Manchester 15
Mexico City 15
Orange 14
San Francisco 14
Lanzhou 13
Nereto 13
Verona 13
Zhengzhou 13
Ancona 12
Lainate 12
Salt Lake City 12
Bologna 11
Da Nang 11
Amsterdam 10
Totale 14.150
Salva come PNG Salva come JPEG
Nome #
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 331
Reversible session-based pi-calculus 291
Blind-date conversation joining 285
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 282
On Avoiding Erroneous Synchronization in BPMN Processes 280
Domain-specific queries and Web search personalization: some investigations 272
On Properties of Policy-Based Specifications 268
Checking Business Process Correctness in Apromore 254
A Formal Approach to Modelling and Verification of Business Process Collaborations 253
An Operational Semantics of BPMN Collaboration 249
A standard-driven communication protocol for disconnected clinics in rural areas 238
BProVe: a Formal Verification Framework for Business Process Models 232
A Formal Approach to Autonomic Systems Programming: The SCEL Language 229
A Calculus for Orchestration of Web Services 223
A Calculus for Orchestration of Web Services 223
Formalisation and Implementation of the XACML Access Control Mechanism 220
A logical verification methodology for service-oriented computing 219
Special issue on Automated Specification and Verification of Web Systems 214
A Model Checking Approach for Verifying COWS Specifications 210
Regulating Data Exchange in Service Oriented Applications 208
A language-based approach to modelling and analysis of Twitter interactions 208
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 202
A Symbolic Semantics for a Calculus for Service-Oriented Computing 201
A formalized framework for mobile cloud computing 200
Decision Support for Mobile Cloud Computing Applications via Model Checking 199
Correctness of Service Components and Service Component Ensembles 198
Towards model-driven development of access control policies for web applications 197
Service Clustering for Autonomic Clouds Using Random Forest 195
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 193
Formalising Adaptation Patterns for Autonomic Ensembles 189
Towards a Formal Approach to Mobile Cloud Computing 188
Programming Autonomic Systems with Multiple Constraint Stores 186
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 185
Specifying and Analysing SOC Applications with COWS 185
A WSDL-based type system for asynchronous WS-BPEL processes 185
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 183
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 183
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 183
Reversing Single Sessions 183
A WSDL-based type system for WS-BPEL 182
Modeling adaptation with Klaim 182
Causal-consistent rollback in a tuple-based language 182
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 172
A Formal Account of WS-BPEL 171
X-Klaim Is Back 171
Reputation-based Composition of Social Web Services 170
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 168
The Sensoria Approach Applied to the Finance Case Study 167
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 167
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 166
Trust-Based Enforcement of Security Policies 166
Specifying and analysing reputation systems with a coordination language 165
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 165
TAPAs: A Tool for the Analysis of Process Algebras 163
From Architectural to Behavioural Specification of Services 163
Towards Reversible Sessions 162
Orchestrating Tuple-Based Languages 158
On Observing Dynamic Prioritised Actions in SOC 158
A tool for rapid development of WS-BPEL applications 158
Causal-Consistent Reversibility in a Tuple-Based Language 158
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 157
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 157
Using formal methods to develop WS-BPEL applications 157
Reputation-Based Cooperation in the Clouds 156
Modeling adaptation with a tuple-based coordination language 156
An Accessible Verification Environment for UML Models of Services 155
Towards a Formal Verification Methodology for Collective Robotic Systems 155
Network-Aware Evaluation Environment for Reputation Systems 153
BProVe: Tool Support for Business Process Verification 153
Analysis of Ethereum Smart Contracts and Opcodes 152
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 151
Blind-date Conversation Joining 150
A tool for rapid development of WS-BPEL applications 150
null 150
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 149
null 149
Runtime  Computation of  Optimal Offloading Scheduling  147
Service Discovery and Negotiation with COWS 145
null 144
null 141
null 140
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 138
null 138
Verification of privacy-enhanced collaborations 135
The Autonomic Cloud 131
A calculus for attribute-based communication 131
null 130
A BPMN-Based Approach for IoT Systems Engineering 125
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 125
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 125
ChorChain: A model-driven framework for choreography-based systems using blockchain 123
null 121
Disciplined use of BPMN for mission modeling of Multi-Robot Systems 121
Dynamic SLAs for Clouds 120
null 120
Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice 119
A formal approach to the engineering of domain-specific distributed systems 119
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 115
Automata-Based Behavioural Contracts with Action Correlation 115
A Technique for Collaboration Discovery 114
Totale 17.670
Salva come PNG Salva come JPEG
Categoria #
all - tutte 87.558
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 87.558
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021608 0 0 0 0 0 0 0 0 0 106 311 191
2021/20221.295 90 265 43 29 105 85 41 84 122 132 161 138
2022/20231.436 130 16 82 180 248 204 12 91 251 72 107 43
2023/20241.082 168 64 84 22 60 122 46 75 125 44 30 242
2024/20253.494 206 64 293 203 81 194 325 911 191 263 234 529
2025/20264.262 358 309 420 750 486 341 830 376 190 202 0 0
Totale 20.543