TIEZZI, Francesco
 Distribuzione geografica
Continente #
NA - Nord America 8.353
EU - Europa 2.992
AS - Asia 825
AF - Africa 16
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 3
Totale 12.204
Nazione #
US - Stati Uniti d'America 8.113
CN - Cina 735
PL - Polonia 651
IT - Italia 625
DE - Germania 324
UA - Ucraina 324
SE - Svezia 257
CA - Canada 240
FR - Francia 194
GB - Regno Unito 178
BE - Belgio 166
FI - Finlandia 143
IE - Irlanda 78
VN - Vietnam 35
SI - Slovenia 26
PK - Pakistan 17
TR - Turchia 16
EU - Europa 12
DZ - Algeria 9
NL - Olanda 8
IR - Iran 5
JP - Giappone 5
RO - Romania 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AU - Australia 3
BG - Bulgaria 3
GH - Ghana 3
IL - Israele 3
IN - India 3
IQ - Iraq 3
MK - Macedonia 3
CH - Svizzera 2
EE - Estonia 2
ET - Etiopia 2
NG - Nigeria 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
BN - Brunei Darussalam 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
ID - Indonesia 1
RU - Federazione Russa 1
Totale 12.204
Città #
Fairfield 1.267
Woodbridge 955
Jacksonville 774
Houston 658
Ashburn 559
Seattle 531
Chandler 491
Warsaw 478
Wilmington 478
Cambridge 445
Ann Arbor 432
Nanjing 215
Toronto 191
Kraków 171
Brussels 166
Lawrence 111
Princeton 111
Bremen 106
San Mateo 103
Columbus 94
Nanchang 86
Beijing 84
Boardman 75
Dublin 75
Dearborn 74
Helsinki 73
Camerino 68
San Diego 64
London 49
Lachine 46
Shenyang 45
Kunming 44
Centro 39
Philadelphia 37
Dong Ket 35
Tianjin 34
Hebei 32
Jiaxing 32
Venezia 30
Düsseldorf 28
Milan 28
Jinan 20
Hangzhou 18
Hefei 18
Kocaeli 16
Changsha 14
Florence 14
Orange 14
Hounslow 13
Lanzhou 13
Nereto 13
Verona 13
Ancona 12
Lainate 12
Zhengzhou 12
Indiana 11
Los Angeles 11
New Bedfont 11
Rome 11
Auburn Hills 10
Ascoli Piceno 9
Guangzhou 9
Ningbo 9
Norwalk 9
Sant'Elpidio a Mare 9
Dallas 8
Falls Church 8
New York 8
Shanghai 8
Acton 7
Chicago 7
Peshawar 7
Redwood City 7
Taizhou 7
Venice 7
Bologna 6
Caserta 6
Changchun 6
Council Bluffs 6
Hanover 6
Isola di Fano 6
Prescot 6
Scottsdale 6
Tappahannock 6
Andover 5
Lancaster 5
Phoenix 5
Scafati 5
Seelze 5
Sefro 5
Tavernerio 5
Acerra 4
Algiers 4
Buti 4
Islamabad 4
Mcallen 4
Pesaro 4
Taher 4
Bitola 3
Cesena 3
Totale 9.912
Nome #
On Avoiding Erroneous Synchronization in BPMN Processes 234
Reversible session-based pi-calculus 225
Domain-specific queries and Web search personalization: some investigations 225
On Properties of Policy-Based Specifications 218
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 214
Blind-date conversation joining 206
Checking Business Process Correctness in Apromore 171
An Operational Semantics of BPMN Collaboration 168
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 168
A standard-driven communication protocol for disconnected clinics in rural areas 165
Formalisation and Implementation of the XACML Access Control Mechanism 160
Regulating Data Exchange in Service Oriented Applications 159
Service Clustering for Autonomic Clouds Using Random Forest 149
null 144
A Formal Approach to Autonomic Systems Programming: The SCEL Language 143
Special issue on Automated Specification and Verification of Web Systems 143
Correctness of Service Components and Service Component Ensembles 143
Towards a Formal Approach to Mobile Cloud Computing 142
Specifying and Analysing SOC Applications with COWS 142
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 141
Global vs. local semantics of BPMN 2.0 OR-join 140
null 140
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 139
A Calculus for Orchestration of Web Services 138
A logical verification methodology for service-oriented computing 137
A WSDL-based type system for asynchronous WS-BPEL processes 136
Towards model-driven development of access control policies for web applications 135
A WSDL-based type system for WS-BPEL 134
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 134
Formalising Adaptation Patterns for Autonomic Ensembles 131
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 131
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 130
A language-based approach to modelling and analysis of Twitter interactions 129
A Calculus for Orchestration of Web Services 127
Modeling adaptation with Klaim 126
Reversing Single Sessions 126
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 126
BProVe: a Formal Verification Framework for Business Process Models 125
A Formal Approach to Modelling and Verification of Business Process Collaborations 125
Decision Support for Mobile Cloud Computing Applications via Model Checking 125
A criterion for separating process calculi 124
A Model Checking Approach for Verifying COWS Specifications 124
The Sensoria Approach Applied to the Finance Case Study 124
A Symbolic Semantics for a Calculus for Service-Oriented Computing 123
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 123
A formalized framework for mobile cloud computing 122
Programming Autonomic Systems with Multiple Constraint Stores 122
Trust-Based Enforcement of Security Policies 120
null 120
Specifying and analysing reputation systems with a coordination language 117
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 117
On Observing Dynamic Prioritised Actions in SOC 117
Reputation-based Composition of Social Web Services 117
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 116
Towards Reversible Sessions 115
TAPAs: A Tool for the Analysis of Process Algebras 115
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 115
From Architectural to Behavioural Specification of Services 115
Causal-Consistent Reversibility in a Tuple-Based Language 114
Reputation-Based Cooperation in the Clouds 113
Causal-consistent rollback in a tuple-based language 112
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 111
Using formal methods to develop WS-BPEL applications 111
An Accessible Verification Environment for UML Models of Services 110
Blind-date Conversation Joining 109
A tool for rapid development of WS-BPEL applications 109
UBBA: Unity Based BPMN Animator 108
Orchestrating Tuple-Based Languages 106
Towards a Formal Verification Methodology for Collective Robotic Systems 106
A tool for rapid development of WS-BPEL applications 105
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 104
Modeling adaptation with a tuple-based coordination language 103
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 103
null 103
Network-Aware Evaluation Environment for Reputation Systems 102
Service Discovery and Negotiation with COWS 98
Runtime  Computation of  Optimal Offloading Scheduling  96
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 96
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 94
A Formal Account of WS-BPEL 92
X-Klaim Is Back 90
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 87
The Autonomic Cloud 85
Engineering Trustable Choreography-based Systems Using Blockchain 82
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 81
MIDA: Multiple Instances and Data Animator 81
Supporting Multi-Layer Modeling in BPMN Collaborations 76
Dynamic SLAs for Clouds 73
A Choreography-Driven Approach for Blockchain-Based IoT Applications 73
Analysis of Ethereum Smart Contracts and Opcodes 71
BProVe: Tool Support for Business Process Verification 69
Verification of privacy-enhanced collaborations 67
COWS: A Timed Service-Oriented Calculus 62
Causal-Consistent Reversibility 60
Automata-Based Behavioural Contracts with Action Correlation 60
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 57
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 54
Replacement freeness: A criterion for separating process calculi 52
Defining and guaranteeing dynamic service levels in clouds 49
Formalising BPMN Service Interaction Patterns 47
Totale 11.921
Categoria #
all - tutte 42.137
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 42.137


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20191.323 0 0 0 0 0 48 294 24 2 182 370 403
2019/20203.396 376 176 403 805 183 235 185 316 264 170 111 172
2020/20212.270 90 197 89 235 192 104 412 132 206 107 313 193
2021/20221.300 91 268 43 29 98 86 42 84 116 125 173 145
2022/20231.681 133 22 84 186 253 213 33 189 275 84 150 59
2023/2024481 170 81 104 28 92 6 0 0 0 0 0 0
Totale 12.475