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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021435 0 0 0 0 0 0 0 0 0 141 215 79
2021/20221.279 49 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.431 618 465 453 903 892 585 1.371 812 700 632 0 0
Totale 20.089