编辑配置文件（在新选项卡中打开） 蔡明勋 合著者距离 作者ID： 蔡明熙 发布日期： 蔡明勋 已编制索引的文档： 11出版物自2002年起 1名编辑贡献 合著者： 20位合著者具有9联合出版物 451位联合作者 全部的 前5名合著者 1 单作者的 6 Tsay，Yih-Kuen先生 2 陈文钦 2 张进淑 2 陈玉芳 2 塞斯·福格蒂。 2 罗志坚 2 莫西·亚亚科夫·瓦尔迪 2 王，弯腰 2 杨伯寅 1 弗兰蒂舍克·布拉胡德克 1 张一文 1 邱保雄 1 傅玉福 1 马蒂亚斯·海兹曼 1 洪，Y.W。 1 李嘉涵 1 刘嘉祥 1 斯蒂芬·马吉尔 1 安迪·波利亚科夫 1 斯文·舍韦 1 Sheu，Tony Wen-Hann 1 石小木 1 斯特雷切克，简 1 吴康宁 系列 2 计算机物理通信 1 国际流体数值方法杂志 1 计算的形式方面 1 计算机科学中的逻辑方法 全部的 前5名领域 9 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 数论（11-XX） 1 偏微分方程（35-XX） 1 光学、电磁理论（78-XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用43中的次36文件 引用人▼ 年份▼ 堆操作程序的自动数字抽象。 Zbl 1312.68063号 斯蒂芬·马吉尔;蔡明勋;李，彼得;Tsay，Yih-Kuen先生 10 2010 补充半确定性Büchi自动机。 Zbl 1420.68106号 弗兰蒂舍克·布拉胡德克;马蒂亚斯·海兹曼;斯文·舍韦;斯特雷切克，简;蔡明勋 10 2016 比奇互补状态。 Zbl 1448.68278号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;Tsay，Yih-Kuen先生 7 2014 目标扩展：面向欧米伽自动机和时序逻辑的研究工具。 Zbl 1134.68420号 Tsay，Yih-Kuen先生;陈玉芳;蔡明勋;陈文钦;罗志坚 6 2008 Büchi商店：一个开放的Büchi自动机存储库。 Zbl 1316.68078号 Tsay，Yih-Kuen先生;蔡明勋;张进淑;张一文 4 2011 比奇互补状态。 Zbl 1297.68168号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;Tsay，Yih-Kuen先生 4 2011 关于在非交错网格中开发三重保护Maxwell方程求解器。 Zbl 1196.78029号 Tony W.H.Sheu。;洪，Y.W。;蔡先生。;Chiu，P.H。;Li，J.H。 1 2010 CoqQFBV：一个可扩展的认证SMT无量词位向量解算器。 Zbl 1493.68387号 石小木;傅玉福;刘嘉祥;蔡明勋;王，弯腰;杨伯寅 1 2021 验证加密原语中的算术汇编程序（受邀演讲）。 Zbl 1520.68078号 安迪·波利亚科夫;蔡明勋;王，弯腰;杨伯寅 1 2018 CoqQFBV：一个可扩展的认证SMT无量词位向量解算器。 Zbl 1493.68387号 石小木;傅玉福;刘嘉祥;蔡明勋;王，弯腰;杨伯寅 1 2021 验证加密原语中的算术汇编程序（受邀演讲）。 Zbl 1520.68078号 安迪·波利亚科夫;蔡明勋;王，弯腰;杨伯寅 1 2018 补充半确定性Büchi自动机。 Zbl 1420.68106号 弗兰蒂舍克·布拉胡德克;马蒂亚斯·海兹曼;斯文·舍韦;斯特雷切克，简;蔡明勋 10 2016 比奇互补状态。 Zbl 1448.68278号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;Tsay，Yih-Kuen先生 7 2014 Büchi商店：一个开放的Büchi自动机存储库。 Zbl 1316.68078号 Tsay，Yih-Kuen先生;蔡明勋;张进淑;张一文 4 2011 比奇互补状态。 Zbl 1297.68168号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;Tsay，Yih-Kuen先生 4 2011 堆操作程序的自动数字抽象。 Zbl 1312.68063号 斯蒂芬·马吉尔;蔡明勋;李，彼得;Tsay，Yih-Kuen先生 10 2010 关于在非交错网格中开发三重保护Maxwell方程求解器。 Zbl 1196.78029号 Tony W.H.Sheu。;洪，Y.W。;蔡先生。;Chiu，P.H。;Li，J.H。 1 2010 目标扩展：面向欧米伽自动机和时序逻辑的研究工具。 Zbl 1134.68420号 Tsay，Yih-Kuen先生;陈玉芳;蔡明勋;陈文钦;罗志坚 6 2008 所有引用出版物 前5名被引用出版物 全部的 前5名104位作者引用 7 莫西·亚亚科夫·瓦尔迪 6 李勇 5 Tsay，Yih-Kuen先生 5 张丽君 4 蔡明勋 三 陈玉芳 三 塞斯·福格蒂。 三 Ondřej Lengál 2 詹姆斯·布罗瑟斯顿 2 张进淑 2 冯伟志 2 卢卡什·霍利克 2 刘德鹏 2 斯文·舍韦 2 安德里亚·图里尼 2 汤姆·沃纳 1 亚历山德罗·阿巴特 1 帕罗什·阿齐兹·阿卜杜拉 1 达纳州安格鲁因 1 科尼利厄斯·阿斯切尔曼 1 克拉克·W·巴雷特。 1 斯蒂芬·巴特 1 阿米尔·本·阿姆拉姆。 1 伦纳特·贝林格 1 博克，乌迪 1 马克·布罗克施米特 1 陈文钦 1 张一文 1 魏恩根·钦 1 洛伦佐·克莱门特 1 马克西米利安·科朗格 1 奇诺维·迪斯金 1 基韦利多佛里 1 杰罗姆·杜波伊斯 1 亚历山大·杜雷特·卢茨 1 伯拉克·埃基奇 1 哈维尔·埃斯帕尔扎 1 皮埃特罗·费拉拉 1 科里·费希尔 1 达纳·菲斯曼 1 尼尔斯·弗利什哈克 1 奥利弗·弗里德曼 1 弗洛里安·弗洛恩 1 傅玉福 1 卡斯滕·福斯 1 皮埃尔·甘蒂 1 亚历山大·巴吉迪·艾塞 1 萨米尔·根奈姆 1 于尔根·吉斯尔 1 Clément吉拉德 1 尼科斯·戈罗甘尼斯 1 恩斯特·莫里茨·哈恩 1 霍森·哈桑贝格 1 哈夫莱纳，沃伊特奇 1 何冠华 1 杰拉·亨塞尔 1 马丁·赫鲁斯卡 1 本特·琼森 1 费利克斯·克莱德克 1 简·Křetínsk 1 丹尼尔·科宁 1 约翰内斯·克虏伯 1 马丁·兰格 1 亨利克·劳科 1 刘嘉祥 1 罗志坚 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 朱利奥·马拉沃尔塔 1 安托万·马丁 1 理查德·梅尔（Richard M.Mayr）。 1 尼古拉斯·马佐奇 1 托马斯·梅迪奥尼 1 马特奥·佩雷斯 1 秦胜超 1 Jean-François拉斯金 1 艾蒂安·雷诺 1 弗洛里安·伦金 1 亚当·罗加列维奇 1 阿利亚克巴尔·萨菲连 1 菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier） 1 彼得·施奈德·坎普 1 乔纳斯·施耐德 1 多米尼克·施罗德 1 石小木 1 所罗门·西克特 1 马克·西姆金 1 莫里茨·辛恩 1 什马利科娃，巴博拉 1 法比奥·萨蒙齐 1 托马斯·斯特罗德 1 加迪·特利兹 1 塞萨尔·蒂内利 1 聪奎·特里恩 1 阿舒托什·特里维迪 1 赫尔穆特·维思 1 阿琼·维斯瓦纳坦 1 王，弯腰 1 托马斯·威尔克 1 多米尼克·沃伊特扎克 1 吴康宁 …还有4位作者 全部的 前5名10连载 三 自动推理杂志 2 信息与计算 2 计算机科学中的逻辑方法 1 信息学报 1 人工智能 1 理论计算机科学 1 计算的形式方面 1 美国医学会杂志 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 34 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文