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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.150 19 57 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/2027210 210 0 0 0 0 0 0 0 0 0 0 0
Totale 20.356