TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.580
EU - Europa 2.830
AS - Asia 1.304
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 14
OC - Oceania 3
SA - Sud America 3
Totale 12.749
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.341
CN - Cina 1.090
PL - Polonia 651
IT - Italia 619
UA - Ucraina 323
DE - Germania 320
SE - Svezia 255
CA - Canada 239
FR - Francia 195
GB - Regno Unito 176
FI - Finlandia 150
SG - Singapore 104
IE - Irlanda 61
VN - Vietnam 35
SI - Slovenia 26
BE - Belgio 23
PK - Pakistan 18
TR - Turchia 16
EU - Europa 12
IN - India 11
DZ - Algeria 9
NL - Olanda 9
HK - Hong Kong 6
CZ - Repubblica Ceca 5
IR - Iran 5
KR - Corea 5
JP - Giappone 4
RO - Romania 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AU - Australia 3
BG - Bulgaria 3
BR - Brasile 3
GH - Ghana 3
IQ - Iraq 3
MK - Macedonia 3
AM - Armenia 2
CH - Svizzera 2
EE - Estonia 2
ET - Etiopia 2
IL - Israele 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BN - Brunei Darussalam 1
DK - Danimarca 1
ID - Indonesia 1
RU - Federazione Russa 1
Totale 12.749
Salva come PNG Salva come JPEG
Città #
Fairfield 1.265
Woodbridge 955
Jacksonville 772
Houston 658
Ashburn 618
Seattle 560
Chandler 485
Warsaw 478
Wilmington 475
Cambridge 445
Ann Arbor 432
Nanjing 216
Toronto 190
Kraków 171
Beijing 118
Lawrence 109
Princeton 109
Bremen 104
San Mateo 102
Columbus 94
Nanchang 86
Boardman 82
Ogden 77
Dearborn 74
Camerino 70
Helsinki 69
New York 67
San Diego 64
Singapore 62
Dublin 58
Shanghai 58
London 52
Guangzhou 48
Lachine 46
Shenyang 45
Kunming 44
Jiaxing 42
Centro 39
Dong Ket 35
Tianjin 34
Hebei 32
Venezia 30
Düsseldorf 28
Los Angeles 26
Milan 26
Brussels 23
Wuhan 22
Hangzhou 21
Jinan 20
Hefei 18
Philadelphia 17
Kocaeli 16
Changsha 14
Orange 14
Chicago 13
Florence 13
Lanzhou 13
Nereto 13
Verona 13
Lainate 12
Lappeenranta 12
Zhengzhou 12
Indiana 11
Auburn Hills 10
Hounslow 10
Wuxi 10
Ancona 9
Kilburn 9
Ningbo 9
Norwalk 9
Dallas 8
Falls Church 8
New Bedfont 8
Pune 8
Rome 8
Taizhou 8
Shenzhen 7
Venice 7
Bologna 6
Caserta 6
Changchun 6
Council Bluffs 6
Hanover 6
Hong Kong 6
Pescara 6
Peshawar 6
Redwood City 6
Scottsdale 6
Tappahannock 6
Valmadrera 6
Yiwu 6
Andover 5
Lancaster 5
Phoenix 5
Sant'Elpidio a Mare 5
Scafati 5
Sefro 5
Seoul 5
Tavernerio 5
Acerra 4
Totale 10.177
Salva come PNG Salva come JPEG
Nome #
On Avoiding Erroneous Synchronization in BPMN Processes 235
Domain-specific queries and Web search personalization: some investigations 231
Reversible session-based pi-calculus 230
On Properties of Policy-Based Specifications 223
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 221
Blind-date conversation joining 214
An Operational Semantics of BPMN Collaboration 182
Checking Business Process Correctness in Apromore 178
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 175
A standard-driven communication protocol for disconnected clinics in rural areas 172
Formalisation and Implementation of the XACML Access Control Mechanism 164
Regulating Data Exchange in Service Oriented Applications 161
Service Clustering for Autonomic Clouds Using Random Forest 155
Correctness of Service Components and Service Component Ensembles 153
Special issue on Automated Specification and Verification of Web Systems 151
A Formal Approach to Autonomic Systems Programming: The SCEL Language 150
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 148
A logical verification methodology for service-oriented computing 147
Towards a Formal Approach to Mobile Cloud Computing 146
A Calculus for Orchestration of Web Services 146
Specifying and Analysing SOC Applications with COWS 146
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 144
null 144
Global vs. local semantics of BPMN 2.0 OR-join 144
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 140
A WSDL-based type system for WS-BPEL 139
Towards model-driven development of access control policies for web applications 139
A WSDL-based type system for asynchronous WS-BPEL processes 139
null 138
A Calculus for Orchestration of Web Services 137
Formalising Adaptation Patterns for Autonomic Ensembles 136
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 136
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 136
A Formal Approach to Modelling and Verification of Business Process Collaborations 135
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 135
Programming Autonomic Systems with Multiple Constraint Stores 135
A language-based approach to modelling and analysis of Twitter interactions 134
Reversing Single Sessions 133
A criterion for separating process calculi 131
A Symbolic Semantics for a Calculus for Service-Oriented Computing 131
A Model Checking Approach for Verifying COWS Specifications 131
Modeling adaptation with Klaim 131
BProVe: a Formal Verification Framework for Business Process Models 131
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 129
A formalized framework for mobile cloud computing 129
The Sensoria Approach Applied to the Finance Case Study 128
Trust-Based Enforcement of Security Policies 127
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 126
Decision Support for Mobile Cloud Computing Applications via Model Checking 126
Specifying and analysing reputation systems with a coordination language 122
On Observing Dynamic Prioritised Actions in SOC 122
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 122
UBBA: Unity Based BPMN Animator 121
Towards Reversible Sessions 120
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 120
Reputation-based Composition of Social Web Services 120
null 120
TAPAs: A Tool for the Analysis of Process Algebras 119
Causal-Consistent Reversibility in a Tuple-Based Language 118
Reputation-Based Cooperation in the Clouds 117
From Architectural to Behavioural Specification of Services 117
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 116
Causal-consistent rollback in a tuple-based language 116
Blind-date Conversation Joining 115
Orchestrating Tuple-Based Languages 113
An Accessible Verification Environment for UML Models of Services 113
A tool for rapid development of WS-BPEL applications 113
Using formal methods to develop WS-BPEL applications 113
Towards a Formal Verification Methodology for Collective Robotic Systems 110
Network-Aware Evaluation Environment for Reputation Systems 109
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 109
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 107
Modeling adaptation with a tuple-based coordination language 107
A tool for rapid development of WS-BPEL applications 107
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 106
X-Klaim Is Back 106
Service Discovery and Negotiation with COWS 104
null 103
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 102
Runtime  Computation of  Optimal Offloading Scheduling  101
A Formal Account of WS-BPEL 99
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 92
The Autonomic Cloud 91
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 89
MIDA: Multiple Instances and Data Animator 87
Engineering Trustable Choreography-based Systems Using Blockchain 83
A Choreography-Driven Approach for Blockchain-Based IoT Applications 83
Supporting Multi-Layer Modeling in BPMN Collaborations 82
Analysis of Ethereum Smart Contracts and Opcodes 78
Dynamic SLAs for Clouds 76
BProVe: Tool Support for Business Process Verification 74
Verification of privacy-enhanced collaborations 71
Automata-Based Behavioural Contracts with Action Correlation 67
Causal-Consistent Reversibility 65
COWS: A Timed Service-Oriented Calculus 64
Replacement freeness: A criterion for separating process calculi 60
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 59
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 57
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 54
Defining and guaranteeing dynamic service levels in clouds 53
Totale 12.484
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.121
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 55.121
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20203.020 0 176 403 805 183 235 185 316 264 170 111 172
2020/20212.261 90 197 89 235 192 104 409 132 205 107 309 192
2021/20221.287 91 267 43 29 97 85 42 82 114 124 172 141
2022/20231.447 131 22 84 186 245 209 10 92 242 74 104 48
2023/20241.023 160 62 90 16 53 118 45 62 119 38 24 236
2024/2025246 189 57 0 0 0 0 0 0 0 0 0 0
Totale 13.007