( en | de | ru )

 

Disambiguierung von "Burch, Jerry R."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Refinement preserving approximations for the design and verification of heterogeneous systems.

, , und . Formal Methods Syst. Des., 31 (1): 1-33 (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Thomas Burch

Jerry Chou

Jerry Ding

Thomas Burch

Stephanie Burch

 

Weitere Publikationen von Autoren mit dem selben Namen

Linear cofactor relationships in Boolean functions., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (6): 1011-1023 (2006)Using simulation and satisfiability to compute flexibilities in Boolean networks., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 743-755 (2006)Safe BDD Minimization Using Don't Cares., , , und . DAC, Seite 208-213. ACM Press, (1997)Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems., , und . ACSD, Seite 13-. IEEE Computer Society, (2001)Modeling hierarchical combinational circuits., , , und . ICCAD, Seite 612-617. IEEE Computer Society / ACM, (1993)Techniques for Verifying Superscalar Microprocessors.. DAC, Seite 552-557. ACM Press, (1996)Representing Circuits More Efficiently in Symbolic Model Checking., , und . DAC, Seite 403-407. ACM, (1991)Sibling-substitution-based BDD minimization using don't cares., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (1): 44-55 (2000)Symbolic model checking for sequential circuit verification., , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 13 (4): 401-424 (1994)Refinement preserving approximations for the design and verification of heterogeneous systems., , und . Formal Methods Syst. Des., 31 (1): 1-33 (2007)