Luca Spalazzi
Orcid: 0000-0002-4807-6632
According to our database1,
Luca Spalazzi
authored at least 106 papers
between 1992 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IEEE Trans. Affect. Comput., 2023
Concurr. Comput. Pract. Exp., 2023
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023
Proceedings of the 4th International Conference on Industry 4.0 and Smart Manufacturing (ISM 2023), 2023
Consumer Devices for Health Parameter Collection and Analysis in Parkinson's Disease Telerehabilitation.
Proceedings of the 13th IEEE International Conference on Consumer Electronics - Berlin, 2023
Efficiency of Malware Detection Based on DNS Packet Analysis Over Real Network Traffic.
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023
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.
Proceedings of the 4th Italian Workshop on Artificial Intelligence for an Ageing Society co-located with 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
2022
Multim. Tools Appl., 2022
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Parkinson's disease telemonitoring and telerehabilitation based on commercial wearable sensor data analysis: a pilot study.
Proceedings of the 12th IEEE International Conference on Consumer Electronics, 2022
A low-cost telerehabilitation and telemonitoring system for people with Parkinson's disease: the architecture.
Proceedings of the 12th IEEE International Conference on Consumer Electronics, 2022
A Precision Cybersecurity Workflow for Cyber-physical Systems: The IoT Healthcare Use Case.
Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022
2021
Algorithmically generated malicious domain names detection based on n-grams features.
Expert Syst. Appl., 2021
2020
Theor. Comput. Sci., 2020
A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease.
Expert Syst. Appl., 2020
Security Analysis of a Blockchain-based Protocol for the Certification of Academic Credentials.
Proceedings of the 3rd Distributed Ledger Technology Workshop Co-located with ITASEC 2020, 2020
Therapeutic Exercise Protocols for People Recovering After Covid-19: A Tele-Health Approach.
Proceedings of the Ambient Assisted Living, 2020
2019
Real time indoor localization integrating a model based pedestrian dead reckoning on smartphone and BLE beacons.
J. Ambient Intell. Humaniz. Comput., 2019
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019
Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019
2018
Concurr. Comput. Pract. Exp., 2018
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018
Complex activity recognition system based on cascade classifiers and wearable device data.
Proceedings of the IEEE International Conference on Consumer Electronics, 2018
2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017
Security in heterogeneous distributed storage systems: A practically achievable information-theoretic approach.
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017
Proceedings of the 7th IEEE International Conference on Consumer Electronics - Berlin, 2017
2016
Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version).
CoRR, 2016
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016
Proceedings of the IEEE International Conference on Consumer Electronics, 2016
2015
J. Comput. Secur., 2015
Concurr. Comput. Pract. Exp., 2015
Concurr. Comput. Pract. Exp., 2015
Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015
2014
Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version).
CoRR, 2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014
Proceedings of the Mobile Networks for Biometric Data Analysis, 2014
Proceedings of the Internet of Things. IoT Infrastructures, 2014
Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014
Proceedings of the 2014 International Conference on Collaboration Technologies and Systems, 2014
2013
Future Gener. Comput. Syst., 2013
J. Educ. Technol. Soc., 2013
Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning.
J. Educ. Technol. Soc., 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
2012
Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, 2012
Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012
Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012
2011
Proceedings of the 2011 International Conference on Collaboration Technologies and Systems, 2011
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011
2010
Proceedings of the Pervasive Computing, 2010
Semantic Model Checking Security Requirements for Web Services (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010
Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010
Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010
2009
Semantic Web Service Selection at the Process-level: the eBay/Amazon/PayPal Case Study.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009
Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009
Performance indicator in collaborative systems for business process management.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009
JEAP - JAVA environment for Agent platform.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009
2008
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008
Semantic Annotation for Web Service Processes.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008
2007
Web Service Discovery at Process-level Based on Semantic Annotation.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007
From a Goal-Oriented Methodology to a BDI Agent Language: The Case of <i>Tropos</i> and Alan.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007
2006
Proceedings of the Semantic Web: Research and Applications, 2006
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006
2005
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005
Proceedings of the 2005 International Symposium on Collaborative Technologies and Systems, 2005
2004
A P2P-Based Infrastructure for Virtual-Enterprise's Supply-Chain Management.
Proceedings of the ICEIS 2004, 2004
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004
2003
M. J. Wooldridge, Reasoning about Rational Agents, Intelligent Robots and Autonomous Agents Series, Cambridge, MA: The MIT Press, 2000, xv+227 pp., $35.00 (hardcover), ISBN 0-262-23213-8.
Minds Mach., 2003
2002
Verification of the SSL/TLS Protocol Using a Model Checkable Logic of Belief and Time.
Proceedings of the Computer Safety, 2002
Automatic Verification of Security in Payment Protocols for Electronic Commerce.
Proceedings of the ICEIS 2002, 2002
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002
Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002
2001
A Distributed Case-Based Query Rewriting.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Cooperative Information Systems, 9th International Conference, 2001
2000
ACIS Int. J. Comput. Inf. Sci., 2000
Verifica formale dei protocolli di sicurezza mediante model checking.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000
A critical discussion about an agent platform based on FIPA specification.
Proceedings of the Ottavo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2000
A Logic of Belief and a Model Checking Algorithm for Security Protocols.
Proceedings of the Formal Techniques for Distributed System Development, 2000
1999
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning.
Artif. Intell., 1999
1998
1996
Future Gener. Comput. Syst., 1996
1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World.
Proceedings of the Intelligent Agents II, 1995
1994
Appl. Artif. Intell., 1994
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994
1992
Beyond the Single Planning Paradigm: Introspective Planning.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992