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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.205 0 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.072 168 64 84 22 60 122 46 71 125 40 28 242
2024/20253.449 202 61 291 200 79 193 319 898 190 260 233 523
2025/20264.895 351 305 417 747 486 341 830 376 190 275 443 134
2026/2027486 374 112 0 0 0 0 0 0 0 0 0 0
Totale 21.607