Fabrizio Altarelli

15 papers Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2021 — ch.
Handbook of Satisfiability
Fabrizio Altarelli, Rémi Monasson, Guilhem Semerjian, Francesco Zamponi
2015 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, Caterina De Bacco, Silvio Franz
2014 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta
2013 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, Alejandro Lage-Castellanos, Riccardo Zecchina
2013 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, Joseph R. Wakeling, Riccardo Zecchina
2013 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, Carla-Fabiana Chiasserini, Luca Dall'Asta, Paolo Giaccone, Emilio Leonardi, Riccardo Zecchina
2013 — conf
ICC Workshops
Fabrizio Altarelli, Alfredo Braunstein, Carla-Fabiana Chiasserini, Luca Dall'Asta, Paolo Giaccone, Emilio Leonardi, Riccardo Zecchina
2012 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, Riccardo Zecchina
2011 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, Abolfazl Ramezanpour, Riccardo Zecchina
2009 — ch.
Handbook of Satisfiability
Fabrizio Altarelli, Rémi Monasson, Guilhem Semerjian, Francesco Zamponi
2009 J jnl
CoRR
Fabrizio Altarelli, Alfredo Braunstein, John Realpe-Gomez, Riccardo Zecchina
2008 J jnl
CoRR
Fabrizio Altarelli, Rémi Monasson, Guilhem Semerjian, Francesco Zamponi
2008 J jnl
CoRR
Fabrizio Altarelli
2007 J jnl
CoRR
Fabrizio Altarelli, Rémi Monasson, Francesco Zamponi
2006 J jnl
CoRR
Fabrizio Altarelli, Rémi Monasson, Francesco Zamponi
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski