TIEZZI, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.698
EU - Europa 3.437
AS - Asia 1.150
SA - Sud America 102
OC - Oceania 66
AF - Africa 51
Continente sconosciuto - Info sul continente non disponibili 1
Totale 12.505
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.676
RU - Federazione Russa 1.173
IT - Italia 561
PL - Polonia 559
IE - Irlanda 481
HK - Hong Kong 433
SG - Singapore 350
SE - Svezia 247
IN - India 127
CN - Cina 118
DE - Germania 102
BR - Brasile 81
UA - Ucraina 79
FI - Finlandia 68
AU - Australia 63
GB - Regno Unito 52
NL - Olanda 36
TR - Turchia 33
RO - Romania 27
CI - Costa d'Avorio 25
FR - Francia 22
CA - Canada 19
AT - Austria 11
ID - Indonesia 11
JP - Giappone 11
TW - Taiwan 10
MA - Marocco 9
PE - Perù 7
VN - Vietnam 7
KR - Corea 6
TH - Thailandia 6
TN - Tunisia 6
BE - Belgio 5
ES - Italia 5
IR - Iran 5
MY - Malesia 4
PK - Pakistan 4
UZ - Uzbekistan 4
ZA - Sudafrica 4
AR - Argentina 3
AZ - Azerbaigian 3
JO - Giordania 3
MX - Messico 3
NZ - Nuova Zelanda 3
SA - Arabia Saudita 3
UY - Uruguay 3
CO - Colombia 2
EC - Ecuador 2
KE - Kenya 2
MU - Mauritius 2
NO - Norvegia 2
OM - Oman 2
SC - Seychelles 2
SY - Repubblica araba siriana 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
BD - Bangladesh 1
BN - Brunei Darussalam 1
BY - Bielorussia 1
CH - Svizzera 1
CL - Cile 1
DK - Danimarca 1
EU - Europa 1
GR - Grecia 1
HU - Ungheria 1
IQ - Iraq 1
LK - Sri Lanka 1
PH - Filippine 1
PS - Palestinian Territory 1
PT - Portogallo 1
PY - Paraguay 1
RE - Reunion 1
Totale 12.505
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.457
Fairfield 687
Warsaw 556
Dublin 480
Hong Kong 332
Woodbridge 308
Ashburn 307
Seattle 270
Chandler 259
Cambridge 236
Houston 228
Singapore 217
Wilmington 213
Lawrence 207
Altamura 202
Princeton 122
Mumbai 113
Ann Arbor 104
Jacksonville 100
Boston 98
Kent 88
San Diego 79
Moscow 72
Florence 61
Melbourne 59
Beijing 48
Medford 36
Izmir 29
Boardman 26
Abidjan 25
Norwalk 22
Salerno 19
Hillsboro 18
Camerino 17
Helsinki 17
Yubileyny 14
Shanghai 13
Toronto 13
Livorno 12
Rome 12
Timisoara 12
Amsterdam 11
Andover 11
Guangzhou 11
Jakarta 11
Milan 10
Tokyo 10
Falls Church 8
Nuremberg 8
Cluj-napoca 7
Lima 7
Tainan City 7
The Dalles 7
Vienna 7
Bologna 6
London 6
Redwood City 6
São Paulo 6
Cagliari 5
Centro 5
Dong Ket 5
Kilburn 5
Los Angeles 5
New York 5
Pune 5
San Mateo 5
Auburn Hills 4
Campi Bisenzio 4
Council Bluffs 4
Tashkent 4
West Jordan 4
Anguillara Sabazia 3
Baku 3
Brasília 3
Bucharest 3
Buenos Aires 3
Buffalo 3
Capaccio 3
Columbus 3
Dallas 3
Gunzenhausen 3
Hounslow 3
Indore 3
Latina 3
Laurel 3
Manaus 3
Montreal 3
Nanjing 3
Paulista 3
Pisa 3
Portsmouth 3
Riyadh 3
Samut Sakhon 3
Seongbuk-gu 3
Seoul 3
Seri Iskandar 3
Shenzhen 3
Siena 3
Taipei 3
Tappahannock 3
Totale 9.474
Salva come PNG Salva come JPEG
Nome #
A Calculus for Orchestration of Web Services 301
X-Klaim is back 296
A model checking approach for verifying COWS specifications 283
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 259
Specification and Analysis of Service-Oriented Applications 213
A Symbolic Semantics for a Calculus for Service-Oriented Computing 159
Using formal methods to develop WS-BPEL applications 158
Programming Autonomic Systems with Multiple Constraint Stores 153
A criterion for separating process calculi 149
Specifying and Analysing SOC Applications with COWS 145
Blind-date Conversation Joining 145
A calculus for attribute-based communication 144
A WSDL-based type system for WS-BPEL 139
Blind-date Conversation Joining 139
The SCEL Language: Design, Implementation, Verification 138
Automata-based Behavioural Contracts with Action Correlation 136
A WSDL-based type system for asynchronous WS-BPEL processes 135
The Sensoria Approach Applied to the Finance Case Study 135
A Calculus for Orchestration of Web Services 134
A Logical Verification Methodology for Service-Oriented Computing 134
A standard-driven communication protocol for disconnected clinics in rural areas 133
An Accessible Verification Environment for UML Models of Services 127
Towards a Formal Verification Methodology for Collective Robotic Systems 125
Specification and analysis of SOC systems using COWS: A finance case study 122
From Architectural to Behavioural Specification of Services 122
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 122
Formalisation and Implementation of the XACML Access Control Mechanism 121
Writing Robotics Applications with X-Klaim 121
Regulating data exchange in service oriented applications 121
The Autonomic Cloud 120
Programming and Verifying Component Ensembles 120
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 120
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 119
A tool for rapid development of WS-BPEL applications 118
Modeling adaptation with a tuple-based coordination language 118
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 117
Modeling Adaptation with Klaim 117
A formal account of WS-BPEL 117
On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals 116
A tool for rapid development of WS-BPEL applications 116
Service discovery and negotiation with COWS 115
Formalising Adaptation Patterns for Autonomic Ensembles 115
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach 114
On Properties of Policy-Based Specifications 114
On observing dynamic prioritised actions in SOC 113
On a Formal and User-Friendly Linguistic Approach to Access Control of Electronic Health Data 110
On Programming and Policing Autonomic Computing Systems 109
A formal approach to the engineering of domain-specific distributed systems 109
Towards model-driven development of access control policies for web applications 109
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 106
Correctness of Service Components and Service Component Ensembles 106
Special issue on Automated Specification and Verification of Web Systems 105
COWS: A timed service-oriented calculus 103
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 103
Self-expression and Dynamic Attribute-based Ensembles in SCEL 99
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 99
A formal approach for the analysis of BPMN collaboration models 99
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 96
A Technique for Collaboration Discovery 93
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review 92
Preface 91
A Formal Approach to Modelling and Verification of Business Process Collaborations 91
Replacement freeness: A criterion for separating process calculi 90
UBBA: Unity Based BPMN Animator 90
A language-based approach to modelling and analysis of Twitter interactions 89
Analysis of Ethereum Smart Contracts and Opcodes 88
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 87
Runtime  Computation of  Optimal Offloading Scheduling  85
BPMN 2.0 OR-Join Semantics: Global and local characterisation 85
Correctness checking for BPMN collaborations with sub-processes 84
MIDA: Multiple Instances and Data Animator 83
An Operational Semantics of BPMN Collaboration 82
Disciplined use of BPMN for mission modeling of Multi-Robot Systems 81
Engineering trustable choreography-based systems using blockchain 80
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 79
BProVe: a Formal Verification Framework for Business Process Models 79
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 79
PALM: A Technique for Process ALgebraic Specification Mining 79
BProVe: Tool Support for Business Process Verification 79
A systematic literature review on IoT-aware business process modeling views, requirements and notations 78
RePROSitory: a Repository platform for sharing business PROcess models and logS 78
A Purpose-Guided Log Generation Framework 77
Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach 76
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach 76
Verification of privacy-enhanced collaborations 76
Formalising and animating multiple instances in BPMN collaborations 75
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies 74
A BPMN-driven framework for Multi-Robot System development 74
A formalized framework for mobile cloud computing 74
A Choreography-Driven Approach for Blockchain-Based IoT Applications 73
A Flexible Approach to Multi-party Business Process Execution on Blockchain 72
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 72
Supporting Multi-Layer Modeling in BPMN Collaborations 72
Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice 72
Ethereum smart contracts: Analysis and statistics of their source code and opcodes 72
Programming Multi-Robot Systems with X-KLAIM 72
Domain-specific queries and Web search personalization: some investigations 71
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 71
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations 71
Towards a Formal Approach to Mobile Cloud Computing 70
Totale 11.163
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.239
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 38.239
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020288 0 0 0 0 0 0 0 0 121 72 71 24
2020/2021649 57 60 34 55 29 66 32 55 79 73 45 64
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.137 125 572 281 684 2.337 1.563 143 95 337 0 0 0
Totale 12.719