谢高燕；李，程；当、哲 线性不定方程组的线性可达性问题和最小解。 （英语） Zbl 1071.68055号 西奥。计算。科学。 328，编号1-2203-219（2004）.MSC公司：65年第68季度 2004年11月 11年50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Xie}等人，Theor。计算。科学。328，编号1--2，203-219（2004；Zbl 1071.68055） 全文： 内政部
当、哲；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。；理查德·凯默勒。 过去的下推定时自动机和安全验证。 （英语） Zbl 1069.68065号 西奥。计算。科学。 313，第1期，57-71（2004）.MSC公司：65年第68季度 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人，Theor。计算。科学。313，第1号，57--71（2004；Zbl 1069.68065） 全文： 内政部
圣彼得罗，皮耶路易吉；当、哲 多队列离散时间自动机的自动验证。 （英语） Zbl 1276.68097号 Warnow，Tandy（编辑）等人，《计算与组合学》。第九届国际年会，COCOON 2003，Big Sky，MT，USA，2003年7月25-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40534-8/pbk）。计算机科学课堂讲稿2697159-171（2003）。MSC公司：65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.San Pietro}和\textit{Z.Dang}，Lect。注释计算。科学。2697159--171（2003年；Zbl 1276.68097） 全文： 内政部
当、哲 下推时间自动机：二进制可达性特征和安全验证。 （英语） Zbl 1044.68085号 西奥。计算。科学。 302，编号1-3，93-121（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Z.Dang}，Theor。计算。科学。302，编号1--3，93-121（2003；Zbl 1044.68085） 全文： 内政部
奥斯卡·H·伊巴拉。；当、哲；圣彼得罗，皮耶路易吉 松散同步队列连接离散时间自动机的验证。 （英语） Zbl 1044.68096号 西奥。计算。科学。 290，编号3，1713-1735（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}等人，Theor。计算。科学。290，第3号，1713-1735（2003；Zbl 1044.68096） 全文： 内政部
奥斯卡·H·伊巴拉。；当、哲 消除可达性结构中的存储磁带。 （英语） Zbl 1042.68065号 西奥。计算。科学。 299，编号1-3，687-706（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{Z.Dang}，Theor。计算。科学。299，编号1--3，687--706（2003；Zbl 1042.68065） 全文： 内政部
当、哲；圣彼得罗，皮耶路易吉；理查德·凯默勒。 离散时间自动机的Presburger活性验证。 （英语） Zbl 1040.68050号 西奥。计算。科学。 299，编号1-3，413-438（2003）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}等人，Theor。计算。科学。299，编号1--3，413--438（2003；Zbl 1040.68050） 全文： 内政部
当、哲；奥斯卡·H·伊巴拉。 传递混合线性关系（ω链）的存在性及其应用。 （英语） Zbl 1067.68090号 发现的国际期刊。计算。科学。 13，第6期，911-936（2002）.MSC公司：60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Dang}和\textit{O.H.Ibarra}，国际期刊发现。计算。科学。13，第6号，911--936（2002；Zbl 1067.68090） 全文： 内政部