| A formal algorithm for verifying the validity of clustering results based on model checking S Huang, Y Cheng, D Lang, R Chi, G Liu Plos one 9 (3), e90109, 2014 | 10 | 2014 |
| 低温废水生物脱氮工艺的研究进展 马春， 金仁村 工业水处理 32 (6), 1-5, 2012 | 4 | 2012 |
| 基于克雷格插值的反例理解方法 黄宏涛， 黄少滨， 陈志远， 张涛 吉林大学学报: 理学版 51 (1), 94-100, 2013 | 2 | 2013 |
| FAULT LOCATION USING SATISFIABILITY IN COMPLEX SYSTEMS. S Huang, Y Li, Y Li, D Lang, R Chi Journal of the Balkan Tribological Association 22, 2016 | 1 | 2016 |
| 一种基于自适应最近邻的聚类融合方法 黄少滨， 李建， 刘刚 计算机工程与应用 48 (19), 157-162, 2012 | 1 | 2012 |
| 茶多酚对米曲霉 α-淀粉酶的回收及其特性的影响 黄惠华， 黄少斌， 梁汉华 食品科学 23 (7), 30-34, 2002 | 1 | 2002 |
| An algorithm of parallel model checking programs with conditions based on adjustable predicate abstraction coding. S Huang, D Lang, R Chi, B Yu Biomedical Research (0970-938X), 2018 | | 2018 |
| 基于谱聚类的高阶模糊时序自适应预测方法 周春楠， 黄少滨， 迟荣华， 李雅， 郎大鹏 通信学报 37 (2), 107-115, 2016 | | 2016 |
| A Method of Legal Text Formalization D Lang, S Huang, T Lv 2012 Sixth International Conference on Internet Computing for Science and …, 2012 | | 2012 |
| Biomedical Research 2018; Special Issue: S406-S408 ISSN 0970-938X S Huang, D Lang, R Chi, B Yu | | |
