Gary York

According to our database, Gary York authored at least 7 papers between 1983 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

User interfaces for computer-based patient records.

Tom Brinck, Gary York

ACM SIGCHI Bull., 1998

1995

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

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

New Techniques for Efficient Verification with Implicitly Conjoined BDDs.

Alan J. Hu, Gary York, David L. Dill

Proceedings of the 31st Conference on Design Automation, 1994

1993

Dynamic variable reordering for BDD minimization.

Eric Felt, Gary York, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the European Design Automation Conference 1993, 1993

Verilog HDL Modeling Styles for Formal Verification.

Felice Balarin, Gary York

Proceedings of the Computer Hardware Description Languages and their Applications, Proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications, 1993

1985

Fault Recovery of Triplicated Software on the Intel iAPX 432.

Xiao-Zong Yang, Gary York, William P. Birmingham, Daniel P. Siewiorek

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1983

Asynchronous Software Voting in NMR Computer Structures.

Gary York, Daniel P. Siewiorek, Zary Segall

Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983