World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
46
Citations
13002
World Ranking
6699
National Ranking
2957

Overview

Gary D. Hachtel is affiliated with the University of Colorado Boulder in the United States. Their research spans multiple fields of study, with a focus on Mathematics and Economics, Econometrics and Finance. Within these main fields, their work engages with subfields including Modeling and Simulation, Economics and Econometrics, Experimental and Cognitive Psychology, and Epidemiology.

The scientist has contributed to the understanding of COVID-19 through research that intersects epidemiology and economic impacts. Their work covers topics such as COVID-19 epidemiological studies, COVID-19 pandemic impacts, mental health research topics, and data-driven disease surveillance.

Recent publications by Gary D. Hachtel include:

  • Forecasting and modeling of the COVID-19 pandemic in the USA with a timed intervention model, 2022, Scientific Reports
  • The Futures of the Pandemic in the USA: A Timed Intervention Model, 2020, bioRxiv (Cold Spring Harbor Laboratory)

Frequent co-authors who have collaborated with Hachtel include John Stack and Jordan A. Hachtel.

In terms of publication venues, their work has appeared notably in:

  • Scientific Reports
  • bioRxiv (Cold Spring Harbor Laboratory)

Best Publications

  • Logic Minimization Algorithms for VLSI Synthesis

    Robert King Brayton;Alberto L. Sangiovanni-Vincentelli;Curtis T. McMullen;Gary D. Hachtel

  • Algebric Decision Diagrams and Their Applications

    R. I. Bahar;E. A. Frohm;C. M. Gaona;G. D. Hachtel

  • VIS: A System for Verification and Synthesis

    Robert K. Brayton;Gary D. Hachtel;Alberto L. Sangiovanni-Vincentelli;Fabio Somenzi

  • Algebraic decision diagrams and their applications

    R. Iris Bahar;Erica A. Frohm;Charles M. Gaona;Gary D. Hachtel

  • Logic Synthesis and Verification Algorithms

    Gary D. Hachtel;Fabio Somenzi

  • Multilevel logic synthesis

    R.K. Brayton;G.D. Hachtel;A.L. Sangiovanni-Vincentelli

  • The Sparse Tableau Approach to Network Analysis and Design

    G. Hachtel;R. Brayton;F. Gustavson

  • A survey of optimization techniques for integrated-circuit design

    R.K. Brayton;G.D. Hachtel;A.L. Sangiovanni-Vincentelli

  • Multi-level logic minimization using implicit don't cares

    K.A. Bartlett;R.K. Brayton;G.D. Hachtel;R.M. Jacoby

  • A new efficient algorithm for solving differential-algebraic systems using implicit backward differentiation formulas

    R.K. Brayton;F.G. Gustavson;G.D. Hachtel

  • A new algorithm for statistical circuit design based on quasi-Newton methods and function splitting

    R. Brayton;G. Hachtel;L. Vidigal

  • The simplicial approximation approach to design centering

    Unknown

  • Markovian analysis of large finite state machines

    G.D. Hachtel;E. Macii;A. Pardo;F. Somenzi

  • BOLD: The Boulder Optimal Logic Design system

    G. Hachtel;M. Lightner;K. Bartlett;D. Bostwick

  • An Algorithm for Optimal PLA Folding

    G.D. Hachtel;A.R. Newton;A.L. Sangiovanni-Vincentelli

  • Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration

    H. Cho;G.D. Hachtel;F. Somenzi

  • SOCRATES: A System for Automatically Synthesizing and Optimizing Combinational Logic

    D. Gregory;K. Bartlett;A. deGeus;G. Hachtel

  • ATPG aspects of FSM verification

    H. Cho;G. Hachtel;S.-W. Jeong;B. Plessier

  • Algorithms for Approximate FSM Traversal

    Hyunwoo Cho;Gary D. Hachtel;Enrico Macii;Bernard Plessier

  • Exact and heuristic algorithms for the minimization of incompletely specified state machines

    June-Kyung Rho;G.D. Hachtel;F. Somenzi;R.M. Jacoby

  • Re-encoding sequential circuits to reduce power dissipation

    Gary D. Hachtel;Mariano Hermida;Abelardo Pardo;Massimo Poncino

Frequent Co-Authors

Fabio Somenzi
Fabio Somenzi University of Colorado Boulder
Enrico Macii
Enrico Macii Polytechnic University of Turin
Abelardo Pardo
Abelardo Pardo University of Adelaide
Alberto Sangiovanni-Vincentelli
Alberto Sangiovanni-Vincentelli University of California, Berkeley
Robert K. Brayton
Robert K. Brayton University of California, Berkeley
Chao Wang
Chao Wang University of Southern California
Massimo Poncino
Massimo Poncino Polytechnic University of Turin
R. Iris Bahar
R. Iris Bahar Brown University
A.R. Newton
A.R. Newton University of California, Berkeley
Kurt Keutzer
Kurt Keutzer University of California, Berkeley

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA can open up diverse and flexible career opportunities, with many students exploring related online degrees for convenience and affordability. Today, there is a growing demand for professionals with advanced skills in fields like data science. For those looking to enhance their expertise without breaking the bank, consider exploring cheap online masters programs, which can provide quality education at lower costs.

Another in-demand specialization is construction management, which often intersects with technology and project leadership. If you are interested in fast-tracking your entry into this field, an online construction management program offers flexibility and accelerated pathways to graduation.

Business administration remains a popular option for those planning to combine tech skills with business strategies. There are numerous cheapest mba programs online, making it accessible for CS graduates to broaden their career prospects into management roles.

Time-conscious learners may also benefit from compact 1 year masters programs online. These intensive degrees help you gain specialized skills and credentials quickly, supporting rapid career advancement in both technical and interdisciplinary roles.

Best Scientists Citing Gary D. Hachtel

Trending Scientists

Recently Published Articles