IRIS
SPALAZZI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.991
EU - Europa 4.038
AS - Asia 1.458
SA - Sud America 172
AF - Africa 98
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 4
Totale 11.770
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.830
IT - Italia 1.116
UA - Ucraina 591
SG - Singapore 480
RU - Federazione Russa 394
SE - Svezia 393
IE - Irlanda 372
DE - Germania 324
CN - Cina 319
HK - Hong Kong 280
DK - Danimarca 207
TR - Turchia 168
BR - Brasile 157
CA - Canada 148
FI - Finlandia 146
FR - Francia 138
GB - Regno Unito 123
KR - Corea 114
RO - Romania 107
MA - Marocco 57
IN - India 34
BE - Belgio 27
PL - Polonia 26
AT - Austria 19
CI - Costa d'Avorio 19
NL - Olanda 19
PK - Pakistan 16
SN - Senegal 10
EU - Europa 9
JP - Giappone 9
MX - Messico 9
ES - Italia 6
PH - Filippine 6
VN - Vietnam 6
EC - Ecuador 5
AE - Emirati Arabi Uniti 4
AU - Australia 4
CH - Svizzera 4
GR - Grecia 4
PT - Portogallo 4
TN - Tunisia 4
ZA - Sudafrica 4
AR - Argentina 3
BD - Bangladesh 3
BG - Bulgaria 3
EG - Egitto 3
IR - Iran 3
PA - Panama 3
UZ - Uzbekistan 3
BH - Bahrain 2
CO - Colombia 2
IQ - Iraq 2
LT - Lituania 2
OM - Oman 2
PE - Perù 2
SK - Slovacchia (Repubblica Slovacca) 2
AL - Albania 1
CL - Cile 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
HR - Croazia 1
HU - Ungheria 1
IL - Israele 1
IM - Isola di Man 1
IS - Islanda 1
JM - Giamaica 1
KG - Kirghizistan 1
KH - Cambogia 1
LU - Lussemburgo 1
MD - Moldavia 1
MT - Malta 1
MY - Malesia 1
NO - Norvegia 1
NP - Nepal 1
PY - Paraguay 1
RS - Serbia 1
TH - Thailandia 1
TW - Taiwan 1
VE - Venezuela 1
Totale 11.770
Salva come PNG Salva come JPEG
Città #
Chandler 953
Jacksonville 629
Fairfield 391
Dublin 367
Ashburn 362
Boardman 356
Des Moines 337
Hong Kong 277
Singapore 252
Wilmington 251
Ann Arbor 179
Woodbridge 175
New York 173
Houston 156
Centro 154
Seattle 143
Ottawa 137
Rome 137
Lawrence 136
Princeton 136
San Mateo 130
The Dalles 106
Cambridge 98
Moscow 79
Turin 75
Ancona 61
San Diego 56
Milan 54
Sector 3 51
Redmond 42
Helsinki 37
Guangzhou 36
Washington 35
Shanghai 29
Beijing 26
Brussels 26
Los Angeles 25
Wuhan 24
Abidjan 19
Kraków 19
Norwalk 18
London 15
Pesaro 15
Bucharest 13
Pune 13
Fermo 12
Nuremberg 12
Răcari 12
Tolentino 12
Iasi 11
Jiaxing 11
Porto San Giorgio 11
Kilburn 10
Marche 10
Munich 10
Offida 10
São Paulo 10
Vienna 10
Izmir 9
Jesi 9
San Francisco 9
Senigallia 9
Yiwu 9
Dallas 8
Kalamazoo 8
Turku 8
Ascoli Piceno 7
Belo Horizonte 7
Florence 7
Nanjing 7
Tokyo 7
Wuxi 7
Brasília 6
Cantu 6
Caserta 6
Charlotte 6
Chiswick 6
Fabriano 6
Falconara Marittima 6
Fano 6
Hanover 6
Naples 6
New Bedfont 6
Pavia 6
Potenza Picena 6
Santa Clara 6
Shenzhen 6
Acquaviva Picena 5
Castelfidardo 5
Civitanova Marche 5
Falls Church 5
Fonte Nuova 5
Giugliano in Campania 5
Hangzhou 5
Montreal 5
Mumbai 5
Parma 5
Pescara 5
Rimini 5
Acerra 4
Totale 7.209
Salva come PNG Salva come JPEG
Nome #
Certificate validation through public ledgers and blockchains 189
RAPIDO (teleRehabilitation for pAtient with ParkInson’s Disease at any mOment): preliminary results. 177
An Agent-based Model for Earthquake Pedestrians’ Evacuation Simulation in Urban Scenarios 164
Algorithmically generated malicious domain names detection based on n-grams features 153
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 149
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons 142
Agent-based model for earthquake pedestrians’ evacuation in urban outdoor scenarios: Behavioural patterns definition and evacuation paths choice 138
Automatic Repair of Timestamp Comparisons 131
Multi-Agent Simulation Model for Evacuation of Care Homes and Hospitals for Elderly and People with Disabilities in Motion 129
Model Checking Grid Security 125
A tool for earthquake risk assessment definition including human behavioral aspects: EPES - Earthquake Pedestrians Evacuation Simulator 123
Earthquake Emergencies Management by Means of Semantic-Based Internet of Things 120
From Artificial Intelligence and Databases to Cognitive Computing: Past and Future Computer Engineering Research at UNIVPM 118
Virtualization on embedded boards as enabling technology for the cloud of things 117
Semantic web service selection at the process-level: The eBay/Amazon/PayPal case study 114
Formal Specification of Agent-Object Oriented Programs 114
Urban scenarios modifications due to the earthquake: ruins formation criteria and interactions with pedestrians’ evacuation 113
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 113
A functional approach to cyber risk assessment 113
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease 112
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 111
Complex Activity Recognition System Based on Cascade Classifiers and Wearable Device Data 110
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 110
Real time step length estimation on smartphone 108
A modular environment for software development and re-engineering 107
An IPS for Web Applications 103
A Business Process Design Framework for B2B Collaboration 101
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 100
Parameterized model-checking of timed systems with conjunctive guards 100
M. J. Wooldridge, Reasoning about Rational Agents 99
Flexible Planning by Integrating Multilevel Reasoning 98
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 98
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL 97
Model Checking Semantically Annotated Services 96
Verifying temporal specifications of Java programs 96
METAFOL: PROGRAM TACTICS AND LOGIC TACTICS PLUS REFLECTION 95
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World 95
C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving 94
Formal methods for conceptual design aiding systems 94
An architecture to manage motor disorders in Parkinson's disease 93
Gait parameter and event estimation using smartphones 93
A real-Time Fuzzy Logic algorithm for freezing of gait management on a smartphone 93
Semantic Annotation for Web Service Processes in a Pervasive Computing 90
Step length estimation for Freezing of Gait monitoring in parkinsonian patients 90
Towards model checking security of real time Java software 90
Expert Systems for the integrated management of Architectural Design processes 89
An Agent-Based Supply-Chain Management 89
Experimental evaluation of a smartphone based Step Length estimation 89
High-Performance Computing for Formal Security Assessment 87
Combining Blockchain and BPMN Choreographies for Construction Management 87
An Anomaly-Based System for Parental Control 86
``A Logic of Belief and a Model Checking Algorithm for Security Protocols'' 86
Parameterized model checking of networks of timed automata with Boolean guards 86
From Service Identification to Service Selection: An Interleaved Perspective 85
A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan 84
IRSS: An Incident Response Support System 84
Model Checking the Security of Multi-Protocol Systems 83
Application of SWSAL in Semantic Annotation of RESTful Web Services 83
Formal Definition of an Agent-Object Programming Language 83
Cooperation Strategies for Agent-Based P2P Systems 83
A Dynamic Logic for Acting, Sensing, and Planning 82
An unobtrusive expert system to detect freezing of gait during daily living in people with Parkinson's disease 81
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan 81
A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management 80
A Planner in Architectural Design 79
EPES– Earthquake pedestrians׳ evacuation simulator: A tool for predicting earthquake pedestrians׳ evacuation in urban outdoor scenarios 79
High-performance computing: To boldly go where no human has gone before 79
Reliability of a smartphone-based home monitoring of freezing of gait in subjects with Parkinson's disease 79
Semantic web service selection at the process-level: The eBay/Amazon/PayPal case study 79
Special Issue: Security and High Performance Computer Systems 78
An Internet of Things ontology for earthquake emergency evaluation and response 78
Verification-as-a-Service for Parameter Assessment 78
A.S.A. an Intecarctive assistant to Architectural Designers 77
IRSS: Incident Response Support System 77
Social-Oriented Engineering of Intelligent Software 77
Blockchain based choreographies: The construction industry case study 77
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture 76
Agent Technologies for federated information systems in the public administration 76
ASA an interactive assistant to architectural design 75
A semantic-based federated cloud system for emergency response 75
Modeling Time in Java Programs for Automatic Error Detection 74
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 73
Agent-Based Transactions into Decentralized P2P 73
An Experience-based Incident Response System 72
Security analysis of a blockchain-based protocol for the certification of academic credentials 72
What are cases for? 71
Semantic model checking security requirements for web services 71
Disjunctive timed networks 71
Special issue on security and high performance computing systems 70
RAPIDO (teleRehabilitation for pAtient with ParkInson’s Disease at any mOment): an interim analysis of acceptability and clinical usefulness data 69
Semantic Model Checking Security Requirements for Web Services 69
Cooperation Strategies for Information Integration 69
Applying Formal Methods to case based design aid 68
A planning language for embedded systems 68
EARTHQUAKE SAFETY OF HISTORICAL URBAN FABRICS: A COMBINED APPROACH INCLUDING HUMAN BEHAVIOURAL ASPECTS 68
Automatic emotion recognition in clinical scenario: a systematic review of methods 68
A FIPA Compliant Agent Platform for Federated Information Systems 67
Alan: An Agent-Object Programming Language 67
Using the NuSMV Model Checker to verify the Kerberos Protocol 67
JEAP Java Environment for Agent Platform 67
Totale 9.356
Salva come PNG Salva come JPEG
Categoria #
all - tutte 62.068
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 62.068
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020401 0 0 0 0 0 0 0 0 0 0 125 276
2020/20211.790 110 189 245 26 216 97 157 122 193 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.278 273 224 123 87 120 83 289 117 498 251 213 0
Totale 12.148