Concepedia

Zixin Huang

ZH

5

Publications

153

Citations

5

H-Index

2018

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Zixin Huang is an author at University of Illinois Urbana-Champaign specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringVerificationFormal MethodsSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2018–2023

5

Publications

5

Testing probabilistic programming systems

Saikat Dutta, Owolabi Legunsen, Zixin Huang et al. · 2018 · 49 citations · Full text

Program Checking, Engineering, Verification +21

Some evidence and new insights for feedback loops of human-nature interactions from a holistic Earth perspective

Longjun Dong, Zixin Huang · Journal of Cleaner Production · 2023 · 38 citations

Behavioral Sciences, Cognitive Science, Social-ecological System +10

Storm: program reduction for testing and debugging probabilistic programming systems

Saikat Dutta, Wenxian Zhang, Zixin Huang et al. · 2019 · 27 citations · Full text

Software Maintenance, Program Checking, Engineering +28

Predicting current and future species distribution of the raccoon dog (Nyctereutes procyonoides) in Shanghai, China

Yixin Diao, Qianqian Zhao, Yue Weng et al. · Landscape and Urban Planning · 2022 · 20 citations · Full text

Simultaneous Area and Latency Optimization for Stochastic Circuits by D Flip-Flop Insertion

Zhijing Li, Chen Zhao, Yili Zhang et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 19 citations

Engineering, Vlsi Design, Computer Architecture +20

Rows per page

1–5 of 5