傅建玲;黄成超;李勇;梅静怡;徐明;张丽君 消费马尔可夫决策过程的定量控制器综合。 （英语） Zbl 07647065号 信息处理。莱特。 180，文章ID 106342，10 p.（2023）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Fu}等人，《Inf.过程》。莱特。180，文章ID 106342，10 p.（2023；Zbl 07647065） 全文： DOI程序
徐明;黄成超;冯、袁 测量量子马尔可夫链中的约束可达性。 （英语） Zbl 1483.68140号 学报信息。 58，第6号，653-674（2021）.MSC公司：2012年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人，《学报》第58期，第6期，第653--674页（2021年；Zbl 1483.68140） 全文： DOI程序
杨鹏飞;李建林;刘江超;黄成超;李仁觉;陈丽倩;黄晓伟;张丽君 通过符号传播增强深度神经网络的鲁棒性验证。 （英语） Zbl 1519.68228号 正式Asp。计算。 33，第3期，407-435（2021年）.MSC公司：68T07型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Yang｝等人，正式Asp。计算。33，编号3，407--435（2021；Zbl 1519.68228） 全文： DOI程序
杨鹏飞;李仁觉;李建林;黄成超;王景毅;孙骏;薛、白;张丽君 通过伪区域引导细化改进神经网络验证。 （英语） Zbl 1467.68096号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。第12651、389-408页（2021）。MSC公司：60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{P.Yang}等人，Lect。注释计算。科学。12651、389--408（2021；Zbl 1467.68096） 全文： DOI程序 arXiv公司
黄成超;徐明;李志斌 多权力约束的冲突驱动解决程序。 （英语） Zbl 1468.68202号 J.汽车。推理 64，第1号，1-20（2020）.MSC公司：68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人，J.Autom。推理64，No.1，1--20（2020；Zbl 1468.68202） 全文： DOI程序
黄成超;李景超;徐明;李志斌 通过排除和分化对多电源进行阳性根隔离。 （英语） Zbl 1378.68200号 J.塞姆。计算。 85, 148-169 (2018).MSC公司：68瓦30 第12天第10天 2005年12月 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人，J.Symb。计算。85、148--169（2018；Zbl 1378.68200） 全文： DOI程序
风扇，C.M。;黄，C.C。 形态对合语言方程解的注记。 （英语） Zbl 1218.68094号 离散数学。科学。密码学 13，第3期，291-298（2010）.MSC公司：65年第68季度 2010年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Fan}和\textit{C.C.Huang}，J.离散数学。科学。密码学13，No.3，291--298（2010；Zbl 1218.68094） 全文： DOI程序 链接
黄，C.C。;萧佩庆;廖，C.J。 渐开线加边单词的注释。 （英语） 兹伯利1217.68171 J.信息优化。科学。 31，第2期，371-386（2010）.MSC公司：68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Huang}等人，J.Inf.Optim。科学。31，第2号，371--386（2010；Zbl 1217.68171） 全文： DOI程序
黄，C.C。;姜成根;袁、苏川 相关对合回文词的一些性质。 （英语） Zbl 1217.68172号 J.信息优化。科学。 31，第2期，323-332（2010）.MSC公司：68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Huang}等人，J.Inf.Optim。科学。31，No.2，323--332（2010；Zbl 1217.68172） 全文： DOI程序
黄，C.C。 关于纯代码的注释。 （英语） Zbl 1207.68189号 学报信息。 47，编号5-6，347-357（2010）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Huang}，Acta Inf.47，No.5--6347--357（2010；Zbl 1207.68189） 全文： DOI程序
黄，C.C。;于S.S。 保留前缀极限的同态。 （英语） Zbl 1130.68070号 离散数学。 308，第7期，1025-1032（2008）.MSC公司：65年第68季度 68兰特 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Huang}和\textit{S.S.Yu}，离散数学。308，编号71025-1032（2008；兹bl 1130.68070） 全文： DOI程序
黄，C.C。;于S.S。 语言方程的解（LB=AL）。 （英语） Zbl 1036.68073号 苏州J.数学。 第2201-213号（2003年）第29页.MSC公司：68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Huang}和\textit{S.S.Yu}，苏州J.数学。29，第2号，201--213（2003；Zbl 1036.68073）
黄，C.C。;Yu，S.S.余女士。 \（mu）-可约语言。 （英语） Zbl 0959.68082号 数学学报。挂。 84，第4期，329-341（1999）.MSC公司：70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Huang}和\textit{S.S.Yu}，《数学学报》。挂。84，第4号，329--341（1999；Zbl 0959.68082） 全文： DOI程序