编辑配置文件（在新选项卡中打开） 当、哲 合著者距离 作者ID： 当哲 发布日期： 当、哲 外部链接： MGP公司 已编制索引的文档： 65出版物自2000年起 2作为编辑的贡献 合著者： 20位合著者具有65联合出版物 830名合作作者 全部的 前5名合著者 2 单作者的 50 奥斯卡·H·伊巴拉。 13 托马斯·罗伯特·菲舍尔 10 谢高燕 9 崔策伟 9 理查德·凯默勒。 8 杨林敏 7 Pierluigi San彼得罗 6 李，程 6 Yen、Hsuchun 5 特夫菲克·布尔坦 5 苏建文 4 李，秦 三 威廉·J·三世赫顿 三 孙志伟 三 萨拉·伍德沃思 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文件 引用人▼ 年份▼ 离散下推定时自动机的二进制可达性分析。 兹比尔0974.68085 当、哲；奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；理查德·凯默勒。；苏建文 23 2000 下推时间自动机：二进制可达性特征和安全验证。 Zbl 1044.68085号 当、哲 20 2003 催化P系统、半线性集和矢量加法系统。 兹比尔1070.68043 奥斯卡·H·伊巴拉。；当、哲；奥马尔·埃盖西奥格鲁 18 2004 一类可解的二次丢番图方程及其在无穷状态系统验证中的应用。 Zbl 1039.68077号 谢高燕；当、哲；奥斯卡·H·伊巴拉。 14 2003 具有密集时钟的下推式时间自动机的二进制可达性分析。 Zbl 0991.68035号 当、哲 12 2001 催化膜计算系统的特征。 Zbl 1124.68364号 奥斯卡·H·伊巴拉。；当、哲；奥马尔·埃盖西奥格鲁；高拉夫·萨克塞纳 12 2003 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒。 11 2002 关于无状态自动机和P系统。 Zbl 1175.68180号 杨林敏；当、哲；奥斯卡·H·伊巴拉。 11 2008 语言和程序的相似性。 Zbl 1296.68091号 崔策伟；当、哲；托马斯·费舍尔。；奥斯卡·H·伊巴拉。 9 2013 一些非正则语言类的信息率：自动机理论方法（扩展抽象）。 Zbl 1425.68192号 崔策伟；当、哲；托马斯·费舍尔。；奥斯卡·H·伊巴拉。 8 2014 离散时间自动机的Presburger活性验证。 Zbl 1040.68050号 当、哲；圣彼得罗，皮耶路易吉；理查德·凯默勒。 7 2003 计数器：可决定的属性和验证问题的应用。 Zbl 0996.68091号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒 7 2000 某些自动机类的执行信息速率。 Zbl 1333.68160号 崔策伟；当、哲；托马斯·费舍尔。；奥斯卡·H·伊巴拉。 7 2013 关于P系统中的各种并行概念。 Zbl 1161.68470号 奥斯卡·H·伊巴拉。；Yen、Hsu-Chun；当、哲 6 2005 P系统模型检验的可判定性。 Zbl 1149.68404号 当、哲；李，程；奥斯卡·H·伊巴拉。；谢高燕 6 2006 松散同步队列连接离散时间自动机的验证。 Zbl 1044.68096号 奥斯卡·H·伊巴拉。；当、哲；圣彼得罗，皮耶路易吉 4 2003 离散时间自动机的Presburger活性。 兹比尔0981.68715 当、哲；圣彼得罗，皮耶路易吉；理查德·凯默勒。 4 2001 在可达性结构中移除下推堆栈。 Zbl 1077.68668号 奥斯卡·H·伊巴拉。；当、哲 4 2001 带有自由计数器的可逆有界多计数器机器的活性验证。 Zbl 1053.03021号 当、哲；奥斯卡·H·伊巴拉。；圣彼得罗，皮耶路易吉 4 2001 关于带有单调计数器和二次丢番图方程的双向FA。 兹比尔1084.68062 奥斯卡·H·伊巴拉。；当、哲 4 2004 采样自动机和程序。 Zbl 1309.68062号 李，秦；当、哲 4 2015 P系统的模型检验。 Zbl 1161.68454号 当、哲；奥斯卡·H·伊巴拉。；李，程；谢高燕 三 2005 现实自动机及其决策问题（扩展抽象）。 Zbl 1117.68400号 当、哲；奥斯卡·H·伊巴拉。；圣彼得罗，皮耶路易吉；谢高燕 三 2004 黑盒测试的信息增益。 Zbl 1226.68031号 杨林敏；当、哲；托马斯·费舍尔。 三 2011 在顺序模式下运行的单膜P系统上。 Zbl 1080.68032号 当、哲；奥斯卡·H·伊巴拉。 三 2005 信号P系统和验证问题。 Zbl 1081.68021号 李，程；当、哲；奥斯卡·H·伊巴拉。；Yen、Hsu-Chun 三 2005 关于一类丢番图方程的可解性及其应用。 Zbl 1120.11017号 奥斯卡·H·伊巴拉。；当、哲 2 2006 广义离散时间自动机：安全验证的可判定近似。 Zbl 1044.68086号 当、哲；奥斯卡·H·伊巴拉。；理查德·凯默勒。 2 2003 并发黑盒测试系统——一种自动机理论和分解方法。 Zbl 1183.68184号 谢高燕；当、哲 2 2006 消除可达性结构中的存储磁带。 Zbl 1042.68065号 奥斯卡·H·伊巴拉。；当、哲 2 2003 关于具有一个可逆有界计数器的双向NFA的空性问题。 Zbl 1019.68052号 当、哲；奥斯卡·H·伊巴拉。；孙志伟 2 2002 过去的下推定时自动机和安全验证。 Zbl 1069.68065号 当、哲；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。；理查德·凯默勒。 2 2004 密集计数器和验证问题。 Zbl 1278.68197号 谢高燕；当、哲；奥斯卡·H·伊巴拉。；Pierluigi San彼得罗 2 2003 邦德计算系统：普适计算的一个生物启发的高级动力学模型。 Zbl 1175.68172号 杨林敏；当、哲；奥斯卡·H·伊巴拉。 2 2007 某些自动机类的执行信息速率。 Zbl 1333.68161号 崔策伟；当、哲；托马斯·费舍尔。；奥斯卡·H·伊巴拉。 2 2016 多队列离散时间自动机的自动验证。 Zbl 1276.68097号 圣彼得罗，皮耶路易吉；当、哲 2 2003 关于由自动机建模的（e）服务的组合和前瞻委托。 Zbl 1077.68042号 当、哲；奥斯卡·H·伊巴拉。；苏建文 2 2005 P系统中最大并行性的幂。 Zbl 1117.68367号 奥斯卡·H·伊巴拉。；Yen、Hsu-Chun；当、哲 2 2004 无限状态活动自动机的可组合性。 Zbl 1116.68488号 当、哲；奥斯卡·H·伊巴拉。；苏建文 2 2004 关于1-确定性和序列（P）系统的计算能力。 Zbl 1157.68372号 奥斯卡·H·伊巴拉。；萨拉·伍德沃思；Yen、Hsu-Chun；当、哲 1 2006 广义和参数化离散时间自动机的可判定逼近。 Zbl 0996.68088号 当、哲；奥斯卡·H·伊巴拉。；理查德·凯默勒。 1 2001 带单调计数器的双向有限自动机的安全性验证。 Zbl 1015.68112号 奥斯卡·H·伊巴拉。；当、哲；孙志伟 1 2003 关于具有一个可逆有界计数器的双向不确定有限自动机。 Zbl 1078.68080号 当、哲；奥斯卡·H·伊巴拉。；孙志伟 1 2005 传递混合线性关系（ω链）的存在性及其应用。 Zbl 1067.68090号 当、哲；奥斯卡·H·伊巴拉。 1 2002 传感器模拟的通信信道损耗。 Zbl 1369.94011号 奥斯卡·H·伊巴拉。；崔策伟；当、哲；托马斯·费舍尔。 1 2014 具有未指定组件的模型检查系统的自动机理论方法。 兹比尔1081.68638 谢高燕；当、哲 1 2005 关于序贯和1-确定性P系统。 Zbl 1128.68357号 奥斯卡·H·伊巴拉。；萨拉·伍德沃思；Yen、Hsu-Chun；当、哲 1 2005 一些非正则语言类的信息率：自动机理论方法。 Zbl 1376.68086号 崔策伟；当、哲；托马斯·费舍尔。；奥斯卡·H·伊巴拉。 1 2017 接受双向有限自动机中的运行。 Zbl 1390.68397号 奥斯卡·H·伊巴拉。；当、哲；李，秦 1 2018 量化同步语言中的交流。 Zbl 1465.68069号 当、哲；托马斯·费舍尔。；威廉·赫顿。；奥斯卡·H·伊巴拉。；李，秦 1 2015 接受双向有限自动机中的运行。 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 传感器模拟的通信信道损耗。 Zbl 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 1120.11017号 奥斯卡·H·伊巴拉。；当、哲 2 2006 并发黑盒测试系统——一种自动机理论和分解方法。 兹比尔1183.68184 谢高燕；当、哲 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 1161.68454号 当、哲；奥斯卡·H·伊巴拉。；李，程；谢高燕 三 2005 在顺序模式下运行的单膜P系统上。 Zbl 1080.68032号 当、哲；奥斯卡·H·伊巴拉。 三 2005 信号P系统和验证问题。 Zbl 1081.68021号 李，程；当、哲；奥斯卡·H·伊巴拉。；Yen、Hsu-Chun 三 2005 关于由自动机建模的（e）服务的组合和前瞻委托。 Zbl 1077.68042号 当、哲；奥斯卡·H·伊巴拉。；苏建文 2 2005 关于具有一个可逆有界计数器的双向不确定有限自动机。 Zbl 1078.68080号 当、哲；奥斯卡·H·伊巴拉。；孙志伟 1 2005 具有未指定组件的模型检查系统的自动机理论方法。 Zbl 1081.68638号 谢高燕；当、哲 1 2005 关于序列和1-极小P系统。 Zbl 1128.68357号 奥斯卡·H·伊巴拉。；萨拉·伍德沃思；Yen、Hsu-Chun；当、哲 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·伊巴拉。；理查德·凯默勒。 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 催化膜计算系统的特征。 兹比尔1124.68364 奥斯卡·H·伊巴拉。；当、哲；奥马尔·埃盖西奥格鲁；高拉夫·萨克塞纳 12 2003 离散时间自动机的Presburger活性验证。 Zbl 1040.68050号 当、哲；圣彼得罗，皮耶路易吉；理查德·凯默勒。 7 2003 松散同步队列连接离散时间自动机中的验证。 Zbl 1044.68096号 奥斯卡·H·伊巴拉。；当、哲；圣彼得罗，皮耶路易吉 4 2003 广义离散时间自动机：安全验证的可决定近似。 Zbl 1044.68086号 当、哲；奥斯卡·H·伊巴拉。；理查德·凯默勒。 2 2003 消除可达性结构中的存储磁带。 Zbl 1042.68065号 奥斯卡·H·伊巴拉。；当、哲 2 2003 密集计数器和验证问题。 Zbl 1278.68197号 谢高燕；当、哲；奥斯卡·H·伊巴拉。；Pierluigi San彼得罗 2 2003 多队列离散时间自动机的自动验证。 Zbl 1276.68097号 圣彼得罗，皮耶路易吉；当、哲 2 2003 带单调计数器的双向有限自动机的安全性验证。 Zbl 1015.68112号 奥斯卡·H·伊巴拉。；当、哲；孙志伟 1 2003 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒。 11 2002 关于具有一个可逆有界计数器的双向NFA的空性问题。 Zbl 1019.68052号 当、哲；奥斯卡·H·伊巴拉。；孙志伟 2 2002 传递混合线性关系（ω链）的存在性及其应用。 Zbl 1067.68090号 当、哲；奥斯卡·H·伊巴拉。 1 2002 具有密集时钟的下推式时间自动机的二进制可达性分析。 Zbl 0991.68035号 当、哲 12 2001 离散时间自动机的Presburger活性。 兹比尔0981.68715 当、哲；圣彼得罗，皮耶路易吉；理查德·凯默勒。 4 2001 在可达性结构中移除下推堆栈。 Zbl 1077.68668号 奥斯卡·H·伊巴拉。；当、哲 4 2001 带有自由计数器的可逆有界多计数器机器的活性验证。 Zbl 1053.03021号 当、哲；奥斯卡·H·伊巴拉。；圣彼得罗，皮耶路易吉 4 2001 广义和参数化离散时间自动机的可判定逼近。 Zbl 0996.68088号 当、哲；奥斯卡·H·伊巴拉。；理查德·凯默勒。 1 2001 离散下推时间自动机的二进制可达性分析。 兹比尔0974.68085 当、哲；奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；理查德·凯默勒。；苏建文 23 2000 计数器：可决定的属性和验证问题的应用。 Zbl 0996.68091号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒 7 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名160位作者引用 42 奥斯卡·H·伊巴拉。 30 当、哲 9 托马斯·罗伯特·菲舍尔 8 斯特凡·德姆里。 8 伊恩·麦克奎伦 7 杨林敏 5 崔策伟 4 乔治·德尔扎诺 4 理查德·凯默勒。 4 马丁·库特里布 4 李，秦 4 潘林强 4 苏建文 4 劳伦特·范·贝京 三 洛伦佐·克莱门特 三 阿兰·芬克尔 三 威廉·J·三世赫顿 三 佛罗伦萨伊帕特 三 拉卢卡左翼 三 巴拉·拉维库马尔 三 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 布尔佐夫斯基，Janusz Antoni 1 罗地卡Ceterchi 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） 按年份列出的引文