Marco Benedetti

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 14

Top Topics

Economic Impact

Top Venues

Proc. VLDB Endow.

PerCom Workshops

Publications

Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
Self-Balancing Semi-Hierarchical Payment Channel Networks for Central Bank Digital Currencies. PerCom Workshops (2024)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
Self-Balancing Semi-Hierarchical PCNs for CBDCs. CoRR (2024)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
Certified Byzantine Consensus with Confidential Quorum for a Bitcoin-derived Permissioned DLT. DLT (2023)
Marco Benedetti, Enrico Ventura
Training neural networks with structured noise improves classification and generalization. CoRR (2023)
Marco Benedetti, Louis Carillo, Enzo Marinari, Marc Mézard
Eigenvector Dreaming. CoRR (2023)
Luigi Bellomarini, Marco Benedetti, Andrea Gentili, Davide Magnanimi, Emanuel Sallinger
KG-Roar: Interactive Datalog-based Reasoning on Virtual Knowledge Graphs. Proc. VLDB Endow. 16 (12) (2023)
Marco Benedetti, Marco Favorito, Matteo Nardelli
Orchestration of Blockchain-based Digital Twins. DLT (2023)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
PoW-less Bitcoin with Confidential Byzantine PoA. ICBC (2023)
Marco Benedetti, Gennaro Catapano, Francesco De Sclavis, Marco Favorito, Aldo Glielmo, Davide Magnanimi, Antonio Muci
Black-it: A Ready-to-Use and Easy-to-Extend Calibration Kit for Agent-based Models. J. Open Source Softw. 7 (79) (2022)
Marco Benedetti, Francesco De Sclavis, Marco Favorito, Giuseppe Galano, Sara Giammusso, Antonio Muci, Matteo Nardelli
A PoW-less Bitcoin with Certified Byzantine Consensus. CoRR (2022)
Luigi Bellomarini, Marco Benedetti, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Antonio Muci, Emanuel Sallinger
COVID-19 and Company Knowledge Graphs: Assessing Golden Powers and Economic Impact of Selective Lockdown via AI Reasoning. CoRR (2020)
Luigi Bellomarini, Marco Benedetti, Stefano Ceri, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Markus Nissl, Emanuel Sallinger
Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs. RuleML+RR (Supplement) (2020)
Marco Benedetti, Marco Mori
On the use of Max-SAT and PDDL in RBAC maintenance. Cybersecur. 2 (1) (2019)
Marco Benedetti, Marco Mori
Parametric RBAC Maintenance via Max-SAT. SACMAT (2018)
Hratch Mangassarian, Andreas G. Veneris, Marco Benedetti
Robust QBF Encodings for Sequential Circuits with Applications to Verification, Debug, and Test. IEEE Trans. Computers 59 (7) (2010)
Marco Benedetti, Hratch Mangassarian
QBF-Based Formal Verification: Experience and Perspectives. J. Satisf. Boolean Model. Comput. 5 (1-4) (2008)
Marco Benedetti, Arnaud Lallouet, Jérémie Vautard
Quantified Constraint Optimization. CP (2008)
Marco Benedetti, Arnaud Lallouet, Jérémie Vautard
. SAC (2008)
Marco Benedetti, Arnaud Lallouet, Jérémie Vautard
QCSP Made Practical by Virtue of Restricted Quantification. IJCAI (2007)
Hratch Mangassarian, Andreas G. Veneris, Sean Safarpour, Marco Benedetti, Duncan Exon Smith
A performance-driven QBF-based iterative logic array representation with applications to verification, debug and test. ICCAD (2007)
Marco Benedetti, Arnaud Lallouet, Jérémie Vautard
Reusing CSP Propagators for QCSPs. CSCLP (2006)
Marco Benedetti
Abstract Branching for Quantified Formulas. AAAI (2006)
Marco Benedetti
Extracting Certificates from Quantified Boolean Formulas. IJCAI (2005)
Marco Benedetti, Luigia Carlucci Aiello
SAT-Based Cooperative Planning: A Proposal. Mechanizing Mathematical Reasoning (2005)
Marco Benedetti
Quantifier Trees for QBFs. SAT (2005)
Marco Benedetti
sKizzo: A Suite to Evaluate and Certify QBFs. CADE (2005)
Marco Benedetti
Hybrid Evaluation Procedures for QBF. Intelligenza Artificiale 2 (3) (2005)
Marco Benedetti, Sara Bernardini
Incremental Compilation-to-SAT Procedures. SAT (2004)
Marco Benedetti
Evaluating QBFs via Symbolic Skolemization. LPAR (2004)
Marco Benedetti, Sara Bernardini
Incremental Compilation-to-SAT Procedures. SAT (Selected Papers (2004)
Marco Benedetti, Alessandro Cimatti
Bounded Model Checking for Past LTL. TACAS (2003)
Marco Benedetti
Conditional Pure Literal Graphs. IJCAR (2001)