编辑配置文件（在新选项卡中打开） 特夫菲克·布尔坦 合著者距离 作者ID： 布尔坦·特夫菲克 发布日期： 特夫菲克·布尔坦 外部链接： MGP公司 已编制索引的文档： 37出版物自1992年起 2作为编辑的贡献 合著者： 20位合著者具有38联合出版物 400名合作作者 全部的 前5名合著者 1 单作者的 11 奥斯卡·H·伊巴拉。 11 苏建文 6 君士坦丁·巴齐斯 6 傅、香 5 当、哲 5 理查德·凯默勒。 5 图巴·雅武兹·卡维奇 4 于、方 三 萨米克·巴苏 2 塞夫德艾卡纳特 2 艾苏贝汀坎 2 梅里姆·乌代尔尼 1 穆阿特·阿尔卡拉夫 1 阿卜杜勒巴吉·艾丁 1 Lucas Bang先生 1 马里奥·布雷韦蒂 1 乔治·德尔扎诺 1 熊宝安 1 理查德·赫尔（Richard A.Hull）。 1 Murat调谐器 全部的 前5名系列 4 理论计算机科学 三 国际计算机科学基础杂志 2 系统设计中的形式化方法 2 计算机科学课堂讲稿 1 计算的形式方面 1 并行与分布式计算杂志 1 神经计算 领域 39 计算机科学（68至XX） 2 总体主题；集合（00-XX） 2 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用197中的次139文件 引用人▼ 年份▼ 离散下推定时自动机的二进制可达性分析。 兹比尔0974.68085 当、哲；奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；理查德·凯默勒。；苏建文 23 2000 决定编舞的可实现性。 Zbl 1321.68183号 萨米克·巴苏；特夫菲克·布尔坦；梅里姆·乌代尔尼 20 2012 会话协议：一种规范和验证反应式电子服务的形式。 Zbl 1071.68002号 傅、香；特夫菲克·布尔坦；苏建文 14 2004 动作语言验证程序，扩展。 Zbl 1081.68640号 图巴·雅武兹·卡维奇；君士坦丁·巴齐斯；特夫菲克·布尔坦 13 2005 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒。 11 2002 加宽算术自动机。 Zbl 1103.68606号 君士坦丁·巴齐斯；特夫菲克·布尔坦 9 2004 一些无限状态转移系统模型的可达性分析。 兹比尔0999.68139 奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；苏建文 9 2000 基于自动符号字符串分析的漏洞检测。 Zbl 1291.68272号 于、方；穆阿特·阿尔卡拉夫；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 9 2014 符号字符串验证：结合字符串分析和大小分析。 Zbl 1234.68269号 于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 8 2009 决定异步通信系统的同步性。 Zbl 1353.68195号 萨米克·巴苏；特夫菲克·布尔坦 8 2016 计数器：可决定的属性和验证问题的应用。 Zbl 0996.68091号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒 7 2000 使用多轨迹自动机进行关系字符串验证。 12346.8270兹比尔 于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 7 2011 用于验证异步通信系统的同步性。 Zbl 1325.68139号 萨米克·巴苏；特夫菲克·布尔坦；梅里姆·乌代尔尼 7 2012 字符串约束的基于自动的模型计数。 Zbl 1496.68254号 阿卜杜勒巴吉·艾丁；Lucas Bang先生；特夫菲克·布尔坦 7 2015 验证中算术约束的有效符号表示。 Zbl 1101.68642号 君士坦丁·巴齐斯；特夫菲克·布尔坦 7 2003 使用计数器自动验证并发链接列表。 兹比尔1015.68510 图巴·雅武兹·卡维奇；特夫菲克·布尔坦 5 2002 动作语言验证器：反应式软件规范的无限状态模型检查器。 Zbl 1185.68427号 图巴·雅武兹·卡维奇；特夫菲克·布尔坦 4 2009 无限状态系统中的可达性和安全性。 Zbl 1319.68084号 奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；苏建文 4 2001 WSAT：一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号 傅、香；特夫菲克·布尔坦；苏建文 三 2004 会话协议：一种规范和验证反应式电子服务的形式。 Zbl 1279.68210号 傅、香；特夫菲克·布尔坦；苏建文 三 2003 使用多轨迹自动机进行关系字符串验证。 Zbl 1297.68280号 于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 三 2011 有界算术约束的有效BDD的构造。 Zbl 1031.68542号 君士坦丁·巴齐斯；特夫菲克·布尔坦 2 2003 电子服务和工作流的正式验证。 Zbl 1022.68656号 傅、香；特夫菲克·布尔坦；苏建文 2 2002 过去的下推定时自动机和安全验证。 Zbl 1069.68065号 当、哲；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。；理查德·凯默勒。 2 2004 基于约束的客户端-服务器协议验证。 Zbl 1067.68624号 乔治·德尔扎诺；特夫菲克·布尔坦 2 2001 有效操纵复合约束的启发式方法。 兹比尔1057.68638 图巴·雅武兹·卡维奇；特夫菲克·布尔坦 2 2002 使用验证设计的高可靠性并发编程。 Zbl 1121.68027号 艾苏贝汀坎；特夫菲克·布尔坦 1 2007 验证Vortex工作流。 Zbl 0978.68716号 傅、香；特夫菲克·布尔坦；理查德·赫尔；苏建文 1 2001 基于接口的并发控制器规范和验证。 Zbl 1271.68132号 艾苏贝汀坎；特夫菲克·布尔坦 1 2003 用于验证和分析的自动化技术。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。 Zbl 1223.68004号 1 2011 BDD与基于约束的模型检查：异步并发系统的实验评估。 Zbl 0971.68656号 特夫菲克·布尔坦 1 2000 使用平均场退火的电路分区。 兹比尔083368085 特夫菲克·布尔坦；塞夫德艾卡纳特 1 1995 决定异步通信系统的同步性。 Zbl 1353.68195号 萨米克·巴苏；特夫菲克·布尔坦 8 2016 字符串约束的基于自动的模型计数。 Zbl 1496.68254号 阿卜杜勒巴吉·艾丁；Lucas Bang先生；特夫菲克·布尔坦 7 2015 基于自动符号字符串分析的漏洞检测。 Zbl 1291.68272号 于、方；穆阿特·阿尔卡拉夫；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 9 2014 决定编舞的可实现性。 Zbl 1321.68183号 萨米克·巴苏；特夫菲克·布尔坦；梅里姆·乌代尔尼 20 2012 用于验证异步通信系统的同步性。 Zbl 1325.68139号 萨米克·巴苏；特夫菲克·布尔坦；梅里姆·乌代尔尼 7 2012 使用多轨迹自动机进行关系字符串验证。 Zbl 1234.68270号 于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 7 2011 使用多轨迹自动机进行关系字符串验证。 Zbl 1297.68280号 于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 三 2011 用于验证和分析的自动化技术。2011年10月11日至14日，第九届国际研讨会，ATVA 2011，台湾台北。诉讼程序。 Zbl 1223.68004号 1 2011 符号字符串验证：结合字符串分析和大小分析。 Zbl 1234.68269号 于、方；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。 8 2009 动作语言验证器：反应式软件规范的无限状态模型检查器。 Zbl 1185.68427号 图巴·雅武兹·卡维奇；特夫菲克·布尔坦 4 2009 使用验证设计的高可靠性并发编程。 Zbl 1121.68027号 艾苏贝汀坎；特夫菲克·布尔坦 1 2007 动作语言验证程序，扩展。 Zbl 1081.68640号 图巴·雅武兹·卡维奇；君士坦丁·巴齐斯；特夫菲克·布尔坦 13 2005 会话协议：一种规范和验证反应式电子服务的形式。 Zbl 1071.68002号 傅、香；特夫菲克·布尔坦；苏建文 14 2004 扩展算术自动机。 Zbl 1103.68606号 君士坦丁·巴齐斯；特夫菲克·布尔坦 9 2004 WSAT：一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号 傅、香；特夫菲克·布尔坦；苏建文 三 2004 过去的下推定时自动机和安全验证。 Zbl 1069.68065号 当、哲；特夫菲克·布尔坦；奥斯卡·H·伊巴拉。；理查德·凯默勒。 2 2004 验证中算术约束的有效符号表示。 Zbl 1101.68642号 君士坦丁·巴齐斯；特夫菲克·布尔坦 7 2003 会话协议：一种规范和验证反应式电子服务的形式。 Zbl 1279.68210号 傅翔；特夫菲克·布尔坦；苏建文 三 2003 有界算术约束的有效BDD的构造。 Zbl 1031.68542号 君士坦丁·巴齐斯；特夫菲克·布尔坦 2 2003 基于接口的并发控制器规范和验证。 Zbl 1271.68132号 艾苏贝汀坎；特夫菲克·布尔坦 1 2003 计数器和验证问题。 Zbl 1061.68095号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒。 11 2002 使用计数器自动验证并发链表。 Zbl 1015.68510号 图巴·雅武兹·卡维奇；特夫菲克·布尔坦 5 2002 电子服务和工作流的正式验证。 Zbl 1022.68656号 傅、香；特夫菲克·布尔坦；苏建文 2 2002 有效操纵复合约束的启发式方法。 Zbl 1057.68638号 图巴·雅武兹·卡维奇；特夫菲克·布尔坦 2 2002 无限状态系统中的可达性和安全性。 Zbl 1319.68084号 奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；苏建文 4 2001 基于约束的客户端-服务器协议验证。 Zbl 1067.68624号 乔治·德尔扎诺；特夫菲克·布尔坦 2 2001 验证Vortex工作流。 Zbl 0978.68716号 傅、香；特夫菲克·布尔坦；理查德·赫尔；苏建文 1 2001 离散下推定时自动机的二进制可达性分析。 兹比尔0974.68085 当、哲；奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；理查德·凯默勒。；苏建文 23 2000 一些无限状态转移系统模型的可达性分析。 Zbl 0999.68139号 奥斯卡·H·伊巴拉。；特夫菲克·布尔坦；苏建文 9 2000 计数器：可决定的属性和验证问题的应用。 Zbl 0996.68091号 奥斯卡·H·伊巴拉。；苏建文；当、哲；特夫菲克·布尔坦；理查德·凯默勒 7 2000 BDD与基于约束的模型检查：异步并发系统的实验评估。 Zbl 0971.68656号 特夫菲克·布尔坦 1 2000 使用平均场退火的电路划分。 Zbl 0833.68085号 特夫菲克·布尔坦；塞夫德艾卡纳特 1 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名260位作者引用 31 奥斯卡·H·伊巴拉。 16 当、哲 10 特夫菲克·布尔坦 7 伊恩·麦克奎伦 6 托马斯·罗伯特·菲舍尔 5 艾蒂安·洛兹 5 苏建文 4 崔策伟 4 斯特凡·德姆里。 4 辛齐亚·迪·朱斯托 4 理查德·凯默勒。 4 德克·诺沃特卡 三 文森佐·阿塞里 三 墨菲·贝尔齐什 三 阿戈斯蒂诺·科尔特斯 三 戴，乔尔·D。 三 阿兰·芬克尔 三 维杰·加内什 三 奥雷利·胡罗 三 米贾·库尔琴斯基 三 莱蒂蒂亚·拉弗萨 三 李，秦 三 弗罗林·马内亚 三 法布里西奥·蒙泰西 三 菲利普·奎因内克 三 Trán，Nicholas Q。 三 埃米利奥·托斯托 三 于、方 2 帕罗什·阿齐兹·阿卜杜拉 2 佛朗哥·巴巴内拉 2 马西莫·巴托莱蒂 2 萨米克·巴苏 2 艾哈迈德·博阿贾尼 2 佛罗伦萨雪佛龙 2 蒂齐亚纳西莫利 2 乔治·德尔扎诺 2 邓婷 2 埃雷蒙迪，乔伊 2 皮埃特罗·费拉拉 2 法比奥·菲奥拉万蒂 2 傅、香 2 毛里齐奥·加布里埃利 2 萨维里奥·贾勒伦佐 2 彼得·哈伯梅尔 2 怀、金鹏 2 威廉·J·三世赫顿 2 钟曼，宋世堂。 2 伊万·拉内斯 2 杰罗姆·勒鲁 2 费德里科·莫拉 2 马蒂娜·奥利亚罗 2 梅里姆·乌代尔尼 2 阿尔贝托·佩特罗西 2 皮埃尔路易吉·圣彼得罗 2 毛里齐奥·普罗埃蒂 2 艾哈迈德·雷兹 2 安德烈·希珀 2 Shinnosuke Seki公司 2 瓦莱里奥·塞尼 2 筑谷由纪夫（Tatsuhiro Tsuchiya） 2 汤姆·沃纳 2 图巴·亚武兹 2 罗伯托·祖尼诺 1 伊格纳西·阿比奥 1 亚明·艾特阿默尔 1 拉赫达尔·阿克伦 1 阿克西，S。 1 穆阿特·阿尔卡拉夫 1 阿利亚斯·阿拉马维 1 马可·奥蒂利 1 德米特里·阿夫久钦 1 迈克尔·班特吉 1 巴勃罗·巴塞洛 1 大卫·巴兹勒 1 帕斯卡·鲍曼 1 Bédard，亚历克西斯 1 马西莫·贝内雷切蒂 1 尼古拉·贝内什 1 莎拉·本雅古布 1 马尔塞洛·玛丽亚·贝尔萨尼 1 艾苏贝汀坎 1 弗兰蒂舍克·布拉胡德克 1 劳拉·博奇 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 佛罗伦萨Bouchy 1 马吕斯·博兹加 1 马尔科·卡博尼 1 伊利亚州卡斯特拉尼 1 科什卡，米兰 1 蔡超 1 陈广科 1 陈浩 1 陈韬略 1 陈玉芳 1 陈振邦 1 乔利亚特，大卫 1 洛伦佐·克莱门特 1 朱利奥·克莱姆普纳。 1 克伦，多纳托 1 亚历克斯·科托 …和160多位作者 全部的 前5名23篇连载文章中引用 27 理论计算机科学 10 信息与计算 10 程序设计中的逻辑和代数方法杂志 7 系统设计中的形式化方法 6 计算机与系统科学杂志 5 计算的形式方面 5 计算机科学中的逻辑方法 4 国际计算机科学基础杂志 2 分布式计算 1 信息学报 1 信息处理信件 1 编程与计算机软件 1 运筹学年鉴 1 国际计算机数学杂志 1 控制论与系统分析 1 复杂性 1 国际应用数学与计算机科学杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 中国科学。F系列 1 科学中国。信息科学 1 可计算性 1 计算机科学评论 全部的 前5名在7个字段中引用 136 计算机科学（68至XX） 16 数理逻辑与基础（03-XX） 8 信息与通信理论、电路（94-XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文