编辑配置文件（在新选项卡中打开） 当、哲 合著者距离 作者ID： 当哲 发布日期： 当、哲 外部链接： MGP公司 已编制索引的文档： 65出版物自2000年起 2作为编辑的贡献 合著者： 20位合著者具有65联合出版物 853名合作作者 全部的 前5名合著者 2 单作者的 50 奥斯卡·H·伊巴拉。 13 托马斯·罗伯特·菲舍尔 10 谢高燕 9 崔策伟 9 理查德·凯默勒（Richard A.Kemmer）。 8 杨林敏 7 Pierluigi San彼得罗 6 李，程 6 Yen、Hsuchun 5 特夫菲克·布尔坦 5 苏建文 4 李，秦 三 威廉·J·III·赫顿 三 孙志伟 三 萨拉·伍德沃思 2 奥马尔·埃盖西奥格鲁 2 王勇 1 德米特里·德门捷耶夫 1 林，秦 1 高拉夫·萨克塞纳 全部的 前5名系列 16 理论计算机科学 6 国际计算机科学基础杂志 三 信息与计算 2 计算机基础理论 2 自然计算 2 计算机科学课堂讲稿 1 计算的形式方面 1 自动机、语言和组合数学杂志 1 可计算性 全部的 前5名领域 67 计算机科学（68至XX） 9 信息与通信理论、电路（94-XX） 8 数学逻辑和基础（03-XX） 5 数论（11-XX） 2 一般性和全局性主题；集合（00-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物有被引用247次124文件 引用人▼ 年份▼ 离散下推时间自动机的二进制可达性分析。 Zbl 0974.68085号 当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。;苏建文 23 2000 下推时间自动机：二进制可达性特征和安全验证。 Zbl 1044.68085号 当、哲 20 2003 催化P系统、半线性集和矢量加法系统。 Zbl 1070.68043号 奥斯卡·H·伊巴拉。;当、哲;奥马尔·埃盖西奥格鲁 18 2004 一类可解的二次丢番图方程及其在无穷状态系统验证中的应用。 Zbl 1039.68077号 谢高燕;当、哲;奥斯卡·H·伊巴拉。 14 2003 催化膜计算系统的特征。 Zbl 1124.68364号 奥斯卡·H·伊巴拉。;当、哲;奥马尔·埃盖西奥格鲁;高拉夫·萨克塞纳 12 2003 具有密集时钟的下推式时间自动机的二进制可达性分析。 兹比尔0991.68035 党、哲 12 2001 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。 11 2002 关于无状态自动机和P系统。 Zbl 1175.68180号 杨林敏;当、哲;奥斯卡·H·伊巴拉。 11 2008 语言和程序的相似性。 Zbl 1296.68091号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 9 2013 一些非正则语言类的信息率：自动机理论方法（扩展抽象）。 Zbl 1425.68192号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 8 2014 某些自动机类的执行信息速率。 Zbl 1333.68160号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 7 2013 离散时间自动机的Presburger活性验证。 Zbl 1040.68050号 当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 7 2003 计数器：可决定的属性和验证问题的应用。 Zbl 0996.68091号 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒 7 2000 关于P系统中的各种并行概念。 Zbl 1161.68470号 奥斯卡·H·伊巴拉。;Yen、Hsu-Chun;当、哲 6 2005 P系统模型检验的可判定性。 Zbl 1149.68404号 党、哲;李，程;奥斯卡·H·伊巴拉。;谢高艳 6 2006 离散时间自动机的Presburger活性。 Zbl 0981.68715号 党、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 4 2001 松散同步队列连接离散时间自动机的验证。 Zbl 1044.68096号 奥斯卡·H·伊巴拉。;当、哲;圣彼得罗，皮耶路易吉 4 2003 关于带有单调计数器和二次丢番图方程的双向FA。 Zbl 1084.68062号 奥斯卡·H·伊巴拉。;当、哲 4 2004 带有自由计数器的可逆有界多计数器机器的活性验证。 Zbl 1053.03021号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉 4 2001 在可达性结构中移除下推堆栈。 Zbl 1077.68668号 奥斯卡·H·伊巴拉。;当、哲 4 2001 采样自动机和程序。 Zbl 1309.68062号 李，秦;当、哲 4 2015 黑盒测试的信息增益。 Zbl 1226.68031号 杨林敏;当、哲;托马斯·费舍尔。 三 2011 信号P系统和验证问题。 Zbl 1081.68021号 李，程;当、哲;奥斯卡·H·伊巴拉。;Yen、Hsu-Chun 三 2005 现实自动机及其决策问题（扩展抽象）。 Zbl 1117.68400号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉;谢高燕 三 2004 在顺序模式下运行的单膜P系统上。 Zbl 1080.68032号 当、哲;奥斯卡·H·伊巴拉。 三 2005 P系统的模型检验。 Zbl 1161.68454号 党、哲;奥斯卡·H·伊巴拉。;李，程;谢高艳 三 2005 密集计数器和验证问题。 Zbl 1278.68197号 谢高艳;当、哲;奥斯卡·H·伊巴拉。;Pierluigi San彼得罗 2 2003 消除可达性结构中的存储磁带。 Zbl 1042.68065号 奥斯卡·H·伊巴拉。;当、哲 2 2003 广义离散时间自动机：安全验证的可决定近似。 Zbl 1044.68086号 当、哲;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 2 2003 关于具有一个可逆有界计数器的双向NFA的空性问题。 Zbl 1019.68052号 当、哲;奥斯卡·H·伊巴拉。;孙志伟 2 2002 过去的下推定时自动机和安全验证。 Zbl 1069.68065号 当、哲;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 2 2004 邦德计算系统：普适计算的一种生物启发的高级动力学模型。 Zbl 1175.68172号 杨林敏;当、哲;奥斯卡·H·伊巴拉。 2 2007 P系统中最大并行的能力。 Zbl 1117.68367号 奥斯卡·H·伊巴拉。;Yen、Hsu-Chun;当、哲 2 2004 无限状态活动自动机的可组合性。 Zbl 1116.68488号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2004 关于由自动机建模的（e）服务的组合和前瞻委托。 Zbl 1077.68042号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2005 多队列离散时间自动机的自动验证。 兹比尔1276.68097 圣彼得罗，皮耶路易吉;当、哲 2 2003 并发黑匣子测试系统——一种自动机理论和分解方法。 兹比尔1183.68184 谢高燕;当、哲 2 2006 关于一类丢番图方程的可解性及其应用。 Zbl 1120.11017号 奥斯卡·H·伊巴拉。;当、哲 2 2006 某些自动机类的执行信息速率。 Zbl 1333.68161号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 2 2016 带单调计数器的双向有限自动机的安全性验证。 Zbl 1015.68112号 奥斯卡·H·伊巴拉。;当、哲;孙志伟 1 2003 广义和参数化离散时间自动机的可判定逼近。 Zbl 0996.68088号 当、哲;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 1 2001 关于具有一个可逆有界计数器的双向不确定有限自动机。 Zbl 1078.68080号 当、哲;奥斯卡·H·伊巴拉。;孙志伟 1 2005 关于序贯和1-确定性P系统。 Zbl 1128.68357号 奥斯卡·H·伊巴拉。;萨拉·伍德沃思;Yen、Hsu-Chun;当、哲 1 2005 传递混合线性关系（ω链）的存在性及其应用。 Zbl 1067.68090号 当、哲;奥斯卡·H·伊巴拉。 1 2002 具有未指定组件的模型检查系统的自动机理论方法。 Zbl 1081.68638号 谢高燕;当、哲 1 2005 传感器模拟的通信信道损耗。 Zbl 1369.94011号 奥斯卡·H·伊巴拉。;崔策伟;当、哲;托马斯·费舍尔。 1 2014 量化同步语言中的交流。 Zbl 1465.68069号 党、哲;托马斯·费舍尔。;威廉·赫顿。;奥斯卡·H·伊巴拉。;李，秦 1 2015 一些非正则语言类的信息率：自动机理论方法。 兹比尔1376.68086 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 1 2017 关于1-确定性和序列（P）系统的计算能力。 Zbl 1157.68372号 奥斯卡·H·伊巴拉。;萨拉·伍德沃思;Yen、Hsu-Chun;当、哲 1 2006 接受双向有限自动机中的运行。 Zbl 1390.68397号 奥斯卡·H·伊巴拉。;当、哲;李，秦 1 2018 接受双向有限自动机中的运行。 Zbl 1390.68397号 奥斯卡·H·伊巴拉。;当、哲;李，秦 1 2018 一些非正则语言类的信息率：自动机理论方法。 Zbl 1376.68086号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 1 2017 某些自动机类的执行信息速率。 Zbl 1333.68161号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 2 2016 采样自动机和程序。 Zbl 1309.68062号 李，秦;当、哲 4 2015 量化同步语言中的交流。 Zbl 1465.68069号 当、哲;托马斯·费舍尔。;威廉·赫顿。;奥斯卡·H·伊巴拉。;李，秦 1 2015 一些非正则语言类的信息率：自动机理论方法（扩展抽象）。 Zbl 1425.68192号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 8 2014 传感器模拟的通信信道损耗。 兹比尔1369.94011 奥斯卡·H·伊巴拉。;崔策伟;党、哲;托马斯·费舍尔。 1 2014 语言和程序的相似性。 兹比尔1296.68091 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 9 2013 某些自动机类的执行信息速率。 Zbl 1333.68160号 崔策伟;当、哲;托马斯·费舍尔。;奥斯卡·H·伊巴拉。 7 2013 黑盒测试的信息增益。 Zbl 1226.68031号 杨林敏;当、哲;托马斯·费舍尔。 三 2011 关于无状态自动机和P系统。 Zbl 1175.68180号 杨林敏;当、哲;奥斯卡·H·伊巴拉。 11 2008 邦德计算系统：普适计算的一种生物启发的高级动力学模型。 Zbl 1175.68172号 杨林敏;当、哲;奥斯卡·H·伊巴拉。 2 2007 P系统模型检验的可判定性。 Zbl 1149.68404号 当、哲;李，程;奥斯卡·H·伊巴拉。;谢高燕 6 2006 并发黑盒测试系统——一种自动机理论和分解方法。 Zbl 1183.68184号 谢高燕;当、哲 2 2006 关于一类丢番图方程的可解性及其应用。 Zbl 1120.11017号 奥斯卡·H·伊巴拉。;当、哲 2 2006 关于1-确定性和序列（P）系统的计算能力。 Zbl 1157.68372号 奥斯卡·H·伊巴拉。;萨拉·伍德沃思;Yen、Hsu-Chun;党、哲 1 2006 关于P系统中并行性的各种概念。 Zbl 1161.68470号 奥斯卡·H·伊巴拉。;Yen、Hsu-Chun;党、哲 6 2005 信号P系统和验证问题。 Zbl 1081.68021号 李，程;当、哲;奥斯卡·H·伊巴拉。;Yen、Hsu-Chun 三 2005 在顺序模式下运行的单膜P系统上。 Zbl 1080.68032号 当、哲;奥斯卡·H·伊巴拉。 三 2005 P系统的模型检验。 Zbl 1161.68454号 当、哲;奥斯卡·H·伊巴拉。;李，程;谢高燕 三 2005 关于由自动机建模的（e）服务的组合和前瞻委托。 Zbl 1077.68042号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2005 关于具有一个可逆有界计数器的双向不确定有限自动机。 Zbl 1078.68080号 当、哲;奥斯卡·H·伊巴拉。;孙志伟 1 2005 关于序贯和1-确定性P系统。 Zbl 1128.68357号 奥斯卡·H·伊巴拉。;萨拉·伍德沃思;Yen、Hsu-Chun;当、哲 1 2005 具有未指定组件的模型检查系统的自动机理论方法。 Zbl 1081.68638号 谢高燕;当、哲 1 2005 催化P系统、半线性集和矢量加法系统。 Zbl 1070.68043号 奥斯卡·H·伊巴拉。;当、哲;奥马尔·埃盖西奥格鲁 18 2004 关于带有单调计数器和二次丢番图方程的双向FA。 Zbl 1084.68062号 奥斯卡·H·伊巴拉。;当、哲 4 2004 现实自动机及其决策问题（扩展抽象）。 Zbl 1117.68400号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉;谢高艳 三 2004 过去的下推定时自动机和安全验证。 Zbl 1069.68065号 当、哲;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 2 2004 P系统中最大并行性的幂。 Zbl 1117.68367号 奥斯卡·H·伊巴拉。;Yen、Hsu-Chun;当、哲 2 2004 无限状态活动自动机的可组合性。 Zbl 1116.68488号 当、哲;奥斯卡·H·伊巴拉。;苏建文 2 2004 下推时间自动机：二进制可达性特征和安全验证。 Zbl 1044.68085号 当、哲 20 2003 一类可解的二次丢番图方程及其在无穷状态系统验证中的应用。 Zbl 1039.68077号 谢高燕;当、哲;奥斯卡·H·伊巴拉。 14 2003 催化膜计算系统的特征。 Zbl 1124.68364号 奥斯卡·H·伊巴拉。;当、哲;奥马尔·埃盖西奥格鲁;高拉夫·萨克塞纳 12 2003 离散时间自动机的Presburger活性验证。 Zbl 1040.68050号 当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 7 2003 松散同步队列连接离散时间自动机的验证。 Zbl 1044.68096号 奥斯卡·H·伊巴拉。;当、哲;圣彼得罗，皮耶路易吉 4 2003 密集计数器和验证问题。 Zbl 1278.68197号 谢高燕;当、哲;奥斯卡·H·伊巴拉。;Pierluigi San彼得罗 2 2003 消除可达性结构中的存储磁带。 Zbl 1042.68065号 奥斯卡·H·伊巴拉。;当、哲 2 2003 广义离散时间自动机：安全验证的可决定近似。 Zbl 1044.68086号 当、哲;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 2 2003 多队列离散时间自动机的自动验证。 兹比尔1276.68097 圣彼得罗，皮耶路易吉;党、哲 2 2003 具有单调计数器的双向有限自动机的安全性验证。 Zbl 1015.68112号 奥斯卡·H·伊巴拉。;当、哲;孙志伟 1 2003 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。 11 2002 关于具有一个可逆有界计数器的双向NFA的空性问题。 Zbl 1019.68052号 当、哲;奥斯卡·H·伊巴拉。;孙志伟 2 2002 传递混合线性关系（ω链）的存在性及其应用。 Zbl 1067.68090号 当、哲;奥斯卡·H·伊巴拉。 1 2002 具有密集时钟的下推式时间自动机的二进制可达性分析。 Zbl 0991.68035号 当、哲 12 2001 离散时间自动机的Presburger活性。 Zbl 0981.68715号 当、哲;圣彼得罗，皮耶路易吉;理查德·凯默勒（Richard A.Kemmer）。 4 2001 带有自由计数器的可逆有界多计数器机器的活性验证。 Zbl 1053.03021号 当、哲;奥斯卡·H·伊巴拉。;圣彼得罗，皮耶路易吉 4 2001 在可达性结构中移除下推堆栈。 Zbl 1077.68668号 奥斯卡·H·伊巴拉。;当、哲 4 2001 广义和参数化离散时间自动机的可判定逼近。 Zbl 0996.68088号 当、哲;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 1 2001 离散下推时间自动机的二进制可达性分析。 Zbl 0974.68085号 当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。;苏建文 23 2000 计数器：可决定的属性和验证问题的应用。 兹比尔0996.68091 奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒 7 2000 所有引用出版物 前5名被引用出版物 全部的 前5名被160位作者引用 42 奥斯卡·H·伊巴拉。 30 当、哲 9 托马斯·罗伯特·菲舍尔 8 斯特凡·德姆里。 8 伊恩·麦克奎伦 7 杨林敏 5 崔策伟 4 乔治·德尔扎诺 4 理查德·凯默勒（Richard A.Kemmer）。 4 马丁·库特里布 4 李，秦 4 潘林强 4 苏建文 4 劳伦特·范·贝京 三 洛伦佐·克莱门特 三 阿兰·芬克尔 三 威廉·J·III·赫顿 三 佛罗伦萨伊帕特 三 拉卢卡左翼 三 巴拉·拉维库马尔 三 Yen、Hsuchun 2 阿克西，S。 2 达纳州安格鲁因 2 詹姆斯·阿斯彭斯 2 马西莫·贝内雷切蒂 2 佛罗伦萨Bouchy 2 弗洛里安·布鲁斯 2 特夫菲克·布尔坦 2 曼弗雷德·德罗斯特 2 奥马尔·埃盖西奥格鲁 2 乔伊·埃雷蒙迪 2 鲁道夫·弗伦德 2 高自远 2 保罗·加斯丁 2 玛丽安·盖奥吉 2 莫里斯·赫维格 2 马丁·兰格 2 萨沃米尔·拉索塔 2 刘业洲 2 安德烈亚斯·马尔彻 2 哈特穆特Messerschmidt 2 拉杜·尼科尔斯库 2 弗里德里希·奥托 2 奥斯汀·J·帕克。 2 佩恩，古奥热 2 维塔利·佩雷沃什奇科夫 2 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 2 阿德里亚诺·佩隆 2 Pierluigi San彼得罗 2 丹尼尔·雷登巴赫 2 马库斯·施密德。 2 汉斯·尤里奇·西蒙 2 彼得·索西克 2 孙静 2 王勇 2 马蒂亚斯·温德兰特 2 詹姆斯·沃雷尔。 2 谢高燕 2 凯莉·扬西。 2 马修·扬西。 2 桑德拉·齐勒斯 1 帕罗什·阿齐兹·阿卜杜拉 1 阿尔哈佐夫，阿蒂姆 1 西奥多·安德洛尼科斯 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 佛朗哥·巴巴内拉 1 帕斯卡·鲍曼 1 马尔塞洛·玛丽亚·贝尔萨尼 1 贾努斯·安东尼·布尔佐夫斯基 1 罗迪卡·塞特基 1 戴维·齐亚鲁吉 1 弗拉维奥·达莱桑德罗 1 乌戈·德利古罗 1 德米特里·德门捷耶夫 1 佐·迪亚马迪 1 朱尔根·丁格尔 1 迪帕克·D’Souza 1 戴维·艾森斯塔特 1 伊迪丝·埃尔金德 1 莫雷诺，法拉斯基 1 迈克尔·菲舍尔。 1 马丁·范策尔 1 弗里斯科，皮尔路易吉 1 摩西·加纳迪 1 雷吉斯·加斯科 1 布莱斯·基内斯特 1 凯格达斯·埃夫伦（Cagdas Evren） 1 康斯坦蒂诺斯·吉安娜基斯 1 瓦伦丁·F·戈兰科。 1 让·古鲍特·拉雷克 1 Miguel A.Gutiérrez-Naranjo。 1 克里斯托夫·哈斯 1 戴安娜·赫米思 1 斯特凡·霍夫曼 1 彼得·霍夫曼 1 姜云成 1 朱哈尼·卡鲁马基 1 卡拉 1 萨瓦斯·科努尔 1 米查尔·科瓦奇 …还有60多位作者 全部的 前5名18篇连载文章中引用 44 理论计算机科学 9 信息与计算 8 国际计算机科学基础杂志 6 自然计算 三 信息学报 三 计算机与系统科学杂志 三 膜计算杂志 2 分布式计算 2 应用非经典逻辑杂志 1 信息处理信件 1 凯贝内提卡 1 计算的形式方面 1 软计算 1 逻辑与代数程序设计杂志 1 国际并行、紧急和分布式系统杂志 1 可计算性 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 124 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 9 信息与通信理论、电路（94-XX） 5 数论（11-XX） 三 生物学和其他自然科学（92-XX） 2 动力系统和遍历理论（37至XX） 1 组合数学（05-XX） 1 群论与推广（20-XX） 按年份列出的引文