Accelerating human-computer interaction through convergent conditions for LLM explanation von Raikov, Aleksandr, Giretti, Alberto, Pirani, Massimiliano, Spalazzi, Luca, Guo, Meng

Volltext

Verifying temporal specifications of Java programs von Spegni, Francesco, Spalazzi, Luca, Liva, Giovanni, Pinzger, Martin, Bollin, Andreas

Volltext

Parameterized model checking of networks of timed automata with Boolean guards von Spalazzi, Luca, Spegni, Francesco

Volltext

PKS: An Ontology-based Learning Construct for Lifelong Learners von Manganello, Flavio, Falsetti, Carla, Spalazzi. Luca, Leo, Tommaso

Volltext

An Agent-based Model for Earthquake Pedestrians’ Evacuation Simulation in Urban Scenarios von Bernardini, Gabriele, D’Orazio, Marco, Quagliarini, Enrico, Spalazzi, Luca

Volltext

Algorithmically generated malicious domain names detection based on n-grams features von Cucchiarelli, Alessandro, Morbidoni, Christian, Spalazzi, Luca, Baldi, Marco

Volltext

Gait parameter and event estimation using smartphones von Pepa, Lucia, Verdini, Federica, Spalazzi, Luca

Volltext

Measuring and estimating power consumption in Android to support energy-based intrusion detection von Merlo, Alessio, Migliardi, Mauro, Fontanelli, Paolo

Volltext

Supervised learning for automatic emotion recognition in Parkinson’s disease through smartwatch signals von Pepa, Lucia, Spalazzi, Luca, Ceravolo, Maria Gabriella, Capecci, Marianna

Volltext

Service security and privacy as a socio-technical problem: Literature review, analysis methodology and challenge domains von Bella, Giampaolo, Curzon, Paul, Lenzini, Gabriele

Volltext

Guest Editorial: Innovative Technologies for the Seamless Integration of Formal and Informal Learning von Ghislandi, Patrizia, Ierardi, Maria Grazia, Leo, Tommaso, Spalazzi, Luca

Volltext

Agent-based model for earthquake pedestrians’ evacuation in urban outdoor scenarios: Behavioural patterns definition and evacuation paths choice von D’Orazio, Marco, Spalazzi, Luca, Quagliarini, Enrico, Bernardini, Gabriele

Volltext

An offline parallel architecture for forensic multimedia classification von Spalazzi, Luca, Paolanti, Marina, Frontoni, Emanuele

Volltext

The Meta Holonic Management Tree: review, steps, and roadmap to industrial Cybernetics 5.0 von Pirani, Massimiliano, Carbonari, Alessandro, Cucchiarelli, Alessandro, Giretti, Alberto, Spalazzi, Luca

Volltext

Blockchain based choreographies: The construction industry case study von Spalazzi, Luca, Spegni, Francesco, Corneli, Alessandra, Naticchia, Berardo

Volltext

Automatic Emotion Recognition in Clinical Scenario: A Systematic Review of Methods von Pepa, Lucia, Spalazzi, Luca, Capecci, Marianna, Ceravolo, Maria Gabriella

Volltext

Brandt’s fully private auction protocol revisited von Dreier, Jannik, Dumas, Jean-Guillaume, Lafourcade, Pascal

Volltext

Paradigms for database-centric application interfaces von Pirani, Massimiliano, Cucchiarelli, Alessandro, Spalazzi, Luca

Volltext

Design and performance analysis of efficient Keccak tree hashing on GPU architectures von Lowden, Jason, Łukowiak, Marcin, Lopez Alarcon, Sonia

Volltext

A fuzzy logic system for the home assessment of freezing of gait in subjects with Parkinsons disease von Pepa, Lucia, Capecci, Marianna, Andrenelli, Elisa, Ciabattoni, Lucio, Spalazzi, Luca, Ceravolo, Maria Gabriella

Volltext