Anna Bernasconi
University of Pisa(IT)
Publications by Year
Research Areas
Formal Methods in Verification, VLSI and Analog Circuit Testing, Low-power high-performance VLSI design, Embedded Systems Design Techniques, Quantum Computing Algorithms and Architecture
Most-Cited Works
- → Quantum networks on cubelike graphs(2008)97 cited
- → Spectral analysis of Boolean functions as a graph eigenvalue problem(1999)93 cited
- → A characterization of bent functions in terms of strongly regular graphs(2001)49 cited
- → Quantum clustering with k-Means: A hybrid approach(2024)37 cited
- → Logic Minimization and Testability of 2-SPP Networks(2008)27 cited
- → Three-level logic minimization based on function regularities(2003)27 cited
- → On decomposing Boolean functions via extended cofactoring(2009)26 cited
- → Synthesis of Autosymmetric Functions in a New Three-Level Form(2007)19 cited
- → Sensitivity vs. block sensitivity (an average-case study)(1996)18 cited