Timothy Kam

	2011
22		Raid Zuhair Ayoub, Ümit Y. Ogras, Eugene Gorbatov, Yanqin Jin, Timothy Kam, Paul Diefenbaugh, Tajana Rosing: OS-level power minimization under tight performance constraints in general purpose systems. ISLPED 2011: 321-326
21		Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu: Automatic Pipelining From Transactional Datapath Specifications. IEEE Trans. on CAD of Integrated Circuits and Systems 30(3): 441-454 (2011)
	2010
20		Eriko Nurvitadhi, James C. Hoe, Shih-Lien Lu, Timothy Kam: Automatic multithreaded pipeline synthesis from transactional datapath specifications. DAC 2010: 314-319
19		Eriko Nurvitadhi, James C. Hoe, Timothy Kam, Shih-Lien Lu: Automatic pipelining from transactional datapath specifications. DATE 2010: 1001-1004
	2008
18		Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms: Correct-by-construction microarchitectural pipelining. ICCAD 2008: 434-441
17		Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang: A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE 2008: 79-88
	2006
16		Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam: Reducing Structural Bias in Technology Mapping. IEEE Trans. on CAD of Integrated Circuits and Systems 25(12): 2894-2903 (2006)
	2005
15		Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam: Reducing structural bias in technology mapping. ICCAD 2005: 519-526
	2003
14		Alan Mishchenko, Xinning Wang, Timothy Kam: A new enhanced constructive decomposition and mapping algorithm. DAC 2003: 143-148
	2002
13		Sumit Gupta, Nick Savoiu, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem: Coordinated transformations for high-level synthesis of high performance microprocessor blocks. DAC 2002: 898-903
	1999
12		Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao: Coverage Estimation for Symbolic Model Checking. DAC 1999: 300-305
	1998
11		Pei-Hsin Ho, Adrian J. Isles, Timothy Kam: Formal verification of pipeline control using controlled token nets and abstract interpretation. ICCAD 1998: 529-536
	1997
10		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)
9		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)
8		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)
	1996
7		Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao: Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. FMCAD 1996: 19-33
	1995
6		Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Implicit state minimization of non-deterministic FSMs. ICCD 1995: 250-257
5		Timothy Kam, P. A. Subrahmanyam: Comparing layouts with HDL models: a formal verification technique. IEEE Trans. on CAD of Integrated Circuits and Systems 14(4): 503-509 (1995)
	1994
4		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
3		Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: A Fully Implicit Algorithm for Exact State Minimization. DAC 1994: 684-690
	1992
2		Timothy Kam, P. A. Subrahmanyam: Comparing Layouts with HDL Models: A Formal Verification Technique. ICCD 1992: 588-591
	1990
1		Arvind Srinivasan, Timothy Kam, Sharad Malik, Robert K. Brayton: Algorithms for Discrete Function Manipulation. ICCAD 1990: 92-95

Coauthor Index

1	Raid Zuhair Ayoub	[22]
2	Adnan Aziz	[4]
3	Felice Balarin	[4]
4	Robert K. Brayton	[1] [3] [4] [6] [8] [9] [10] [15] [16]
5	Satrajit Chatterjee	[15] [16]
6	Yirng-An Chen	[7]
7	Szu-Tsung Cheng	[4]
8	Edmund M. Clarke	[7]
9	Jordi Cortadella	[18]
10	Paul Diefenbaugh	[22]
11	Nikil D. Dutt (Nikil Dutt)	[13]
12	Eugene Gorbatov	[22]
13	Rajesh K. Gupta (Rajesh Gupta)	[13]
14	Sumit Gupta	[13]
15	Steve Haynal	[17]
16	Pei-Hsin Ho	[7] [11] [12]
17	James C. Hoe	[19] [20] [21]
18	Ramin Hojati	[4]
19	Yatin Vasant Hoskote	[7] [12]
20	Adrian J. Isles	[11]
21	Yanqin Jin	[22]
22	Manpreet Khaira	[7]
23	Michael Kishinevsky	[13] [17] [18]
24	Sriram C. Krishnan	[4]
25	Shih-Lien Lu	[19] [20] [21]
26	Sharad Malik	[1]
27	Alan Mishchenko	[14] [15] [16]
28	Alexandru Nicolau (Alex Nicolau)	[13]
29	Eriko Nurvitadhi	[19] [20] [21]
30	John W. O'Leary	[7]
31	Ümit Y. Ogras	[22]
32	Marc Galceran Oms	[18]
33	Rajeev K. Ranjan	[4]
34	Tajana Rosing	[22]
35	Shai Rotem	[13]
36	Alberto L. Sangiovanni-Vincentelli	[3] [4] [6] [8] [9] [10]
37	Nicolae Savoiu (Nick Savoiu)	[13]
38	Thomas R. Shiple	[4]
39	Emily Shriver	[17]
40	Vigyan Singhal	[4]
41	Arvind Srinivasan	[1]
42	P. A. Subrahmanyam	[2] [5]
43	Serdar Tasiran	[4]
44	Tiziano Villa	[3] [6] [8] [9] [10]
45	Huey-Yih Wang	[4]
46	Xinning Wang	[14] [15] [16] [17]
47	Xudong Zhao	[7] [12]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page