编辑配置文件(在新选项卡中打开) 普兰达尔·巴杜里 合著者距离 作者ID: 巴杜里·普朗达尔 发布日期: 普兰达尔·巴杜里 已编制索引的文档: 12出版物自1999年起 合著者: 6位合著者具有7联合出版物 39位合作作者 全部的 前5名合著者 三 单作者的 三 Panicker,加亚特里 2 Girish Keshav Palshikar 1 拉吉夫·库马尔·波达尔 1 菲利普·莱因克迈尔 1 英戈·斯蒂兰德 1 拉金德兰·文卡泰什 系列 2 代数普遍性 1 计算的形式方面 1 国际代数与计算杂志 1 北欧计算机杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 10 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 一般代数系统(08-XX) 2 系统论;控制(93至XX) 1 有序,格,有序代数结构(06-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用14次12文件 引用人▼ 年份▼ 接口综合和协议转换。 Zbl 1141.68036号 巴杜里,普兰达尔;拉梅什,S。 4 2008 界面自动机的合成。 兹比尔1141.68427 普兰达尔·巴杜里 三 2005 将if-then-else公理化为可能的非暂停程序和测试。 Zbl 1365.68165号 Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 三 2017 带有测试的非暂停程序的单元体。 Zbl 1400.08003号 Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 2 2018 基于资源分离抽象的实时系统虚拟集成。 Zbl 1448.68183号 英戈·斯蒂兰德;菲利普·莱因克迈尔;普兰达尔·巴杜里 1 2014 使用消息序列图分析场景的形式化技术。 Zbl 1268.68108号 普兰达尔·巴杜里;R·文卡特斯。;Girish K.Palshikar。 1 2002 带有测试的非暂停程序的单元体。 Zbl 1400.08003号 Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 2 2018 将if-then-else公理化为可能的非暂停程序和测试。 Zbl 1365.68165号 Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 三 2017 基于资源分离抽象的实时系统的虚拟集成。 Zbl 1448.68183号 英戈·斯蒂兰德;菲利普·莱因克梅尔;普兰达尔·巴杜里 1 2014 接口综合和协议转换。 兹比尔1141.68036 普兰达尔·巴杜里;拉梅什,S。 4 2008 界面自动机的合成。 Zbl 1141.68427号 普兰达尔·巴杜里 三 2005 使用消息序列图分析场景的形式化技术。 Zbl 1268.68108号 普兰达尔·巴杜里;R·文卡特斯。;Girish K.Palshikar。 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 4 普兰达尔·巴杜里 2 本特·琼森 2 Legay、Axel 2 Panicker,加亚特里 1 阿尔伯特·本文尼斯特 1 Nathalie Bertrand 1 贝诺·凯劳德 1 克里斯·奇尔顿 1 达姆,沃纳 1 贝诺·德拉哈耶 1 卢卡什·霍利克 1 马尔特·伊斯伯纳 1 Marta Z.Kwiatkowska。 1 拉森,金·古尔德斯特朗 1 莱昂纳多·曼格鲁卡 1 Girish Keshav Palshikar 1 米克尔·莱克·佩德森 1 苏菲·平奇纳特 1 Jean-Baptiste Raclet女士 1 菲利普·莱因克迈尔 1 罗密欧,尼格尼戈·X·尼泽尔 1 Alberto L.Sangiovanni-Vincentelli。 1 苏、基尤 1 英戈·斯蒂兰德 1 蒂莫西·斯托克斯(Timothy E.Stokes)。 1 拉金德兰·文卡泰什 1 蒂齐亚诺别墅 1 格雷戈·冯·博克曼 1 安德烈·索夫斯基 全部的 前5名6篇连载文章中引用 2 代数普遍性 2 理论计算机科学 1 计算机程序设计科学 1 计算的形式方面 1 国际代数与计算杂志 1 离散事件动态系统 全部的 前5名在9个字段中引用 9 计算机科学(68至XX) 三 一般代数系统(08-XX) 2 数学逻辑和基础(03-XX) 1 有序,格,有序代数结构(06-XX) 1 群论与推广(20-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文