×
作者ID: 柴义宽“Tsay,Yih-Kuen”最近发表的zbMATH文章
发布日期: 蔡义权
外部链接: ORCID公司
已编制索引的文档: 18出版物自1993年起
2作为编辑的贡献
合著者: 21位合著者具有19份联合出版物
615合著作者

按年份列出的出版物

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位作者

按年份列出的引文