TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.804
EU - Europa 2.806
AS - Asia 1.430
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 12
SA - Sud America 6
OC - Oceania 3
Totale 13.076
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.566
CN - Cina 1.092
PL - Polonia 651
IT - Italia 605
UA - Ucraina 320
DE - Germania 317
SE - Svezia 257
CA - Canada 238
FR - Francia 195
GB - Regno Unito 177
FI - Finlandia 150
SG - Singapore 141
TR - Turchia 107
IE - Irlanda 59
VN - Vietnam 35
SI - Slovenia 26
BE - Belgio 23
PK - Pakistan 15
EU - Europa 12
IN - India 10
DZ - Algeria 9
HK - Hong Kong 7
NL - Olanda 7
IR - Iran 5
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
CZ - Repubblica Ceca 3
MK - Macedonia 3
AE - Emirati Arabi Uniti 2
AM - Armenia 2
AR - Argentina 2
CH - Svizzera 2
ET - Etiopia 2
IQ - Iraq 2
AT - Austria 1
BN - Brunei Darussalam 1
DK - Danimarca 1
ES - Italia 1
ID - Indonesia 1
IL - Israele 1
PE - Perù 1
RU - Federazione Russa 1
TH - Thailandia 1
ZA - Sudafrica 1
Totale 13.076
Salva come PNG Salva come JPEG
Città #
Fairfield 1.255
Woodbridge 952
Jacksonville 768
Houston 657
Ashburn 633
Seattle 557
Chandler 483
Warsaw 478
Wilmington 473
Cambridge 445
Ann Arbor 431
Boardman 310
Nanjing 216
Toronto 189
Kraków 171
Beijing 121
Lawrence 107
Princeton 107
Bremen 102
San Mateo 101
Columbus 94
Singapore 92
Istanbul 91
Nanchang 86
Camerino 85
Ogden 77
Dearborn 74
Helsinki 69
San Diego 64
New York 59
Shanghai 57
Dublin 56
London 52
Guangzhou 47
Lachine 46
Shenyang 45
Kunming 44
Jiaxing 42
Centro 37
Dong Ket 35
Tianjin 34
Hebei 32
Venezia 30
Los Angeles 29
Düsseldorf 28
Milan 28
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
Taizhou 8
Hong Kong 7
Pescara 7
Pune 7
Rome 7
Shenzhen 7
Bologna 6
Caserta 6
Changchun 6
Council Bluffs 6
Hanover 6
Redwood City 6
Tappahannock 6
Venice 6
Yiwu 6
Andover 5
Lancaster 5
Phoenix 5
Scafati 5
Sefro 5
Valmadrera 5
Acerra 4
Islamabad 4
Isola di Fano 4
Limhamn 4
Mcallen 4
Totale 10.502
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 220
An Operational Semantics of BPMN Collaboration 188
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 165
Service Clustering for Autonomic Clouds Using Random Forest 158
Correctness of Service Components and Service Component Ensembles 156
A Formal Approach to Autonomic Systems Programming: The SCEL Language 155
Special issue on Automated Specification and Verification of Web Systems 155
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
A Formal Approach to Modelling and Verification of Business Process Collaborations 140
null 140
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 133
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
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 127
Specifying and analysing reputation systems with a coordination language 126
On Observing Dynamic Prioritised Actions in SOC 126
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
Causal-Consistent Reversibility in a Tuple-Based Language 122
Reputation-Based Cooperation in the Clouds 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
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
MIDA: Multiple Instances and Data Animator 96
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 95
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 94
The Autonomic Cloud 93
null 86
Analysis of Ethereum Smart Contracts and Opcodes 83
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
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 64
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 63
Replacement freeness: A criterion for separating process calculi 63
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 58
Defining and guaranteeing dynamic service levels in clouds 57
Formalising BPMN Service Interaction Patterns 56
A formal approach to the engineering of domain-specific distributed systems 49
Totale 12.784
Salva come PNG Salva come JPEG
Categoria #
all - tutte 59.734
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 59.734
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.448 0 0 0 0 0 235 185 316 264 170 107 171
2020/20212.230 87 196 86 234 189 104 397 132 202 107 305 191
2021/20221.257 85 266 43 29 96 84 41 81 114 123 165 130
2022/20231.385 128 17 80 181 243 202 8 90 230 69 95 42
2023/2024977 158 59 80 16 50 105 45 60 118 35 20 231
2024/2025741 178 60 272 150 65 16 0 0 0 0 0 0
Totale 13.328