Asynchronous Software Voting in NMR Computer Structures. - Gary York; Daniel P. Siewiorek; Zary Segall (Symposium on Reliability in Distributed Software and Database Systems, 1983)

Fault Recovery of Triplicated Software on the Intel iAPX 432. - Xiao-Zong Yang; Gary York; William P. Birmingham; Daniel P. Siewiorek (ICDCS, 1985)

Verilog HDL Modeling Styles for Formal Verification. - Felice Balarin; Gary York (CHDL, 1993)

Dynamic variable reordering for BDD minimization. - Eric Felt; Gary York; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (EURO-DAC, 1993)

New Techniques for Efficient Verification with Implicitly Conjoined BDDs. - Alan J. Hu; Gary York; David L. Dill (DAC, 1994)

Extraction of finite state machines from transistor netlists by symbolic simulation. - Manish Pandey; Alok Jain; Randal E. Bryant; Derek L. Beatty; Gary York; Samir Jain (ICCD, 1995)

User interfaces for computer-based patient records. - Tom Brinck; Gary York (ACM SIGCHI Bull., 1998)