TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.348
EU - Europa 4.407
AS - Asia 3.299
SA - Sud America 389
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 8
Totale 18.511
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.030
CN - Cina 1.470
RU - Federazione Russa 1.073
SG - Singapore 911
IT - Italia 838
PL - Polonia 682
DE - Germania 388
HK - Hong Kong 359
BR - Brasile 328
UA - Ucraina 328
CA - Canada 279
SE - Svezia 276
GB - Regno Unito 243
FR - Francia 212
FI - Finlandia 163
KR - Corea 129
TR - Turchia 124
VN - Vietnam 105
IE - Irlanda 64
IN - India 47
JP - Giappone 29
BE - Belgio 26
MX - Messico 26
SI - Slovenia 26
PK - Pakistan 25
AR - Argentina 23
BD - Bangladesh 19
NL - Olanda 19
DZ - Algeria 16
ZA - Sudafrica 16
IQ - Iraq 15
EU - Europa 12
VE - Venezuela 11
ES - Italia 9
IL - Israele 9
AE - Emirati Arabi Uniti 8
EC - Ecuador 7
ID - Indonesia 7
AT - Austria 6
CH - Svizzera 6
CZ - Repubblica Ceca 6
LT - Lituania 6
AZ - Azerbaigian 5
BG - Bulgaria 5
IR - Iran 5
LV - Lettonia 5
PY - Paraguay 5
UZ - Uzbekistan 5
AU - Australia 4
CO - Colombia 4
CR - Costa Rica 4
MK - Macedonia 4
PE - Perù 4
RO - Romania 4
A2 - ???statistics.table.value.countryCode.A2??? 3
BO - Bolivia 3
DK - Danimarca 3
ET - Etiopia 3
HU - Ungheria 3
JO - Giordania 3
KZ - Kazakistan 3
MA - Marocco 3
SA - Arabia Saudita 3
TH - Thailandia 3
AM - Armenia 2
BN - Brunei Darussalam 2
CL - Cile 2
DO - Repubblica Dominicana 2
EG - Egitto 2
KE - Kenya 2
KG - Kirghizistan 2
LK - Sri Lanka 2
ME - Montenegro 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
PA - Panama 2
PS - Palestinian Territory 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
AL - Albania 1
BW - Botswana 1
BY - Bielorussia 1
GD - Grenada 1
GP - Guadalupe 1
GR - Grecia 1
GY - Guiana 1
HN - Honduras 1
IS - Islanda 1
JM - Giamaica 1
MY - Malesia 1
NG - Nigeria 1
OM - Oman 1
PG - Papua Nuova Guinea 1
PH - Filippine 1
PW - Palau 1
SR - Suriname 1
TT - Trinidad e Tobago 1
UG - Uganda 1
Totale 18.511
Salva come PNG Salva come JPEG
Città #
Fairfield 1.255
Woodbridge 943
Ashburn 911
Jacksonville 768
Houston 672
Seattle 569
Warsaw 506
Chandler 484
Wilmington 476
Cambridge 445
Ann Arbor 429
Singapore 392
Hong Kong 357
Boardman 332
Beijing 251
Nanjing 216
Toronto 194
Kraków 171
Los Angeles 165
The Dalles 143
Camerino 137
Seoul 129
New York 115
Tongling 111
Princeton 110
Lawrence 109
Columbus 105
Bremen 104
San Mateo 102
Istanbul 94
Nanchang 86
Ogden 81
Dallas 80
Helsinki 75
Dearborn 73
Buffalo 70
Shanghai 69
London 65
San Diego 64
Dublin 60
Moscow 60
Chicago 55
Guangzhou 50
Milan 46
Lachine 45
Shenyang 45
São Paulo 44
Jiaxing 43
Kunming 43
Düsseldorf 39
Centro 38
Tianjin 38
Rome 37
Dong Ket 35
Hebei 31
Venezia 30
Munich 27
Brooklyn 26
Brussels 26
Ho Chi Minh City 26
Tokyo 25
Montreal 23
Orem 23
Council Bluffs 22
Santa Clara 22
Wuhan 22
Hangzhou 21
Jinan 20
Philadelphia 20
Stockholm 20
Hefei 19
Denver 18
Chennai 17
Hanoi 17
Phoenix 17
Kocaeli 16
Poplar 16
Changsha 15
Atlanta 14
Florence 14
Lappeenranta 14
Orange 14
San Francisco 14
Lanzhou 13
Mexico City 13
Nereto 13
Verona 13
Zhengzhou 13
Ancona 12
Johannesburg 12
Lainate 12
Manchester 12
Bologna 11
Auburn Hills 10
Belo Horizonte 10
Elk Grove Village 10
Hounslow 10
Indiana 10
Redondo Beach 10
Rubano 10
Totale 12.919
Salva come PNG Salva come JPEG
Nome #
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 287
Reversible session-based pi-calculus 277
On Avoiding Erroneous Synchronization in BPMN Processes 272
Domain-specific queries and Web search personalization: some investigations 264
Blind-date conversation joining 263
On Properties of Policy-Based Specifications 259
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 253
Checking Business Process Correctness in Apromore 235
An Operational Semantics of BPMN Collaboration 229
A standard-driven communication protocol for disconnected clinics in rural areas 226
A Formal Approach to Modelling and Verification of Business Process Collaborations 217
A Formal Approach to Autonomic Systems Programming: The SCEL Language 214
A Calculus for Orchestration of Web Services 206
Formalisation and Implementation of the XACML Access Control Mechanism 205
A Calculus for Orchestration of Web Services 203
A logical verification methodology for service-oriented computing 202
Special issue on Automated Specification and Verification of Web Systems 200
BProVe: a Formal Verification Framework for Business Process Models 198
Regulating Data Exchange in Service Oriented Applications 196
A language-based approach to modelling and analysis of Twitter interactions 196
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 191
Decision Support for Mobile Cloud Computing Applications via Model Checking 190
A Model Checking Approach for Verifying COWS Specifications 187
Service Clustering for Autonomic Clouds Using Random Forest 187
Correctness of Service Components and Service Component Ensembles 186
A Symbolic Semantics for a Calculus for Service-Oriented Computing 184
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 182
A formalized framework for mobile cloud computing 181
Specifying and Analysing SOC Applications with COWS 178
Towards a Formal Approach to Mobile Cloud Computing 177
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 176
Reversing Single Sessions 176
A WSDL-based type system for asynchronous WS-BPEL processes 176
Formalising Adaptation Patterns for Autonomic Ensembles 175
Modeling adaptation with Klaim 175
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 174
Towards model-driven development of access control policies for web applications 174
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 174
A WSDL-based type system for WS-BPEL 172
Causal-consistent rollback in a tuple-based language 170
Programming Autonomic Systems with Multiple Constraint Stores 169
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 166
Reputation-based Composition of Social Web Services 160
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 160
Trust-Based Enforcement of Security Policies 160
The Sensoria Approach Applied to the Finance Case Study 159
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 158
Specifying and analysing reputation systems with a coordination language 157
Towards Reversible Sessions 156
A Formal Account of WS-BPEL 155
From Architectural to Behavioural Specification of Services 153
On Observing Dynamic Prioritised Actions in SOC 151
Causal-Consistent Reversibility in a Tuple-Based Language 151
X-Klaim Is Back 151
TAPAs: A Tool for the Analysis of Process Algebras 150
null 150
Orchestrating Tuple-Based Languages 149
A tool for rapid development of WS-BPEL applications 149
null 149
Using formal methods to develop WS-BPEL applications 149
Reputation-Based Cooperation in the Clouds 148
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 147
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 147
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 147
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 147
Towards a Formal Verification Methodology for Collective Robotic Systems 146
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 146
Network-Aware Evaluation Environment for Reputation Systems 145
An Accessible Verification Environment for UML Models of Services 145
null 144
Blind-date Conversation Joining 143
Modeling adaptation with a tuple-based coordination language 143
A tool for rapid development of WS-BPEL applications 141
null 141
null 140
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 139
Runtime  Computation of  Optimal Offloading Scheduling  139
null 138
BProVe: Tool Support for Business Process Verification 137
Analysis of Ethereum Smart Contracts and Opcodes 137
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 134
Service Discovery and Negotiation with COWS 134
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 131
null 130
The Autonomic Cloud 123
null 121
Verification of privacy-enhanced collaborations 121
null 120
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 117
A calculus for attribute-based communication 112
null 109
Dynamic SLAs for Clouds 109
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 106
Automata-Based Behavioural Contracts with Action Correlation 106
null 106
ChorChain: A model-driven framework for choreography-based systems using blockchain 106
null 103
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 101
A formal approach to the engineering of domain-specific distributed systems 101
Disciplined use of BPMN for mission modeling of Multi-Robot Systems 100
Totale 16.439
Salva come PNG Salva come JPEG
Categoria #
all - tutte 84.359
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 84.359
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.472 0 0 0 0 0 103 423 130 208 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/20262.589 358 309 420 764 499 239 0 0 0 0 0 0
Totale 18.870