Personal information

Emails & domains

Verified email domains

Other IDs

Scopus Author ID: 7004442751

Keywords

CircleU

Activities

Collapse all

Employment (1)

Università di Pisa: Pisa, IT

Professore associato (Dipartimento di Informatica)
Employment
Source: Self-asserted source
ANNA BERNASCONI

Education and qualifications (1)

Universita' di Pisa: Pisa, IT

PhD (Dipartimento di Informatica)
Education
Source: Self-asserted source
ANNA BERNASCONI

Works (50 of 60)

Items per page:
Page 1 of 2

Skip index: Supporting efficient inter-block queries and query authentication on the blockchain

Future Generation Computer Systems
2025-03 | Journal article
DOI: 10.1016/j.future.2024.107556
Contributors: Matteo Loporchio; Anna Bernasconi; Damiano Di Francesco Maesa; Laura Ricci
Source: check_circle
Crossref

Area-driven Boolean bi-decomposition by function approximation

ACM Transactions on Design Automation of Electronic Systems
2025-01-31 | Journal article
DOI: 10.1145/3698879
Contributors: Anna Bernasconi; Valentina Ciriani; Jordi Cortadella; Marco Costa; Tiziano Villa
Source: check_circle
Crossref

Quantum Subroutine for Efficient Matrix Multiplication

IEEE Access
2024 | Journal article
DOI: 10.1109/ACCESS.2024.3446176
Contributors: Anna Bernasconi; Alessandro Berti; Gianna Maria del Corso; Alessandro Poggiali
Source: check_circle
Crossref

UltraMovelets: Efficient Movelet Extraction for Multiple Aspect Trajectory Classification

2024 | Book chapter
DOI: 10.1007/978-3-031-68312-1_6
Contributors: Tarlis Tortelli Portela; Vanessa Lago Machado; Jonata Tyska Carvalho; Vania Bogorny; Anna Bernasconi; Chiara Renso
Source: check_circle
Crossref

Quantum subroutine for variance estimation: algorithmic design and applications

Quantum Machine Intelligence
2024-12 | Journal article
DOI: 10.1007/s42484-024-00213-9
Contributors: Anna Bernasconi; Alessandro Berti; Gianna M. Del Corso; Riccardo Guidotti; Alessandro Poggiali
Source: check_circle
Crossref

XOR-AND-XOR Logic Forms for Autosymmetric Functions and Applications to Quantum Computing

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2023-06 | Journal article
DOI: 10.1109/TCAD.2022.3213214
Contributors: Anna Bernasconi; Alessandro Berti; Valentina Ciriani; Gianna M. Del Corso; Innocenzo Fulginiti
Source: check_circle
Crossref

Multiplicative Complexity of XOR Based Regular Functions

IEEE Transactions on Computers
2022-11-01 | Journal article
DOI: 10.1109/TC.2022.3141249
Contributors: Anna Bernasconi; Stelvio Cimato; Valentina Ciriani; Maria Chiara Molteni
Source: check_circle
Crossref

Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis

IEEE Transactions on Computers
2022-01-01 | Journal article
DOI: 10.1109/TC.2020.3043476
Contributors: Anna Bernasconi; Valentina Ciriani; Tiziano Villa
Source: check_circle
Crossref

Authenticating Spatial Queries on Blockchain Systems

IEEE Access
2021 | Journal article
DOI: 10.1109/ACCESS.2021.3132990
Contributors: Matteo Loporchio; Anna Bernasconi; Damiano Di Francesco Maesa; Laura Ricci
Source: check_circle
Crossref

Boolean Minimization of Projected Sums of Products via Boolean Relations

IEEE Transactions on Computers
2019-09-01 | Journal article
DOI: 10.1109/TC.2019.2906201
Contributors: Anna Bernasconi; Valentina Ciriani; Gabriella Trucco; Tiziano Villa
Source: check_circle
Crossref

Computing Preimages and Ancestors in Reaction Systems

2018 | Book chapter
DOI: 10.1007/978-3-030-04070-3_2
Contributors: Roberto Barbuti; Anna Bernasconi; Roberta Gori; Paolo Milazzo
Source: check_circle
Crossref

On the error resilience of ordered binary decision diagrams

Theoretical Computer Science
2015 | Journal article
DOI: 10.1016/j.tcs.2015.05.050
EID:

2-s2.0-84937418728
Contributors: Bernasconi, A.; Ciriani, V.; Lago, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier
grade
Preferred source (of 2)‎

2-SPP approximate synthesis for error tolerant applications

Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014
2014 | Conference paper
DOI: 10.1109/DSD.2014.21
EID:

2-s2.0-84928786784
Contributors: Bernasconi, A.; Ciriani, V.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Autosymmetric and dimension reducible multiple-valued functions

Journal of Multiple-Valued Logic and Soft Computing
2014 | Journal article
EID:

2-s2.0-84905043966
Contributors: Bernasconi, A.; Ciriani, V.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Zero-suppressed binary decision diagrams resilient to index faults

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-662-44602-7_1
EID:

2-s2.0-84906774186
Contributors: Bernasconi, A.; Ciriani, V.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Compact DSOP and Partial DSOP Forms

Theory of Computing Systems
2013 | Journal article
DOI: 10.1007/s00224-013-9447-2
EID:

2-s2.0-84881040087
Contributors: Bernasconi, A.; Ciriani, V.; Luccio, F.; Pagli, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Error resilient OBDDs

Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2013
2013 | Conference paper
DOI: 10.1109/DDECS.2013.6549826
EID:

2-s2.0-84881353886
Contributors: Bernasconi, A.; Ciriani, V.; Lago, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Minimization of EP-SOPs via Boolean relations

IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC
2013 | Conference paper
DOI: 10.1109/VLSI-SoC.2013.6673260
EID:

2-s2.0-84899576959
Contributors: Bernasconi, A.; Ciriani, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Minimization of P-circuits using boolean relations

Proceedings -Design, Automation and Test in Europe, DATE
2013 | Conference paper
EID:

2-s2.0-84885664426
Contributors: Bernasconi, A.; Ciriani, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

SOP restructuring by exploiting don't cares

Microprocessors and Microsystems
2013 | Journal article
DOI: 10.1016/j.micpro.2013.04.004
EID:

2-s2.0-84888299273
Contributors: Bernasconi, A.; Ciriani, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Projected don't cares

Proceedings - 15th Euromicro Conference on Digital System Design, DSD 2012
2012 | Conference paper
DOI: 10.1109/DSD.2012.107
EID:

2-s2.0-84872929501
Contributors: Bernasconi, A.; Ciriani, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Synthesis of P-circuits for logic restructuring

Integration, the VLSI Journal
2012 | Journal article
DOI: 10.1016/j.vlsi.2011.11.009
EID:

2-s2.0-84860517491
Contributors: Bernasconi, A.; Ciriani, V.; Liberali, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

An approximation algorithm for cofactoring-based synthesis

Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
2011 | Conference paper
DOI: 10.1145/1973009.1973048
EID:

2-s2.0-79957747183
Contributors: Bernasconi, A.; Ciriani, V.; Liberali, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Autosymmetric multiple-valued functions: Theory and spectral characterization

Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011
2011 | Conference paper
DOI: 10.1109/ISMVL.2011.13
EID:

2-s2.0-80051609178
Contributors: Bernasconi, A.; Ciriani, V.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Dimension-reducible boolean functions based on affine spaces

ACM Transactions on Design Automation of Electronic Systems
2011 | Journal article
DOI: 10.1145/1929943.1929945
EID:

2-s2.0-79953856940
Contributors: Bernasconi, A.; Ciriani, V.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Logic synthesis by signal-driven decomposition

Advanced Techniques in Logic Synthesis, Optimizations and Applications
2011 | Book
DOI: 10.1007/978-1-4419-7518-8_2
EID:

2-s2.0-84860503980
Contributors: Bernasconi, A.; Ciriani, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Fun at a department store: Data mining meets switching theory

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-13122-6_7
EID:

2-s2.0-79956327074
Contributors: Bernasconi, A.; Ciriani, V.; Luccio, F.; Pagli, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Logic synthesis and testability of D-reducible functions

Proceedings of the 2010 18th IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC 2010
2010 | Conference paper
DOI: 10.1109/VLSISOC.2010.5642674
EID:

2-s2.0-78650960877
Contributors: Bernasconi, A.; Ciriani, V.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Logic minimization and testability of 2SPP-P-circuits

12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2009
2009 | Conference paper
DOI: 10.1109/DSD.2009.131
EID:

2-s2.0-74549156968
Contributors: Bernasconi, A.; Ciriani, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

On decomposing boolean functions via extended cofactoring

Proceedings -Design, Automation and Test in Europe, DATE
2009 | Conference paper
EID:

2-s2.0-70350043870
Contributors: Bernasconi, A.; Ciriani, V.; Trucco, G.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Logic minimization and testability of 2-SPP networks

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2008 | Journal article
DOI: 10.1109/TCAD.2008.923072
EID:

2-s2.0-45849127641
Contributors: Bernasconi, A.; Ciriani, V.; Drechsler, R.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Logic synthesis of EXOR projected sum of products

IFIP International Federation for Information Processing
2008 | Book
DOI: 10.1007/978-0-387-74909-9_14
EID:

2-s2.0-36448981019
Contributors: Bernasconi, A.; Ciriani, V.; Cordone, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

On projecting sums of products

Proceedings - 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools, DSD 2008
2008 | Conference paper
DOI: 10.1109/DSD.2008.105
EID:

2-s2.0-57649216331
Contributors: Bernasconi, A.; Ciriani, V.; Cordone, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

On the construction of small fully testable circuits with low depth

Microprocessors and Microsystems
2008 | Journal article
DOI: 10.1016/j.micpro.2008.03.005
EID:

2-s2.0-50949133219
Contributors: Fey, G.; Bernasconi, A.; Ciriani, V.; Drechsler, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Quantum networks on cubelike graphs

Physical Review A - Atomic, Molecular, and Optical Physics
2008 | Journal article
DOI: 10.1103/PhysRevA.78.052320
EID:

2-s2.0-56249106130
Contributors: Bernasconi, A.; Godsil, C.; Severini, S.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Synthesis of autosymmetric functions in a new three-level form

Theory of Computing Systems
2008 | Journal article
DOI: 10.1007/s00224-007-9009-6
EID:

2-s2.0-40849140896
Contributors: Bernasconi, A.; Ciriani, V.; Luccio, F.; Pagli, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

The optimization of kEP-SOPs: Computational complexity, approximability and experiments

ACM Transactions on Design Automation of Electronic Systems
2008 | Journal article
DOI: 10.1145/1344418.1344431
EID:

2-s2.0-43149118611
Contributors: Bernasconi, A.; Ciriani, V.; Cordone, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

An approximation algorithm for fully testable kEP-SOP networks

Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
2007 | Conference paper
DOI: 10.1145/1228784.1228883
EID:

2-s2.0-34748832496
Contributors: Bernasconi, A.; Ciriani, V.; Cordone, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Knitting for fun: A recursive sweater

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-38049084399
Contributors: Bernasconi, A.; Bodei, C.; Pagli, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

On the construction of small fully testable circuits with low depth

Proceedings - 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools, DSD 2007
2007 | Conference paper
DOI: 10.1109/DSD.2007.4341525
EID:

2-s2.0-47749095010
Contributors: Fey, G.; Bernasconi, A.; Ciriani, V.; Drechsler, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

DRedSOP: Synthesis of a new class of regular functions

Proceedings of the 9th EUROMICRO Conference on Digital System Design: Architectures, Methods and Tools, DSD 2006
2006 | Conference paper
DOI: 10.1109/DSD.2006.46
EID:

2-s2.0-34547994927
Contributors: Bernasconi, A.; Ciriani, V.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Efficient minimization of fully testable 2-SPP networks

Proceedings -Design, Automation and Test in Europe, DATE
2006 | Conference paper
EID:

2-s2.0-34047149411
Contributors: Bernasconi, A.; Ciriani, V.; Drechsler, R.; Villa, T.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

EXOR projected sum of products

IFIP VLSI-SoIC 2006 - IFIP WG 10.5 International Conference on Very Large Scale Integration and System-on-Chip
2006 | Conference paper
DOI: 10.1109/VLSISOC.2006.313248
EID:

2-s2.0-46249118293
Contributors: Bernasconi, A.; Ciriani, V.; Cordone, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Exploiting regularities for Boolean function synthesis

Theory of Computing Systems
2006 | Journal article
DOI: 10.1007/s00224-004-1171-5
EID:

2-s2.0-33745018667
Contributors: Bernasconi, A.; Ciriani, V.; Luccio, F.; Pagli, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Stuck-at-fault testability of SPP three-level logic forms

IFIP International Federation for Information Processing
2006 | Book
DOI: 10.1007/0-387-33403-3_19
EID:

2-s2.0-33749130644
Contributors: Ciriani, V.; Bernasconi, A.; Drechsler, R.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Room allocation: A polynomial subcase of the quadratic assignment problem

Discrete Applied Mathematics
2004 | Journal article
DOI: 10.1016/j.dam.2004.01.004
EID:

2-s2.0-9644281116
Contributors: Ciriani, V.; Pisanti, N.; Bernasconi, A.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Spectral analysis of symmetric threshold functions

Journal of Multiple-Valued Logic and Soft Computing
2004 | Journal article
EID:

2-s2.0-3142767848
Contributors: Bernasconi, A.; Codenottiy, B.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Complexity of some arithmetic problems for binary polynomials

Computational Complexity
2003 | Journal article
EID:

2-s2.0-2442709148
Contributors: Allender, E.; Bernasconi, A.; Damm, C.; Von Zur Gathen, J.; Saks, M.; Shparlinski, I.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Three-level logic minimization based on function regularities

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2003 | Journal article
DOI: 10.1109/TCAD.2003.814950
EID:

2-s2.0-0043095284
Contributors: Bernasconi, A.; Ciriani, V.; Luccio, F.; Pagli, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier

Fast three-level logic minimization based on autosymmetry

Proceedings - Design Automation Conference
2002 | Conference paper
EID:

2-s2.0-0036059573
Contributors: Bernasconi, A.; Ciriani, V.; Luccio, F.; Pagli, L.
Source: Self-asserted source
ANNA BERNASCONI via Scopus - Elsevier
Items per page:
Page 1 of 2
How many people are using ORCID?