Anna Bernasconi

Identifiers

• name variant Anna Bernasconi 0.60 · backfill

Papers (4)

1. Integrating Topological Proofs with Model Checking to Instrument Iterative Design cs.LO · 2018 · author #3
2. On the Error Resilience of Ordered Binary Decision Diagrams cs.DS · 2014 · author #1
3. Compact DSOP and partial DSOP Forms cs.DM · 2012 · author #1
4. Quantum Networks on Cubelike Graphs quant-ph · 2008 · author #1

Mentions

• 1404.3919 #1 · backfill · confidence 0.70 Anna Bernasconi
• 1204.5306 #1 · backfill · confidence 0.70 Anna Bernasconi
• 0808.0510 #1 · backfill · confidence 0.70 Anna Bernasconi

Frequent Coauthors

• Valentina Ciriani 2 shared papers
• Alessandro Maria Rizzi 1 shared papers
• Chris Godsil 1 shared papers
• Claudio Menghi 1 shared papers
• Fabrizio Luccio 1 shared papers
• Linda Pagli 1 shared papers
• Lorenzo Lago 1 shared papers
• Simone Severini 1 shared papers