Luca Spalazzi
Luca Spalazzi
Professor of Computer Science, UniversitÓ Politecnica delle Marche, Ancona, Italy
Verified email at
Cited by
Cited by
A survey on case-based planning
L Spalazzi
Artificial Intelligence Review 16 (1), 3-36, 2001
Agent-based model for earthquake pedestrians’ evacuation in urban outdoor scenarios: Behavioural patterns definition and evacuation paths choice
M D’Orazio, L Spalazzi, E Quagliarini, G Bernardini
Safety science 62, 450-465, 2014
EPES–Earthquake pedestrians׳ evacuation simulator: A tool for predicting earthquake pedestrians׳ evacuation in urban outdoor scenarios
E Quagliarini, G Bernardini, L Spalazzi
International journal of disaster risk reduction 10, 153-177, 2014
A minimalist approach to semantic annotations for web processes compositions
M Pistore, L Spalazzi, P Traverso
European Semantic Web Conference, 620-634, 2006
An Internet of Things ontology for earthquake emergency evaluation and response
L Spalazzi, G Taccari, A Bernardini
2014 International Conference on Collaboration Technologies and Systems (CTSá…, 2014
An agent-based model for earthquake pedestrians’ evacuation simulation in urban scenarios
G Bernardini, M D’Orazio, E Quagliarini, L Spalazzi
Transportation Research Procedia 2, 255-263, 2014
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons
L Ciabattoni, G Foresi, A Monteri¨, L Pepa, DP Pagnotta, L Spalazzi, ...
Journal of Ambient Intelligence and Humanized Computing 10 (1), 1-12, 2019
Model checking semantically annotated services
I Di Pietro, F Pagliarecci, L Spalazzi
IEEE Transactions on software engineering 38 (3), 592-608, 2011
Gait parameter and event estimation using smartphones
L Pepa, F Verdini, L Spalazzi
Gait & posture 57, 217-223, 2017
Fcfa: A semantic-based federated cloud framework architecture
G Manno, WW Smari, L Spalazzi
2012 International Conference on High Performance Computing & Simulationá…, 2012
Cooperation strategies for agent-based p2p systems
L Penserini, L Liu, J Mylopoulos, M Panti, L Spalazzi
Web Intelligence and Agent Systems: An International Journal 1 (1), 3-21, 2003
PKS: An ontology-based learning construct for lifelong learners
F Manganello, C Falsetti, L Spalazzi, T Leo
Journal of Educational Technology & Society 16 (1), 104-117, 2013
A dynamic logic for acting, sensing, and planning
L Spalazzi, P Traverso
Journal of Logic and Computation 10 (6), 787-821, 2000
Certificate Validation Through Public Ledgers and Blockchains.
M Baldi, F Chiaraluce, E Frontoni, G Gottardi, D Sciarroni, L Spalazzi
ITASEC, 156-165, 2017
Using the NuSMV model checker to verify the kerberos protocol
M Panti, L Spalazzi, S Tacconi
Planning with failure
F Giunchiglia, L Spalazzi, P Traverso
AIPS, 74-79, 1994
A case-based approach to information integration
M Panti, L Spalazzi, A Giretti
VLDB, 557-565, 2000
Urban scenarios modifications due to the earthquake: ruins formation criteria and interactions with pedestrians’ evacuation
E Quagliarini, G Bernardini, C Wazinski, L Spalazzi, M D’Orazio
Bulletin of Earthquake Engineering 14 (4), 1071-1101, 2016
Automatic Verification of Security in Payment Protocols for Electronic Commerce.
M Panti, L Spalazzi, S Tacconi, S Valenti
ICEIS, 968-974, 2002
A FIPA compliant agent platform for federated information systems
M Panti, L Penserini, L Spalazzi, S Valenti
International Journal of Computer & Information Science 1 (3), 145-156, 2000
The system can't perform the operation now. Try again later.
Articles 1–20