编辑配置文件（在新选项卡中打开） Elena A.Troubitsyna。 合著者距离 作者ID： troubitsyna.elena-a 发布方式： 埃琳娜·特鲁比西纳;Elena A.Troubitsyna。 已编制索引的文档： 6出版物自1998年以来 3作为编辑的贡献 合著者： 11位合著者具有8联合出版物 181位合作作者 全部的 前5名合著者 1 单作者的 2 布里杰什·多戈尔 2 莱比尼斯，利纳斯 2 亚历山大·罗曼诺夫斯基。 1 阿列克谢·伊利亚索夫 1 克利夫·琼斯。 1 Annabelle K.McIver。 1 卡罗尔·C·摩根。 1 路易吉亚·皮特 1 安东·塔拉修克 1 维斯特巴卡，伊纳 1 瓦尔登，玛丽娜 系列 三 计算的形式方面 2 计算机科学课堂讲稿 1 计算 1 北欧计算机杂志 领域 9 计算机科学（68至XX） 三 一般性和全局性主题；集合（00-XX） 1 历史与传记（01-XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用11中的次8文件 引用人▼ 年份▼ 通过概率细化进行可靠性评估。 Zbl 0937.68087号 Elena A.Troubitsyna。 4 1999 概率蒸汽锅炉：概率数据精化的案例研究。 Zbl 0924.68022号 安娜贝拉·麦克维尔;卡罗尔·摩根;埃琳娜·特鲁比西纳 2 1998 容错方法、模型和工具。 Zbl 1160.68001号 2 2009 将随机推理集成到Event-B开发中。 Zbl 1328.68039号 安东·塔拉修克;特劳比特琳娜;莱比尼斯·利纳斯 2 2015 精炼自动化模式。 Zbl 1312.68072号 阿列克谢·伊利亚索夫;埃琳娜·特鲁比西纳;莱比尼斯·利纳斯;亚历山大·罗曼诺夫斯基 1 2010 将随机推理集成到Event-B开发中。 Zbl 1328.68039号 安东·塔拉修克;埃琳娜·特鲁比西纳;莱比尼斯·利纳斯 2 2015 精炼自动化模式。 Zbl 1312.68072号 阿列克谢·伊利亚索夫;埃琳娜·特鲁比西纳;莱比尼斯，利纳斯;亚历山大·罗曼诺夫斯基 1 2010 容错方法、模型和工具。 Zbl 1160.68001号 2 2009 通过概率细化进行可靠性评估。 Zbl 0937.68087号 Elena A.Troubitsyna。 4 1999 概率蒸汽锅炉：概率数据精化的案例研究。 Zbl 0924.68022号 安娜贝拉·麦克维尔;卡罗尔·摩根;埃琳娜·特鲁比西纳 2 1998 所有引用出版物 前5名被引用出版物 全部的 前5名被20位作者引用 2 拉里萨·梅尼基。 2 Elena A.Troubitsyna。 1 伊兰科·巴拉辛厄姆 1 安娜·卡瓦尔坎蒂 1 伊恩·海耶斯。 1 法拉纳克·海达尔 1 新一弘毅 1 石川，Fuyuki 1 埃纳尔·布罗赫·约翰森 1 法特梅·卡泽梅尼 1 小林，津都 1 莱比尼斯·利纳斯 1 马塞尔·奥利维拉 1 奥维，奥拉夫 1 朱利安·施马耳茨 1 金·索林 1 安东·塔拉修克 1 Vaandrager，Frits W。 1 维斯特巴卡，伊纳 1 泽达，弗兰克 5篇连载文章中引用 三 计算的形式方面 1 信息学报 1 计算 1 理论计算机科学 1 逻辑与代数程序设计杂志 在2个字段中引用 8 计算机科学（68至XX） 1 概率论与随机过程（60-XX） 按年份列出的引文