TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.433
EU - Europa 4.649
AS - Asia 4.063
SA - Sud America 425
AF - Africa 191
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 8
Totale 20.784
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.081
CN - Cina 1.637
SG - Singapore 1.192
RU - Federazione Russa 1.074
IT - Italia 921
PL - Polonia 684
HK - Hong Kong 411
DE - Germania 410
BR - Brasile 343
UA - Ucraina 331
FR - Francia 304
CA - Canada 296
SE - Svezia 277
GB - Regno Unito 257
VN - Vietnam 257
FI - Finlandia 166
ZA - Sudafrica 142
KR - Corea 131
TR - Turchia 124
IE - Irlanda 67
IN - India 59
BD - Bangladesh 50
JP - Giappone 44
MX - Messico 35
PK - Pakistan 31
NL - Olanda 27
SI - Slovenia 26
AR - Argentina 25
BE - Belgio 24
IQ - Iraq 22
DZ - Algeria 17
VE - Venezuela 17
MA - Marocco 13
EU - Europa 12
MY - Malesia 12
CH - Svizzera 11
ES - Italia 11
ID - Indonesia 10
IL - Israele 10
AE - Emirati Arabi Uniti 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
PS - Palestinian Territory 6
BG - Bulgaria 5
CL - Cile 5
CR - Costa Rica 5
CZ - Repubblica Ceca 5
EG - Egitto 5
IR - Iran 5
LV - Lettonia 5
NP - Nepal 5
AU - Australia 4
BO - Bolivia 4
DO - Repubblica Dominicana 4
ET - Etiopia 4
MK - Macedonia 4
PE - Perù 4
RO - Romania 4
TH - Thailandia 4
A2 - ???statistics.table.value.countryCode.A2??? 3
GR - Grecia 3
HU - Ungheria 3
JM - Giamaica 3
JO - Giordania 3
KE - Kenya 3
KZ - Kazakistan 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
HN - Honduras 2
KG - Kirghizistan 2
LK - Sri Lanka 2
ME - Montenegro 2
NG - Nigeria 2
NO - Norvegia 2
NZ - Nuova Zelanda 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 20.778
Salva come PNG Salva come JPEG
Città #
Fairfield 1.255
Ashburn 1.020
Woodbridge 943
Jacksonville 769
Houston 673
Singapore 594
Seattle 570
Warsaw 507
San Jose 503
Chandler 484
Wilmington 476
Cambridge 445
Ann Arbor 429
Hong Kong 407
Boardman 333
Beijing 264
Nanjing 216
Toronto 196
Council Bluffs 179
Kraków 171
Los Angeles 171
The Dalles 149
Camerino 137
Johannesburg 136
Seoul 129
New York 124
Tongling 111
Princeton 110
Lawrence 109
Columbus 105
Bremen 104
San Mateo 102
Istanbul 94
Dallas 86
Nanchang 86
Ho Chi Minh City 84
Lauterbourg 83
Ogden 81
Helsinki 77
Dearborn 73
Buffalo 72
Shanghai 72
London 66
San Diego 64
Chicago 63
Dublin 63
Moscow 60
Guangzhou 54
Hanoi 52
Milan 47
São Paulo 47
Lachine 45
Shenyang 45
Jiaxing 43
Kunming 43
Santa Clara 42
Rome 40
Düsseldorf 39
Centro 38
Orem 38
Tianjin 38
Tokyo 38
Dong Ket 35
Hebei 31
Venezia 30
Memphis 29
Trieste 29
Munich 27
Brooklyn 26
Hangzhou 25
Brussels 24
Philadelphia 24
Wuhan 24
Frankfurt am Main 23
Chennai 22
Montreal 22
Denver 21
Hefei 20
Jinan 20
Phoenix 20
Stockholm 20
Changsha 18
Mexico City 17
Atlanta 16
Florence 16
Kocaeli 16
Poplar 16
Lappeenranta 15
Manchester 15
Orange 14
San Francisco 14
Ancona 13
Bologna 13
Lanzhou 13
Nereto 13
Verona 13
Zhengzhou 13
Lainate 12
Salt Lake City 12
Da Nang 11
Totale 14.436
Salva come PNG Salva come JPEG
Nome #
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 337
Reversible session-based pi-calculus 298
Blind-date conversation joining 288
On Avoiding Erroneous Synchronization in BPMN Processes 283
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 283
Domain-specific queries and Web search personalization: some investigations 276
On Properties of Policy-Based Specifications 268
Checking Business Process Correctness in Apromore 256
An Operational Semantics of BPMN Collaboration 253
A Formal Approach to Modelling and Verification of Business Process Collaborations 253
A Calculus for Orchestration of Web Services 243
A standard-driven communication protocol for disconnected clinics in rural areas 239
BProVe: a Formal Verification Framework for Business Process Models 238
A Formal Approach to Autonomic Systems Programming: The SCEL Language 237
A Calculus for Orchestration of Web Services 229
A logical verification methodology for service-oriented computing 224
Formalisation and Implementation of the XACML Access Control Mechanism 224
Special issue on Automated Specification and Verification of Web Systems 221
A Model Checking Approach for Verifying COWS Specifications 218
Regulating Data Exchange in Service Oriented Applications 213
A language-based approach to modelling and analysis of Twitter interactions 211
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 206
A formalized framework for mobile cloud computing 205
A Symbolic Semantics for a Calculus for Service-Oriented Computing 202
Towards model-driven development of access control policies for web applications 201
Correctness of Service Components and Service Component Ensembles 201
Service Clustering for Autonomic Clouds Using Random Forest 199
Decision Support for Mobile Cloud Computing Applications via Model Checking 199
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 196
Using formal methods to develop WS-BPEL applications 191
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 190
Formalising Adaptation Patterns for Autonomic Ensembles 190
Programming Autonomic Systems with Multiple Constraint Stores 190
Towards a Formal Approach to Mobile Cloud Computing 188
Specifying and Analysing SOC Applications with COWS 188
Causal-consistent rollback in a tuple-based language 188
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 187
A Formal Account of WS-BPEL 187
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 186
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 186
Reversing Single Sessions 186
Modeling adaptation with Klaim 185
A WSDL-based type system for asynchronous WS-BPEL processes 185
Network-Aware Evaluation Environment for Reputation Systems 184
A WSDL-based type system for WS-BPEL 183
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 178
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 174
Reputation-based Composition of Social Web Services 174
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 173
X-Klaim Is Back 172
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 171
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 170
Trust-Based Enforcement of Security Policies 169
Specifying and analysing reputation systems with a coordination language 168
The Sensoria Approach Applied to the Finance Case Study 168
From Architectural to Behavioural Specification of Services 166
TAPAs: A Tool for the Analysis of Process Algebras 163
Towards Reversible Sessions 162
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 161
Causal-Consistent Reversibility in a Tuple-Based Language 161
BProVe: Tool Support for Business Process Verification 161
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 160
An Accessible Verification Environment for UML Models of Services 160
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 160
A tool for rapid development of WS-BPEL applications 160
Orchestrating Tuple-Based Languages 159
On Observing Dynamic Prioritised Actions in SOC 159
Modeling adaptation with a tuple-based coordination language 159
Reputation-Based Cooperation in the Clouds 157
Analysis of Ethereum Smart Contracts and Opcodes 156
Towards a Formal Verification Methodology for Collective Robotic Systems 155
A tool for rapid development of WS-BPEL applications 155
Blind-date Conversation Joining 153
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 150
null 150
null 149
Service Discovery and Negotiation with COWS 148
Runtime  Computation of  Optimal Offloading Scheduling  148
null 144
Verification of privacy-enhanced collaborations 142
null 141
A BPMN-Based Approach for IoT Systems Engineering 140
null 140
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 138
null 138
Disciplined use of BPMN for mission modeling of Multi-Robot Systems 136
The Autonomic Cloud 133
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 133
A calculus for attribute-based communication 132
null 130
A Methodology for the Analysis of Robotic Systems via Process Mining 129
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 125
Dynamic SLAs for Clouds 125
ChorChain: A model-driven framework for choreography-based systems using blockchain 125
Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice 122
A formal approach to the engineering of domain-specific distributed systems 122
PALM: A Technique for Process ALgebraic Specification Mining 122
null 121
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 120
null 120
Totale 18.102
Salva come PNG Salva come JPEG
Categoria #
all - tutte 91.813
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 91.813
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021191 0 0 0 0 0 0 0 0 0 0 0 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.860 358 309 420 750 486 341 830 376 190 275 443 82
Totale 21.141