TIEZZI, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.272
EU - Europa 5.367
AS - Asia 4.153
SA - Sud America 967
Continente sconosciuto - Info sul continente non disponibili 235
AF - Africa 151
OC - Oceania 70
Totale 21.215
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.130
RU - Federazione Russa 1.677
IT - Italia 1.628
SG - Singapore 1.069
CN - Cina 957
BR - Brasile 758
PL - Polonia 573
HK - Hong Kong 545
VN - Vietnam 534
IE - Irlanda 484
KR - Corea 434
SE - Svezia 253
IN - India 187
FR - Francia 170
DE - Germania 150
GB - Regno Unito 91
BD - Bangladesh 89
UA - Ucraina 84
JP - Giappone 82
FI - Finlandia 78
CA - Canada 73
AR - Argentina 68
AU - Australia 66
NL - Olanda 58
TR - Turchia 48
ID - Indonesia 41
EC - Ecuador 31
ZA - Sudafrica 30
CI - Costa d'Avorio 28
MX - Messico 28
RO - Romania 28
CO - Colombia 23
PY - Paraguay 21
MA - Marocco 20
IQ - Iraq 19
VE - Venezuela 19
NG - Nigeria 17
CL - Cile 16
PK - Pakistan 16
UY - Uruguay 15
UZ - Uzbekistan 15
JO - Giordania 14
AT - Austria 13
ES - Italia 13
TN - Tunisia 13
PE - Perù 12
TW - Taiwan 12
BE - Belgio 11
CH - Svizzera 11
MY - Malesia 11
BJ - Benin 9
KE - Kenya 9
TH - Thailandia 9
AL - Albania 8
JM - Giamaica 8
PH - Filippine 8
PT - Portogallo 8
NP - Nepal 7
SA - Arabia Saudita 7
CR - Costa Rica 6
LB - Libano 6
OM - Oman 6
BY - Bielorussia 5
DK - Danimarca 5
ET - Etiopia 5
IR - Iran 5
SV - El Salvador 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
DZ - Algeria 4
EG - Egitto 4
GT - Guatemala 4
HN - Honduras 4
AM - Armenia 3
BG - Bulgaria 3
CY - Cipro 3
DO - Repubblica Dominicana 3
HU - Ungheria 3
LV - Lettonia 3
NZ - Nuova Zelanda 3
PR - Porto Rico 3
TT - Trinidad e Tobago 3
AO - Angola 2
BH - Bahrain 2
BO - Bolivia 2
EE - Estonia 2
IL - Israele 2
KW - Kuwait 2
KZ - Kazakistan 2
MU - Mauritius 2
NI - Nicaragua 2
NO - Norvegia 2
PS - Palestinian Territory 2
RS - Serbia 2
SC - Seychelles 2
SN - Senegal 2
SR - Suriname 2
SY - Repubblica araba siriana 2
XK - ???statistics.table.value.countryCode.XK??? 2
BA - Bosnia-Erzegovina 1
Totale 20.965
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.492
Ashburn 1.054
Singapore 803
Fairfield 687
Warsaw 570
Dublin 482
Hong Kong 442
Seoul 427
San Jose 334
Woodbridge 308
Hefei 307
Seattle 277
Milan 264
Chandler 260
Houston 239
Cambridge 236
Wilmington 213
Lawrence 208
Altamura 203
Ho Chi Minh City 199
Council Bluffs 174
Staranzano 147
Los Angeles 135
Lauterbourg 130
Princeton 123
Rome 122
Beijing 119
Kent 118
Mumbai 116
Hanoi 115
Moscow 115
The Dalles 112
Ann Arbor 104
Boston 104
Jacksonville 101
Phoenix 94
Florence 81
San Diego 80
Tokyo 80
Buffalo 79
São Paulo 64
Melbourne 60
New York 47
Dallas 44
Medford 36
Boardman 34
Bologna 29
Izmir 29
Abidjan 28
Da Nang 23
Haiphong 23
Chicago 22
Naples 22
Norwalk 22
Salerno 21
Turin 21
Hillsboro 20
Munich 20
Helsinki 19
Bengaluru 18
Camerino 18
Guangzhou 18
Toronto 18
Belo Horizonte 17
Rio de Janeiro 17
Shanghai 17
Abuja 16
Brooklyn 16
Frankfurt am Main 16
Guayaquil 16
Figino 15
Palermo 15
Amsterdam 14
Johannesburg 14
Yubileyny 14
Atlanta 13
Brasília 13
Brescia 13
Chennai 13
Jakarta 13
Livorno 13
London 13
Tashkent 13
Montevideo 12
Padua 12
Philadelphia 12
Timisoara 12
Andover 11
Asunción 11
Campinas 11
Columbus 11
Miano 11
Orem 11
Verona 11
Can Tho 10
Catania 10
Guarulhos 10
Nuremberg 10
Thái Bình 10
Amman 9
Totale 14.385
Salva come PNG Salva come JPEG
Nome #
X-Klaim is back 414
A Calculus for Orchestration of Web Services 370
A model checking approach for verifying COWS specifications 339
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 311
Specification and Analysis of Service-Oriented Applications 259
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach 254
A Logical Verification Methodology for Service-Oriented Computing 222
Programming Autonomic Systems with Multiple Constraint Stores 221
A criterion for separating process calculi 212
A calculus for attribute-based communication 212
Using formal methods to develop WS-BPEL applications 202
A Calculus for Orchestration of Web Services 200
Automata-based Behavioural Contracts with Action Correlation 198
Blind-date Conversation Joining 196
The SCEL Language: Design, Implementation, Verification 195
A Symbolic Semantics for a Calculus for Service-Oriented Computing 192
A Technique for Collaboration Discovery 187
Blind-date Conversation Joining 184
A BPMN-driven framework for Multi-Robot System development 183
A WSDL-based type system for WS-BPEL 183
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies 181
Specifying and Analysing SOC Applications with COWS 181
The Autonomic Cloud 180
Writing Robotics Applications with X-Klaim 179
A standard-driven communication protocol for disconnected clinics in rural areas 179
A formal approach to the engineering of domain-specific distributed systems 178
Regulating data exchange in service oriented applications 178
A WSDL-based type system for asynchronous WS-BPEL processes 176
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 175
On a Formal and User-Friendly Linguistic Approach to Access Control of Electronic Health Data 174
The Sensoria Approach Applied to the Finance Case Study 168
From Architectural to Behavioural Specification of Services 167
On Properties of Policy-Based Specifications 167
A tool for rapid development of WS-BPEL applications 167
A blockchain-based platform for incentivizing customer reviews in the grocery industry 166
Towards a Formal Verification Methodology for Collective Robotic Systems 163
A formal approach for the analysis of BPMN collaboration models 163
A formal account of WS-BPEL 162
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 162
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 161
An Accessible Verification Environment for UML Models of Services 159
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 158
Replacement freeness: A criterion for separating process calculi 158
Formalisation and Implementation of the XACML Access Control Mechanism 157
A Formal Approach to Modelling and Verification of Business Process Collaborations 157
Programming and Verifying Component Ensembles 156
Verification of privacy-enhanced collaborations 155
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 154
A Methodology for the Analysis of Robotic Systems via Process Mining 153
Service discovery and negotiation with COWS 152
Specification and analysis of SOC systems using COWS: A finance case study 152
Ethereum smart contracts: Analysis and statistics of their source code and opcodes 152
Modeling adaptation with a tuple-based coordination language 151
Modeling Adaptation with Klaim 150
Correctness of Service Components and Service Component Ensembles 150
A Flexible Approach to Multi-party Business Process Execution on Blockchain 149
On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals 149
A tool for rapid development of WS-BPEL applications 149
MIDA: Multiple Instances and Data Animator 149
On observing dynamic prioritised actions in SOC 147
On Programming and Policing Autonomic Computing Systems 147
Formalising and animating multiple instances in BPMN collaborations 147
A Purpose-Guided Log Generation Framework 146
Formalising Adaptation Patterns for Autonomic Ensembles 146
Disciplined use of BPMN for mission modeling of Multi-Robot Systems 146
Preface 145
Special issue on Automated Specification and Verification of Web Systems 144
Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach 143
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review 142
BPMN 2.0 OR-Join Semantics: Global and local characterisation 141
A systematic literature review on IoT-aware business process modeling views, requirements and notations 140
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 139
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 138
Klaim in the Making 136
Towards model-driven development of access control policies for web applications 136
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 136
A language-based approach to modelling and analysis of Twitter interactions 136
COWS: A timed service-oriented calculus 133
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 132
Self-expression and Dynamic Attribute-based Ensembles in SCEL 131
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 131
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 131
RePROSitory: a Repository platform for sharing business PROcess models and logS 131
Runtime  Computation of  Optimal Offloading Scheduling  130
PALM: A Technique for Process ALgebraic Specification Mining 129
Supporting Multi-Layer Modeling in BPMN Collaborations 129
Programming Multi-Robot Systems with X-KLAIM 129
Defining and guaranteeing dynamic service levels in clouds 127
A Choreography-Driven Approach for Blockchain-Based IoT Applications 127
Domain-specific queries and Web search personalization: some investigations 126
Unveiling Algorand Storage Peculiarities 125
UBBA: Unity Based BPMN Animator 125
Correctness checking for BPMN collaborations with sub-processes 125
A BPMN-Based Approach for IoT Systems Engineering 123
Engineering trustable choreography-based systems using blockchain 122
An Operational Semantics of BPMN Collaboration 121
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations 121
A formalized framework for mobile cloud computing 120
BProVe: Tool Support for Business Process Verification 120
Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice 120
Totale 16.534
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.366
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 61.366
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.074 0 0 356 131 30 25 16 122 40 9 136 209
2022/20231.725 197 454 55 103 64 327 270 89 97 8 45 16
2023/2024818 33 68 138 37 45 94 45 119 12 46 130 51
2024/20256.699 125 572 281 684 2.337 1.563 143 95 359 139 218 183
2025/20266.865 474 961 786 799 658 246 699 393 426 360 191 872
2026/20271.069 267 233 569 0 0 0 0 0 0 0 0 0
Totale 21.215