编辑配置文件(在新选项卡中打开) 米哈埃拉·盖奥古·博巴鲁 合著者距离 作者ID: gheorghiu-bobaru.miheala 发布日期: 波巴鲁、米哈埃拉·盖奥古奥;米哈埃拉·盖奥古·博巴鲁 已编制索引的文档: 2出版物自2008年起 合著者: 4位合著者具有2联合出版物 81位合作作者 合著者 0 单作者的 2 迪米特拉·吉安娜科波卢 2 科琳娜·s·佩斯勒诺。 1 霍华德·巴林格 1 杰米森·科布雷。 系列 1 系统设计中的形式化方法 领域 2 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物被引用33次24文件 引用人▼ 年份▼ 学习分而治之:应用(L^*)算法自动进行假设保证推理。 Zbl 1147.68053号 科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢;波巴鲁、米哈埃拉·盖奥古奥;杰米森·科布雷。;霍华德·巴林格 19 2008 通过抽象细化实现自动化假设保证推理。 Zbl 1155.68435号 米哈埃拉·盖奥古·博巴鲁;科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢 14 2008 学习分而治之:应用(L^*)算法自动进行假设保证推理。 Zbl 1147.68053号 科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢;波巴鲁、米哈埃拉·盖奥古奥;杰米森·科布雷。;霍华德·巴林格 19 2008 通过抽象细化实现自动假设保证推理。 Zbl 1155.68435号 米哈埃拉·盖奥古·博巴鲁;科琳娜·s·佩斯勒诺。;迪米特拉·吉安娜科波卢 14 2008 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 8 奥尔纳·格隆伯格 4 科琳娜·s·佩斯勒诺。 4 莎莱·申瓦尔德 4 莎伦·肖姆 三 达纳·菲斯曼 三 哈达尔·弗兰克尔 2 卡拉姆Abd Elkader 1 罗莎·阿巴斯 1 达拉·阿拉杰 1 达纳州安格鲁因 1 Genc Blakqori 1 乌迪·博克 1 戴维德·贾科莫·卡维扎 1 克里希南德·查特吉 1 马丁·奇梅利克 1 Daca,Przemysław公司 1 达姆,丹尼斯·雷内 1 德普特、桑德 1 迪马罗戈纳斯,迪莫斯五世。 1 法特梅·加塞米 1 迪米特拉·吉安娜科波卢 1 奥哈德·古兹米德 1 福尔克·豪尔 1 拉丁·科斯拉维 1 直纪小林 1 Marta Z.Kwiatkowska。 1 阿莱西奥·洛穆西奥 1 迭戈·马姆斯勒 1 耶尔·梅勒 1 梅克梅尔滕 1 皮尔雷·梅耶(Pierre-Jean Meyer) 1 Kedar S.Namjoshi。 1 格钦·诺曼 1 马蒂亚斯·尼贝格 1 大卫·F·帕克。 1 曲洪阳 1 巴特·陈·罗森伯格 1 佐藤隆介 1 伯恩哈德·斯特芬 1 本·斯特鲁洛 1 奈杰尔·沃克。 1 乔纳斯·韦斯特曼 1 安东·威伊斯(Anton J.Wijs)。 1 吴鹏 1 桑德拉·齐勒斯 全部的 前5名8篇连载文章中引用 三 信息与计算 2 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 信息学报 1 计算的形式方面 1 国际计算机科学基础杂志 1 非线性分析。混合动力系统 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 23 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文