张巨玲;杨国武;威廉·N·洪。;刘,田;宋晓宇;Marek A.Perkowski。 布尔函数NPN分类的群代数方法。 (英语) Zbl 1462.94074号 理论计算。系统。 63,第6期,1278-1297(2019)。MSC公司:94C11号机组 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,理论计算。系统。63,第6号,1278--1297(2019;Zbl 1462.94074) 全文: 内政部
王瑞;威廉·N·洪。;杨国武;宋晓宇 可配置硬件/软件资源分区的不确定性模型。 (英语) Zbl 1360.68118号 IEEE传输。计算。 65,第10号,3217-3223(2016)。MSC公司:2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{R.Wang}等人,IEEE Trans。计算。65,第10号,3217--3223(2016;Zbl 1360.68118) 全文: 内政部
乐倩琪;杨国武;威廉·N·洪。;宋晓宇;张新鹏 可靠性约束下基于tile-based-network-on-chip的Pareto最优映射。 (英语) Zbl 1322.68257号 国际期刊计算。数学。 92,第1期,41-58(2015)。MSC公司:68瓦20 68T20型 68瓦35 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{Q.Le}等人,《国际计算杂志》。数学。92,第1号,41-58(2015;Zbl 1322.68257) 全文: 内政部
郭文胜;杨国武;威廉·N·洪。;宋晓宇 基于局部搜索的完全布尔可满足性求解算法。 (英语) Zbl 1280.68241号 J.计算。科学。Technol公司。 28,第2期,247-254(2013)。MSC公司:68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.-S.Guo}等人,J.Compute。科学。Technol公司。28,第2号,247--254(2013;Zbl 1280.68241) 全文: 内政部
杨国武;威廉·N·洪。;宋晓宇;郭文胜 基于转换的GSTE断言图含义方法。 (英语) Zbl 1311.68091号 J.应用。数学。 2013年,文章ID 709071,第7页(2013年)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,J.Appl。数学。2013年,文章ID 709071,7 p.(2013;Zbl 1311.68091) 全文: 内政部 OA许可证
杨国武;谢,费;威廉·N·洪。;宋晓宇;Marek A.Perkowski。 可逆函数的实现和合成。 (英语) Zbl 1211.81049号 西奥。计算。科学。 412,第17号,1606-1613(2011)。MSC公司:81第68页 68瓦40 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,Theor。计算。科学。412,第17号,1606--1613(2011;Zbl 1211.81049) 全文: 内政部
杨国武;宋晓宇;威廉·N·洪。;Marek A.Perkowski。;徐昌俊 以最低成本合成可逆电路。 (英语) Zbl 1173.94469号 卡尔科洛 45,第3期,193-206(2008)。MSC公司:94立方厘米 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,Calcolo 45,No.3,193--206(2008;Zbl 1173.94469) 全文: 内政部
杨国武;宋晓宇;Marek A.Perkowski。;威廉·N·洪。;Seo,Chang-Jun先生 可逆电路的最小通用库。 (英语) Zbl 1145.94482号 计算。数学。应用。 56,第1号,160-165(2008)。MSC公司:94立方厘米 2005年第68季度 81第68页 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,计算。数学。申请。56,编号1,160--165(2008;Zbl 1145.94482) 全文: 内政部
杨国武;宋晓宇;威廉·N·洪。;谢,费;Marek A.Perkowski。 基于群论的二元可逆电路综合。 (英语) Zbl 1178.68261号 蔡金毅(主编)等,计算模型的理论与应用。第三届国际会议,TAMC 2006,中国北京,2006年5月15日至20日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-34021-1/pbk)。计算机科学课堂讲稿3959365-374(2006)。MSC公司:2005年第68季度 81第68页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,Lect。注释计算。科学。3959365-374(2006年;Zbl 1178.68261) 全文: 内政部
杨国武;威廉·N·洪。;宋晓宇;马雷克·佩考夫斯基 基于多数的可逆逻辑门。 (英语) Zbl 1080.68031号 西奥。计算。科学。 334,编号1-3,259-274(2005)。MSC公司:2005年第68季度 81第68页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Yang}等人,Theor。计算。科学。334,编号1--3,259--274(2005;Zbl 1080.68031) 全文: 内政部