IRIS
SPALAZZI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.765
EU - Europa 3.246
AS - Asia 985
AF - Africa 92
Continente sconosciuto - Info sul continente non disponibili 9
OC - Oceania 3
SA - Sud America 3
Totale 10.103
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.622
IT - Italia 903
UA - Ucraina 590
SE - Svezia 392
IE - Irlanda 372
SG - Singapore 361
CN - Cina 306
DE - Germania 298
DK - Danimarca 207
TR - Turchia 158
CA - Canada 140
FI - Finlandia 120
KR - Corea 113
GB - Regno Unito 104
RO - Romania 101
FR - Francia 62
MA - Marocco 59
IN - India 28
BE - Belgio 22
CI - Costa d'Avorio 20
PL - Polonia 20
AT - Austria 12
RU - Federazione Russa 11
EU - Europa 9
SN - Senegal 9
NL - Olanda 8
JP - Giappone 5
PT - Portogallo 4
AU - Australia 3
ES - Italia 3
GR - Grecia 3
HK - Hong Kong 3
IR - Iran 3
PA - Panama 3
AE - Emirati Arabi Uniti 2
AR - Argentina 2
BG - Bulgaria 2
CH - Svizzera 2
PH - Filippine 2
SK - Slovacchia (Repubblica Slovacca) 2
TN - Tunisia 2
VN - Vietnam 2
CZ - Repubblica Ceca 1
DZ - Algeria 1
EG - Egitto 1
HR - Croazia 1
HU - Ungheria 1
IL - Israele 1
IS - Islanda 1
LU - Lussemburgo 1
MT - Malta 1
MY - Malesia 1
NO - Norvegia 1
PE - Perù 1
RS - Serbia 1
Totale 10.103
Salva come PNG Salva come JPEG
Città #
Chandler 953
Jacksonville 629
Fairfield 391
Dublin 367
Boardman 361
Ashburn 355
Des Moines 335
Wilmington 251
Ann Arbor 179
Woodbridge 175
New York 172
Singapore 171
Houston 156
Centro 154
Seattle 142
Lawrence 136
Princeton 136
Ottawa 134
San Mateo 130
Cambridge 98
Turin 75
Rome 62
San Diego 56
Sector 3 51
Redmond 42
Ancona 35
Guangzhou 35
Washington 35
Milan 29
Shanghai 29
Wuhan 26
Beijing 25
Tolentino 25
Brussels 21
Abidjan 20
Helsinki 19
Kraków 19
Norwalk 18
Los Angeles 15
Pesaro 15
Bucharest 13
Pune 13
London 12
Răcari 12
Dallas 11
Iasi 11
Jiaxing 11
Porto San Giorgio 11
Fermo 10
Kilburn 10
Marche 10
Offida 10
Jesi 9
Senigallia 9
Yiwu 9
Kalamazoo 8
Ascoli Piceno 7
Pavia 7
Wuxi 7
Cantu 6
Caserta 6
Chiswick 6
Fabriano 6
Fano 6
Hanover 6
Nanjing 6
New Bedfont 6
Potenza Picena 6
Vienna 6
Acquaviva Picena 5
Castelfidardo 5
Civitanova Marche 5
Falls Church 5
Hangzhou 5
Izmir 5
Macerata 5
Parma 5
Pescara 5
Shenzhen 5
Acerra 4
Auburn Hills 4
Falconara Marittima 4
Heze 4
Hyderabad 4
Leawood 4
Montreal 4
Morrovalle 4
Mumbai 4
Ningbo 4
Petritoli 4
San Giorgio A Cremano 4
St. George 4
Tappahannock 4
Torre del Greco 4
Borehamwood 3
Cava Dei Tirreni 3
Essen 3
Göttingen 3
Hefei 3
Innsbruck 3
Totale 6.455
Salva come PNG Salva come JPEG
Nome #
Certificate validation through public ledgers and blockchains 182
An Agent-based Model for Earthquake Pedestrians’ Evacuation Simulation in Urban Scenarios 148
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 132
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons 131
null 119
Agent-based model for earthquake pedestrians’ evacuation in urban outdoor scenarios: Behavioural patterns definition and evacuation paths choice 117
Multi-Agent Simulation Model for Evacuation of Care Homes and Hospitals for Elderly and People with Disabilities in Motion 112
Model Checking Grid Security 110
Automatic Repair of Timestamp Comparisons 109
RAPIDO (teleRehabilitation for pAtient with ParkInson’s Disease at any mOment): preliminary results. 108
A tool for earthquake risk assessment definition including human behavioral aspects: EPES - Earthquake Pedestrians Evacuation Simulator 107
Urban scenarios modifications due to the earthquake: ruins formation criteria and interactions with pedestrians’ evacuation 106
Earthquake Emergencies Management by Means of Semantic-Based Internet of Things 106
Formal Specification of Agent-Object Oriented Programs 105
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 102
A functional approach to cyber risk assessment 102
Real time step length estimation on smartphone 101
Complex Activity Recognition System Based on Cascade Classifiers and Wearable Device Data 99
Semantic web service selection at the process-level: The eBay/Amazon/PayPal case study 98
A modular environment for software development and re-engineering 98
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 97
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 95
Parameterized model-checking of timed systems with conjunctive guards 95
An IPS for Web Applications 94
A Business Process Design Framework for B2B Collaboration 93
null 93
Flexible Planning by Integrating Multilevel Reasoning 90
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 90
Verifying temporal specifications of Java programs 90
METAFOL: PROGRAM TACTICS AND LOGIC TACTICS PLUS REFLECTION 89
C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving 89
A Minimalist Approach to Semantic Annotations for Web Processes Compositions 89
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World 88
From Artificial Intelligence and Databases to Cognitive Computing: Past and Future Computer Engineering Research at UNIVPM 88
Formal methods for conceptual design aiding systems 86
Model Checking Semantically Annotated Services 86
Gait parameter and event estimation using smartphones 86
M. J. Wooldridge, Reasoning about Rational Agents 85
Virtualization on embedded boards as enabling technology for the cloud of things 85
Semantic Annotation for Web Service Processes in a Pervasive Computing 84
Expert Systems for the integrated management of Architectural Design processes 83
Step length estimation for Freezing of Gait monitoring in parkinsonian patients 83
A real-Time Fuzzy Logic algorithm for freezing of gait management on a smartphone 83
Reasoning with Temporal ABoxes: Combining DL-Lite_core with CTL 81
An Anomaly-Based System for Parental Control 80
An architecture to manage motor disorders in Parkinson's disease 80
Towards model checking security of real time Java software 80
An Agent-Based Supply-Chain Management 79
Experimental evaluation of a smartphone based Step Length estimation 79
From Service Identification to Service Selection: An Interleaved Perspective 79
null 79
Cooperation Strategies for Agent-Based P2P Systems 78
A Dynamic Logic for Acting, Sensing, and Planning 77
Model Checking the Security of Multi-Protocol Systems 76
Combining Blockchain and BPMN Choreographies for Construction Management 76
A Goal-Oriented Framework to cope with Requirements Changes: Tropos & Alan 74
IRSS: An Incident Response Support System 74
``A Logic of Belief and a Model Checking Algorithm for Security Protocols'' 74
An unobtrusive expert system to detect freezing of gait during daily living in people with Parkinson's disease 74
Formal Definition of an Agent-Object Programming Language 74
High-Performance Computing for Formal Security Assessment 73
Special Issue: Security and High Performance Computer Systems 72
A P2P-based Infrastructure for Virtual-Enterprise's Supply-Chain Management 72
Application of SWSAL in Semantic Annotation of RESTful Web Services 72
An Internet of Things ontology for earthquake emergency evaluation and response 72
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan 72
Social-Oriented Engineering of Intelligent Software 72
A semantic-based federated cloud system for emergency response 71
EPES– Earthquake pedestrians׳ evacuation simulator: A tool for predicting earthquake pedestrians׳ evacuation in urban outdoor scenarios 71
null 71
High-performance computing: To boldly go where no human has gone before 70
IRSS: Incident Response Support System 70
What are cases for? 69
A.S.A. an Intecarctive assistant to Architectural Designers 69
Verification-as-a-Service for Parameter Assessment 69
Semantic web service selection at the process-level: The eBay/Amazon/PayPal case study 68
A Planner in Architectural Design 67
Agent-Based Transactions into Decentralized P2P 66
Reliability of a smartphone-based home monitoring of freezing of gait in subjects with Parkinson's disease 66
ASA an interactive assistant to architectural design 65
Agent Technologies for federated information systems in the public administration 65
Semantic Model Checking Security Requirements for Web Services 64
Special issue on security and high performance computing systems 64
A scalable telemedicine architecture for under developed countries. A case study: Democratic Republic of Congo 64
Modeling Time in Java Programs for Automatic Error Detection 64
Cooperation Strategies for Information Integration 64
An Experience-based Incident Response System 63
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 63
Applying Formal Methods to case based design aid 63
Disjunctive timed networks 63
A planning language for embedded systems 62
Security analysis of a blockchain-based protocol for the certification of academic credentials 62
Automatic Verification of Security in Payment Protocols for Electronic Commerce 61
Semantic model checking security requirements for web services 59
A Distributed Case-Based Query Rewriting 59
FCFA: A semantic-based federated cloud framework architecture 59
A FIPA Compliant Agent Platform for Federated Information Systems 57
Alan: An Agent-Object Programming Language 57
Using the NuSMV Model Checker to verify the Kerberos Protocol 57
ASA: A Conceptual Design-Support System 57
Totale 8.271
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.762
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 49.762
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020995 0 3 119 5 136 15 134 12 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.728 215 29 98 184 223 288 20 40 5 62 48 516
2024/2025531 295 236 0 0 0 0 0 0 0 0 0 0
Totale 10.443