Patrick C. McGeer

1998
23	EE	Claudio Passerone, Claudio Sansoè, Luciano Lavagno, Patrick C. McGeer, Jonathan Martin, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Modeling reactive systems in Java. ACM Trans. Design Autom. Electr. Syst. 3(4): 515-523 (1998)
1997
22	EE	Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Trace driven logic synthesis&mdashapplication to power minimization. ICCAD 1997: 581-588
21		Masahiro Fujita, Patrick C. McGeer: Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. Formal Methods in System Design 10(2/3): 135-136 (1997)
20		Masahiro Fujita, Patrick C. McGeer, Jerry Chih-Yuan Yang: Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. Formal Methods in System Design 10(2/3): 149-169 (1997)
1996
19	EE	Alberto L. Sangiovanni-Vincentelli, Patrick C. McGeer, Alexander Saldanha: Verification of Electronic Systems. DAC 1996: 106-111
1995
18	EE	Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. DAC 1995: 254-260
17	EE	Patrick C. McGeer, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli, Patrick Scaglia: Fast discrete function evaluation using decision diagrams. ICCAD 1995: 402-407
1994
16	EE	Alexander Saldanha, Heather Harkness, Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Performance Optimization Using Exact Sensitization. DAC 1994: 425-429
15	EE	Patrick C. McGeer, Steven Trimberger, Erik Carlson, Dave Hightower, Ulrich Lauther, Alberto L. Sangiovanni-Vincentelli: DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). DAC 1994: 503
14		Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer: Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. ISCAS 1994: 275-278
1993
13	EE	Yusuke Matsunaga, Patrick C. McGeer, Robert K. Brayton: On Computing the Transitive Closure of a State Transition Relation. DAC 1993: 260-265
12	EE	Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Espresso-Signature: A New Exact Minimizer for Logic Functions. DAC 1993: 618-624
11		Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Minimization of Logic Functions Using Essential Signature Sets. VLSI Design 1993: 323-328
10	EE	Patrick C. McGeer, Jagesh V. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. IEEE Trans. VLSI Syst. 1(4): 432-440 (1993)
1992
9		Paul T. Gutwin, Patrick C. McGeer, Robert K. Brayton: Delay Prediction for Technology-Independent Logic Equations. ICCD 1992: 468-471
1991
8		Patrick C. McGeer, Alexander Saldanha, Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. ICCAD 1991: 180-183
7		Patrick C. McGeer, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Sartaj Sahni: Performance Enhancement through the Generalized Bypass Transform. ICCAD 1991: 184-187
6		Patrick C. McGeer: Robust Path Delay-Fault Testability on Dynamic CMOS Circuits. ICCD 1991: 206-211
1990
5	EE	Patrick C. McGeer, Robert K. Brayton: Timing Analysis in Precharge/Unate Networks. DAC 1990: 124-129
1989
4	EE	Patrick C. McGeer, Robert K. Brayton: Efficient Prime Factorization of Logic Expressions. DAC 1989: 221-225
3	EE	Patrick C. McGeer, Robert K. Brayton: Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network. DAC 1989: 561-567
1988
2	EE	Carl Ponder, Patrick C. McGeer, Anthony P.-C. Ng: Are applicative languages inefficient? SIGPLAN Notices 23(6): 135-139 (1988)
1987
1		William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain: Experience with Prolog as a Hardware Specification Language. SLP 1987: 490-498

Coauthor Index

1	Robert K. Brayton	[3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [16]
2	William R. Bush	[1]
3	Luca P. Carloni	[22]
4	Erik Carlson	[15]
5	Gino Cheng	[1]
6	Edmund M. Clarke	[14]
7	Alvin M. Despain	[1]
8	Masahiro Fujita	[14] [20] [21]
9	Paul T. Gutwin	[9]
10	Heather Harkness	[16]
11	Dave Hightower	[15]
12	Ulrich Lauther	[15]
13	Luciano Lavagno	[18] [23]
14	Jonathan Martin	[23]
15	Yusuke Matsunaga	[13]
16	Kenneth L. McMillan	[17]
17	Anthony P.-C. Ng	[2]
18	Claudio Passerone	[23]
19	Roberto Passerone	[23]
20	Carl Ponder	[2]
21	Sartaj Sahni (Sartaj K. Sahni)	[7]
22	Alexander Saldanha	[8] [16] [17] [18] [19] [22]
23	Jagesh V. Sanghavi	[10] [11] [12]
24	Alberto L. Sangiovanni-Vincentelli	[7] [8] [10] [11] [12] [15] [16] [17] [18] [19] [22] [23]
25	Claudio Sansoè	[23]
26	Patrick Scaglia	[17]
27	Paul R. Stephan	[8]
28	Steven Trimberger	[15]
29	Jerry Chih-Yuan Yang	[14] [20]
30	Xudong Zhao	[14]

Colors in the list of coauthors