Szu-Tsung Cheng

1996
3		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
2		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
1994
1	EE	Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: HSIS: A BDD-Based Environment for Formal Verification. DAC 1994: 454-459

Coauthor Index

1	Adnan Aziz	[1] [2] [3]
2	Felice Balarin	[1]
3	Robert K. Brayton	[1] [2] [3]
4	Stephen A. Edwards	[2] [3]
5	Gary D. Hachtel	[2] [3]
6	Ramin Hojati	[1]
7	Timothy Kam	[1]
8	Sunil P. Khatri	[2] [3]
9	Sriram C. Krishnan	[1]
10	Yuji Kukimoto	[2] [3]
11	Abelardo Pardo	[2] [3]
12	Shaz Qadeer	[2] [3]
13	Rajeev K. Ranjan	[1] [2] [3]
14	Alberto L. Sangiovanni-Vincentelli	[1] [2] [3]
15	Shaker Sarwary	[2] [3]
16	Thomas R. Shiple	[1] [2] [3]
17	Vigyan Singhal	[1]
18	Fabio Somenzi	[2] [3]
19	Gitanjali Swamy	[2] [3]
20	Serdar Tasiran	[1]
21	Tiziano Villa	[2] [3]
22	Huey-Yih Wang	[1]