编辑配置文件(在新选项卡中打开) 蔡义权 合著者距离 作者ID: 柴义宽 发布日期: 蔡义权 外部链接: ORCID公司 已编制索引的文档: 18出版物自1993年起 2作为编辑的贡献 合著者: 21位合著者具有19份联合出版物 615合著作者 全部的 前5名合著者 1 单作者的 6 蔡明勋 5 Moshe Ya’akov瓦尔迪 4 陈玉芳 4 王,弯腰 三 塞斯·福格蒂。 三 本特·琼森 2 陈文钦 2 张进淑 2 克拉克(Edmund Melson jun Clarke)。 2 阿扎德法尔赞 2 李勇 2 罗、池建 2 Doron A.Peled。 1 帕罗什·阿齐兹·阿卜杜拉 1 拉吉夫·巴格罗迪亚。 1 卡利斯·采拉人 1 张一文 1 斯蒂芬·马吉尔 1 安德烈亚·图里尼 1 吴康年 1 张丽君 全部的 前5名系列 2 国际计算机科学基础杂志 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 分布式计算 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 字段 20 计算机科学(68-XX) 6 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 14出版物有被引用139中的次119文件 引用人▼ 年份▼ 具有良好拟序域的程序的算法分析。 Zbl 1046.68567号 帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;蔡义权 47 2000 将自动合成验证扩展到整个欧米伽规则语言类。 Zbl 1134.68406号 阿扎德法尔赞;陈玉芳;埃德蒙·克拉克(Edmund M.Clarke)。;蔡义权;王,弯腰 24 2008 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳;阿扎德法尔赞;埃德蒙·克拉克(Edmund M.Clarke)。;蔡义权;王,弯腰 20 2009 堆操作程序的自动数字抽象。 Zbl 1312.68063号 斯蒂芬·马吉尔;蔡明勋;李,彼得;蔡义权 10 2010 线性时间-时间逻辑中的假设/保证规范。 Zbl 0874.68210号 本特·琼森;蔡义权 7 1996 比奇互补状态。 Zbl 1448.68278号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;蔡义权 7 2014 目标扩展:面向欧米伽自动机和时序逻辑的研究工具。 Zbl 1134.68420号 蔡义权;陈玉芳;蔡明勋;陈文钦;罗、池建 6 2008 线性时间时序逻辑中的组合验证。 Zbl 0961.68093号 蔡义权 4 2000 比奇互补状态。 Zbl 1297.68168号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;蔡义权 4 2011 Büchi自动机的同余关系。 Zbl 1521.68074号 李勇;蔡义权;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 三 2021 比奇商店:比奇自动机的开放存储库。 Zbl 1316.68078号 蔡义权;蔡明勋;张进淑;张一文 三 2011 某些不可能性会导致进程间同步。 Zbl 0776.68042号 蔡义权;拉吉夫·巴格罗迪亚。 2 1993 用于验证和分析的自动化技术。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。 Zbl 1089.68013号 1 2005 从线性时序逻辑到Büchi自动机:早期和简单的原理。 Zbl 1522.68287号 蔡义权;莫舍·瓦尔迪。 1 2022 从线性时序逻辑到Büchi自动机:早期和简单的原理。 兹比尔1522.68287 蔡义权;莫舍·瓦尔迪。 1 2022 Büchi自动机的同余关系。 Zbl 1521.68074号 李勇;蔡义权;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 三 2021 比奇互补状态。 Zbl 1448.68278号 蔡明勋;赛斯·福加蒂;莫舍·瓦尔迪。;蔡义权 7 2014 比奇互补状态。 Zbl 1297.68168号 蔡明勋;塞斯·福格蒂;莫舍·瓦尔迪。;蔡义权 4 2011 比奇商店:比奇自动机的开放存储库。 兹比尔1316.68078 蔡义权;蔡明勋;张进淑;张一文 三 2011 堆操作程序的自动数字抽象。 Zbl 1312.68063号 斯蒂芬·马吉尔;蔡明勋;李,彼得;蔡义权 10 2010 学习用于成分验证的最小分离DFA。 Zbl 1234.68166号 陈玉芳;阿扎德法尔赞;埃德蒙·克拉克(Edmund M.Clarke)。;蔡义权;王,弯腰 20 2009 将自动合成验证扩展到整个欧米伽规则语言类。 Zbl 1134.68406号 阿扎德法尔赞;陈玉芳;埃德蒙·克拉克(Edmund M.Clarke)。;蔡义权;王,弯腰 24 2008 目标扩展:面向欧米伽自动机和时序逻辑的研究工具。 Zbl 1134.68420号 蔡义权;陈玉芳;蔡明勋;陈文钦;罗、池建 6 2008 用于验证和分析的自动化技术。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。 Zbl 1089.68013号 1 2005 具有良好拟序域的程序的算法分析。 Zbl 1046.68567号 帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;蔡义权 47 2000 线性时间时序逻辑中的组合验证。 Zbl 0961.68093号 蔡义权 4 2000 线性时间时序逻辑中的假设/保证规范。 Zbl 0874.68210号 本特·琼森;蔡义权 7 1996 某些不可能性会导致进程间同步。 Zbl 0776.68042号 蔡义权;拉吉夫·巴格罗迪亚。 2 1993 所有引用出版物 排名前五的出版物 全部的 前5名219位作者引用 9 帕罗什·阿齐兹·阿卜杜拉 9 阿兰·芬克尔 8 西尔万·施密茨 8 蔡义权 7 达纳·菲斯曼 7 Moshe Ya’akov瓦尔迪 6 达纳州安格鲁因 6 李勇 6 费尔南多·罗莎·维拉尔多 5 陈玉芳 5 奥尔纳·格伦伯格 5 菲利普·施诺贝伦 5 张丽君 4 乔治·德尔扎诺 4 让·古鲍特·拉雷克 4 本特·琼森 4 艾哈迈德·雷兹 4 沙龙·肖姆 三 迈克尔·布隆丁 三 戴维·德·弗鲁托斯·埃斯克里格 三 塞斯·福格蒂。 三 卢卡什·霍利克 三 Ondřej Lengál 三 勒鲁,杰罗姆 三 科琳娜·s·佩斯勒诺。 三 蔡明勋 三 汤姆·沃纳 三 王,弯腰 2 安、杰 2 詹姆斯·布罗瑟斯顿 2 皮埃尔·香巴特 2 张进淑 2 冯伟志 2 哈达尔·弗兰克尔 2 佩德罗·加西亚 2 海姆,皮尔雷·科里尔 2 彼得·扬查尔 2 兰科·拉齐奇 2 刘德鹏 2 达米安·洛佩斯 2 Martos Salgado,玛丽亚 2 理查德·梅尔(Richard M.Mayr)。 2 西里尔·尼科德 2 莎莱·申瓦尔德 2 格雷戈伊尔·萨特雷 2 帕特里克·托茨克 2 安德烈亚·图里尼 2 曼努埃尔·Vázquez de Parga 2 詹伯华 2 詹乃军 2 张苗苗 1 卡拉姆Abd Elkader 1 露西娅·阿西艾 1 蒂莫斯·安东尼奥普洛斯 1 科尼利厄斯·阿斯切尔曼 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 斯蒂芬·巴特 1 David A.Basin。 1 西蒙·巴姆勒 1 阿米尔·本·阿姆拉姆。 1 伦纳特·贝林格 1 亨利克·比约克隆德 1 约翰娜·比约克隆德 1 乌迪·博克 1 贝内迪克特·博利格 1 米歇尔·博雷尔 1 艾哈迈德·博阿贾尼 1 帕特里夏·鲍耶 1 马可·波扎诺 1 卢博什·布里姆 1 马克·布罗克施米特 1 保罗·布鲁内特 1 蔡晓娟 1 乔纳森·塞德伯格 1 罗希特·查达 1 陈文钦 1 Chang,Yi Wen 1 陈明帅 1 魏恩根·钦 1 文森佐·西安西亚 1 拉杜·乔巴努 1 克拉克(Edmund Melson jun Clarke)。 1 洛伦佐·克莱门特 1 基特卡·克霍娃 1 芭芭拉·卡西玛(Barbara F.Csima)。 1 康拉德·卡齐米尔兹·达布罗夫斯基 1 克里斯蒂娜·大卫 1 奇诺维·迪斯金 1 基韦利多佛里 1 维杰·迪尔瓦 1 阿扎德法尔赞 1 亨宁费尔瑙 1 皮埃特罗·费拉拉 1 科里·费希尔 1 尼尔斯·弗利什哈克 1 奥利弗·弗里德曼 1 弗洛里安·弗洛恩 1 卡斯滕·福斯 1 卡洛·阿尔贝托·福里亚 1 皮埃尔·甘蒂 …还有119位作者 全部的 前5名21篇连载文章中引用 16 理论计算机科学 12 信息与计算 5 计算机科学中的逻辑方法 4 计算的形式方面 4 系统设计中的形式化方法 三 自动推理杂志 2 信息学报 2 信息处理信件 2 计算机与系统科学杂志 2 MSCS公司。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 信息科学 1 编程和计算机软件 1 符号计算杂志 1 国际计算机科学基础杂志 1 符号逻辑公报 1 计算系统理论 1 美国计算机学会期刊 1 ACM计算逻辑事务 1 ACM计算理论汇刊 全部的 前5名在8个字段中引用 115 计算机科学(68-XX) 18 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 一般拓扑结构(54至XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文