TIEZZI, Francesco
 Distribuzione geografica
Continente #
NA - Nord America 8.562
EU - Europa 2.819
AS - Asia 957
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 14
OC - Oceania 3
SA - Sud America 3
Totale 12.373
Nazione #
US - Stati Uniti d'America 8.323
CN - Cina 854
PL - Polonia 651
IT - Italia 610
UA - Ucraina 323
DE - Germania 318
SE - Svezia 255
CA - Canada 239
FR - Francia 195
GB - Regno Unito 176
FI - Finlandia 150
IE - Irlanda 61
VN - Vietnam 35
SI - Slovenia 26
BE - Belgio 23
TR - Turchia 16
PK - Pakistan 14
EU - Europa 12
IN - India 11
DZ - Algeria 9
NL - Olanda 9
CZ - Repubblica Ceca 5
IR - Iran 5
KR - Corea 5
HK - Hong Kong 4
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
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
SG - Singapore 1
Totale 12.373
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 215
Toronto 190
Kraków 171
Lawrence 109
Princeton 109
Beijing 107
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
Dublin 58
London 52
Lachine 46
Shenyang 45
Kunming 44
Centro 39
Dong Ket 35
Jiaxing 34
Tianjin 34
Hebei 32
Shanghai 31
Venezia 30
Düsseldorf 28
Milan 26
Brussels 23
Los Angeles 22
Hangzhou 20
Jinan 20
Guangzhou 19
Hefei 18
Philadelphia 17
Kocaeli 16
Changsha 14
Orange 14
Florence 13
Lanzhou 13
Nereto 13
Verona 13
Lainate 12
Lappeenranta 12
Zhengzhou 12
Indiana 11
Auburn Hills 10
Hounslow 10
Ancona 9
Kilburn 9
Ningbo 9
Norwalk 9
Dallas 8
Falls Church 8
New Bedfont 8
Pune 8
Rome 8
Chicago 7
Taizhou 7
Venice 7
Bologna 6
Caserta 6
Changchun 6
Council Bluffs 6
Hanover 6
Peshawar 6
Redwood City 6
Scottsdale 6
Tappahannock 6
Valmadrera 6
Wuhan 6
Andover 5
Lancaster 5
Phoenix 5
Sant'Elpidio a Mare 5
Scafati 5
Sefro 5
Seoul 5
Tavernerio 5
Acerra 4
Algiers 4
Ascoli Piceno 4
Hong Kong 4
Islamabad 4
Isola di Fano 4
Mcallen 4
Totale 10.000
Nome #
On Avoiding Erroneous Synchronization in BPMN Processes 232
Reversible session-based pi-calculus 226
Domain-specific queries and Web search personalization: some investigations 226
On Properties of Policy-Based Specifications 220
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 217
Blind-date conversation joining 212
An Operational Semantics of BPMN Collaboration 177
Checking Business Process Correctness in Apromore 173
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 173
A standard-driven communication protocol for disconnected clinics in rural areas 167
Formalisation and Implementation of the XACML Access Control Mechanism 162
Regulating Data Exchange in Service Oriented Applications 155
Service Clustering for Autonomic Clouds Using Random Forest 153
Correctness of Service Components and Service Component Ensembles 150
A Formal Approach to Autonomic Systems Programming: The SCEL Language 147
Special issue on Automated Specification and Verification of Web Systems 147
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 145
A Calculus for Orchestration of Web Services 144
null 144
Specifying and Analysing SOC Applications with COWS 144
Towards a Formal Approach to Mobile Cloud Computing 143
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 142
A logical verification methodology for service-oriented computing 142
Global vs. local semantics of BPMN 2.0 OR-join 139
null 138
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 137
Towards model-driven development of access control policies for web applications 137
A WSDL-based type system for WS-BPEL 136
A WSDL-based type system for asynchronous WS-BPEL processes 136
A Calculus for Orchestration of Web Services 134
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 134
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 133
Formalising Adaptation Patterns for Autonomic Ensembles 132
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 132
A language-based approach to modelling and analysis of Twitter interactions 132
A Formal Approach to Modelling and Verification of Business Process Collaborations 132
Programming Autonomic Systems with Multiple Constraint Stores 131
A criterion for separating process calculi 128
Reversing Single Sessions 128
BProVe: a Formal Verification Framework for Business Process Models 128
A Model Checking Approach for Verifying COWS Specifications 127
Modeling adaptation with Klaim 127
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 126
A formalized framework for mobile cloud computing 126
A Symbolic Semantics for a Calculus for Service-Oriented Computing 125
The Sensoria Approach Applied to the Finance Case Study 125
Trust-Based Enforcement of Security Policies 124
Decision Support for Mobile Cloud Computing Applications via Model Checking 123
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 122
null 120
On Observing Dynamic Prioritised Actions in SOC 119
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 119
Specifying and analysing reputation systems with a coordination language 118
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 118
Reputation-based Composition of Social Web Services 118
Towards Reversible Sessions 117
TAPAs: A Tool for the Analysis of Process Algebras 116
Reputation-Based Cooperation in the Clouds 115
From Architectural to Behavioural Specification of Services 115
Causal-Consistent Reversibility in a Tuple-Based Language 115
UBBA: Unity Based BPMN Animator 115
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 114
Causal-consistent rollback in a tuple-based language 113
Blind-date Conversation Joining 112
Using formal methods to develop WS-BPEL applications 112
An Accessible Verification Environment for UML Models of Services 111
A tool for rapid development of WS-BPEL applications 111
Orchestrating Tuple-Based Languages 109
Towards a Formal Verification Methodology for Collective Robotic Systems 108
Network-Aware Evaluation Environment for Reputation Systems 106
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 105
Modeling adaptation with a tuple-based coordination language 105
A tool for rapid development of WS-BPEL applications 105
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 103
null 103
X-Klaim Is Back 102
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 102
Service Discovery and Negotiation with COWS 101
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 99
Runtime  Computation of  Optimal Offloading Scheduling  98
A Formal Account of WS-BPEL 95
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 89
The Autonomic Cloud 89
MIDA: Multiple Instances and Data Animator 85
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 83
Engineering Trustable Choreography-based Systems Using Blockchain 80
A Choreography-Driven Approach for Blockchain-Based IoT Applications 80
Supporting Multi-Layer Modeling in BPMN Collaborations 78
Analysis of Ethereum Smart Contracts and Opcodes 76
Dynamic SLAs for Clouds 73
BProVe: Tool Support for Business Process Verification 71
Verification of privacy-enhanced collaborations 69
Automata-Based Behavioural Contracts with Action Correlation 65
COWS: A Timed Service-Oriented Calculus 61
Causal-Consistent Reversibility 61
Replacement freeness: A criterion for separating process calculi 58
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 57
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 53
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 52
Defining and guaranteeing dynamic service levels in clouds 51
Totale 12.183
Categoria #
all - tutte 51.032
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 51.032


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019403 0 0 0 0 0 0 0 0 0 0 0 403
2019/20203.396 376 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/2024892 160 62 90 16 53 118 45 62 119 38 24 105
Totale 12.630