×
编辑配置文件（在新选项卡中打开）

博尔祖·博纳克达尔普尔

合著者距离
作者ID： 波拿克达尔布尔.borzoo“Bonakdarpour，Borzoo”最近发表的zbMATH文章
发布方式： 博尔祖·博纳克达尔普尔
已编制索引的文档： 27出版物自2005年以来
2作为编辑的贡献
合著者： 41位合著者具有29联合出版物
1058合著作者
全部的 前5名

合著者

0 单作者的
5 Sandeep S.Kulkarni。
4 艾丽卡·阿尔布拉汉姆
4 Faghih、Fathiyeh
三 塞萨尔·桑切斯
2 福阿德·阿布贾拉德
2 萨巴阿夫拉基
2 埃齐奥·巴托西
2 奥延德里拉·多贝
2 伯恩德·芬克贝纳
2 塞巴斯蒂安·费施迈斯特
2 皮埃尔·弗拉吉奥德
2 瑞典雅各布斯
2 纳哈尔·米尔扎伊
2 小弗朗克
2 塞尔吉奥·拉杰斯鲍姆
2 David A.Rosenblueth。
2 莎莱·申瓦尔德
2 塞巴斯蒂安·蒂谢尔
2 科伦蒂·特拉弗斯
1 鲍迈斯特，简
1 谢·贝尔科维奇
1 马吕斯·博兹加
1 诺埃尔·布雷特
1 乔治·查齐利夫赫里奥
1 吉安弗兰科·西亚多
1 科宁，诺琳
1 阿里·埃布纳西尔
1 徐子汉
1 穆罕默德·贾伯。
1 Joost-Pieter卡托恩
1 Panagiotis卡察罗斯
1 林一燕
1 萨马内纳瓦布波尔
1 吉恩·奎尔贝夫
1 杰拉尔多·施奈德
1 乌迈尔·西迪克
1 约瑟夫·西法基斯
1 斯科特·斯莫尔卡。
1 桑德罗·斯塔基
1 马蒂亚斯·沃尔克
1 埃希塔·扎曼
全部的 前5名

系列

4 分布式计算
三 系统设计中的形式化方法
2 信息与计算
2 计算机科学中的逻辑方法
1 信息学报
1 计算的形式方面
1 计算系统理论
1 美国医学会杂志
1 计算机科学课堂讲稿

领域

29 计算机科学（68至XX）
7 数学逻辑和基础（03-XX）
2 一般性和全局性主题；集合（00-XX）
1 概率论与随机过程（60-XX）
1 运筹学、数学规划（90-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

21出版物有被引用109中的次60文件 引用人▼ 年份▼
基于组件模型的自动化分布式实现框架。 Zbl 1256.68016号
博尔祖·博纳克达尔普尔;马吕斯·博兹加;穆罕默德·贾比尔;吉恩·奎尔贝夫;约瑟夫·西法基斯
12
2012
HyperPCTL：概率超属性的时间逻辑。 Zbl 1514.68030号
艾丽卡·阿尔布拉汉姆;博尔祖·博纳克达尔普尔
12
2018
无交互HyperLTL的基于重写的运行时验证。 Zbl 1452.68114号
诺埃尔·布雷特;乌迈尔·西迪克;博尔祖·博纳克达尔普尔
10
2017
超属性的程序修复。 Zbl 1437.68112号
博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳
8
2019
分布式自稳定协议的自动合成。 兹比尔1398.68056
Faghih、Fathiyeh;博尔祖·博纳克达尔普尔;塞巴斯蒂安·蒂谢尔;桑迪普·库尔卡尼
7
2018
屏蔽容错分布式程序的符号综合。 Zbl 1285.68016号
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德
7
2012
超属性的有界模型检查。 Zbl 1467.68086号
徐子汉;塞萨尔·桑切斯;博尔祖·博纳克达尔普尔
7
2021
去中心化异步故障恢复运行时验证。 Zbl 1392.68234号
博尔祖·博纳克达尔普尔;皮埃尔·弗拉吉奥德;塞尔吉奥·拉杰斯鲍姆;David A.Rosenblueth。;科伦蒂·特拉弗斯
6
2016
异步超属性的时态逻辑。 Zbl 1493.68205号
鲍迈斯特，简;科宁，诺琳;博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳;塞萨尔·桑切斯
6
2021
ASSESS：分布式自稳定算法的自动合成工具。 Zbl 1498.68368号
Faghih、Fathiyeh;博尔祖·博纳克达尔普尔
6
2017
抽象模型修复。 Zbl 1448.68292号
乔治·查齐利夫赫里奥;博尔祖·博纳克达尔普尔;Panagiotis卡察罗斯;斯科特·斯莫尔卡。
5
2015
通过并行将入侵降至最低的运行时验证。 Zbl 1323.68363号
谢·贝尔科维奇;博尔祖·博纳克达尔普尔;塞巴斯蒂安·费施迈斯特
5
2015
具有不确定性的概率超性质。 Zbl 1517.68218号
艾丽卡·阿尔布拉汉姆;埃齐奥·巴托西;博尔祖·博纳克达尔普尔;奥延德里拉·多贝
5
2020
时间触发运行时验证。 Zbl 1291.68248号
博尔祖·博纳克达尔普尔;萨马内纳瓦布波尔;塞巴斯蒂安·费施迈斯特
三
2013
容错程序自动合成的机械验证。 Zbl 1134.68348号
Sandeep S.Kulkarni。;博尔祖·博纳克达尔普尔;阿里·埃布纳西尔
三
2005
有限字超语言。 Zbl 07405986号
博尔祖·博纳克达尔普尔;莎莱·申瓦尔德
2
2021
自动分析调度对自稳定协议性能的影响。 Zbl 1428.68052号
萨巴阿夫拉基;博尔祖·博纳克达尔普尔;塞巴斯蒂安·蒂谢尔
1
2015
综合有界时间2相故障恢复。 Zbl 1328.68045号
博尔祖·博纳克达尔普尔;桑迪普·库尔卡尼
1
2015
在随机自稳定中综合最佳偏差。 Zbl 1483.68033号
马蒂亚斯·沃尔克;博尔祖·博纳克达尔普尔;Joost-Pieter卡托恩;萨巴阿夫拉基
1
2022
使用隐私应用程序对超属性进行灰盒监控。 Zbl 1502.68187号
桑德罗·斯塔基;塞萨尔·桑切斯;杰拉尔多·施奈德;博尔祖·博纳克达尔普尔
1
2021
去中心化异步故障恢复运行时验证。 Zbl 07679902号
博尔祖·博纳克达尔普尔;皮埃尔·弗拉吉奥德;塞尔吉奥·拉杰斯鲍姆;Rosenblueth，大卫;科伦蒂·特拉弗斯
1
2022
在随机自稳定中综合最佳偏差。 Zbl 1483.68033号
马蒂亚斯·沃尔克;博尔祖·博纳克达尔普尔;Joost-Pieter卡托恩;萨巴阿夫拉基
1
2022
分散式异步崩溃恢复运行时验证。 兹伯利07679902
博尔祖·博纳克达尔普尔;皮埃尔·弗拉吉奥德;塞尔吉奥·拉杰斯鲍姆;戴维·罗森布鲁斯;科伦蒂·特拉弗斯
1
2022
超属性的有界模型检查。 Zbl 1467.68086号
徐子汉;塞萨尔·桑切斯;博尔祖·博纳克达尔普尔
7
2021
异步超属性的时态逻辑。 Zbl 1493.68205号
鲍迈斯特，简;科宁，诺琳;博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳;塞萨尔·桑切斯
6
2021
有限字超语言。 Zbl 07405986号
博尔祖·博纳克达尔普尔;莎莱·申瓦尔德
2
2021
使用隐私应用程序对超属性进行灰盒监控。 Zbl 1502.68187号
桑德罗·斯塔基;塞萨尔·桑切斯;杰拉尔多·施奈德;博尔祖·博纳克达尔普尔
1
2021
具有不确定性的概率超性质。 Zbl 1517.68218号
艾丽卡·阿尔布拉汉姆;埃齐奥·巴托西;博尔祖·博纳克达尔普尔;奥延德里拉·多贝
5
2020
超属性的程序修复。 Zbl 1437.68112号
博尔祖·博纳克达尔普尔;伯恩德·芬克贝纳
8
2019
HyperPCTL：概率超属性的时间逻辑。 Zbl 1514.68030号
艾丽卡·阿尔布拉汉姆;博尔祖·博纳克达尔普尔
12
2018
分布式自稳定协议的自动合成。 Zbl 1398.68056号
Faghih、Fathiyeh;博尔祖·博纳克达尔普尔;塞巴斯蒂安·蒂谢尔;桑迪普·库尔卡尼
7
2018
无交互HyperLTL的基于重写的运行时验证。 Zbl 1452.68114号
诺埃尔·布雷特;乌迈尔·西迪克;博尔祖·博纳克达尔普尔
10
2017
ASSESS：分布式自稳定算法的自动合成工具。 Zbl 1498.68368号
Faghih、Fathiyeh;博尔祖·博纳克达尔普尔
6
2017
分散式异步崩溃恢复运行时验证。 Zbl 1392.68234号
博尔祖·博纳克达尔普尔;皮埃尔·弗拉吉奥德;塞尔吉奥·拉杰斯鲍姆;David A.Rosenblueth。;科伦蒂·特拉弗斯
6
2016
抽象模型修复。 Zbl 1448.68292号
乔治·查齐利夫赫里奥;博尔祖·博纳克达尔普尔;Panagiotis卡察罗斯;斯科特·斯莫尔卡。
5
2015
通过并行将入侵降至最低的运行时验证。 Zbl 1323.68363号
谢·伯科维奇;博尔祖·博纳克达尔普尔;塞巴斯蒂安·费施迈斯特
5
2015
自动分析调度对自稳定协议性能的影响。 Zbl 1428.68052号
萨巴阿夫拉基;博尔祖·博纳克达尔普尔;塞巴斯蒂安·提克塞尔
1
2015
综合有界时间2相故障恢复。 Zbl 1328.68045号
博尔祖·博纳克达尔普尔;桑迪普·库尔卡尼
1
2015
时间触发运行时验证。 Zbl 1291.68248号
博尔祖·博纳克达尔普尔;萨马内纳瓦布波尔;塞巴斯蒂安·费施迈斯特
三
2013
基于组件模型的自动化分布式实现框架。 Zbl 1256.68016号
博尔祖·博纳克达尔普尔;马吕斯·博兹加;穆罕默德·贾比尔;吉恩·奎尔贝夫;约瑟夫·西法基斯
12
2012
屏蔽容错分布式程序的符号综合。 Zbl 1285.68016号
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德
7
2012
容错程序自动合成的机械验证。 Zbl 1134.68348号
Sandeep S.Kulkarni。;博尔祖·博纳克达尔普尔;阿里·埃布纳西尔
三
2005
所有引用出版物 前5名被引用出版物
全部的 前5名

134位作者引用

16 博尔祖·博纳克达尔普尔
9 伯恩德·芬克贝纳
5 克里斯托弗·哈恩
5 Sandeep S.Kulkarni。
4 保罗·C·阿蒂。
4 科宁，诺琳
4 莎莱·申瓦尔德
三 克里斯特尔·拜尔
三 马吕斯·博兹加
三 Faghih、Fathiyeh
三 阿德里安·弗兰卡兰扎
三 哈达尔，弗伦克尔
三 雅各布皮里鲍尔
三 塞萨尔·桑切斯
三 罗宾·齐梅克
2 艾丽卡·阿尔布拉汉姆
2 卢卡·埃特罗
2 安东尼斯·阿奇利奥斯
2 埃齐奥·巴托西
2 萨德克·本萨勒姆
2 乌鸦·贝特纳
2 伊利耶斯·法尔科内
2 皮埃尔·弗拉吉奥德
2 弗洛里安·芬克
2 Anna Ingólfsdóttir
2 穆罕默德·贾伯。
2 瑞典雅各布斯
2 Joost-Pieter卡托恩
2 林一燕
2 Niklas O.Metzger。
2 纳哈尔·米尔扎伊
2 杰拉尔多·施奈德
2 朱利安·西伯
2 约瑟夫·西法基斯
2 马文·斯坦格
2 Leander Tentrup公司
2 塞巴斯蒂安·蒂谢尔
1 福阿德·阿布贾拉德
1 萨巴阿夫拉基
1 卡琳·阿尔蒂森
1 埃利·阿纳斯塔西亚迪
1 米拉·阿彻（Myla M.Archer）。
1 海格·阿尔法伊
1 西拉·阿罗拉
1 鲍迈斯特，简
1 伊梅内·本·哈菲德
1 贝拉德，贝特里奇
1 谢·贝尔科维奇
1 塞巴斯蒂安·比沃
1 西蒙，布利兹
1 丹尼·鲍尔森（Danny Bougsted Poulsen）
1 阿曼多·卡斯塔涅达
1 乔治·查齐利夫赫里奥
1 吉安弗兰科·西亚多
1 威廉·L·科克。
1 克里斯蒂安·科伦坡
1 皮埃尔·科尔比诺
1 雷蒙·达赫塞特
1 莫特萨·达马纳夫珊
1 圣埃芬·德维斯梅斯
1 雷娜·迪米特洛娃
1 奥延德里拉·多贝
1 克莱门斯·杜伯斯拉夫
1 阿里·埃布纳西尔
1 安托万·埃尔·霍卡耶姆
1 Mehran S·法拉。
1 托马斯·费雷尔
1 塞巴斯蒂安·费施迈斯特
1 迈克尔·弗里斯
1 马西耶·加兹达。
1 奥哈德·古兹米德
1 苏珊娜·格拉芙
1 奥尔纳·格伦伯格
1 关勇
1 Guerra，Paulo T。
1 雷扎哈吉什基
1 哈拉尔（Rayan Hallal）
1 汉森、雷内·里多夫
1 托马斯·海因策。
1 康斯坦斯·海特迈尔。
1 托马斯·亨辛格（Thomas A.Henzinger）。
1 霍尔格·赫尔曼斯
1 何希明
1 贾娜·霍夫曼
1 霍拉克，汤姆
1 徐子汉
1 伊尔辛卡斯，大卫
1 詹森，尼尔斯
1 西蒙·扬奇
1 拉尔夫·杰弗兹。
1 阿尔沙德·朱姆卡
1 芭芭拉·乔布斯曼
1 Timothy M.琼斯。
1 奥黛·朱伯伦
1 塞巴斯蒂安·荣格斯
1 Panagiotis卡察罗斯
1 阿巴斯·哈利勒
1 克雅坦松，Svarrn
1 帕斯卡·拉福卡德
1 金·古德斯特兰·拉森
…还有34位作者
全部的 前5名

11篇连载文章中引用

6 信息与计算
6 分布式计算
6 系统设计中的形式化方法
4 计算机科学中的逻辑方法
三 程序设计中的逻辑和代数方法杂志
2 信息学报
2 理论计算机科学
2 计算的形式方面
1 数学与人工智能年鉴
1 应用数学杂志
1 应用与计算拓扑杂志

在4个字段中引用

59 计算机科学（68至XX）
16 数学逻辑和基础（03-XX）
2 概率论与随机过程（60-XX）
1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX）

按年份列出的引文