TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.263
EU - Europa 4.385
AS - Asia 3.241
SA - Sud America 383
AF - Africa 40
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 8
Totale 18.335
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.951
CN - Cina 1.467
RU - Federazione Russa 1.073
SG - Singapore 888
IT - Italia 835
PL - Polonia 679
DE - Germania 387
HK - Hong Kong 358
UA - Ucraina 328
BR - Brasile 323
CA - Canada 276
SE - Svezia 272
GB - Regno Unito 236
FR - Francia 212
FI - Finlandia 163
KR - Corea 129
TR - Turchia 124
VN - Vietnam 90
IE - Irlanda 64
IN - India 45
JP - Giappone 27
BE - Belgio 26
SI - Slovenia 26
MX - Messico 24
PK - Pakistan 24
AR - Argentina 23
NL - Olanda 16
DZ - Algeria 15
BD - Bangladesh 14
ZA - Sudafrica 14
IQ - Iraq 13
EU - Europa 12
VE - Venezuela 10
ES - Italia 9
AE - Emirati Arabi Uniti 8
EC - Ecuador 7
ID - Indonesia 7
IL - Israele 7
AT - Austria 6
CH - Svizzera 6
CZ - Repubblica Ceca 6
AZ - Azerbaigian 5
BG - Bulgaria 5
IR - Iran 5
LT - Lituania 5
LV - Lettonia 5
PY - Paraguay 5
UZ - Uzbekistan 5
AU - Australia 4
CO - Colombia 4
MK - Macedonia 4
PE - Perù 4
RO - Romania 4
A2 - ???statistics.table.value.countryCode.A2??? 3
BO - Bolivia 3
CR - Costa Rica 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
KG - Kirghizistan 2
LK - Sri Lanka 2
ME - Montenegro 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
PA - Panama 2
RS - Serbia 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
AL - Albania 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
KE - Kenya 1
NG - Nigeria 1
OM - Oman 1
PG - Papua Nuova Guinea 1
PH - Filippine 1
PS - Palestinian Territory 1
PW - Palau 1
SR - Suriname 1
TT - Trinidad e Tobago 1
UG - Uganda 1
Totale 18.335
Salva come PNG Salva come JPEG
Città #
Fairfield 1.255
Woodbridge 943
Ashburn 899
Jacksonville 768
Houston 666
Seattle 569
Warsaw 503
Chandler 484
Wilmington 476
Cambridge 445
Ann Arbor 429
Singapore 371
Hong Kong 356
Boardman 332
Beijing 251
Nanjing 216
Toronto 194
Kraków 171
Los Angeles 159
The Dalles 138
Camerino 137
Seoul 129
New York 112
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 54
Guangzhou 50
Milan 46
Lachine 45
Shenyang 45
Jiaxing 43
Kunming 43
São Paulo 42
Düsseldorf 39
Centro 38
Tianjin 38
Dong Ket 35
Rome 34
Hebei 31
Venezia 30
Munich 27
Brussels 26
Brooklyn 23
Tokyo 23
Montreal 22
Wuhan 22
Hangzhou 21
Ho Chi Minh City 21
Council Bluffs 20
Jinan 20
Philadelphia 20
Santa Clara 20
Hefei 19
Chennai 17
Kocaeli 16
Stockholm 16
Changsha 15
Orem 15
Denver 14
Florence 14
Lappeenranta 14
Orange 14
Phoenix 14
San Francisco 14
Atlanta 13
Lanzhou 13
Mexico City 13
Nereto 13
Verona 13
Zhengzhou 13
Ancona 12
Hanoi 12
Lainate 12
Bologna 11
Johannesburg 11
Poplar 11
Auburn Hills 10
Elk Grove Village 10
Hounslow 10
Indiana 10
Manchester 10
Redondo Beach 10
Rubano 10
Salt Lake City 10
Totale 12.808
Salva come PNG Salva come JPEG
Nome #
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 286
Reversible session-based pi-calculus 276
On Avoiding Erroneous Synchronization in BPMN Processes 271
Domain-specific queries and Web search personalization: some investigations 264
Blind-date conversation joining 262
On Properties of Policy-Based Specifications 258
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 249
Checking Business Process Correctness in Apromore 232
An Operational Semantics of BPMN Collaboration 227
A standard-driven communication protocol for disconnected clinics in rural areas 224
A Formal Approach to Autonomic Systems Programming: The SCEL Language 213
A Formal Approach to Modelling and Verification of Business Process Collaborations 211
Formalisation and Implementation of the XACML Access Control Mechanism 204
A Calculus for Orchestration of Web Services 203
A logical verification methodology for service-oriented computing 200
A Calculus for Orchestration of Web Services 200
Special issue on Automated Specification and Verification of Web Systems 199
Regulating Data Exchange in Service Oriented Applications 194
BProVe: a Formal Verification Framework for Business Process Models 194
A language-based approach to modelling and analysis of Twitter interactions 193
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 191
Decision Support for Mobile Cloud Computing Applications via Model Checking 189
Service Clustering for Autonomic Clouds Using Random Forest 186
Correctness of Service Components and Service Component Ensembles 186
A Model Checking Approach for Verifying COWS Specifications 185
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 182
A Symbolic Semantics for a Calculus for Service-Oriented Computing 181
A formalized framework for mobile cloud computing 179
Towards a Formal Approach to Mobile Cloud Computing 176
Specifying and Analysing SOC Applications with COWS 176
A WSDL-based type system for asynchronous WS-BPEL processes 175
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 174
Modeling adaptation with Klaim 174
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 173
Towards model-driven development of access control policies for web applications 173
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 173
Reversing Single Sessions 173
A WSDL-based type system for WS-BPEL 171
Formalising Adaptation Patterns for Autonomic Ensembles 170
Causal-consistent rollback in a tuple-based language 169
Programming Autonomic Systems with Multiple Constraint Stores 168
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 166
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 159
Trust-Based Enforcement of Security Policies 159
Reputation-based Composition of Social Web Services 158
The Sensoria Approach Applied to the Finance Case Study 158
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 157
Towards Reversible Sessions 156
Specifying and analysing reputation systems with a coordination language 155
A Formal Account of WS-BPEL 153
From Architectural to Behavioural Specification of Services 152
On Observing Dynamic Prioritised Actions in SOC 150
Causal-Consistent Reversibility in a Tuple-Based Language 150
null 150
Orchestrating Tuple-Based Languages 149
TAPAs: A Tool for the Analysis of Process Algebras 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 147
X-Klaim Is Back 147
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 147
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 146
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 146
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 146
Towards a Formal Verification Methodology for Collective Robotic Systems 145
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 145
Network-Aware Evaluation Environment for Reputation Systems 144
An Accessible Verification Environment for UML Models of Services 144
null 144
Blind-date Conversation Joining 143
Modeling adaptation with a tuple-based coordination language 142
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 138
Runtime  Computation of  Optimal Offloading Scheduling  138
null 138
Analysis of Ethereum Smart Contracts and Opcodes 137
BProVe: Tool Support for Business Process Verification 135
Service Discovery and Negotiation with COWS 134
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 133
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 131
null 130
The Autonomic Cloud 121
null 121
Verification of privacy-enhanced collaborations 120
null 120
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 117
A calculus for attribute-based communication 110
null 109
Dynamic SLAs for Clouds 108
null 106
Automata-Based Behavioural Contracts with Action Correlation 105
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 104
ChorChain: A model-driven framework for choreography-based systems using blockchain 104
null 103
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 100
Causal-Consistent Reversibility 99
A formal approach to the engineering of domain-specific distributed systems 99
Totale 16.320
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.801
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 83.801
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.413 358 309 420 764 499 63 0 0 0 0 0 0
Totale 18.694