( en | de | ru )

 

Disambiguation of "Hachtel, Gary D."

Author of the publication

copydeleteadd this publication to your clipboard
VIS: A System for Verification and Synthesis.

, , , , , , , , , , , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 428-432. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gerd Hachtel

Alexander Gary

Klaus Gary

Günther Hachtel

Henning Hachtel

 

Other publications of authors with the same name

Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams., , and . DAC, page 620-623. IEEE Computer Society Press, (1992)Border-Block Triangular Form and Conjunction Schedule in Image Computation., , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 73-90. Springer, (2000)Sharp Disjunctive Decomposition for Language Emptiness Checking., and . FMCAD, volume 2517 of Lecture Notes in Computer Science, page 106-122. Springer, (2002)Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking., , and . ICCD, page 112-118. IEEE Computer Society, (2004)Performance enhancements in BOLD using 'implications'., , , and . ICCAD, page 94-97. IEEE Computer Society, (1988)Don't Care Sequences and the Optimization of Interacting Finite State Machines., , and . ICCAD, page 418-421. IEEE Computer Society, (1991)Fast Sequential ATPG Based on Implicit State Enumeration., , and . ITC, page 67-74. IEEE Computer Society, (1991)CMOS dynamic power estimation based on collapsible current source transistor modeling., , , , , and . ISLPD, page 111-116. ACM, (1995)The Sparse Tableau Approach to Network Analysis and Design, , and . Circuit Theory, IEEE Transactions on, 18 (1): 101--113 (January 1971)Results on the Interface between Formal Verification and ATPG., , , , , and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 615-628. DIMACS/AMS, (1990)