TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.904
EU - Europa 4.860
AS - Asia 4.128
SA - Sud America 437
Continente sconosciuto - Info sul continente non disponibili 377
AF - Africa 192
OC - Oceania 7
Totale 22.905
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.422
CN - Cina 1.655
SG - Singapore 1.215
IT - Italia 1.101
RU - Federazione Russa 1.066
PL - Polonia 688
DE - Germania 416
HK - Hong Kong 414
BR - Brasile 351
CA - Canada 340
UA - Ucraina 334
FR - Francia 309
SE - Svezia 277
GB - Regno Unito 272
VN - Vietnam 258
FI - Finlandia 165
ZA - Sudafrica 142
KR - Corea 130
TR - Turchia 125
IE - Irlanda 68
BD - Bangladesh 61
IN - India 60
JP - Giappone 45
MX - Messico 36
PK - Pakistan 31
NL - Olanda 29
AR - Argentina 26
SI - Slovenia 26
CR - Costa Rica 25
BE - Belgio 24
IQ - Iraq 22
VE - Venezuela 18
DZ - Algeria 17
MY - Malesia 14
CH - Svizzera 13
IL - Israele 13
MA - Marocco 13
TT - Trinidad e Tobago 13
EU - Europa 12
HN - Honduras 12
JM - Giamaica 12
ES - Italia 11
ID - Indonesia 11
CW - ???statistics.table.value.countryCode.CW??? 10
AE - Emirati Arabi Uniti 9
CO - Colombia 9
AT - Austria 8
EC - Ecuador 8
GT - Guatemala 8
UZ - Uzbekistan 8
GP - Guadalupe 7
LT - Lituania 7
NI - Nicaragua 7
PY - Paraguay 7
SA - Arabia Saudita 7
AZ - Azerbaigian 6
CL - Cile 6
PS - Palestinian Territory 6
SV - El Salvador 6
BG - Bulgaria 5
CZ - Repubblica Ceca 5
DK - Danimarca 5
EG - Egitto 5
IR - Iran 5
NP - Nepal 5
PR - Porto Rico 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
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
KG - Kirghizistan 2
LK - Sri Lanka 2
ME - Montenegro 2
NG - Nigeria 2
NO - Norvegia 2
PA - Panama 2
RS - Serbia 2
UY - Uruguay 2
AL - Albania 1
BB - Barbados 1
BM - Bermuda 1
BS - Bahamas 1
BW - Botswana 1
Totale 22.537
Salva come PNG Salva come JPEG
Città #
Fairfield 1.255
Ashburn 1.187
Woodbridge 943
Jacksonville 771
Houston 679
San Jose 620
Singapore 594
Seattle 574
Warsaw 508
Chandler 484
Wilmington 477
Council Bluffs 450
Cambridge 445
Ann Arbor 430
Hong Kong 410
Boardman 331
Beijing 269
Nanjing 216
Toronto 209
Los Angeles 177
Kraków 171
New York 161
The Dalles 150
Johannesburg 136
Camerino 133
Seoul 128
Princeton 114
Columbus 112
Tongling 110
Lawrence 109
Bremen 104
Chicago 103
San Mateo 102
Dallas 99
Istanbul 94
Nanchang 86
Ho Chi Minh City 84
Lauterbourg 83
Ogden 81
Santa Clara 81
Helsinki 77
Buffalo 73
Dearborn 73
Milan 72
Shanghai 71
San Diego 68
London 67
Dublin 63
Moscow 60
Rome 55
Guangzhou 54
Hanoi 52
Staranzano 49
São Paulo 48
Lachine 45
Shenyang 45
Jiaxing 43
Kunming 43
Phoenix 42
Düsseldorf 39
Centro 38
Orem 38
Tianjin 38
Tokyo 38
Dong Ket 35
Brooklyn 31
Hebei 31
Trieste 31
Venezia 30
Memphis 29
Philadelphia 29
Montreal 26
Munich 26
Denver 25
Hangzhou 25
Brussels 24
Florence 24
Frankfurt am Main 24
Wuhan 24
Chennai 22
Atlanta 21
Hefei 20
Jinan 20
Stockholm 20
Changsha 19
San José 19
North Bergen 17
Hope 16
Kocaeli 16
Manchester 16
Mexico City 16
Poplar 16
Bologna 15
Naples 15
Orange 15
Verona 15
Lappeenranta 14
Miami 14
San Francisco 14
Ancona 13
Totale 15.328
Salva come PNG Salva come JPEG
Nome #
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 364
Reversible session-based pi-calculus 319
BProVe: a Formal Verification Framework for Business Process Models 312
An Operational Semantics of BPMN Collaboration 301
Blind-date conversation joining 301
On Avoiding Erroneous Synchronization in BPMN Processes 297
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 294
Domain-specific queries and Web search personalization: some investigations 284
A Formal Approach to Modelling and Verification of Business Process Collaborations 281
On Properties of Policy-Based Specifications 277
Checking Business Process Correctness in Apromore 276
A Formal Approach to Autonomic Systems Programming: The SCEL Language 264
A Calculus for Orchestration of Web Services 256
A standard-driven communication protocol for disconnected clinics in rural areas 252
A Calculus for Orchestration of Web Services 245
A logical verification methodology for service-oriented computing 237
Formalisation and Implementation of the XACML Access Control Mechanism 237
Special issue on Automated Specification and Verification of Web Systems 236
A Model Checking Approach for Verifying COWS Specifications 235
Regulating Data Exchange in Service Oriented Applications 228
A formalized framework for mobile cloud computing 223
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 222
A language-based approach to modelling and analysis of Twitter interactions 221
Towards model-driven development of access control policies for web applications 220
Service Clustering for Autonomic Clouds Using Random Forest 217
Correctness of Service Components and Service Component Ensembles 214
Decision Support for Mobile Cloud Computing Applications via Model Checking 214
A Symbolic Semantics for a Calculus for Service-Oriented Computing 213
Using formal methods to develop WS-BPEL applications 206
Programming Autonomic Systems with Multiple Constraint Stores 204
Formalising Adaptation Patterns for Autonomic Ensembles 203
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 203
Specifying and Analysing SOC Applications with COWS 203
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 201
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 201
A WSDL-based type system for WS-BPEL 199
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 199
A Formal Account of WS-BPEL 199
Towards a Formal Approach to Mobile Cloud Computing 198
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 198
Causal-consistent rollback in a tuple-based language 197
A WSDL-based type system for asynchronous WS-BPEL processes 197
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 197
Reversing Single Sessions 195
Network-Aware Evaluation Environment for Reputation Systems 193
Modeling adaptation with Klaim 192
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 192
X-Klaim Is Back 191
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 186
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 185
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 184
Reputation-based Composition of Social Web Services 183
BProVe: Tool Support for Business Process Verification 180
Specifying and analysing reputation systems with a coordination language 179
Trust-Based Enforcement of Security Policies 178
From Architectural to Behavioural Specification of Services 177
Reputation-Based Cooperation in the Clouds 176
The Sensoria Approach Applied to the Finance Case Study 176
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 174
Analysis of Ethereum Smart Contracts and Opcodes 174
Orchestrating Tuple-Based Languages 173
Causal-Consistent Reversibility in a Tuple-Based Language 173
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 172
Towards Reversible Sessions 172
TAPAs: A Tool for the Analysis of Process Algebras 172
An Accessible Verification Environment for UML Models of Services 172
A tool for rapid development of WS-BPEL applications 172
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 170
On Observing Dynamic Prioritised Actions in SOC 169
A tool for rapid development of WS-BPEL applications 169
Modeling adaptation with a tuple-based coordination language 169
Towards a Formal Verification Methodology for Collective Robotic Systems 168
Blind-date Conversation Joining 165
A BPMN-Based Approach for IoT Systems Engineering 164
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 161
Runtime  Computation of  Optimal Offloading Scheduling  161
Service Discovery and Negotiation with COWS 159
Disciplined use of BPMN for mission modeling of Multi-Robot Systems 158
Verification of privacy-enhanced collaborations 154
A calculus for attribute-based communication 152
null 150
null 149
A Methodology for the Analysis of Robotic Systems via Process Mining 148
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 148
The Autonomic Cloud 145
null 144
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 143
Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice 141
null 141
ChorChain: A model-driven framework for choreography-based systems using blockchain 141
null 140
Dynamic SLAs for Clouds 139
null 138
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 137
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 134
PALM: A Technique for Process ALgebraic Specification Mining 133
A formal approach to the engineering of domain-specific distributed systems 131
null 130
A Technique for Collaboration Discovery 128
Automata-Based Behavioural Contracts with Action Correlation 128
Totale 19.473
Salva come PNG Salva come JPEG
Categoria #
all - tutte 99.065
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 99.065
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022897 0 0 0 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/20271.784 374 197 424 789 0 0 0 0 0 0 0 0
Totale 22.905