TIEZZI, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.777
EU - Europa 2.095
AS - Asia 298
AF - Africa 12
SA - Sud America 11
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.197
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.758
PL - Polonia 559
IE - Irlanda 479
IT - Italia 468
SE - Svezia 247
HK - Hong Kong 161
DE - Germania 83
UA - Ucraina 76
CN - Cina 66
FI - Finlandia 53
GB - Regno Unito 39
RU - Federazione Russa 30
TR - Turchia 29
RO - Romania 27
CA - Canada 19
FR - Francia 13
IN - India 13
SG - Singapore 9
AT - Austria 6
BR - Brasile 6
VN - Vietnam 6
BE - Belgio 5
NL - Olanda 5
PE - Perù 5
TN - Tunisia 5
AU - Australia 3
ES - Italia 3
JO - Giordania 3
KR - Corea 3
JP - Giappone 2
MA - Marocco 2
MU - Mauritius 2
PK - Pakistan 2
SC - Seychelles 2
BN - Brunei Darussalam 1
BY - Bielorussia 1
CH - Svizzera 1
EU - Europa 1
MY - Malesia 1
PH - Filippine 1
RE - Reunion 1
TH - Thailandia 1
Totale 6.197
Salva come PNG Salva come JPEG
Città #
Fairfield 687
Warsaw 556
Dublin 478
Woodbridge 308
Ashburn 303
Seattle 263
Chandler 259
Cambridge 236
Houston 228
Wilmington 213
Lawrence 207
Altamura 202
Princeton 122
Ann Arbor 104
Jacksonville 100
Boston 98
San Diego 79
Hong Kong 65
Beijing 43
Medford 36
Izmir 29
Florence 28
Moscow 27
Norwalk 22
Boardman 20
Salerno 19
Hillsboro 18
Toronto 13
Livorno 12
Timisoara 12
Andover 11
Camerino 11
Falls Church 8
Guangzhou 8
Rome 8
Cluj-napoca 7
Milan 7
London 6
Redwood City 6
Singapore 6
Cagliari 5
Centro 5
Dong Ket 5
Kilburn 5
Lima 5
New York 5
Pune 5
San Mateo 5
Auburn Hills 4
Helsinki 4
West Jordan 4
Anguillara Sabazia 3
Bucharest 3
Buffalo 3
Capaccio 3
Columbus 3
Dallas 3
Gunzenhausen 3
Hounslow 3
Indore 3
Latina 3
Laurel 3
Los Angeles 3
Montreal 3
Pisa 3
Seongbuk-gu 3
Siena 3
Tappahannock 3
Vienna 3
Washington 3
Ancona 2
Antwerp 2
Avilés 2
Bertinoro 2
Braunschweig 2
Bucine 2
Catania 2
Chengdu 2
Cologne 2
Council Bluffs 2
Essen 2
Frankfurt Am Main 2
Hebei 2
Iasi 2
Islington 2
Koettmannsdorf 2
Mumbai 2
Nanjing 2
Novosibirsk 2
Padova 2
Palo Alto 2
Pavia 2
Perugia 2
Philadelphia 2
Phoenix 2
Potsdam 2
Québec 2
Rawalpindi 2
San Giuliano Terme 2
San Lazzaro di Savena 2
Totale 5.034
Salva come PNG Salva come JPEG
Nome #
A Calculus for Orchestration of Web Services 232
A model checking approach for verifying COWS specifications 223
X-Klaim is back 208
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 195
Specification and Analysis of Service-Oriented Applications 164
Using formal methods to develop WS-BPEL applications 104
Programming Autonomic Systems with Multiple Constraint Stores 100
Specifying and Analysing SOC Applications with COWS 94
A Symbolic Semantics for a Calculus for Service-Oriented Computing 94
Blind-date Conversation Joining 92
Blind-date Conversation Joining 92
The SCEL Language: Design, Implementation, Verification 89
A WSDL-based type system for WS-BPEL 89
A criterion for separating process calculi 89
The Sensoria Approach Applied to the Finance Case Study 84
Automata-based Behavioural Contracts with Action Correlation 83
A calculus for attribute-based communication 82
A WSDL-based type system for asynchronous WS-BPEL processes 80
A Calculus for Orchestration of Web Services 79
A Logical Verification Methodology for Service-Oriented Computing 75
An Accessible Verification Environment for UML Models of Services 74
From Architectural to Behavioural Specification of Services 73
null 73
The Autonomic Cloud 72
Regulating data exchange in service oriented applications 72
Towards a Formal Verification Methodology for Collective Robotic Systems 71
A standard-driven communication protocol for disconnected clinics in rural areas 71
A tool for rapid development of WS-BPEL applications 71
Specification and analysis of SOC systems using COWS: A finance case study 70
Formalisation and Implementation of the XACML Access Control Mechanism 70
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 70
Programming and Verifying Component Ensembles 69
Modeling adaptation with a tuple-based coordination language 69
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 69
Service discovery and negotiation with COWS 68
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 68
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 68
Modeling Adaptation with Klaim 66
Formalising Adaptation Patterns for Autonomic Ensembles 65
On observing dynamic prioritised actions in SOC 64
On a Formal and User-Friendly Linguistic Approach to Access Control of Electronic Health Data 64
Writing Robotics Applications with X-Klaim 63
On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals 62
On Properties of Policy-Based Specifications 62
Towards model-driven development of access control policies for web applications 62
On Programming and Policing Autonomic Computing Systems 59
Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios 58
Special issue on Automated Specification and Verification of Web Systems 57
Correctness of Service Components and Service Component Ensembles 57
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems 56
COWS: A timed service-oriented calculus 54
A formal account of WS-BPEL 51
Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011) 51
Self-expression and Dynamic Attribute-based Ensembles in SCEL 48
Preface 47
A formal approach to the engineering of domain-specific distributed systems 47
Analysis of Ethereum Smart Contracts and Opcodes 43
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing 42
UBBA: Unity Based BPMN Animator 41
A formal approach for the analysis of BPMN collaboration models 41
Replacement freeness: A criterion for separating process calculi 40
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review 39
A Formal Approach to Modelling and Verification of Business Process Collaborations 36
An Operational Semantics of BPMN Collaboration 35
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 34
A language-based approach to modelling and analysis of Twitter interactions 34
BProVe: Tool Support for Business Process Verification 32
Runtime  Computation of  Optimal Offloading Scheduling  32
BProVe: a Formal Verification Framework for Business Process Models 31
BPMN 2.0 OR-Join Semantics: Global and local characterisation 31
A Classification of BPMN Collaborations based on Safeness and Soundness Notions 30
PALM: A Technique for Process ALgebraic Specification Mining 30
Correctness checking for BPMN collaborations with sub-processes 30
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach 29
Engineering trustable choreography-based systems using blockchain 29
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies 26
MIDA: Multiple Instances and Data Animator 25
Supporting Multi-Layer Modeling in BPMN Collaborations 25
Ethereum smart contracts: Analysis and statistics of their source code and opcodes 25
Disciplined use of BPMN for mission modeling of Multi-Robot Systems 25
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach 24
Verification of privacy-enhanced collaborations 24
Model-Driven Engineering for Multi-Party Business Processes on Multiple Blockchains 23
Domain-specific queries and Web search personalization: some investigations 23
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest 23
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies 23
Formalising and animating multiple instances in BPMN collaborations 23
RePROSitory: a Repository platform for sharing business PROcess models and logS 23
Global vs. local semantics of BPMN 2.0 OR-join 22
Programming Multi-Robot Systems with X-KLAIM 22
A Technique for Collaboration Discovery 21
Orchestrating Tuple-Based Languages 21
On Avoiding Erroneous Synchronization in BPMN Processes 21
RePROSitory: a Repository Platform for Sharing Business PROcess modelS 21
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations 21
ChorChain: A model-driven framework for choreography-based systems using blockchain 21
A Purpose-Guided Log Generation Framework 20
Towards a Formal Approach to Mobile Cloud Computing 20
Service Clustering for Autonomic Clouds Using Random Forest 20
A formalized framework for mobile cloud computing 20
Totale 5.860
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.045
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 23.045
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019524 0 0 0 0 0 0 0 0 0 100 232 192
2019/20201.157 98 81 28 105 135 147 128 147 121 72 71 24
2020/2021649 57 60 34 55 29 66 32 55 79 73 45 64
2021/20221.150 19 57 356 131 30 25 16 122 40 9 136 209
2022/20231.725 197 454 55 103 64 327 270 89 97 8 45 16
2023/2024626 33 68 138 37 45 94 45 119 12 35 0 0
Totale 6.390