Daniel Huang

Statistics

Publications

Citations

718

H-Index

Active since

2003

Affiliations

University of California, Berkeley(Current)

Daniel Huang is an author at University of California, Berkeley specializing in proof automation, interactive theorem proving, and artificial intelligence.

Publications per year

2003–2023

Publications

Plastic-Compatible Low Resistance Printable Gold Nanoparticle Conductors for Flexible Electronics

Daniel Huang, Frank Liao, Steven Molesa et al. · Journal of The Electrochemical Society · 2003 · 528 citations

Natural Sciences, Materials Engineering, Materials Science +14

Film Morphology and Thin Film Transistor Performance of Solution-Processed Oligothiophenes

Paul C. Chang, Josephine Lee, Daniel Huang et al. · Chemistry of Materials · 2004 · 80 citations

Engineering, Materials Engineering, Materials Science +17

GamePad: A Learning Environment for Theorem Proving

Daniel Huang, Prafulla Dhariwal, Dawn Song et al. · arXiv (Cornell University) · 2018 · 35 citations · Full text

Computing, Computer Science, Educational Technology +16

A genetic bistable switch utilizing nonlinear protein degradation

Daniel Huang, Michel M. Maharbiz · Journal of Biological Engineering · 2012 · 32 citations · Full text

Life Sciences, Genetics, Molecular Biology +15

GamePad: A Learning Environment for Theorem Proving

Daniel Huang, Prafulla Dhariwal, Dawn Song et al. · International Conference on Learning Representations · 2018 · 24 citations

Computing, Computer Science, Educational Technology +16

1–5 of 6