×

找到51份文件（结果1-51）

最新的 引文 关联
当、哲;德米特里·德门捷耶夫;托马斯·费舍尔。;威廉·J·赫顿。

自动机中数字传感器的安全性。 （英语） Zbl 1465.68139号

Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 76-88 (2015).
MSC公司：65年第68季度 68页30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。9223，76-88（2015；Zbl 1465.68139）
全文： 内政部
当、哲;奥斯卡·H·伊巴拉。;林，秦

对双向有限自动机进行采样。 （英语） Zbl 1327.68153号

Adamatzky，Andrew（编辑），自动化，通用性，计算。向莫里斯·马根斯坦致敬。查姆：施普林格（ISBN 978-3-319-09038-2/hbk；978-3-3169-09039-9/电子书）。《涌现、复杂性与计算》12，103-115（2015）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，《新兴复合体》。计算。12、103——115（2015；Zbl 1327.68153）
全文： 内政部
奥斯卡·H·伊巴拉。;崔策伟;当、哲;托马斯·费舍尔。

传感器模拟的通信信道损耗。 （英语） Zbl 1369.94011号

Beckmann，Arnold（编辑）等人，《语言，生活，极限》。2014年6月23日至27日在匈牙利布达佩斯举行的第十届欧洲可计算性会议，CiE 2014。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08018-5/pbk）。计算机科学课堂讲稿8493，224-233（2014）。
MSC公司：94A05型 65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。注释计算。科学。8493、224--233（2014年；Zbl 1369.94011）
全文： 内政部
崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。

一些非正则语言类的信息率：自动机理论方法（扩展抽象）。 （英语） Zbl 1425.68192号

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634, 232-243 (2014).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Cui}等人，Lect。注释计算。科学。8634，232--243（2014；Zbl 1425.68192）
全文： 内政部
崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。

某些自动机类的执行信息速率。 （英语） Zbl 1333.68160号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810226-237（2013）。
MSC公司：65年第68季度 94甲17
PDF格式BibTeX公司 XML格式引用
\textit｛C.Cui｝等人，Lect。注释计算。科学。7810226-237（2013年；Zbl 1333.68160）
全文： 内政部
杨林敏;王勇;当、哲

多组通信对象上的自动机。 （英语） Zbl 1166.68330号

Calude，Cristian S.（编辑）等人，《非常规计算》。2008年8月25日至28日在奥地利维也纳举行的2008年加州大学第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85193-6/pbk）。计算机科学课堂讲稿5204，242-257（2008）。
MSC公司：65年第68季度 05年3月 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Yang}等人，Lect。注释计算。科学。5204、242--257（2008年；Zbl 1166.68330）
全文： 内政部
谢高燕;当、哲

并发黑盒测试系统——一种自动机理论和分解方法。 （英语） Zbl 1183.68184号

Grieskamp，Wolfgang（编辑）等人，《软件测试的形式化方法》。2005年7月11日，英国爱丁堡，第五届国际研讨会，《命运2005》。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-34454-3/pbk）。计算机科学课堂讲稿3997170-186（2006）。
MSC公司：68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛G.Xie｝和\textit｛Z.Dang｝，Lect。注释计算。科学。3997、170--186（2006年；Zbl 1183.68184）
全文： 内政部
奥斯卡·H·伊巴拉。（编辑）;当、哲（编辑）

语言理论的发展。2006年6月26日至29日，第十届国际会议，DLT 2006，美国加利福尼亚州圣巴巴拉。诉讼程序。 （英语） 兹伯利1108.68001

计算机科学课堂讲稿4036.柏林：施普林格出版社（ISBN 3-540-35428-X/pbk）。xii，第456页。(2006).
MSC公司：68-06 65年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}（编辑）和textit{Z.Dang}（主编），语言理论的发展。第十届国际会议，DLT 2006，美国加利福尼亚州圣巴巴拉，2006年6月26-29日。诉讼程序。柏林：施普林格（2006年；Zbl 1108.68001）
全文： 内政部
谢高燕;当、哲

具有未指定组件的模型检查系统的自动机理论方法。 （英语） Zbl 1081.68638号

Grabowski，Jens（编辑）等人，软件测试的形式化方法。2004年9月21日，第四次国际研讨会，FATES 2004，奥地利林茨。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25109-X/pbk）。《计算机科学讲义》3395515-169（2005）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Xie}和\textit{Z.Dang}，Lect。注释计算。科学。3395155-169（2005年；兹比尔1081.68638）
全文： 内政部
谢高燕;李，程;当、哲

甲骨文自动机的可测试性。 （英语） Zbl 1115.68453号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2004年7月22日至24日，加拿大金斯顿，CIAA 2004第九届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-24318-6/pbk）。《计算机科学讲义》3317331-332（2005）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Xie}等人，Lect。注释计算。科学。3317、331--332（2005年；Zbl 1115.68453）
全文： 内政部
当、哲;奥斯卡·H·伊巴拉。;苏建文

无限状态活动自动机的可组合性。 （英语） Zbl 1116.68488号

弗莱舍，鲁道夫（编辑）等人，《算法与计算》。2004年12月20日至22日在中国香港举行的第15届国际研讨会，ISAAC 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24131-0/pbk）。计算机科学课堂讲稿3341377-388（2004）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Dang｝等人，Lect。注释计算。科学。3341、377--388（2004年；Zbl 1116.68488）
全文： 内政部
当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉;谢高燕

实计数器自动机及其决策问题（扩展摘要）。 （英语） Zbl 1117.68400号

Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学讲座笔记3328198-210（2004）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。3328198--210（2004年；Zbl 1117.68400）
全文： 内政部
圣彼得罗，皮耶路易吉;当、哲

多队列离散时间自动机的自动验证。 （英语） 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年；兹bl 1276.68097）
全文： 内政部
谢高燕;李，程;当、哲

使用线性丢番图方程（扩展抽象）的最小解对一些线性计数问题的新复杂性结果。 （英语） Zbl 1279.68110号

Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2003年7月16日至18日，第8届国际会议，CIAA 2003，美国加利福尼亚州圣巴巴拉。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40561-5/pbk）。莱克特。注释计算。科学。2759, 163-175 (2003).
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Xie}等人，Lect。注释计算。科学。2759163--175（2003年；Zbl 1279.68110）
全文： 内政部
谢高燕;当、哲;奥斯卡·H·伊巴拉。;Pierluigi San彼得罗

密集计数器和验证问题。 （英语） Zbl 1278.68197号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 93-105 (2003).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Xie}等人，Lect。注释计算。科学。2725、93--105（2003年；Zbl 1278.68197）
全文： 内政部
奥斯卡·H·伊巴拉。（编辑）;当、哲（编辑）

自动机的实现和应用。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003，第八届国际会议。诉讼程序。 （英语） Zbl 1028.00030号

计算机科学课堂讲稿. 2759. 柏林：施普林格。xi，312页（2003）。
MSC公司：00B25型 68-06 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}（编辑）和\textit{Z.Dang}（主编），自动机的实现和应用。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003第八届国际会议。诉讼程序。柏林：施普林格出版社（2003；Zbl 1028.00030）
全文： 内政部 链接
奥斯卡·H·伊巴拉。;当、哲;孙志伟

带单调计数器的双向有限自动机的安全性验证。 （英语） 兹伯利1015.68112

伊藤正美（编辑）等，《语言理论的发展》。第六届国际会议，DLT 2002，日本京都，2002年9月18日至21日。修订论文。柏林：施普林格。莱克特。注释计算。科学。2450, 326-338 (2003).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。注释计算。科学。2450326--338（2003年；Zbl 1015.68112）
全文： 链接
当、哲;奥斯卡·H·伊巴拉。;孙志伟

关于具有一个可逆有界计数器的双向NFA的空性问题。 （英语） Zbl 1019.68052号

Bose，Prosenjit（编辑）等人，《算法与计算》。2002年11月21日至23日在加拿大不列颠哥伦比亚省温哥华举行的第13届国际研讨会，ISAAC 2002。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2518, 103-114 (2002).
MSC公司：65年第68季度 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。2518、103--114（2002年；Zbl 1019.68052）
全文： 链接
当、哲;特维克布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。

过去的下推定时自动机。 （英语） Zbl 1015.68526号

Watson，Bruce W.（编辑）等人，《自动机的实现与应用》。2001年7月23日至25日在南非比勒陀利亚举行的CIAA 2001第六届国际会议。修订论文。柏林：施普林格。莱克特。注释计算。科学。2494, 74-86 (2002).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。2494,74--86（2002年；Zbl 1015.68526）
全文： 链接
当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉

带有自由计数器的可逆有界多计数器机器的活性验证。 （英语） Zbl 1053.03021号

Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。注释计算。科学。2245，132-143（2001年）。
MSC公司：05年3月 03B25号 60年第68季度 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。2245132--143（2001年；Zbl 1053.03021）
全文： 链接
奥斯卡·H·伊巴拉。;当、哲

在可达性结构中移除下推堆栈。 （英语） Zbl 1077.68668号

Peter Eades等人，《算法与计算》。2001年12月19日至21日在新西兰基督城举行的第十二届国际研讨会，ISAAC 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42985-9）。莱克特。注释计算。科学。2223, 244-256 (2001).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}和\textit{Z.Dang}，莱克特。注释计算。科学。2223244--256（2001年；Zbl 1077.68668）
全文： 链接
当、哲;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。

广义和参数化离散时间自动机的可判定逼近。 （英语） Zbl 0996.68088号

王杰（编辑），《计算与组合学》。第七届国际年会，COCOON 2001，中国桂林，2001年8月20日至23日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2108, 529-539 (2001).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。21082529-539（2001年；兹bl 0996.68088）
当、哲

具有密集时钟的下推式时间自动机的二进制可达性分析。 （英语） Zbl 0991.68035号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2102, 506-517 (2001).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}，左侧。注释计算。科学。2102、506--517（2001；Zbl 0991.68035）
全文： 链接
当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。

离散时间自动机的Presburger活性。 （英语） Zbl 0981.68715号

Ferreira，Afonso（编辑）等人，STACS 2001。第18届计算机科学理论方面年度研讨会。2001年2月15日至17日，德国德累斯顿。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2010年，132-143（2001）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。2010年，132-143（2001年；Zbl 0981.68715）
奥斯卡·H·伊巴拉。;苏建文;当、哲;特维克布尔坦;理查德·凯默勒

计数器：可决定的属性和验证问题的应用。 （英语） Zbl 0996.68091号

尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1893, 426-435 (2000).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.H.Ibarra}等人，Lect。注释计算。科学。1893426-435（2000年；Zbl 0996.68091）
当、哲;奥斯卡·H·伊巴拉。;特维克布尔坦;理查德·凯默勒（Richard A.Kemmer）。;苏建文

离散下推时间自动机的二进制可达性分析。 （英语） Zbl 0974.68085号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1855, 69-84 (2000).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Dang}等人，Lect。注释计算。科学。1855，69-84（2000；Zbl 0974.68085）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件