编辑配置文件（在新选项卡中打开） 特夫菲克·布尔坦 计算距离： 计算 作者ID： 布尔坦·特夫菲克 发布日期： 特夫菲克·布尔坦 外部链接： MGP公司 已编制索引的文档： 37出版物自1992年起 2作为编辑的贡献 合著者： 20位合著者具有38联合出版物 375位合作作者 全部的 前5名合著者 1 单作者的 11 奥斯卡·H·伊巴拉。 11 苏建文 6 君士坦丁·巴齐斯 6 傅、香 5 当、哲 5 理查德·凯默勒（Richard A.Kemmer）。 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中包含的引文 31出版物有被引用162中的次111文件 引用人▼ 年份▼ 离散下推时间自动机的二进制可达性分析。 Zbl 0974.68085号当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。;苏建文 21 2000 决定编舞的可实现性。 Zbl 1321.68183号萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼 14 2012 动作语言验证程序，扩展。 Zbl 1081.68640号图巴·雅武兹·卡维奇;君士坦丁·巴齐斯;特夫菲克·布尔坦 12 2005 对话协议：反应式电子服务规范和验证的形式主义。 Zbl 1071.68002号傅、香;特夫菲克·布尔坦;苏建文 11 2004 计数器和验证问题。 Zbl 1061.68095号奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。 9 2002 加宽算术自动机。 Zbl 1103.68606号君士坦丁·巴齐斯;特夫菲克·布尔坦 8 2004 符号字符串验证：结合字符串分析和大小分析。 Zbl 1234.68269号于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 8 2009 一些无限状态转移系统模型的可达性分析。 Zbl 0999.68139号奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 8 2000 验证中算术约束的有效符号表示。 Zbl 1101.68642号君士坦丁·巴齐斯;特夫菲克·布尔坦 7 2003 基于自动符号字符串分析的漏洞检测。 Zbl 1291.68272号于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 7 2014 计数器：可决定的属性和验证问题的应用。 Zbl 0996.68091号奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒 7 2000 决定异步通信系统的同步性。 Zbl 1353.68195号萨米克·巴苏;特夫菲克·布尔坦 5 2016 用于验证异步通信系统的同步性。 Zbl 1325.68139号萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼 5 2012 动作语言验证器：反应式软件规范的无限状态模型检查器。 Zbl 1185.68427号图巴·雅武兹·卡维奇;特夫菲克·布尔坦 4 2009 使用多轨迹自动机进行关系字符串验证。 Zbl 1234.68270号于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 4 2011 使用计数器自动验证并发链接列表。 Zbl 1015.68510号图巴·雅武兹·卡维奇;特夫菲克·布尔坦 4 2002 WSAT：一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号傅、香;特夫菲克·布尔坦;苏建文 三 2004 对话协议：反应式电子服务规范和验证的形式主义。 Zbl 1279.68210号傅、香;特夫菲克·布尔坦;苏建文 三 2003 无限状态系统中的可达性和安全性。 Zbl 1319.68084号奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 三 2001 使用多轨迹自动机进行关系字符串验证。 Zbl 1297.68280号于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 三 2011 有效操纵复合约束的启发式方法。 Zbl 1057.68638号图巴·雅武兹·卡维奇;特夫菲克·布尔坦 2 2002 有界算术约束的有效BDD的构造。 Zbl 1031.68542号君士坦丁·巴齐斯;特夫菲克·布尔坦 2 2003 电子服务和工作流的正式验证。 Zbl 1022.68656号傅、香;特夫菲克·布尔坦;苏建文 2 2002 过去的下推定时自动机和安全验证。 Zbl 1069.68065号当、哲;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 2 2004 基于约束的客户端-服务器协议验证。 Zbl 1067.68624号乔治·德尔扎诺;特夫菲克·布尔坦 2 2001 字符串约束的基于自动的模型计数。 Zbl 1496.68254号阿卜杜勒巴吉·艾丁;Lucas Bang先生;特夫菲克·布尔坦 1 2015 基于接口的并发控制器规范和验证。 Zbl 1271.68132号艾苏贝汀坎;特夫菲克·布尔坦 1 2003 使用验证设计的高可靠性并发编程。 Zbl 1121.68027号艾苏贝汀坎;特夫菲克·布尔坦 1 2007 BDD与基于约束的模型检查：异步并发系统的实验评估。 Zbl 0971.68656号特夫菲克·布尔坦 1 2000 验证Vortex工作流。 Zbl 0978.68716号傅、香;特夫菲克·布尔坦;理查德·赫尔;苏建文 1 2001 使用平均场退火的电路分区。 Zbl 0833.68085号特夫菲克·布尔坦;塞夫德艾卡纳特 1 1995 决定异步通信系统的同步性。 Zbl 1353.68195号萨米克·巴苏;特夫菲克·布尔坦 5 2016 字符串约束的基于自动的模型计数。 Zbl 1496.68254号阿卜杜勒巴吉·艾丁;Lucas Bang先生;特夫菲克·布尔坦 1 2015 基于自动符号字符串分析的漏洞检测。 Zbl 1291.68272号于、方;穆阿特·阿尔卡拉夫;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 7 2014 决定编舞的可实现性。 Zbl 1321.68183号萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼 14 2012 用于验证异步通信系统的同步性。 Zbl 1325.68139号萨米克·巴苏;特夫菲克·布尔坦;梅里姆·乌代尔尼 5 2012 使用多轨迹自动机进行关系字符串验证。 Zbl 1234.68270号于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 4 2011 使用多轨迹自动机进行关系字符串验证。 Zbl 1297.68280号于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 三 2011 符号字符串验证：结合字符串分析和大小分析。 Zbl 1234.68269号于、方;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。 8 2009 动作语言验证器：反应式软件规范的无限状态模型检查器。 Zbl 1185.68427号图巴·雅武兹·卡维奇;特夫菲克·布尔坦 4 2009 使用验证设计的高可靠性并发编程。 Zbl 1121.68027号艾苏贝汀坎;特夫菲克·布尔坦 1 2007 动作语言验证程序，扩展。 Zbl 1081.68640号图巴·雅武兹·卡维奇;君士坦丁·巴齐斯;特夫菲克·布尔坦 12 2005 对话协议：反应式电子服务规范和验证的形式主义。 Zbl 1071.68002号傅、香;特夫菲克·布尔坦;苏建文 11 2004 加宽算术自动机。 Zbl 1103.68606号君士坦丁·巴齐斯;特夫菲克·布尔坦 8 2004 WSAT：一种用于对web服务进行形式化分析的工具。 Zbl 1103.68613号傅、香;特夫菲克·布尔坦;苏建文 三 2004 过去的下推定时自动机和安全验证。 Zbl 1069.68065号当、哲;特夫菲克·布尔坦;奥斯卡·H·伊巴拉。;理查德·凯默勒（Richard A.Kemmer）。 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·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。 9 2002 使用计数器自动验证并发链接列表。 Zbl 1015.68510号图巴·雅武兹·卡维奇;特夫菲克·布尔坦 4 2002 有效操纵复合约束的启发式方法。 Zbl 1057.68638号图巴·雅武兹·卡维奇;特夫菲克·布尔坦 2 2002 电子服务和工作流的正式验证。 Zbl 1022.68656号傅、香;特夫菲克·布尔坦;苏建文 2 2002 无限状态系统中的可达性和安全性。 Zbl 1319.68084号奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 三 2001 基于约束的客户端-服务器协议验证。 Zbl 1067.68624号乔治·德尔扎诺;特夫菲克·布尔坦 2 2001 验证Vortex工作流。 Zbl 0978.68716号傅、香;特夫菲克·布尔坦;理查德·赫尔;苏建文 1 2001 离散下推时间自动机的二进制可达性分析。 Zbl 0974.68085号当、哲;奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;理查德·凯默勒（Richard A.Kemmer）。;苏建文 21 2000 一些无限状态转移系统模型的可达性分析。 Zbl 0999.68139号奥斯卡·H·伊巴拉。;特夫菲克·布尔坦;苏建文 8 2000 计数器：可决定的属性和验证问题的应用。 Zbl 0996.68091号奥斯卡·H·伊巴拉。;苏建文;当、哲;特夫菲克·布尔坦;理查德·凯默勒 7 2000 BDD与基于约束的模型检查：异步并发系统的实验评估。 Zbl 0971.68656号特夫菲克·布尔坦 1 2000 使用平均场退火的电路分区。 Zbl 0833.68085号特夫菲克·布尔坦;塞夫德艾卡纳特 1 1995 所有引用出版物 前5名被引用出版物 全部的 前5名208位作者引用 28 奥斯卡·H·伊巴拉。 15 当、哲 10 特夫菲克·布尔坦 6 伊恩·麦克奎伦 5 托马斯·罗伯特·菲舍尔 5 苏建文 4 崔策伟 4 Stéphane P.德姆里。 4 理查德·凯默勒（Richard A.Kemmer）。 三 文森佐·阿塞里 三 阿戈斯蒂诺·科尔特斯 三 Trán，Nicholas Q。 三 于、方 2 马西莫·巴托莱蒂 2 萨米克·巴苏 2 墨菲·贝尔齐什 2 艾哈迈德·博阿贾尼 2 佛罗伦萨雪佛龙 2 蒂齐亚娜·西莫利 2 邓婷 2 辛齐亚·迪·朱斯托 2 乔伊·埃雷蒙迪 2 皮埃特罗·费拉拉 2 阿兰·芬克尔 2 法比奥·菲奥拉万蒂 2 傅、香 2 维杰·加内什 2 彼得·哈贝梅尔 2 怀、金鹏 2 奥雷利·胡罗 2 莱蒂蒂亚·拉弗萨 2 杰罗姆·勒鲁 2 李，秦 2 艾蒂安·洛兹 2 法布里西奥·蒙泰西 2 马蒂娜·奥利亚罗 2 阿尔贝托·佩特罗西 2 Pierluigi San彼得罗 2 毛里齐奥·普罗埃蒂 2 菲利普·奎因内克 2 瓦莱里奥·塞尼 2 埃米利奥·托斯托 2 汤姆·沃纳 2 图巴·亚武兹 2 罗伯托·祖尼诺 1 帕罗什·阿齐兹·阿卜杜拉 1 伊格纳西·阿比奥 1 亚明·艾特阿默尔 1 拉赫达尔·阿克伦 1 穆阿特·阿尔卡拉夫 1 马可·奥蒂利 1 德米特里·阿夫久钦 1 迈克尔·班特吉 1 佛朗哥·巴巴内拉 1 巴勃罗·巴塞洛 1 大卫·巴兹勒 1 马西莫·贝内雷切蒂 1 莎拉·本雅古布 1 马尔塞洛·玛丽亚·贝尔萨尼 1 艾苏贝汀坎 1 劳拉·博奇 1 佛罗伦萨Bouchy 1 马吕斯·博兹加 1 马尔科·卡博尼 1 科什卡，米兰 1 蔡超 1 陈广科 1 陈、陶璐 1 陈振邦 1 洛伦佐·克莱门特 1 朱利奥·克莱姆普纳。 1 亚历克斯·科托 1 路易斯·克鲁兹·菲利佩 1 戴，费 1 米拉·达拉·普雷达 1 戴，乔尔·D·。 1 皮耶保罗·德加诺 1 乌戈·德利古罗 1 乔治·德尔扎诺 1 伊西尔·迪利格 1 丁左华 1 朱尔根·丁格尔 1 朱利安·杜比 1 迪帕克·D’Souza 1 杜宗霞 1 马修·德怀尔。 1 奥马尔·埃盖西奥格鲁 1 约琴·艾辛格 1 帕维尔·埃尔勒巴赫 1 范文飞 1 吉安·路易吉，法拉利 1 JoséLuiz Fiadeiro 1 毛里齐奥·加布里埃利 1 布雷迪·J·加文。 1 凯格达斯·埃夫伦（Cagdas Evren） 1 西尔维奥·吉拉尔迪 1 萨维里奥·贾勒伦佐 1 劳拉·佐丹奴 1 戈德列夫斯基，A.B。 1 斯蒂芬·戈顿 …还有108位作者 全部的 前5名23篇连载文章中引用 27 理论计算机科学 8 程序设计中的逻辑和代数方法杂志 7 信息与计算 7 系统设计中的形式化方法 6 计算机与系统科学杂志 5 计算的形式方面 2 国际计算机科学基础杂志 2 分布式计算 2 计算机科学中的逻辑方法 1 信息学报 1 信息处理信件 1 编程和计算机软件 1 运筹学年鉴 1 国际计算机数学杂志 1 控制论与系统分析 1 复杂性 1 国际应用数学与计算机科学杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 中国科学。F系列 1 科学中国。信息科学 1 可计算性 1 计算机科学评论 全部的 前5名在6个字段中引用 109 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 7 信息与通信理论、电路（94-XX） 1 数论（11-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文