papers
Publications (4)
cs.LO2018
Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
cs.DS2015
On the Error Resilience of Ordered Binary Decision Diagrams
Anna Bernasconi, Valentina Ciriani, Lorenzo Lago
cs.DM2012
Compact DSOP and partial DSOP Forms
Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio +1
quant-ph2008
Quantum Networks on Cubelike Graphs
Anna Bernasconi, Chris Godsil, Simone Severini