Gary York

Publication Activity (10 Years)

Years Active: 1983-1998
Publications (10 Years): 0

Publications

Tom Brinck, Gary York
User interfaces for computer-based patient records. ACM SIGCHI Bull. 30 (4) (1998)
Tom Brinck, Gary York
User interfaces for computer-based patient records. CHI Conference Summary (1998)
Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain
Extraction of finite state machines from transistor netlists by symbolic simulation. ICCD (1995)
Alan J. Hu, Gary York, David L. Dill
New Techniques for Efficient Verification with Implicitly Conjoined BDDs. DAC (1994)
Eric Felt, Gary York, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Dynamic variable reordering for BDD minimization. EURO-DAC (1993)
Felice Balarin, Gary York
Verilog HDL Modeling Styles for Formal Verification. CHDL (1993)
Xiao-Zong Yang, Gary York, William P. Birmingham, Daniel P. Siewiorek
Fault Recovery of Triplicated Software on the Intel iAPX 432. ICDCS (1985)
Gary York, Daniel P. Siewiorek, Zary Segall
Asynchronous Software Voting in NMR Computer Structures. Symposium on Reliability in Distributed Software and Database Systems (1983)