编辑配置文件（在新选项卡中打开） 君士坦丁·巴齐斯 合著者距离 作者ID： 巴蒂斯·康斯坦蒂诺斯 发布日期： 君士坦丁·巴齐斯 已编制索引的文档： 8出版物自2001年起 合著者： 6位合著者具有8联合出版物 248位合作作者 全部的 前5名合著者 0 单作者的 6 特维克布尔坦 1 克拉克（Edmund Melson jun Clarke）。 1 奥斯卡·H·伊巴拉。 1 希曼舒·杰恩 1 苏建文 1 图巴·雅武兹·卡维奇 系列 1 国际计算机科学基础杂志 领域 8 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用34中的次23文件 引用人▼ 年份▼ 动作语言验证程序，扩展。 Zbl 1081.68640号 图巴·雅武兹·卡维奇;君士坦丁·巴齐斯;特维克布尔坦 13 2005 加宽算术自动机。 Zbl 1103.68606号 君士坦丁·巴齐斯;特维克布尔坦 9 2004 验证中算术约束的有效符号表示。 Zbl 1101.68642号 君士坦丁·巴齐斯;特维克布尔坦 7 2003 使用一般匹配检查非子句公式的可满足性。 Zbl 1187.68549号 希曼舒·杰恩;君士坦丁·巴齐斯;埃德蒙·克拉克 2 2006 有界算术约束的有效BDD的构造。 Zbl 1031.68542号 君士坦丁·巴齐斯;特维克布尔坦 2 2003 计数器以及具有线性约束的数据库查询的安全性和不相交性问题。 Zbl 1013.68077号 奥斯卡·H·伊巴拉。;苏建文;君士坦丁·巴齐斯 1 2001 使用一般匹配检查非子句公式的可满足性。 Zbl 1187.68549号 希曼舒·杰恩;君士坦丁·巴齐斯;埃德蒙·克拉克 2 2006 动作语言验证程序，扩展。 Zbl 1081.68640号 图巴·雅武兹·卡维奇;君士坦丁·巴齐斯;特维克布尔坦 13 2005 加宽算术自动机。 Zbl 1103.68606号 君士坦丁·巴齐斯;特维克布尔坦 9 2004 验证中算术约束的有效符号表示。 Zbl 1101.68642号 君士坦丁·巴齐斯;特维克布尔坦 7 2003 有界算术约束的有效BDD的构造。 Zbl 1031.68542号 君士坦丁·巴齐斯;特维克布尔坦 2 2003 计数器以及具有线性约束的数据库查询的安全性和不相交性问题。 Zbl 1013.68077号 奥斯卡·H·伊巴拉。;苏建文;君士坦丁·巴齐斯 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 5 特维克布尔坦 4 奥斯卡·H·伊巴拉。 3 于、方 2 杰罗姆·勒鲁 2 安德烈·希珀 2 筑谷由纪夫（Tatsuhiro Tsuchiya） 1 帕罗什·阿齐兹·阿卜杜拉 1 伊格纳西·阿比奥 1 穆阿特·阿尔卡拉夫 1 文森佐·阿塞里 1 艾苏贝汀坎 1 Randal E.布莱恩特。 1 陈广科 1 陈、陶璐 1 阿戈斯蒂诺·科尔特斯 1 当、哲 1 乔治·德尔赞诺 1 斯特凡·德姆里。 1 约琴·艾辛格 1 皮埃特罗·费拉拉 1 阿兰·芬克尔 1 西尔维奥·吉拉尔迪 1 戈德列夫斯基，A.B。 1 冈萨洛·伊玛兹（Gonzalo E.Imaz）。 1 费利克斯·克莱特克 1 Letychev'kyĭ，Oleksandr Adol'vych 1 Letychevs’kyĭ，Oleksandr Oleksandrovych 1 卢卡·内格里尼 1 罗伯特·纽文胡斯 1 阿尔伯特·奥利弗拉斯 1 佩沙连科，V.S。 1 Pierluigi San彼得罗 1 波提延科，S.V。 1 西尔维奥·兰伊斯 1 尼古拉斯·拉宾 1 艾哈迈德·雷津 1 恩里克·罗德里格斯-卡博内尔 1 哈拉尔德·森德加德 1 宋，傅 1 托马斯·瓦尔塞奇 1 阿比·瓦尔丹 1 马赫什·维斯瓦纳坦 1 图巴·雅武兹·卡维奇 1 张业迪 1 赵哲 全部的 前5名引用于7个系列 4 系统设计中的形式化方法 3 理论计算机科学 1 信息处理信件 1 模糊集与系统 1 计算的形式方面 1 分布式计算 1 控制论与系统分析 在2个字段中引用 23 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文