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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202179 0 0 0 0 0 0 0 0 0 0 0 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.857 618 465 453 903 892 585 1.371 812 700 685 165 208
Totale 20.515