![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Valentina Ciriani
Person information
- affiliation: University of Milan, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Asma Taheri Monfared, Valentina Ciriani
, Majid Haghparast
:
Qutrit representation of quantum images: new quantum ternary circuit design. Quantum Inf. Process. 23(8): 288 (2024) - 2023
- [j32]Asma Taheri Monfared
, Valentina Ciriani
, Tommi Mikkonen
, Majid Haghparast
:
Quaternary Reversible Circuit Optimization for Scalable Multiplexer and Demultiplexer. IEEE Access 11: 46592-46603 (2023) - [j31]Asma Taheri Monfared
, Valentina Ciriani, Lauri Kettunen
, Majid Haghparast
:
Novel qutrit circuit design for multiplexer, De-multiplexer, and decoder. Quantum Inf. Process. 22(1): 12 (2023) - [j30]Anna Bernasconi
, Alessandro Berti
, Valentina Ciriani
, Gianna M. Del Corso
, Innocenzo Fulginiti
:
XOR-AND-XOR Logic Forms for Autosymmetric Functions and Applications to Quantum Computing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(6): 1861-1872 (2023) - [c55]Anna Bernasconi, Valentina Ciriani, Asma Taheri Monfared, Stefano Zanoni:
Compact Quantum Circuits for Dimension Reducible Functions. DSD 2023: 776-781 - 2022
- [j29]Anna Bernasconi
, Valentina Ciriani
, Tiziano Villa
:
Exploiting Symmetrization and D-Reducibility for Approximate Logic Synthesis. IEEE Trans. Computers 71(1): 121-133 (2022) - [j28]Anna Bernasconi
, Stelvio Cimato
, Valentina Ciriani
, Maria Chiara Molteni
:
Multiplicative Complexity of XOR Based Regular Functions. IEEE Trans. Computers 71(11): 2927-2939 (2022) - [c54]Maria Chiara Molteni, Vittorio Zaccaria, Valentina Ciriani:
ADD-based Spectral Analysis of Probing Security. DATE 2022: 987-992 - [c53]Anna Bernasconi, Valentina Ciriani, Marco Longhi:
On the Optimal OBDD Representation of 2-XOR Boolean Affine Spaces. DATE 2022: 1437-1442 - 2021
- [c52]Anna Bernasconi, Valentina Ciriani:
Autosymmetry of Incompletely Specified Functions. DATE 2021: 360-365 - [c51]Padmanabhan Balasubramanian, Anna Bernasconi, Valentina Ciriani, Tiziano Villa:
A Boolean Heuristic for Disjoint SOP Synthesis. DSD 2021: 62-68 - 2020
- [j27]Lorena Anghel
, Anna Bernasconi, Valentina Ciriani, Luca Frontini, Gabriella Trucco
, Elena I. Vatajelu
:
Stuck-At Fault Mitigation of Emerging Technologies Based Switching Lattices. J. Electron. Test. 36(3): 313-326 (2020) - [c50]Anna Bernasconi, Stelvio Cimato, Valentina Ciriani, Maria Chiara Molteni
:
Multiplicative Complexity of Autosymmetric Functions: Theory and Applications to Security. DAC 2020: 1-6 - [c49]Anna Bernasconi, Valentina Ciriani, Jordi Cortadella, Tiziano Villa:
Computing the full quotient in bi-decomposition by approximation. DATE 2020: 580-585
2010 – 2019
- 2019
- [j26]Anna Bernasconi
, Valentina Ciriani
, Gabriella Trucco
, Tiziano Villa
:
Boolean Minimization of Projected Sums of Products via Boolean Relations. IEEE Trans. Computers 68(9): 1269-1282 (2019) - [c48]Anna Bernasconi, Valentina Ciriani, Tiziano Villa:
Approximate Logic Synthesis by Symmetrization. DATE 2019: 1655-1660 - [c47]Anna Bernasconi, Valentina Ciriani, Luca Frontini
:
Testability of Switching Lattices in the Cellular Fault Model. DSD 2019: 320-327 - [c46]Lorena Anghel, Anna Bernasconi, Valentina Ciriani, Luca Frontini
, Gabriella Trucco
, Elena I. Vatajelu:
Fault Mitigation of Switching Lattices under the Stuck-At-Fault Model. LATS 2019: 1-6 - [c45]Stelvio Cimato
, Valentina Ciriani, Ernesto Damiani, Maryam Ehsanpour:
An OBDD-Based Technique for the Efficient Synthesis of Garbled Circuits. STM 2019: 158-167 - 2018
- [j25]Anna Bernasconi, Valentina Ciriani, Luca Frontini
, Valentino Liberali
, Gabriella Trucco
, Tiziano Villa:
Enhancing logic synthesis of switching lattices by generalized Shannon decomposition methods. Microprocess. Microsystems 56: 193-203 (2018) - [j24]Anna Bernasconi, Valentina Ciriani
, Luca Frontini
, Gabriella Trucco
:
Composition of switching lattices for regular and for decomposed functions. Microprocess. Microsystems 60: 207-218 (2018) - [c44]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:
Integrated Synthesis Methodology for Crossbar Arrays. NANOARCH 2018: 91-97 - [c43]Anna Bernasconi, Valentina Ciriani, Luca Frontini
:
Testability of Switching Lattices in the Stuck at Fault Model. VLSI-SoC 2018: 213-218 - 2017
- [j23]Dan Alexandrescu, Mustafa Altun
, Lorena Anghel
, Anna Bernasconi, Valentina Ciriani, Luca Frontini
, Mehdi Baradaran Tahoori:
Logic synthesis and testing techniques for switching nano-crossbar arrays. Microprocess. Microsystems 54: 14-25 (2017) - [c42]Mustafa Altun
, Valentina Ciriani, Mehdi Baradaran Tahoori:
Computing with nano-crossbar arrays: Logic synthesis and fault tolerance. DATE 2017: 278-281 - [c41]Anna Bernasconi, Valentina Ciriani, Luca Frontini
, Gabriella Trucco
:
Composition of Switching Lattices and Autosymmetric Boolean Function Synthesis. DSD 2017: 137-144 - [c40]Maryam Ehsanpour, Stelvio Cimato
, Valentina Ciriani, Ernesto Damiani:
Exploiting Quantum Gates in Secure Computation. DSD 2017: 291-294 - [c39]Stelvio Cimato
, Valentina Ciriani, Ernesto Damiani, Maryam Ehsanpour:
A multiple valued logic approach for the synthesis of garbled circuits. VLSI-SoC 2017: 1-5 - 2016
- [j22]Anna Bernasconi, Valentina Ciriani:
Index-Resilient Zero-Suppressed BDDs: Definition and Operations. ACM Trans. Design Autom. Electr. Syst. 21(4): 72:1-72:27 (2016) - [c38]Dan Alexandrescu, Mustafa Altun
, Lorena Anghel, Anna Bernasconi, Valentina Ciriani, Luca Frontini
, Mehdi Baradaran Tahoori:
Synthesis and Performance Optimization of a Switching Nano-Crossbar Computer. DSD 2016: 334-341 - [c37]Anna Bernasconi, Valentina Ciriani, Luca Frontini
, Valentino Liberali
, Gabriella Trucco
, Tiziano Villa:
Logic Synthesis for Switching Lattices by Decomposition with P-Circuits. DSD 2016: 423-430 - [c36]Anna Bernasconi, Valentina Ciriani, Luca Frontini
, Gabriella Trucco
:
Synthesis on switching lattices of Dimension-reducible Boolean functions. VLSI-SoC 2016: 1-6 - 2015
- [j21]Anna Bernasconi, Valentina Ciriani
, Gabriella Trucco
, Tiziano Villa:
Using Flexibility in P-Circuits by Boolean Relations. IEEE Trans. Computers 64(12): 3605-3618 (2015) - [j20]Anna Bernasconi
, Valentina Ciriani
, Lorenzo Lago:
On the error resilience of ordered binary decision diagrams. Theor. Comput. Sci. 595: 11-33 (2015) - [c35]Anna Bernasconi, Robert K. Brayton, Valentina Ciriani, Gabriella Trucco, Tiziano Villa:
Bi-Decomposition Using Boolean Relations. DSD 2015: 72-78 - [c34]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco
:
Biconditional-BDD Ordering for Autosymmetric Functions. DSD 2015: 211-217 - 2014
- [j19]Anna Bernasconi, Valentina Ciriani:
Autosymmetric and Dimension Reducible Multiple-Valued Functions. J. Multiple Valued Log. Soft Comput. 23(3-4): 265-292 (2014) - [c33]Anna Bernasconi
, Valentina Ciriani:
2-SPP Approximate Synthesis for Error Tolerant Applications. DSD 2014: 411-418 - [c32]Valentina Ciriani, Luca Frontini
, Valentino Liberali
, Seyedruhollah Shojaii
, Alberto Stabile
, Gabriella Trucco
:
Radiation-tolerant standard cell synthesis using double-rail redundant approach. ICECS 2014: 626-629 - [c31]Anna Bernasconi
, Valentina Ciriani
:
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults. IFIP TCS 2014: 1-12 - [i2]Anna Bernasconi, Valentina Ciriani, Lorenzo Lago:
On the Error Resilience of Ordered Binary Decision Diagrams. CoRR abs/1404.3919 (2014) - 2013
- [j18]Anna Bernasconi
, Valentina Ciriani
, Gabriella Trucco
, Tiziano Villa:
SOP restructuring by exploiting don't cares. Microprocess. Microsystems 37(8-A): 836-847 (2013) - [j17]Anna Bernasconi
, Valentina Ciriani
, Fabrizio Luccio, Linda Pagli
:
Compact DSOP and Partial DSOP Forms. Theory Comput. Syst. 53(4): 583-608 (2013) - [c30]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco
, Tiziano Villa:
Minimization of P-circuits using Boolean relations. DATE 2013: 996-1001 - [c29]Anna Bernasconi
, Valentina Ciriani
, Lorenzo Lago:
Error resilient OBDDs. DDECS 2013: 246-249 - [c28]Anna Bernasconi
, Valentina Ciriani
, Gabriella Trucco
, Tiziano Villa:
Minimization of EP-SOPs via Boolean relations. VLSI-SoC 2013: 112-117 - 2012
- [j16]Anna Bernasconi
, Valentina Ciriani
, Valentino Liberali
, Gabriella Trucco
, Tiziano Villa:
Synthesis of P-circuits for logic restructuring. Integr. 45(3): 282-293 (2012) - [j15]Valentina Ciriani
, Sabrina De Capitani di Vimercati
, Sara Foresti
, Giovanni Livraga
, Pierangela Samarati
:
An OBDD approach to enforce confidentiality and visibility constraints in data publishing. J. Comput. Secur. 20(5): 463-508 (2012) - [c27]Anna Bernasconi
, Valentina Ciriani
, Gabriella Trucco
, Tiziano Villa:
Projected Don't Cares. DSD 2012: 57-64 - [i1]Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli:
Compact DSOP and partial DSOP Forms. CoRR abs/1204.5306 (2012) - 2011
- [j14]Valentina Ciriani
, Sabrina De Capitani di Vimercati
, Sara Foresti
, Sushil Jajodia
, Stefano Paraboschi
, Pierangela Samarati
:
Selective data outsourcing for enforcing privacy. J. Comput. Secur. 19(3): 531-566 (2011) - [j13]Anna Bernasconi
, Valentina Ciriani
:
Dimension-reducible Boolean functions based on affine spaces. ACM Trans. Design Autom. Electr. Syst. 16(2): 13:1-13:21 (2011) - [c26]Anna Bernasconi, Valentina Ciriani:
Compact and Testable Circuits for Regular Functions. ARCS Workshops 2011 - [c25]Valentina Ciriani
, Sabrina De Capitani di Vimercati
, Sara Foresti
, Giovanni Livraga
, Pierangela Samarati
:
Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach. DBSec 2011: 44-59 - [c24]Anna Bernasconi
, Valentina Ciriani
, Valentino Liberali
, Gabriella Trucco
, Tiziano Villa:
An approximation algorithm for cofactoring-based synthesis. ACM Great Lakes Symposium on VLSI 2011: 193-198 - [c23]Anna Bernasconi
, Valentina Ciriani
:
Autosymmetric Multiple-Valued Functions: Theory and Spectral Characterization. ISMVL 2011: 10-15 - 2010
- [j12]Valentina Ciriani
, Sabrina De Capitani di Vimercati
, Sara Foresti
, Sushil Jajodia
, Stefano Paraboschi
, Pierangela Samarati
:
Combining fragmentation and encryption to protect privacy in data storage. ACM Trans. Inf. Syst. Secur. 13(3): 22:1-22:33 (2010) - [c22]Anna Bernasconi
, Valentina Ciriani
, Fabrizio Luccio, Linda Pagli
:
Fun at a Department Store: Data Mining Meets Switching Theory. FUN 2010: 41-52 - [c21]Anna Bernasconi
, Valentina Ciriani
:
Logic synthesis and testability of D-reducible functions. VLSI-SoC 2010: 280-285
2000 – 2009
- 2009
- [c20]Anna Bernasconi, Valentina Ciriani, Gabriella Trucco
, Tiziano Villa:
On decomposing Boolean functions via extended cofactoring. DATE 2009: 1464-1469 - [c19]Valentina Ciriani
, Sabrina De Capitani di Vimercati
, Sara Foresti
, Sushil Jajodia
, Stefano Paraboschi
, Pierangela Samarati
:
Enforcing Confidentiality Constraints on Sensitive Databases with Lightweight Trusted Clients. DBSec 2009: 225-239 - [c18]Anna Bernasconi
, Valentina Ciriani
, Gabriella Trucco
, Tiziano Villa:
Logic Minimization and Testability of 2SPP-P-Circuits. DSD 2009: 773-780 - [c17]Valentina Ciriani
, Sabrina De Capitani di Vimercati
, Sara Foresti
, Sushil Jajodia
, Stefano Paraboschi
, Pierangela Samarati
:
Keep a Few: Outsourcing Data While Maintaining Confidentiality. ESORICS 2009: 440-455 - [c16]Valentina Ciriani
, Sabrina De Capitani di Vimercati
, Sara Foresti
, Sushil Jajodia
, Stefano Paraboschi
, Pierangela Samarati
:
Fragmentation Design for Efficient Query Execution over Sensitive Distributed Databases. ICDCS 2009: 32-39 - 2008
- [j11]Görschwin Fey
, Anna Bernasconi
, Valentina Ciriani
, Rolf Drechsler
:
On the construction of small fully testable circuits with low depth. Microprocess. Microsystems 32(5-6): 263-269 (2008) - [j10]Anna Bernasconi
, Valentina Ciriani
, Fabrizio Luccio, Linda Pagli
:
Synthesis of Autosymmetric Functions in a New Three-Level Form. Theory Comput. Syst. 42(4): 450-464 (2008) - [j9]Anna Bernasconi
, Valentina Ciriani
, Rolf Drechsler
, Tiziano Villa:
Logic Minimization and Testability of 2-SPP Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(7): 1190-1202 (2008) - [j8]Anna Bernasconi
, Valentina Ciriani
, Roberto Cordone:
The optimization of kEP-SOPs: Computational complexity, approximability and experiments. ACM Trans. Design Autom. Electr. Syst. 13(2): 35:1-35:31 (2008) - [c15]Anna Bernasconi
, Valentina Ciriani
, Roberto Cordone:
On Projecting Sums of Products. DSD 2008: 787-794 - [c14]Giorgio Boselli, Valentina Ciriani
, Valentino Liberali
, Gabriella Trucco
:
A Comparison between Two Logic Synthesis Forms from Digital Switching Noise Viewpoint. PATMOS 2008: 237-246 - [p3]Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati:
k -Anonymous Data Mining: A Survey. Privacy-Preserving Data Mining 2008: 105-136 - 2007
- [j7]Valentina Ciriani
, Paolo Ferragina, Fabrizio Luccio, S. Muthukrishnan:
A data structure for a sequence of string accesses in external memory. ACM Trans. Algorithms 3(1): 6:1-6:23 (2007) - [c13]Görschwin Fey
, Anna Bernasconi
, Valentina Ciriani
, Rolf Drechsler
:
On the Construction of Small Fully Testable Circuits with Low Depth. DSD 2007: 563-569 - [c12]Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati:
Fragmentation and Encryption to Enforce Privacy in Data Storage. ESORICS 2007: 171-186 - [c11]Anna Bernasconi
, Valentina Ciriani
, Roberto Cordone:
An approximation algorithm for fully testable kEP-SOP networks. ACM Great Lakes Symposium on VLSI 2007: 417-422 - [p2]Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati:
Microdata Protection. Secure Data Management in Decentralized Systems 2007: 291-321 - [p1]Valentina Ciriani, Sabrina De Capitani di Vimercati, Sara Foresti, Pierangela Samarati:
k-Anonymity. Secure Data Management in Decentralized Systems 2007: 323-353 - 2006
- [j6]Anna Bernasconi
, Valentina Ciriani
, Fabrizio Luccio, Linda Pagli
:
Exploiting Regularities for Boolean Function Synthesis. Theory Comput. Syst. 39(4): 485-501 (2006) - [j5]Valentina Ciriani
, Anna Bernasconi, Rolf Drechsler
:
Testability of SPP Three-Level Logic Networks in Static Fault Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10): 2241-2248 (2006) - [c10]Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa:
Efficient minimization of fully testable 2-SPP networks. DATE 2006: 1300-1305 - [c9]Anna Bernasconi
, Valentina Ciriani
:
DRedSOP: Synthesis of a New Class of Regular Functions. DSD 2006: 377-384 - [c8]Anna Bernasconi
, Valentina Ciriani
, Roberto Cordone:
Logic Synthesis of EXOR Projected Sum of Products. VLSI-SoC (Selected Papers) 2006: 241-257 - [c7]Anna Bernasconi
, Valentina Ciriani
, Roberto Cordone:
EXOR Projected Sum of Products. VLSI-SoC 2006: 284-289 - 2004
- [j4]Valentina Ciriani
, Nadia Pisanti
, Anna Bernasconi
:
Room allocation: a polynomial subcase of the quadratic assignment problem. Discret. Appl. Math. 144(3): 263-269 (2004) - 2003
- [j3]Valentina Ciriani
, Fabrizio Luccio, Linda Pagli
:
Synthesis of integer multipliers in sum of pseudoproducts form. Integr. 36(3): 103-119 (2003) - [j2]Anna Bernasconi
, Valentina Ciriani
, Fabrizio Luccio, Linda Pagli
:
Three-level logic minimization based on function regularities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(8): 1005-1016 (2003) - [j1]Valentina Ciriani
:
Synthesis of SPP three-level logic networks using affine spaces. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(10): 1310-1323 (2003) - [c6]Valentina Ciriani
, Anna Bernasconi
, Rolf Drechsler
:
Stuck-At-Fault Testability of SPP Three-Level Logic Forms. VLSI-SoC (Selected Papers) 2003: 299-313 - [c5]Valentina Ciriani, Anna Bernasconi, Rolf Drechsler:
Testability of SPP Three-Level Logic Networks. VLSI-SOC 2003: 331-336 - 2002
- [c4]Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli:
Fast three-level logic minimization based on autosymmetry. DAC 2002: 425-430 - [c3]Valentina Ciriani
, Paolo Ferragina, Fabrizio Luccio, S. Muthukrishnan:
Static Optimality Theorem for External Memory String Access. FOCS 2002: 219-227 - [c2]Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli:
Implicit Test of Regularity for Not Completely Specified Boolean Functions. IWLS 2002: 345-350 - 2001
- [c1]Valentina Ciriani:
Logic Minimization using Exclusive OR Gates. DAC 2001: 115-120
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 19:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint