A discussion and implementation of Brown's REX simplification algorithm. - Patrick C. McGeer (SIGSAM Bull., 1984)

Experience with Prolog as a Hardware Specification Language. - William R. Bush; Gino Cheng; Patrick C. McGeer; Alvin M. Despain (SLP, 1987)

Are applicative languages inefficient? - Carl Ponder; Patrick C. McGeer; Antony P.-C. Ng (ACM SIGPLAN Notices, 1988)

Efficient Prime Factorization of Logic Expressions. - Patrick C. McGeer; Robert K. Brayton (DAC, 1989)

Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network. - Patrick C. McGeer; Robert K. Brayton (DAC, 1989)

Consistency and observability invariance in multi-level logic synthesis. - Patrick C. McGeer; Robert K. Brayton (ICCAD, 1989)

Timing Analysis in Precharge/Unate Networks. - Patrick C. McGeer; Robert K. Brayton (DAC, 1990)

The observability don't-care set and its approximations. - Patrick C. McGeer; Robert K. Brayton (ICCD, 1990)

Performance Enhancement through the Generalized Bypass Transform. - Patrick C. McGeer; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli; Sartaj Sahni (ICCAD, 1991)

Timing Analysis and Delay-Fault Test Generation using Path-Recursive Functions. - Patrick C. McGeer; Alexander Saldanha; Paul R. Stephan; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (ICCAD, 1991)

Robust Path Delay-Fault Testability on Dynamic CMOS Circuits. - Patrick C. McGeer (ICCD, 1991)

Delay Prediction for Technology-Independent Logic Equations. - Paul T. Gutwin; Patrick C. McGeer; Robert K. Brayton (ICCD, 1992)

On Computing the Transitive Closure of a State Transition Relation. - Yusuke Matsunaga; Patrick C. McGeer; Robert K. Brayton (DAC, 1993)

Minimization of Logic Functions Using Essential Signature Sets. - Patrick C. McGeer; Jagesh V. Sanghavi; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (VLSI Design, 1993)

ESPRESSO-SIGNATURE: a new exact minimizer for logic functions. - Patrick C. McGeer; Jagesh V. Sanghavi; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Very Large Scale Integr. Syst., 1993)

DA Algorithms in Non-EDA Applications: How Universal Are Our Techniques? (Panel). - Patrick C. McGeer; Steven Trimberger; Erik Carlson; Dave Hightower; Ulrich Lauther; Alberto L. Sangiovanni-Vincentelli (DAC, 1994)

Performance Optimization Using Exact Sensitization. - Alexander Saldanha; Heather Harkness; Patrick C. McGeer; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (DAC, 1994)

Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. - Masahiro Fujita; Jerry Chih-Yuan Yang; Edmund M. Clarke; Xudong Zhao 005; Patrick C. McGeer (ISCAS, 1994)

Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. - Luciano Lavagno; Patrick C. McGeer; Alexander Saldanha; Alberto L. Sangiovanni-Vincentelli (DAC, 1995)

Fast discrete function evaluation using decision diagrams. - Patrick C. McGeer; Kenneth L. McMillan; Alexander Saldanha; Alberto L. Sangiovanni-Vincentelli; Patrick Scaglia (ICCAD, 1995)

Verification of Electronic Systems. - Alberto L. Sangiovanni-Vincentelli; Patrick C. McGeer; Alexander Saldanha (DAC, 1996)

Trace driven logic synthesis - application to power minimization. - Luca P. Carloni; Patrick C. McGeer; Alexander Saldanha; Alberto L. Sangiovanni-Vincentelli (ICCAD, 1997)

Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams. - Masahiro Fujita; Patrick C. McGeer (Formal Methods Syst. Des., 1997)

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. - Masahiro Fujita; Patrick C. McGeer; Jerry Chih-Yuan Yang (Formal Methods Syst. Des., 1997)

Modeling reactive systems in Java. - Claudio Passerone; Claudio Sansoè; Luciano Lavagno; Patrick C. McGeer; Jonathan Martin; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Design Autom. Electr. Syst., 1998)

The Ignite Distributed Collaborative Scientific Visualization System. - Sushil Bhojwani; Matthew Hemmings; Daniel Ingalls; Jens Lincke; Robert Krahn; David John Lary; Patrick C. McGeer; Glenn Ricart; Marko Röder; Yvonne Coady; Ulrike Stege (CloudCom, 2015)