Rule-based Blockchain Knowledge Graphs: Declarative AI for Solving Industrial Blockchain Challenges. - Luigi Bellomarini; Giuseppe Galano; Markus Nissl; Emanuel Sallinger (RuleML+RR (Supplement), 2021)

A PoW-less Bitcoin with Certified Byzantine Consensus. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (CoRR, 2022)

Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (DLT, 2023)

PoW-less Bitcoin with Confidential Byzantine PoA. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (ICBC, 2023)

Impact of Layer-1 Characteristics on Scalability of Layer-2 Semi-Hierarchical Payment Channel Networks. - Marco Benedetti; Francesco De Sclavis; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (DLT, 2024)

Towards a Full Scale Simulation of a Central Bank Digital Currency Via Payment Channel Networks. - Giuseppe Galano; Sara Giammusso; Matteo Nardelli 001 (DS-RT, 2024)

Modeling Central Bank Digital Currency over Payment Channels: A Parallel ROSS-based Approach. - Giuseppe Galano; Sara Giammusso; Matteo Nardelli 001 (SIGSIM-PADS, 2024)

Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (PerCom Workshops, 2024)

Strategic Reasoning for BitML Smart Contracts. - Luigi Bellomarini; Marco Favorito; Giuseppe Galano (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Self-Balancing Semi-Hierarchical PCNs for CBDCs. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (CoRR, 2024)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis. - Francesco De Sclavis; Giuseppe Galano; Aldo Glielmo; Matteo Nardelli 001 (ICBC, 2025)

BitML2MCMAS: Strategic Reasoning for Bitcoin Smart Contracts. - Luigi Bellomarini; Marco Favorito; Giuseppe Galano (AAMAS, 2025)

Strategic Reasoning of BitML Smart Contracts using the MCMAS Model Checker. - Luigi Bellomarini; Marco Favorito; Giuseppe Galano (PerCom Workshops, 2025)

An analysis of pervasive payment channel networks for Central Bank Digital Currencies. - Marco Benedetti; Francesco De Sclavis; Marco Favorito; Giuseppe Galano; Sara Giammusso; Antonio Muci; Matteo Nardelli 001 (Comput. Commun., 2025)

Dynamic-FROST: Schnorr threshold signatures with a flexible committee. - Annalisa Cimatti; Francesco De Sclavis; Giuseppe Galano; Sara Giammusso; Michela Iezzi; Antonio Muci; Matteo Nardelli 001; Marco Pedicini (J. Math. Cryptol., 2025)