史玲;赵永新;刘，杨;孙骏;董金松;秦胜超 一种UTP语义，用于与共享变量通信进程及其在PVS中的形式编码。 （英语） 兹比尔1398.68373 正式Asp。计算。 30，编号3-4，351-380（2018）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Shi}等人，《形式语法》。计算。30、编号3--4、351--380（2018；Zbl 1398.68373） 全文： 内政部 链接
朱，H。;何继峰;秦胜超;菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 （英语） Zbl 1347.68039号 正式Asp。计算。 27，第1期，133-166（2015）.MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，正式Asp。计算。27，第1号，133--166（2015；Zbl 1347.68039） 全文： 内政部 链接
朱慧彪;刘鹏;何继峰;秦胜超 使用Maude为Verilog连接操作语义和代数语义的机械方法。 （英语） Zbl 1452.68123号 Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。票据计算。科学。7681, 164-185 (2013).MSC公司：第68季度第60季度 2007年7月68日 2012年第68季度 68问题55 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，Lect。票据计算。科学。7681、164--185（2013；Zbl 1452.68123） 全文： 内政部
魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 （英语） Zbl 1243.68148号 科学。计算。程序。 77，第9期，1006-1036（2012）.MSC公司：68号30 第68季度第60季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.-N.Chin}等人，科学。计算。程序。77，编号9，1006-1036（2012年；兹bl 1243.68148） 全文： 内政部 链接
朱慧彪;杨，范;何继峰;乔纳森·鲍文（Jonathan P.Bowen）。;杰夫·桑德斯。;秦胜超 概率定时共享变量语言的操作语义和代数语义的链接。 （英语） Zbl 1243.68208号 J.日志。阿尔盖布。程序。 81，第1期，2-25（2012）.MSC公司：68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，J.Log。阿尔盖布。程序。81，编号1，2--25（2012年；兹bl 1243.68208） 全文： 内政部
秦胜超;何继峰;邱宗燕;张乃晓 一种代数硬件/软件划分算法。 （英语） Zbl 1005.68182号 J.计算。科学。Technol公司。 17，第3期，284-294（2002）.MSC公司：68周05 68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Qin}等人，J.Compute。科学。Technol公司。17，第3号，284--294（2002；Zbl 1005.68182） 全文： 内政部