Concepedia

He-Teng Zhang

HZ

Statistics

Publications

5

Citations

92

H-Index

5

Active since

2020

Affiliations

Xuzhou Medical College(Current)

Second People’s Hospital of Huai’an

Jiangsu University

University of California, Berkeley

Affiliated Hospital of Jiangsu University

He-Teng Zhang is an author at Xuzhou Medical College specializing in computer architecture, circuit design, and formal methods.

Top concepts

Covid-19MedicineVirologyEngineeringPathogenesisCircuit DesignFormal MethodsSatisfiabilityComputer ScienceParallel Computing

Publications per year

2020–2021

5

Publications

5

Preliminary assessment of viral metagenome from cancer tissue and blood from patients with lung adenocarcinoma

Huazhong Cai, He-Teng Zhang, Jie Yang et al. · Journal of Medical Virology · 2021 · 20 citations

Viral Metagenome, Lung Adenocarcinoma, Immunology +19

Digging metagenomic data of pangolins revealed SARS‐CoV‐2 related viruses and other significant viruses

Shixing Yang, Tongling Shan, Yuqing Xiao et al. · Journal of Medical Virology · 2020 · 19 citations

Viral Diagnostics, Genetics, Virus Genomes +16

A Circuit-Based SAT Solver for Logic Synthesis

He-Teng Zhang, Jie-Hong R. Jiang, Alan Mishchenko · 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD) · 2021 · 19 citations

Logic Synthesis, Original Glucose, Engineering +15

Comparison of viromes in vaginal secretion from pregnant women with and without vaginitis

He-Teng Zhang, Hao Wang, Haisheng Wu et al. · Virology Journal · 2021 · 18 citations · Full text

Deep Integration of Circuit Simulator and SAT Solver

He-Teng Zhang, Jie-Hong R. Jiang, Luca Amarù et al. · 2021 · 16 citations

Engineering, Electronic Design Automation, Verification +20

1–5 of 5