Marco Benedetti

37 papers A* 3A 7B 1C 5Misc 1Journal 15Unranked 5

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