SPALAZZI, Luca
 Distribuzione geografica
Continente #
NA - Nord America 9.851
EU - Europa 5.337
AS - Asia 4.449
SA - Sud America 891
Continente sconosciuto - Info sul continente non disponibili 435
AF - Africa 257
OC - Oceania 7
Totale 21.227
Nazione #
US - Stati Uniti d'America 9.529
SG - Singapore 1.652
IT - Italia 1.480
VN - Vietnam 900
RU - Federazione Russa 759
CN - Cina 750
BR - Brasile 669
UA - Ucraina 609
DE - Germania 439
SE - Svezia 412
IE - Irlanda 375
HK - Hong Kong 347
FR - Francia 283
DK - Danimarca 207
CA - Canada 205
GB - Regno Unito 203
FI - Finlandia 196
TR - Turchia 192
IN - India 133
KR - Corea 124
RO - Romania 112
AR - Argentina 75
MA - Marocco 75
CI - Costa d'Avorio 62
MX - Messico 61
BD - Bangladesh 56
NL - Olanda 53
PK - Pakistan 47
PL - Polonia 47
EC - Ecuador 43
JP - Giappone 41
ZA - Sudafrica 40
ES - Italia 33
ID - Indonesia 31
IQ - Iraq 31
BE - Belgio 28
CO - Colombia 28
AT - Austria 27
PH - Filippine 26
DZ - Algeria 20
CL - Cile 16
EG - Egitto 16
PE - Perù 16
VE - Venezuela 16
UZ - Uzbekistan 15
JM - Giamaica 13
TN - Tunisia 13
LT - Lituania 12
SA - Arabia Saudita 12
SN - Senegal 12
CH - Svizzera 10
KE - Kenya 10
PY - Paraguay 10
UY - Uruguay 10
AE - Emirati Arabi Uniti 9
EU - Europa 9
MY - Malesia 9
CR - Costa Rica 8
AL - Albania 7
AZ - Azerbaigian 7
IL - Israele 7
JO - Giordania 7
PT - Portogallo 7
TH - Thailandia 7
TW - Taiwan 7
AU - Australia 6
BO - Bolivia 6
OM - Oman 6
BG - Bulgaria 5
GR - Grecia 5
GT - Guatemala 5
HN - Honduras 5
NP - Nepal 5
PA - Panama 5
TT - Trinidad e Tobago 5
BB - Barbados 4
IR - Iran 4
KZ - Kazakistan 4
PS - Palestinian Territory 4
RS - Serbia 4
SY - Repubblica araba siriana 4
BA - Bosnia-Erzegovina 3
BH - Bahrain 3
HU - Ungheria 3
MD - Moldavia 3
SK - Slovacchia (Repubblica Slovacca) 3
BJ - Benin 2
CY - Cipro 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
ET - Etiopia 2
GP - Guadalupe 2
GY - Guiana 2
LB - Libano 2
NI - Nicaragua 2
NO - Norvegia 2
SV - El Salvador 2
BY - Bielorussia 1
CG - Congo 1
DM - Dominica 1
Totale 20.782
Città #
Ashburn 1.369
Singapore 1.120
Chandler 954
Jacksonville 635
San Jose 549
Dallas 454
Council Bluffs 404
Fairfield 391
Dublin 370
Boardman 359
Des Moines 338
Hong Kong 335
Ho Chi Minh City 263
Wilmington 252
New York 233
Hanoi 197
Rome 194
The Dalles 186
Ann Arbor 179
Woodbridge 175
Houston 169
Beijing 158
Los Angeles 155
Centro 154
Seattle 149
Princeton 138
Ottawa 137
Lawrence 136
San Mateo 130
Lauterbourg 129
Moscow 128
Ancona 106
Milan 104
Cambridge 99
Hefei 85
Munich 84
Turin 78
São Paulo 69
Chicago 63
Abidjan 62
Da Nang 59
San Diego 59
Sector 3 51
Orem 50
Santa Clara 50
Helsinki 49
Buffalo 47
Turku 46
Haiphong 44
Redmond 42
Washington 40
Guangzhou 37
Shanghai 32
Tokyo 32
Chennai 29
Denver 29
Brussels 27
London 27
Wuhan 24
Boston 23
Brooklyn 23
Amsterdam 22
Johannesburg 22
Rio de Janeiro 22
Atlanta 21
Nonantola 21
Frankfurt am Main 20
Kraków 19
Montreal 19
Warsaw 19
Norwalk 18
Salt Lake City 18
San Francisco 18
Brasília 17
Bucharest 17
Las Vegas 17
Manchester 17
Stockholm 17
Nuremberg 16
Ogden 16
Phoenix 16
Pune 16
Mexico City 15
Pesaro 15
Poplar 15
Vienna 15
Belo Horizonte 14
Biên Hòa 14
Mumbai 14
Sant'Elpidio a Mare 14
Fermo 12
Guayaquil 12
Hải Dương 12
Naples 12
Pescara 12
Răcari 12
Tashkent 12
Tolentino 12
Toronto 12
Charlotte 11
Totale 12.733
Nome #
RAPIDO (teleRehabilitation for pAtient with ParkInson’s Disease at any mOment): preliminary results. 294
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 256
An Agent-based Model for Earthquake Pedestrians’ Evacuation Simulation in Urban Scenarios 240
Algorithmically generated malicious domain names detection based on n-grams features 232
Certificate validation through public ledgers and blockchains 229
A functional approach to cyber risk assessment 216
Agent-based model for earthquake pedestrians’ evacuation in urban outdoor scenarios: Behavioural patterns definition and evacuation paths choice 214
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons 211
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease 206
A tool for earthquake risk assessment definition including human behavioral aspects: EPES - Earthquake Pedestrians Evacuation Simulator 203
Semantic web service selection at the process-level: The eBay/Amazon/PayPal case study 193
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 191
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 189
Model Checking Grid Security 185
Automatic Repair of Timestamp Comparisons 185
From Artificial Intelligence and Databases to Cognitive Computing: Past and Future Computer Engineering Research at UNIVPM 183
Earthquake Emergencies Management by Means of Semantic-Based Internet of Things 182
Complex Activity Recognition System Based on Cascade Classifiers and Wearable Device Data 181
Multi-Agent Simulation Model for Evacuation of Care Homes and Hospitals for Elderly and People with Disabilities in Motion 178
An architecture to manage motor disorders in Parkinson's disease 176
RAPIDO (teleRehabilitation for pAtient with ParkInson’s Disease at any mOment): an interim analysis of acceptability and clinical usefulness data 174
Blockchain based choreographies: The construction industry case study 171
Formal Specification of Agent-Object Oriented Programs 167
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 165
A Business Process Design Framework for B2B Collaboration 164
Real time step length estimation on smartphone 164
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 164
RAPIDO (teleRehabilitation for pAtient with ParkInson’s Disease at any mOment): a feasibility and acceptability analysis 162
Virtualization on embedded boards as enabling technology for the cloud of things 162
A modular environment for software development and re-engineering 160
A Comparative Analysis of Datasets for Intrusion Detection in Software-Defined Networks 160
A real-Time Fuzzy Logic algorithm for freezing of gait management on a smartphone 159
Automatic emotion recognition in clinical scenario: a systematic review of methods 159
RAPIDO (teleRiabilitazione per pazienti con malattia di ParkInson in qualsiasi stadio): risultati preliminari 158
Urban scenarios modifications due to the earthquake: ruins formation criteria and interactions with pedestrians’ evacuation 154
Gait parameter and event estimation using smartphones 153
Acceptability and clinical usefulness of a telemonitoring and telerehabilitation system in people with Parkinson’s Disease in different disease stages: preliminary findings from the RAPIDO study 152
Model Checking Semantically Annotated Services 152
An IPS for Web Applications 151
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 151
A Dynamic Logic for Acting, Sensing, and Planning 149
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL 146
An Agent-Based Supply-Chain Management 145
A Planner in Architectural Design 144
Combining Blockchain and BPMN Choreographies for Construction Management 143
M. J. Wooldridge, Reasoning about Rational Agents 142
``A Logic of Belief and a Model Checking Algorithm for Security Protocols'' 142
Formal Definition of an Agent-Object Programming Language 142
A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management 141
Semantic web service selection at the process-level: The eBay/Amazon/PayPal case study 139
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture 138
Supervised learning for automatic emotion recognition in Parkinson’s disease through smartwatch signals 138
Flexible Planning by Integrating Multilevel Reasoning 138
Step length estimation for Freezing of Gait monitoring in parkinsonian patients 138
RAPIDO: RIABILITAZIONE E MONITORAGGIO IN PAZIENTI CON MALATTIA DI PARKINSON 137
A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan 137
Formal methods for conceptual design aiding systems 137
Application of SWSAL in Semantic Annotation of RESTful Web Services 137
A.S.A. an Intecarctive assistant to Architectural Designers 137
High-Performance Computing for Formal Security Assessment 137
From Service Identification to Service Selection: An Interleaved Perspective 136
Parameterized model checking of networks of timed automata with Boolean guards 136
Parameterized model-checking of timed systems with conjunctive guards 136
Reliability of a smartphone-based home monitoring of freezing of gait in subjects with Parkinson's disease 135
Verifying temporal specifications of Java programs 135
An unobtrusive expert system to detect freezing of gait during daily living in people with Parkinson's disease 134
Semantic Annotation for Web Service Processes in a Pervasive Computing 133
A scalable telemedicine architecture for under developed countries. A case study: Democratic Republic of Congo 133
Consumer Devices for Health Parameter Collection and Analysis in Parkinson’s Disease Telerehabilitation 132
Experimental evaluation of a smartphone based Step Length estimation 131
Towards model checking security of real time Java software 131
METAFOL: PROGRAM TACTICS AND LOGIC TACTICS PLUS REFLECTION 129
C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving 129
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World 129
Agent Technologies for federated information systems in the public administration 129
Agent-Based Transactions into Decentralized P2P 127
EPES– Earthquake pedestrians׳ evacuation simulator: A tool for predicting earthquake pedestrians׳ evacuation in urban outdoor scenarios 127
IRSS: Incident Response Support System 127
A FIPA Compliant Agent Platform for Federated Information Systems 126
A semantic-based federated cloud system for emergency response 126
EARTHQUAKE SAFETY OF HISTORICAL URBAN FABRICS: A COMBINED APPROACH INCLUDING HUMAN BEHAVIOURAL ASPECTS 125
Semantic model checking security requirements for web services 124
Cooperation Strategies for Agent-Based P2P Systems 124
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 123
High-performance computing: To boldly go where no human has gone before 123
IRSS: An Incident Response Support System 122
Expert Systems for the integrated management of Architectural Design processes 121
An Anomaly-Based System for Parental Control 121
A planning language for embedded systems 121
Parkinson's disease telemonitoring and telerehabilitation based on commercial wearable sensor data analysis: a pilot study 120
ASA an interactive assistant to architectural design 119
Security analysis of a blockchain-based protocol for the certification of academic credentials 119
`eLearning for Complex System Professionals: Material Knowledge Representation, Retrieval, and Building 118
Disjunctive timed networks 118
Modeling Time in Java Programs for Automatic Error Detection 117
PKS: An Ontology-based Learning Construct for Lifelong Learners 116
From service identification to service selection: An interleaved perspective (extended abstract) 116
Model Checking the Security of Multi-Protocol Systems 115
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan 115
TELERIABILITAZIONE PER PERSONE AFFETTE DA MALATTIA DI PARKINSON IN QUALSIASI STADIO: RISULTATI PRELIMINARI DELLO STUDIO RAPIDO 114
Totale 15.165
Categoria #
all - tutte 89.876
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 89.876


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.230 0 279 29 56 18 54 52 69 59 95 233 286
2022/20232.520 207 287 168 238 154 545 7 154 492 16 186 66
2023/20241.686 215 29 98 184 223 288 20 40 5 50 37 497
2024/20252.788 273 224 123 87 120 83 289 117 498 251 336 387
2025/20267.952 618 465 453 903 892 585 1.371 812 700 685 165 303
2026/2027617 362 255 0 0 0 0 0 0 0 0 0 0
Totale 21.227