编辑配置文件(在新选项卡中打开) 巴拉戈·纳加拉贾·巴特 合著者距离 作者ID: 巴特·巴加夫·纳加拉贾 发布日期: 巴拉戈·纳加拉贾·巴特 主页: https://bhargavbh.github.io网址/ 已编制索引的文档: 9出版物自2012年起,包括5个附加arXiv预打印 合著者: 3位合著者具有3联合出版物 142位合作作者 合著者 5 单作者的 三 David A.Basin。 三 德米特里·特拉泰尔 1 Sr Djan Krstić 1 李世章 系列 1 系统设计中的形式化方法 全部的 前5名领域 三 数学逻辑和基础(03-XX) 三 计算机科学(68至XX) 1 数论(11-XX) 1 交换代数(13-XX) 1 代数几何(14-XX) 1 \(K\)-理论(19-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用12次10文件 引用人▼ 年份▼ 几乎是事件-状态独立监测。 Zbl 1425.68249号 戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;Sr Djan Krstić;德米特里·特拉泰尔 4 2019 度量时态逻辑的几乎与事件状态无关的监控。 Zbl 1452.68278号 戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔 4 2017 套索词线性时序逻辑的最优证明。 Zbl 1517.68222号 戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔 4 2018 几乎是事件-状态独立监测。 Zbl 1425.68249号 戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;Sr Djan Krstić;德米特里·特雷特尔 4 2019 套索词线性时序逻辑的最优证明。 Zbl 1517.68222号 戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔 4 2018 度量时态逻辑的几乎与事件状态无关的监控。 Zbl 1452.68278号 戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔 4 2017 所有引用出版物 前5名被引用出版物 全部的 前5名被31位作者引用 6 德米特里·特拉泰尔 4 David A.Basin。 4 克里斯蒂安·克里斯蒂奇 三 马丁·拉西克 2 迈克尔·坎通尼 2 Jennifer M.Davoren。 2 阿德里安·弗兰卡兰扎 2 Joshua P.施耐德。 2 丹尼尔·塞尔瓦拉特南 2 伊曼·谢姆斯 1 沃尔夫冈·阿伦特 1 埃齐奥·巴托西 1 巴拉戈·纳加拉贾·巴特 1 多梅尼科·比安库利 1 克莱尔·西尼 1 克里斯蒂安·科伦坡 1 蒂鲍特·达迪尼尔 1 伊利耶斯·法尔科内 1 巴兹尔·弗里尔 1 卢卡斯·海姆斯 1 弗雷德里克·海因茨 1 安德烈亚斯·洛赫比勒 1 Lourenço,Joáo M。 1 德扬·尼科维奇 1 戈登·佩斯。 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 辛戈尔斯,朱利安 1 马蒂亚斯·泰格 1 亚历山大·韦斯 5篇连载文章中引用 2 系统设计中的形式化方法 1 理论计算机科学 1 国际近似推理杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 10 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 按年份列出的引文