Logic Minimization using Exclusive OR Gates. - Valentina Ciriani (DAC, 2001)

Fast three-level logic minimization based on autosymmetry. - Anna Bernasconi 001; Valentina Ciriani; Fabrizio Luccio; Linda Pagli (DAC, 2002)

Static Optimality Theorem for External Memory String Access. - Valentina Ciriani; Paolo Ferragina; Fabrizio Luccio; S. Muthukrishnan 001 (FOCS, 2002)

Implicit Test of Regularity for Not Completely Specified Boolean Functions. - Anna Bernasconi 001; Valentina Ciriani; Fabrizio Luccio; Linda Pagli (IWLS, 2002)

Testability of SPP Three-Level Logic Networks. - Valentina Ciriani; Anna Bernasconi 001; Rolf Drechsler (VLSI-SOC, 2003)

Stuck-At-Fault Testability of SPP Three-Level Logic Forms. - Valentina Ciriani; Anna Bernasconi 001; Rolf Drechsler (VLSI-SoC (Selected Papers), 2003)

Synthesis of integer multipliers in sum of pseudoproducts form. - Valentina Ciriani; Fabrizio Luccio; Linda Pagli (Integr., 2003)

Three-level logic minimization based on function regularities. - Anna Bernasconi 001; Valentina Ciriani; Fabrizio Luccio; Linda Pagli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Synthesis of SPP three-level logic networks using affine spaces. - Valentina Ciriani (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Room allocation: a polynomial subcase of the quadratic assignment problem. - Valentina Ciriani; Nadia Pisanti; Anna Bernasconi 001 (Discret. Appl. Math., 2004)

Efficient minimization of fully testable 2-SPP networks. - Anna Bernasconi 001; Valentina Ciriani; Rolf Drechsler; Tiziano Villa (DATE, 2006)

DRedSOP: Synthesis of a New Class of Regular Functions. - Anna Bernasconi 001; Valentina Ciriani (DSD, 2006)

EXOR Projected Sum of Products. - Anna Bernasconi 001; Valentina Ciriani; Roberto Cordone (VLSI-SoC, 2006)

Logic Synthesis of EXOR Projected Sum of Products. - Anna Bernasconi 001; Valentina Ciriani; Roberto Cordone (VLSI-SoC (Selected Papers), 2006)

Exploiting Regularities for Boolean Function Synthesis. - Anna Bernasconi 001; Valentina Ciriani; Fabrizio Luccio; Linda Pagli (Theory Comput. Syst., 2006)

Testability of SPP Three-Level Logic Networks in Static Fault Models. - Valentina Ciriani; Anna Bernasconi 001; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Fragmentation and Encryption to Enforce Privacy in Data Storage. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Sushil Jajodia; Stefano Paraboschi; Pierangela Samarati (ESORICS, 2007)

An approximation algorithm for fully testable kEP-SOP networks. - Anna Bernasconi 001; Valentina Ciriani; Roberto Cordone (ACM Great Lakes Symposium on VLSI, 2007)

A data structure for a sequence of string accesses in external memory. - Valentina Ciriani; Paolo Ferragina; Fabrizio Luccio; S. Muthukrishnan 001 (ACM Trans. Algorithms, 2007)

Microdata Protection. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Pierangela Samarati (Secure Data Management in Decentralized Systems, 2007)

k-Anonymity. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Pierangela Samarati (Secure Data Management in Decentralized Systems, 2007)

On Projecting Sums of Products. - Anna Bernasconi 001; Valentina Ciriani; Roberto Cordone (DSD, 2008)

A Comparison between Two Logic Synthesis Forms from Digital Switching Noise Viewpoint. - Giorgio Boselli; Valentina Ciriani; Valentino Liberali; Gabriella Trucco (PATMOS, 2008)

On the construction of small fully testable circuits with low depth. - Görschwin Fey; Anna Bernasconi 001; Valentina Ciriani; Rolf Drechsler (Microprocess. Microsystems, 2008)

Synthesis of Autosymmetric Functions in a New Three-Level Form. - Anna Bernasconi 001; Valentina Ciriani; Fabrizio Luccio; Linda Pagli (Theory Comput. Syst., 2008)

Logic Minimization and Testability of 2-SPP Networks. - Anna Bernasconi 001; Valentina Ciriani; Rolf Drechsler; Tiziano Villa (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

The optimization of kEP-SOPs: Computational complexity, approximability and experiments. - Anna Bernasconi 001; Valentina Ciriani; Roberto Cordone (ACM Trans. Design Autom. Electr. Syst., 2008)

k -Anonymous Data Mining: A Survey. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Pierangela Samarati (Privacy-Preserving Data Mining, 2008)

On decomposing Boolean functions via extended cofactoring. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (DATE, 2009)

Enforcing Confidentiality Constraints on Sensitive Databases with Lightweight Trusted Clients. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Sushil Jajodia; Stefano Paraboschi; Pierangela Samarati (DBSec, 2009)

Logic Minimization and Testability of 2SPP-P-Circuits. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (DSD, 2009)

Keep a Few: Outsourcing Data While Maintaining Confidentiality. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Sushil Jajodia; Stefano Paraboschi; Pierangela Samarati (ESORICS, 2009)

Fragmentation Design for Efficient Query Execution over Sensitive Distributed Databases. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Sushil Jajodia; Stefano Paraboschi; Pierangela Samarati (ICDCS, 2009)

Fun at a Department Store: Data Mining Meets Switching Theory. - Anna Bernasconi 001; Valentina Ciriani; Fabrizio Luccio; Linda Pagli (FUN, 2010)

Logic synthesis and testability of D-reducible functions. - Anna Bernasconi 001; Valentina Ciriani (VLSI-SoC, 2010)

Combining fragmentation and encryption to protect privacy in data storage. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Sushil Jajodia; Stefano Paraboschi; Pierangela Samarati (ACM Trans. Inf. Syst. Secur., 2010)

Compact and Testable Circuits for Regular Functions. - Anna Bernasconi 001; Valentina Ciriani (ARCS Workshops, 2011)

Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Giovanni Livraga; Pierangela Samarati (DBSec, 2011)

An approximation algorithm for cofactoring-based synthesis. - Anna Bernasconi 001; Valentina Ciriani; Valentino Liberali; Gabriella Trucco; Tiziano Villa (ACM Great Lakes Symposium on VLSI, 2011)

Autosymmetric Multiple-Valued Functions: Theory and Spectral Characterization. - Anna Bernasconi 001; Valentina Ciriani (ISMVL, 2011)

Selective data outsourcing for enforcing privacy. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Sushil Jajodia; Stefano Paraboschi; Pierangela Samarati (J. Comput. Secur., 2011)

Dimension-reducible Boolean functions based on affine spaces. - Anna Bernasconi 001; Valentina Ciriani (ACM Trans. Design Autom. Electr. Syst., 2011)

Projected Don't Cares. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (DSD, 2012)

Synthesis of P-circuits for logic restructuring. - Anna Bernasconi 001; Valentina Ciriani; Valentino Liberali; Gabriella Trucco; Tiziano Villa (Integr., 2012)

An OBDD approach to enforce confidentiality and visibility constraints in data publishing. - Valentina Ciriani; Sabrina De Capitani di Vimercati; Sara Foresti; Giovanni Livraga; Pierangela Samarati (J. Comput. Secur., 2012)

Minimization of P-circuits using Boolean relations. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (DATE, 2013)

Error resilient OBDDs. - Anna Bernasconi 001; Valentina Ciriani; Lorenzo Lago (DDECS, 2013)

Minimization of EP-SOPs via Boolean relations. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (VLSI-SoC, 2013)

SOP restructuring by exploiting don't cares. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (Microprocess. Microsystems, 2013)

Compact DSOP and Partial DSOP Forms. - Anna Bernasconi 001; Valentina Ciriani; Fabrizio Luccio; Linda Pagli (Theory Comput. Syst., 2013)

2-SPP Approximate Synthesis for Error Tolerant Applications. - Anna Bernasconi 001; Valentina Ciriani (DSD, 2014)

Radiation-tolerant standard cell synthesis using double-rail redundant approach. - Valentina Ciriani; Luca Frontini; Valentino Liberali; Seyedruhollah Shojaii; Alberto Stabile; Gabriella Trucco (ICECS, 2014)

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults. - Anna Bernasconi 001; Valentina Ciriani (IFIP TCS, 2014)

Autosymmetric and Dimension Reducible Multiple-Valued Functions. - Anna Bernasconi 001; Valentina Ciriani (J. Multiple Valued Log. Soft Comput., 2014)

Bi-Decomposition Using Boolean Relations. - Anna Bernasconi 001; Robert K. Brayton; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (DSD, 2015)

Biconditional-BDD Ordering for Autosymmetric Functions. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco (DSD, 2015)

Using Flexibility in P-Circuits by Boolean Relations. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (IEEE Trans. Computers, 2015)

On the error resilience of ordered binary decision diagrams. - Anna Bernasconi 001; Valentina Ciriani; Lorenzo Lago (Theor. Comput. Sci., 2015)

Synthesis and Performance Optimization of a Switching Nano-Crossbar Computer. - Dan Alexandrescu; Mustafa Altun; Lorena Anghel; Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Mehdi Baradaran Tahoori (DSD, 2016)

Logic Synthesis for Switching Lattices by Decomposition with P-Circuits. - Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Valentino Liberali; Gabriella Trucco; Tiziano Villa (DSD, 2016)

Synthesis on switching lattices of Dimension-reducible Boolean functions. - Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Gabriella Trucco (VLSI-SoC, 2016)

Index-Resilient Zero-Suppressed BDDs: Definition and Operations. - Anna Bernasconi 001; Valentina Ciriani (ACM Trans. Design Autom. Electr. Syst., 2016)

Computing with nano-crossbar arrays: Logic synthesis and fault tolerance. - Mustafa Altun; Valentina Ciriani; Mehdi Baradaran Tahoori (DATE, 2017)

Composition of Switching Lattices and Autosymmetric Boolean Function Synthesis. - Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Gabriella Trucco (DSD, 2017)

Exploiting Quantum Gates in Secure Computation. - Maryam Ehsanpour; Stelvio Cimato; Valentina Ciriani; Ernesto Damiani (DSD, 2017)

A multiple valued logic approach for the synthesis of garbled circuits. - Stelvio Cimato; Valentina Ciriani; Ernesto Damiani; Maryam Ehsanpour (VLSI-SoC, 2017)

Logic synthesis and testing techniques for switching nano-crossbar arrays. - Dan Alexandrescu; Mustafa Altun; Lorena Anghel; Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Mehdi Baradaran Tahoori (Microprocess. Microsystems, 2017)

Integrated Synthesis Methodology for Crossbar Arrays. - Muhammed Ceylan Morgül; Onur Tunali; Mustafa Altun; Luca Frontini; Valentina Ciriani; Elena-Ioana Vatajelu; Lorena Anghel; Csaba Andras Moritz; Mircea R. Stan; Dan Alexandrescu (NANOARCH, 2018)

Testability of Switching Lattices in the Stuck at Fault Model. - Anna Bernasconi 001; Valentina Ciriani; Luca Frontini (VLSI-SoC, 2018)

Enhancing logic synthesis of switching lattices by generalized Shannon decomposition methods. - Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Valentino Liberali; Gabriella Trucco; Tiziano Villa (Microprocess. Microsystems, 2018)

Composition of switching lattices for regular and for decomposed functions. - Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Gabriella Trucco (Microprocess. Microsystems, 2018)

Approximate Logic Synthesis by Symmetrization. - Anna Bernasconi 001; Valentina Ciriani; Tiziano Villa (DATE, 2019)

Testability of Switching Lattices in the Cellular Fault Model. - Anna Bernasconi 001; Valentina Ciriani; Luca Frontini (DSD, 2019)

Fault Mitigation of Switching Lattices under the Stuck-At-Fault Model. - Lorena Anghel; Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Gabriella Trucco; Elena I. Vatajelu (LATS, 2019)

An OBDD-Based Technique for the Efficient Synthesis of Garbled Circuits. - Stelvio Cimato; Valentina Ciriani; Ernesto Damiani; Maryam Ehsanpour (STM, 2019)

Boolean Minimization of Projected Sums of Products via Boolean Relations. - Anna Bernasconi 001; Valentina Ciriani; Gabriella Trucco; Tiziano Villa (IEEE Trans. Computers, 2019)

Multiplicative Complexity of Autosymmetric Functions: Theory and Applications to Security. - Anna Bernasconi 001; Stelvio Cimato; Valentina Ciriani; Maria Chiara Molteni (DAC, 2020)

Computing the full quotient in bi-decomposition by approximation. - Anna Bernasconi 001; Valentina Ciriani; Jordi Cortadella; Tiziano Villa (DATE, 2020)

Stuck-At Fault Mitigation of Emerging Technologies Based Switching Lattices. - Lorena Anghel; Anna Bernasconi 001; Valentina Ciriani; Luca Frontini; Gabriella Trucco; Elena I. Vatajelu (J. Electron. Test., 2020)

Autosymmetry of Incompletely Specified Functions. - Anna Bernasconi 001; Valentina Ciriani (DATE, 2021)

A Boolean Heuristic for Disjoint SOP Synthesis. - Padmanabhan Balasubramanian; Anna Bernasconi 001; Valentina Ciriani; Tiziano Villa (DSD, 2021)

On the Optimal OBDD Representation of 2-XOR Boolean Affine Spaces. - Anna Bernasconi 001; Valentina Ciriani; Marco Longhi (DATE, 2022)

ADD-based Spectral Analysis of Probing Security. - Maria Chiara Molteni; Vittorio Zaccaria; Valentina Ciriani (DATE, 2022)

Multiplicative Complexity of XOR Based Regular Functions. - Anna Bernasconi 001; Stelvio Cimato; Valentina Ciriani; Maria Chiara Molteni (IEEE Trans. Computers, 2022)

Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis. - Anna Bernasconi 001; Valentina Ciriani; Tiziano Villa (IEEE Trans. Computers, 2022)

Compact Quantum Circuits for Dimension Reducible Functions. - Anna Bernasconi 001; Valentina Ciriani; Asma Taheri Monfared; Stefano Zanoni (DSD, 2023)

Quaternary Reversible Circuit Optimization for Scalable Multiplexer and Demultiplexer. - Asma Taheri Monfared; Valentina Ciriani; Tommi Mikkonen; Majid Haghparast (IEEE Access, 2023)

Novel qutrit circuit design for multiplexer, De-multiplexer, and decoder. - Asma Taheri Monfared; Valentina Ciriani; Lauri Kettunen; Majid Haghparast (Quantum Inf. Process., 2023)

XOR-AND-XOR Logic Forms for Autosymmetric Functions and Applications to Quantum Computing. - Anna Bernasconi 001; Alessandro Berti 002; Valentina Ciriani; Gianna M. Del Corso; Innocenzo Fulginiti (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

PSOP decomposition for EXOR-based synthesis. - Anna Bernasconi 001; Valentina Ciriani; Gianmarco Cuciniello; Asma Taheri Monfared (it Inf. Technol., 2024)

Qutrit representation of quantum images: new quantum ternary circuit design. - Asma Taheri Monfared; Valentina Ciriani; Majid Haghparast (Quantum Inf. Process., 2024)

Area-driven Boolean bi-decomposition by function approximation. - Anna Bernasconi 001; Valentina Ciriani; Jordi Cortadella; Marco Costa; Tiziano Villa (ACM Trans. Design Autom. Electr. Syst., 2025)