TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.865
EU - Europa 2.887
AS - Asia 1.429
AF - Africa 23
Continente sconosciuto - Info sul continente non disponibili 15
SA - Sud America 6
OC - Oceania 3
Totale 13.228
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.625
CN - Cina 1.088
IT - Italia 662
PL - Polonia 651
UA - Ucraina 323
DE - Germania 321
SE - Svezia 259
CA - Canada 239
FR - Francia 196
GB - Regno Unito 177
FI - Finlandia 157
SG - Singapore 139
TR - Turchia 107
IE - Irlanda 61
VN - Vietnam 35
SI - Slovenia 26
BE - Belgio 23
PK - Pakistan 18
DZ - Algeria 17
EU - Europa 12
IN - India 11
NL - Olanda 9
HK - Hong Kong 6
IR - Iran 5
CZ - Repubblica Ceca 4
JP - Giappone 4
KR - Corea 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
AE - Emirati Arabi Uniti 2
AM - Armenia 2
AR - Argentina 2
CH - Svizzera 2
EE - Estonia 2
ET - Etiopia 2
IL - Israele 2
AT - Austria 1
BN - Brunei Darussalam 1
CR - Costa Rica 1
DK - Danimarca 1
ES - Italia 1
ID - Indonesia 1
PE - Perù 1
RU - Federazione Russa 1
TH - Thailandia 1
ZA - Sudafrica 1
Totale 13.228
Salva come PNG Salva come JPEG
Città #
Fairfield 1.265
Woodbridge 955
Jacksonville 772
Houston 658
Ashburn 634
Seattle 560
Chandler 485
Warsaw 478
Wilmington 475
Cambridge 445
Ann Arbor 432
Boardman 316
Nanjing 216
Toronto 190
Kraków 171
Beijing 120
Lawrence 109
Princeton 109
Bremen 104
San Mateo 102
Camerino 100
Columbus 94
Istanbul 91
Singapore 91
Nanchang 86
Ogden 77
Dearborn 74
Helsinki 74
New York 65
San Diego 64
Dublin 58
Shanghai 57
London 52
Guangzhou 47
Lachine 46
Shenyang 45
Kunming 44
Jiaxing 42
Centro 39
Dong Ket 35
Tianjin 34
Hebei 32
Venezia 30
Los Angeles 29
Düsseldorf 28
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
Ancona 9
Kilburn 9
Ningbo 9
Norwalk 9
Wuxi 9
Dallas 8
Falls Church 8
New Bedfont 8
Pune 8
Rome 8
Taizhou 8
Bologna 7
Pescara 7
Shenzhen 7
Venice 7
Caserta 6
Changchun 6
Council Bluffs 6
Hanover 6
Hong Kong 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
Tavernerio 5
Acerra 4
Totale 10.579
Salva come PNG Salva come JPEG
Nome #
On Avoiding Erroneous Synchronization in BPMN Processes 239
Domain-specific queries and Web search personalization: some investigations 235
Reversible session-based pi-calculus 234
On Properties of Policy-Based Specifications 226
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 226
Blind-date conversation joining 218
An Operational Semantics of BPMN Collaboration 186
Checking Business Process Correctness in Apromore 185
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 180
A standard-driven communication protocol for disconnected clinics in rural areas 177
Formalisation and Implementation of the XACML Access Control Mechanism 167
Regulating Data Exchange in Service Oriented Applications 164
Service Clustering for Autonomic Clouds Using Random Forest 158
Correctness of Service Components and Service Component Ensembles 156
Special issue on Automated Specification and Verification of Web Systems 155
A Formal Approach to Autonomic Systems Programming: The SCEL Language 154
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 151
Towards a Formal Approach to Mobile Cloud Computing 150
A logical verification methodology for service-oriented computing 150
A Calculus for Orchestration of Web Services 149
Specifying and Analysing SOC Applications with COWS 149
null 148
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 147
null 144
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 143
Towards model-driven development of access control policies for web applications 143
A WSDL-based type system for WS-BPEL 142
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 142
A WSDL-based type system for asynchronous WS-BPEL processes 142
Formalising Adaptation Patterns for Autonomic Ensembles 140
A Calculus for Orchestration of Web Services 140
null 140
A Formal Approach to Modelling and Verification of Business Process Collaborations 139
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 138
A language-based approach to modelling and analysis of Twitter interactions 138
null 138
Programming Autonomic Systems with Multiple Constraint Stores 138
A Model Checking Approach for Verifying COWS Specifications 136
Reversing Single Sessions 136
A Symbolic Semantics for a Calculus for Service-Oriented Computing 135
BProVe: a Formal Verification Framework for Business Process Models 135
Modeling adaptation with Klaim 134
Trust-Based Enforcement of Security Policies 134
A criterion for separating process calculi 133
A formalized framework for mobile cloud computing 132
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 131
The Sensoria Approach Applied to the Finance Case Study 131
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 130
Decision Support for Mobile Cloud Computing Applications via Model Checking 130
On Observing Dynamic Prioritised Actions in SOC 126
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 126
Specifying and analysing reputation systems with a coordination language 125
Towards Reversible Sessions 125
UBBA: Unity Based BPMN Animator 124
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 123
Reputation-based Composition of Social Web Services 123
TAPAs: A Tool for the Analysis of Process Algebras 122
Reputation-Based Cooperation in the Clouds 121
Causal-Consistent Reversibility in a Tuple-Based Language 121
From Architectural to Behavioural Specification of Services 120
null 120
Blind-date Conversation Joining 119
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 119
Causal-consistent rollback in a tuple-based language 119
Orchestrating Tuple-Based Languages 117
An Accessible Verification Environment for UML Models of Services 116
A tool for rapid development of WS-BPEL applications 116
Using formal methods to develop WS-BPEL applications 116
Towards a Formal Verification Methodology for Collective Robotic Systems 114
Network-Aware Evaluation Environment for Reputation Systems 113
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 113
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 111
Modeling adaptation with a tuple-based coordination language 110
A tool for rapid development of WS-BPEL applications 110
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 109
X-Klaim Is Back 109
Service Discovery and Negotiation with COWS 107
A Choreography-Driven Approach for Blockchain-Based IoT Applications 107
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 105
Runtime  Computation of  Optimal Offloading Scheduling  104
null 103
A Formal Account of WS-BPEL 102
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 95
MIDA: Multiple Instances and Data Animator 95
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 94
The Autonomic Cloud 93
Engineering Trustable Choreography-based Systems Using Blockchain 87
null 86
Analysis of Ethereum Smart Contracts and Opcodes 82
Dynamic SLAs for Clouds 79
BProVe: Tool Support for Business Process Verification 78
Verification of privacy-enhanced collaborations 77
Automata-Based Behavioural Contracts with Action Correlation 71
Causal-Consistent Reversibility 68
COWS: A Timed Service-Oriented Calculus 67
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 63
Replacement freeness: A criterion for separating process calculi 63
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 62
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 58
Defining and guaranteeing dynamic service levels in clouds 57
Totale 12.858
Salva come PNG Salva come JPEG
Categoria #
all - tutte 60.200
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 60.200
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.636 0 0 0 0 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.012 159 62 89 16 52 116 45 62 119 35 22 235
2024/2025749 181 60 280 166 62 0 0 0 0 0 0 0
Totale 13.499