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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020571 0 0 0 0 0 0 0 0 147 23 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/20251.811 273 224 123 87 120 83 289 117 495 0 0 0
Totale 11.681