PUGLIESE, ROSARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 12.497
EU - Europa 5.473
AS - Asia 3.178
SA - Sud America 541
Continente sconosciuto - Info sul continente non disponibili 220
AF - Africa 103
OC - Oceania 94
Totale 22.106
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 12.399
RU - Federazione Russa 1.582
IT - Italia 1.443
SG - Singapore 903
CN - Cina 748
PL - Polonia 503
IE - Irlanda 491
HK - Hong Kong 459
BR - Brasile 438
SE - Svezia 437
VN - Vietnam 360
UA - Ucraina 325
KR - Corea 318
DE - Germania 214
FR - Francia 143
FI - Finlandia 142
IN - India 130
GB - Regno Unito 107
AU - Australia 90
CA - Canada 56
TR - Turchia 46
JP - Giappone 32
AR - Argentina 29
BD - Bangladesh 26
CI - Costa d'Avorio 22
MX - Messico 22
VE - Venezuela 21
IQ - Iraq 20
SC - Seychelles 20
NL - Olanda 18
JO - Giordania 17
ZA - Sudafrica 17
CO - Colombia 16
ID - Indonesia 16
CH - Svizzera 13
EC - Ecuador 12
MA - Marocco 12
PK - Pakistan 12
UZ - Uzbekistan 12
PY - Paraguay 11
TW - Taiwan 10
ES - Italia 9
SA - Arabia Saudita 9
TH - Thailandia 9
NG - Nigeria 8
AT - Austria 7
RO - Romania 7
AL - Albania 6
CL - Cile 6
LB - Libano 6
MY - Malesia 6
BE - Belgio 5
KE - Kenya 5
LV - Lettonia 5
NP - Nepal 5
OM - Oman 5
PE - Perù 5
PH - Filippine 5
AE - Emirati Arabi Uniti 4
AZ - Azerbaigian 4
CR - Costa Rica 4
ET - Etiopia 4
GT - Guatemala 4
EG - Egitto 3
NO - Norvegia 3
NZ - Nuova Zelanda 3
PT - Portogallo 3
UY - Uruguay 3
BH - Bahrain 2
BY - Bielorussia 2
CG - Congo 2
DO - Repubblica Dominicana 2
GR - Grecia 2
HN - Honduras 2
IL - Israele 2
JM - Giamaica 2
KW - Kuwait 2
KZ - Kazakistan 2
LA - Repubblica Popolare Democratica del Laos 2
LT - Lituania 2
ML - Mali 2
MU - Mauritius 2
PR - Porto Rico 2
XK - ???statistics.table.value.countryCode.XK??? 2
AI - Anguilla 1
AO - Angola 1
BG - Bulgaria 1
BJ - Benin 1
BS - Bahamas 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
DZ - Algeria 1
EE - Estonia 1
HU - Ungheria 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
ME - Montenegro 1
NI - Nicaragua 1
PA - Panama 1
Totale 21.883
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.847
Fairfield 1.225
Ashburn 1.041
Singapore 578
Woodbridge 538
Seattle 505
Warsaw 503
Dublin 490
Cambridge 453
Jacksonville 452
Houston 413
Chandler 391
Wilmington 379
Hong Kong 354
Seoul 312
Milan 263
San Jose 252
Altamura 208
Lawrence 200
Hefei 195
Ann Arbor 183
Council Bluffs 132
Beijing 131
Princeton 128
Staranzano 122
The Dalles 114
Ho Chi Minh City 113
Lauterbourg 110
Los Angeles 110
Boston 98
Buffalo 97
Rome 96
Melbourne 87
Hanoi 86
Florence 84
Mumbai 84
San Diego 76
Moscow 70
Kent 62
Medford 57
Salerno 48
Boardman 40
Columbus 38
Dallas 38
São Paulo 37
Phoenix 35
Izmir 32
Tokyo 31
Figino 26
New York 26
Bologna 23
Turin 23
Abidjan 22
Haiphong 22
Helsinki 22
Chicago 20
Naples 20
Verona 20
Da Nang 18
Livorno 18
Norwalk 18
Auburn Hills 17
Guangzhou 17
Hillsboro 17
Munich 16
Frankfurt Am Main 15
Shanghai 14
Venice 14
Amman 12
Atlanta 12
Clifton 12
Palermo 12
Redondo Beach 12
Toronto 12
Baghdad 11
Tashkent 11
Bari 10
Brooklyn 10
Frankfurt am Main 10
Miano 10
Orem 10
Saint Petersburg 10
Yubileyny 10
Belo Horizonte 9
Falls Church 9
London 9
Rio de Janeiro 9
San Francisco 9
Andover 8
Bern 8
Brescia 8
Abuja 7
Bengaluru 7
Brasília 7
Can Tho 7
Catania 7
Chennai 7
Modena 7
Nanjing 7
Porto Alegre 7
Totale 15.622
Salva come PNG Salva come JPEG
Nome #
A Calculus for Orchestration of Web Services 370
A model checking approach for verifying COWS specifications 339
From Flow Logic to static type systems for coordination languages 331
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 311
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach 253
X-Klaim and Klava: Programming Mobile Code 243
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 231
Proof Techniques for Cryptographic Processes 225
A Logical Verification Methodology for Service-Oriented Computing 222
Programming Autonomic Systems with Multiple Constraint Stores 221
AGILE: Software Architecture for Mobility 214
A Formal Basis for Reasoning on Programmable QoS 212
A criterion for separating process calculi 212
Klava: a Java Package for Distributed and Mobile Applications 205
Using formal methods to develop WS-BPEL applications 202
The Klaim Project: Theory and Practice 201
A Calculus for Orchestration of Web Services 200
Automata-based Behavioural Contracts with Action Correlation 198
A Process Calculus for QoS-Aware Applications 197
Klaim: a Kernel Language for Agents Interaction and Mobility 197
Blind-date Conversation Joining 196
The SCEL Language: Design, Implementation, Verification 195
A Process Algebra based on Linda 195
A Symbolic Model Checker for ACTL 194
A Formal Approach to Autonomic Systems Programming: The SCEL Language 194
A Symbolic Semantics for a Calculus for Service-Oriented Computing 192
Enforcing Security Policies via Types 190
Basic Observables for Processes 190
Bridging the Gap between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies 189
An Infrastructure Language for Open Nets 189
Basic Observables for Processes 188
Trace and Testing Equivalence on Asynchronous Processes 187
A Mobility Calculus with Local and Dependent Types 187
Basic Observables for a Calculus for Global Computing 187
Automatic Verification of a Hydroelectric Power Plant 187
Basic Observables for a Calculus for Global Computing 185
A Language-Based Approach to Autonomic Computing 185
Blind-date Conversation Joining 184
A WSDL-based type system for WS-BPEL 183
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces 182
On the Expressive Power of Klaim-based Calculi 181
Specifying and Analysing SOC Applications with COWS 181
The Autonomic Cloud 180
Pattern Matching over a Dynamic Network of Tuple Spaces 179
Writing Robotics Applications with X-Klaim 179
A standard-driven communication protocol for disconnected clinics in rural areas 179
Modelling Node Connectivity in Dynamically Evolving Networks 178
Regulating data exchange in service oriented applications 178
Dynamic and Local Typing for Mobile Ambients 177
A formal approach to the engineering of domain-specific distributed systems 177
A WSDL-based type system for asynchronous WS-BPEL processes 176
A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase 176
Global Types and Network Services 175
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 175
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems 174
On a Formal and User-Friendly Linguistic Approach to Access Control of Electronic Health Data 174
Types as Specifications of Access Policies 173
A Theory of ''May'' Testing for Asynchronous Languages 173
Higher-Order Types and Meta-Programming for Global Computing 173
Interactive Mobile Agents in X-Klaim 173
Dynamic management of capabilities in a network aware coordination language 172
Programming Access Control: The Klaim Experience 170
Coordinating Mobile Agents via Blackboards and Access Rights 169
Assessing CS1 Java Skills: A Three-Year Experience 169
An Observational Semantics for Linda 168
The Sensoria Approach Applied to the Finance Case Study 168
From Architectural to Behavioural Specification of Services 167
On Properties of Policy-Based Specifications 167
A tool for rapid development of WS-BPEL applications 167
A blockchain-based platform for incentivizing customer reviews in the grocery industry 166
Process Algebraic Analysis of Cryptographic Protocols 166
Linda based Applicative and Imperative Process Algebras 166
Guardians for Ambient-based Monitoring 164
Testing Semantics of Asynchronous Distributed Programs 164
Proof Techniques for Cryptographic Processes 163
Global computing in a dynamic network of tuple spaces 163
Towards a Formal Verification Methodology for Collective Robotic Systems 163
A formal account of WS-BPEL 162
MetaKlaim: a type safe multi-stage language for global computing 161
e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience 161
Controlling Data Movement in Global Computing Applications 160
An Accessible Verification Environment for UML Models of Services 159
A Process Calculus with Asynchronous Communications 158
Types for Access Control 158
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 158
Replacement freeness: A criterion for separating process calculi 158
Divergence in testing and readiness semantics 158
Formalisation and Implementation of the XACML Access Control Mechanism 156
Programming and Verifying Component Ensembles 156
Global Computing in a Dynamic Network of Tuple Spaces 156
From Flow Logic to Static Type Systems for Coordination Languages 154
SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity 154
Locality based Linda: programming with explicit localities 153
Service discovery and negotiation with COWS 152
Specification and analysis of SOC systems using COWS: A finance case study 152
On the Expressive Power of Klaim-based Calculi 152
Confining data and processes in global computing applications 151
Modeling adaptation with a tuple-based coordination language 151
Modeling Adaptation with Klaim 150
Correctness of Service Components and Service Component Ensembles 150
Totale 18.506
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.711
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 58.711
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022889 0 0 269 14 28 18 33 78 41 15 184 209
2022/20232.029 228 479 73 144 108 360 276 123 133 2 69 34
2023/2024610 31 80 139 28 38 74 27 89 5 28 51 20
2024/20256.747 146 484 265 641 2.482 1.793 128 147 310 91 146 114
2025/20264.868 386 749 475 318 521 194 497 289 289 235 78 837
2026/2027789 122 205 462 0 0 0 0 0 0 0 0 0
Totale 22.106