Tiziano Villa

	2009
36		Anna Bernasconi, Valentina Ciriani, Gabriella Trucco, Tiziano Villa: On decomposing Boolean functions via extended cofactoring. DATE 2009: 1464-1469
35		Davide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa: The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49
	2008
34		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1): 51-89 (2008)
33		Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: An FSM Reengineering Approach to Sequential Circuit Synthesis by State Splitting. IEEE Trans. on CAD of Integrated Circuits and Systems 27(6): 1159-1164 (2008)
32		Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa: Logic Minimization and Testability of 2-SPP Networks. IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1190-1202 (2008)
	2007
31		Tiziano Villa, Svetlana Zharikova, Nina Yevtushenko, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A new algorithm for the largest compositionally progressive solution of synchronous language equations. ACM Great Lakes Symposium on VLSI 2007: 441-444
30		Wilsin Gosti, Tiziano Villa, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: FSM Encoding for BDD Representations. Applied Mathematics and Computer Science 17(1): 113-124 (2007)
29		Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations CoRR abs/0710.4743: (2007)
	2006
28		Anna Bernasconi, Valentina Ciriani, Rolf Drechsler, Tiziano Villa: Efficient minimization of fully testable 2-SPP networks. DATE 2006: 1300-1305
27		Christopher Umans, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: Complexity of two-level logic minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 25(7): 1230-1246 (2006)
	2005
26		Lin Yuan, Gang Qu, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: FSM re-engineering and its application in low power state encoding. ASP-DAC 2005: 254-259
25		Alan Mishchenko, Robert K. Brayton, Jie-Hong Roland Jiang, Tiziano Villa, Nina Yevtushenko: Efficient Solution of Language Equations Using Partitioned Representations. DATE 2005: 418-423
	2003
24		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE 2003: 11154-11155
	2002
23		Robert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa: Optimization of Multi-Valued Multi-Level Networks. ISMVL 2002: 168-
22		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS 2002: 45-50
	2001
21		Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103-
	2000
20		Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli: Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine. HSCC 2000: 32-44
19		Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. on CAD of Integrated Circuits and Systems 19(3): 281-294 (2000)
	1999
18		Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361
	1998
17		Wilsin Gosti, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa, Alexander Saldanha: An Exact Input Encoding Algorithm for BDDs Representing FSMs. Great Lakes Symposium on VLSI 1998: 294-300
16		Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47(11): 1282-1296 (1998)
15		Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Theory and algorithms for face hypercube embedding. IEEE Trans. on CAD of Integrated Circuits and Systems 17(6): 472-488 (1998)
	1997
14		Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A fast and robust exact algorithm for face embedding. ICCAD 1997: 296-303
13		Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98
12		Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Theory and algorithms for state minimization of nondeterministic FSMs. IEEE Trans. on CAD of Integrated Circuits and Systems 16(11): 1311-1322 (1997)
11		Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit computation of compatible sets for state minimization of ISFSMs. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 657-676 (1997)
10		Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Explicit and implicit algorithms for binate covering problems. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 677-691 (1997)
9		Tiziano Villa, Alexander Saldanha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Symbolic two-level minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 16(7): 692-708 (1997)
	1996
8		Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS: A System for Verification and Synthesis. CAV 1996: 428-432
7		Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS. FMCAD 1996: 248-256
	1995
6		Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit state minimization of non-deterministic FSMs. ICCD 1995: 250-257
	1994
5		Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A Fully Implicit Algorithm for Exact State Minimization. DAC 1994: 684-690
4		Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Satisfaction of input and output encoding constraints. IEEE Trans. on CAD of Integrated Circuits and Systems 13(5): 589-602 (1994)
	1991
3		Alexander Saldanha, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A Framework for Satisfying Input and Output Encoding Constraints. DAC 1991: 170-175
	1990
2		Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: NOVA: state assignment of finite state machines for optimal two-level logic implementation. IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 905-924 (1990)
	1989
1		Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: NOVA: State Assignment of Finite State Machines for Optimal Two-level Logic Implementations. DAC 1989: 327-332

Coauthor Index

1	Adnan Aziz	[7] [8]
2	Andrea Balluchi	[20]
3	Maria Domenica Di Benedetto	[20]
4	Luca Benvenuti	[20]
5	Anna Bernasconi	[28] [32] [36]
6	Robert K. Brayton	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [19] [21] [22] [23] [24] [25] [29] [31] [34]
7	Davide Bresolin	[35]
8	Luca P. Carloni	[13] [16] [18] [19]
9	Szu-Tsung Cheng	[7] [8]
10	Valentina Ciriani	[28] [32] [36]
11	Rolf Drechsler	[28] [32]
12	Stephen A. Edwards	[7] [8]
13	Franco Fummi	[35]
14	M. Gao	[23]
15	Eugene Goldberg (Evguenii I. Goldberg)	[13] [14] [15] [18] [19]
16	Wilsin Gosti	[17] [30]
17	Giuseppe Di Guglielmo	[35]
18	Gary D. Hachtel	[7] [8]
19	Jie-Hong Roland Jiang	[23] [25] [29]
20	Yunjian Jiang	[23]
21	Timothy Kam	[5] [6] [10] [11] [12]
22	Sunil P. Khatri	[7] [8]
23	Yuji Kukimoto	[7] [8]
24	Yinghua Li	[23]
25	Guido M. Miconi	[20]
26	Alan Mishchenko	[23] [25] [29]
27	Arlindo L. Oliveira	[16]
28	Abelardo Pardo	[7] [8]
29	Alexandre Petrenko	[21] [22] [24] [34]
30	Ugo Pozzi	[20]
31	Graziano Pravadelli	[35]
32	Shaz Qadeer	[7] [8]
33	Gang Qu	[26] [33]
34	Rajeev K. Ranjan	[7] [8]
35	Alexander Saldanha	[3] [4] [9] [17] [30]
36	Alberto L. Sangiovanni-Vincentelli	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [24] [26] [27] [30] [31] [33] [34]
37	Shaker Sarwary	[7] [8]
38	Thomas R. Shiple	[7] [8]
39	Subarnarekha Sinha	[23]
40	Fabio Somenzi	[7] [8]
41	Gitanjali Swamy	[7] [8]
42	Gabriella Trucco	[36]
43	Christopher Umans	[27]
44	Howard Wong-Toi	[20]
45	Nina Yevtushenko	[21] [22] [24] [25] [29] [31] [34]
46	Lin Yuan	[26] [33]
47	Svetlana Zharikova	[31]

Colors in the list of coauthors