编辑配置文件(在新选项卡中打开) 玛丽埃拉·巴夫洛娃 合著者距离 作者ID: 巴甫洛瓦·马里拉 发布日期: 玛丽埃拉·巴夫洛娃 编入索引的文档: 2出版物自2008年起 合著者: 4位合著者具有2联合出版物 230位联合作者 合著者 0 单作者的 1 吉尔·巴特 1 伦纳特·贝林格 1 本杰明·格雷戈里 1 马丁·霍夫曼 系列 领域 2 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ 使用Mobius基本逻辑进行认证。 Zbl 1209.68121号 伦纳特·贝林格;马丁·霍夫曼;玛丽埃拉·巴夫洛娃 2 2008 保存从Java到Java虚拟机的证明义务。 Zbl 1165.68398号 吉尔·巴特;本杰明·格雷戈里;玛丽埃拉·巴夫洛娃 1 2008 使用Mobius基本逻辑进行认证。 Zbl 1209.68121号 伦纳特·贝林格;马丁·霍夫曼;玛丽埃拉·巴夫洛娃 2 2008 保存从Java到Java虚拟机的证明义务。 Zbl 1165.68398号 吉尔·巴特;本杰明·格雷戈里;玛丽埃拉·巴夫洛娃 1 2008 全部的 前5名6位作者引用 2 伦纳特·贝林格 1 克里斯蒂亚诺·加尔卡尼奥 1 罗伯特·格拉博夫斯基 1 马丁·霍夫曼 1 贝特朗·梅耶 1 马丁·诺迪奥 2篇连载文章中引用 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 在1个字段中引用 3 计算机科学(68至XX) 按年份列出的引文