TIEZZI, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.551
EU - Europa 2.814
AS - Asia 859
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 14
OC - Oceania 3
SA - Sud America 3
Totale 12.259
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.312
CN - Cina 758
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 149
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
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
HK - Hong Kong 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
CZ - Repubblica Ceca 1
DK - Danimarca 1
ID - Indonesia 1
RU - Federazione Russa 1
Totale 12.259
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 215
Toronto 190
Kraków 171
Lawrence 109
Princeton 109
Bremen 104
San Mateo 102
Beijing 98
Columbus 94
Nanchang 86
Ogden 77
Boardman 75
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
Tianjin 34
Hebei 32
Jiaxing 32
Venezia 30
Düsseldorf 28
Milan 26
Brussels 23
Los Angeles 22
Jinan 20
Hangzhou 18
Hefei 18
Philadelphia 17
Shanghai 17
Kocaeli 16
Changsha 14
Orange 14
Florence 13
Lanzhou 13
Nereto 13
Verona 13
Lainate 12
Zhengzhou 12
Indiana 11
Lappeenranta 11
Auburn Hills 10
Hounslow 10
Ancona 9
Guangzhou 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
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
Islamabad 4
Isola di Fano 4
Mcallen 4
Pesaro 4
Prescot 4
Totale 9.953
Salva come PNG Salva come JPEG
Nome #
On Avoiding Erroneous Synchronization in BPMN Processes 230
Domain-specific queries and Web search personalization: some investigations 226
Reversible session-based pi-calculus 225
On Properties of Policy-Based Specifications 218
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 217
Blind-date conversation joining 211
An Operational Semantics of BPMN Collaboration 177
Checking Business Process Correctness in Apromore 172
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 171
A standard-driven communication protocol for disconnected clinics in rural areas 165
Formalisation and Implementation of the XACML Access Control Mechanism 161
Regulating Data Exchange in Service Oriented Applications 155
Service Clustering for Autonomic Clouds Using Random Forest 151
Correctness of Service Components and Service Component Ensembles 148
Special issue on Automated Specification and Verification of Web Systems 146
A Formal Approach to Autonomic Systems Programming: The SCEL Language 145
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter 145
null 144
Specifying and Analysing SOC Applications with COWS 143
Towards a Formal Approach to Mobile Cloud Computing 142
A Calculus for Orchestration of Web Services 142
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 141
A logical verification methodology for service-oriented computing 141
Global vs. local semantics of BPMN 2.0 OR-join 139
null 138
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 136
Towards model-driven development of access control policies for web applications 136
A WSDL-based type system for asynchronous WS-BPEL processes 136
A WSDL-based type system for WS-BPEL 135
A Calculus for Orchestration of Web Services 134
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 133
Formalising Adaptation Patterns for Autonomic Ensembles 132
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 132
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 131
Programming Autonomic Systems with Multiple Constraint Stores 130
A language-based approach to modelling and analysis of Twitter interactions 129
A Formal Approach to Modelling and Verification of Business Process Collaborations 129
BProVe: a Formal Verification Framework for Business Process Models 128
A criterion for separating process calculi 127
Modeling adaptation with Klaim 127
Reversing Single Sessions 127
A Model Checking Approach for Verifying COWS Specifications 126
A Symbolic Semantics for a Calculus for Service-Oriented Computing 125
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals 124
The Sensoria Approach Applied to the Finance Case Study 124
Trust-Based Enforcement of Security Policies 123
A formalized framework for mobile cloud computing 123
Decision Support for Mobile Cloud Computing Applications via Model Checking 122
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 121
null 120
On Observing Dynamic Prioritised Actions in SOC 118
Specifying and analysing reputation systems with a coordination language 117
Towards Reversible Sessions 117
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing 117
TAPAs: A Tool for the Analysis of Process Algebras 116
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study 116
Reputation-based Composition of Social Web Services 116
UBBA: Unity Based BPMN Animator 115
Reputation-Based Cooperation in the Clouds 114
From Architectural to Behavioural Specification of Services 114
Causal-Consistent Reversibility in a Tuple-Based Language 114
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 113
Causal-consistent rollback in a tuple-based language 112
Blind-date Conversation Joining 111
Using formal methods to develop WS-BPEL applications 111
An Accessible Verification Environment for UML Models of Services 110
A tool for rapid development of WS-BPEL applications 110
Orchestrating Tuple-Based Languages 108
Towards a Formal Verification Methodology for Collective Robotic Systems 108
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data 105
Network-Aware Evaluation Environment for Reputation Systems 105
A tool for rapid development of WS-BPEL applications 105
Modeling adaptation with a tuple-based coordination language 104
null 103
Self-expression and Dynamic Attribute-Based Ensembles in SCEL 102
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 100
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 98
Runtime  Computation of  Optimal Offloading Scheduling  96
A Formal Account of WS-BPEL 94
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A practical approach 88
The Autonomic Cloud 88
MIDA: Multiple Instances and Data Animator 84
Proc. of 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012) 83
Engineering Trustable Choreography-based Systems Using Blockchain 80
Supporting Multi-Layer Modeling in BPMN Collaborations 78
A Choreography-Driven Approach for Blockchain-Based IoT Applications 77
Dynamic SLAs for Clouds 73
Analysis of Ethereum Smart Contracts and Opcodes 73
BProVe: Tool Support for Business Process Verification 70
Verification of privacy-enhanced collaborations 67
Automata-Based Behavioural Contracts with Action Correlation 64
COWS: A Timed Service-Oriented Calculus 61
Causal-Consistent Reversibility 61
Replacement freeness: A criterion for separating process calculi 56
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 55
Coseismic surface geological effects following the 30 October 2016 Mw 6.5 earthquake, central Italy. 52
Defining and guaranteeing dynamic service levels in clouds 50
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 50
Totale 12.086
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.114
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 49.114
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019773 0 0 0 0 0 0 0 0 0 0 370 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/2024776 160 62 90 16 53 118 45 62 119 38 13 0
Totale 12.514