IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.

AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.

CIRIANI, VALENTINA

Rete di Collaborazioni Statistiche Email Alert RSS Feed

Pubblicazioni

Risultati 1 - 20 di 95 (tempo di esecuzione: 0.0 secondi).

	Titolo	Data di pubblicazione	Autori	Tipo	File	Abstract
1	2-SPP : a practical trade-off between SP and SPP synthesis	2002	CIRIANI, VALENTINA ; A. Bernasconi	Book Part (author)	-
2	2-SPP approximate synthesis for error tolerant applications	2014	A. Bernasconi; CIRIANI, VALENTINA	Book Part (author)	-
3	A comparison between two logic synthesis forms from digital switching noise viewpoint	2009	BOSELLI, GIORGIO ; CIRIANI, VALENTINA ; LIBERALI, VALENTINO ; TRUCCO, GABRIELLA	Book Part (author)	-
4	An approximation algorithm for cofactoring-based synthesis	mag-2011	A. Bernasconi; CIRIANI, VALENTINA ; LIBERALI, VALENTINO ; TRUCCO, GABRIELLA ; T. Villa	Book Part (author)	-
5	Approximate Logic Synthesis by Symmetrization	2019	Bernasconi, Anna; CIRIANI, VALENTINA ; Villa, Tiziano	Book Part (author)	-
6	An approximation algorithm for fully testable kEP-SOP networks	2007	A. Bernasconi; CIRIANI, VALENTINA ; CORDONE, ROBERTO	Book Part (author)	-
7	An approximation algorithm for generalized EXOR projected sums of products	2008	A. Bernasconi; CIRIANI, VALENTINA ; CORDONE, ROBERTO	Book Part (author)	-	-
8	Autosymmetric and dimension reducible multiple-valued functions	2014	A. Bernasconi; CIRIANI, VALENTINA	Article (author)	-
9	Autosymmetric multiple-valued functions : theory and spectral characterization	2011	A. Bernasconi; CIRIANI, VALENTINA	Book Part (author)	-
10	Bi-decomposition using boolean relations	2015	A. Bernasconi; R. K. Brayton; CIRIANI, VALENTINA ; TRUCCO, GABRIELLA ; T. Villa	Book Part (author)	riservati
11	Biconditional-BDD ordering for autosymmetric functions	2015	A. Bernasconi; CIRIANI, VALENTINA ; TRUCCO, GABRIELLA	Book Part (author)	riservati
12	Boolean minimization of projected sums of products via Boolean relations	1-set-2019	Bernasconi, Anna; CIRIANI, VALENTINA ; TRUCCO, GABRIELLA ; Villa, Tiziano	Article (author)	Solo autorizzati
13	Combining fragmentation and encryption to protect privacy in data storage	lug-2010	CIRIANI, VALENTINA ; DE CAPITANI DI VIMERCATI, SABRINA ; FORESTI, SARA ; S. Jajodia; S. Paraboschi; SAMARATI, PIERANGELA	Article (author)	-
14	Compact and testable circuits for regular functions	2011	A. Bernasconi; CIRIANI, VALENTINA	Book Part (author)	-	-
15	Compact DSOP and partial DSOP forms	2013	A. Bernasconi; CIRIANI, VALENTINA ; F. Luccio; L. Pagli	Article (author)	-
16	Compact OBDDs for 2D-Reducible Functions	2012	A. Bernasconi; CIRIANI, VALENTINA ; L. Lago	Book Part (author)	-	-
17	Complemented circuits	2016	A. Bernasconi; CIRIANI, VALENTINA ; R. Brayton; TRUCCO, GABRIELLA ; T. Villa	Book Part (author)	-
18	Composition of Switching Lattices and Autosymmetric Boolean Function Synthesis	2017	A. Bernasconi; CIRIANI, VALENTINA ; FRONTINI, LUCA ; TRUCCO, GABRIELLA	Book Part (author)	Open Access
19	Composition of switching lattices for regular and for decomposed functions	lug-2018	A. Bernasconi; CIRIANI, VALENTINA ; FRONTINI, LUCA ; TRUCCO, GABRIELLA	Article (author)	Solo autorizzati
20	Computing the full quotient in bi-decomposition by approximation	2020	Bernasconi, Anna; CIRIANI, VALENTINA ; Cortadella, Jordi; Villa, Tiziano	Book Part (author)	Open Access

Dettaglio

Nome completo

CIRIANI, VALENTINA

Afferenza

Dipartimento di Informatica Giovanni Degli Antoni