编辑配置文件(在新选项卡中打开) 伊琳娜·B·维碧茨卡岩。 合著者距离 作者ID: virbitskaite.irina-b病毒 发布日期: 伊琳娜Virbitskaite;Virbitskaite,I.B.公司。;伊琳娜·B·维碧茨卡岩。;Virbitskajte,I.B。;维碧石,I。 更多。。。较少的 主页: http://persons.iis.nsk.su/en/person/virbitskaite 外部链接: 数据库许可证 已编制索引的文档: 36出版物自1993年起 4作为编辑的贡献 合著者: 20位合著者具有34份联合出版物 333位合作作者 全部的 前5名合著者 4 单作者的 9 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 5 最好的,艾克 4 博振科娃(Elena N.Bozhenkova)。 4 E.A.波科齐。 4 安德烈·沃伦科夫 2 玛丽亚·安德列娃。 2 德米特里·布欣 2 罗曼·杜布佐夫。 2 Oshevskaya,Elena S。 2 波波瓦·齐格曼(Louchka Popova-Zeugmann) 1 博罗夫列夫,V.A。 1 维克托·博罗夫利奥夫 1 D.I.布欣。 1 克拉克(Edmund Melson jun Clarke)。 1 安娜·德多娃 1 汉斯·弗利什哈克 1 纳塔莉·莫斯卡尔乔娃(Nataly S.Moskaljova)。 1 阿米尔·普努利 1 伊戈尔·瓦勒维奇·塔拉修克 1 Votinseva,A.V.公司。 1 Anzhelika Votinseva 1 安德烈·于祖巴列夫(Andrey Yu Zubarev)。 全部的 前5名系列 9 编程和计算机软件 8 计算机基础理论 4 计算机科学课堂讲稿 三 新西伯利亚计算中心公报。系列:计算机科学 三 新西伯利亚计算中心(NCC)和A.P.Ershov信息系统研究所(IIS)联合公报。系列:计算机科学 1 计算机与人工智能 全部的 前5名领域 40 计算机科学(68至XX) 4 一般性和全局性主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 有序,格,有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用19中的次9文件 引用人▼ 年份▼ 时间稳定事件结构的观测等效性。 Zbl 1097.68080号 玛丽亚·安德列娃。;伊琳娜·B·维碧茨卡岩。 三 2006 基于测试等价性的时间并发模型分析。 Zbl 0965.68022号 玛丽亚·安德列娃。;博振科娃(Elena N.Bozhenkova)。;伊琳娜·B·维碧茨卡岩。 三 2000 时间Petri网的比较跟踪语义。 兹比尔1339.68183 D.I.布欣。;Virbitskaite,I.B.公司。 2 2015 时间Petri网中的真正并发等价。 兹比尔1380.68301 伊琳娜Virbitskaite;德米特里·布欣;最好的,艾克 2 2016 时间偏序模型的开放映射和观测等价性。 Zbl 1083.68088号 伊琳娜·B·维碧茨卡岩。;纳塔莉亚·格里博夫斯卡娅。 2 2004 非对称冲突事件结构的基于配置和残差的转换系统。 Zbl 1444.68113号 最好的,艾克;纳塔利亚·格里博夫斯卡娅;伊琳娜Virbitskaite 1 2017 时间Petri网行为的参数验证方法。 Zbl 0972.68124号 Virbitskaite,I.B.公司。;E.A.波科齐。 1 1999 时间延迟互模拟是时间转移系统的等价关系。 Zbl 1191.68437号 纳塔莉亚·格里博夫斯卡娅;伊琳娜Virbitskaite 1 2009 系统信息学的观点。2006年6月27日至30日,俄罗斯新西伯利亚,第六届安德烈·埃尔肖夫国际纪念大会,PSI 2006。修订论文。 Zbl 1179.68007号 1 2007 离散时间Petri网的“真正并发”和非确定性语义。 Zbl 1451.68194号 Virbitskaite,I.B.公司。;博罗夫列夫,V.A。;波波瓦·齐格曼。 1 2016 从面向事件的模型到过渡系统。 Zbl 1427.68183号 最好的,艾克;纳塔利亚·格里博夫斯卡娅;伊琳娜Virbitskaite 1 2018 时间弱互模拟的分类观点。 Zbl 1284.68426号 纳塔莉亚·格里博夫斯卡娅;伊琳娜Virbitskaite 1 2010 从面向事件的模型到过渡系统。 Zbl 1427.68183号 最好的,艾克;格里博夫斯卡娅,纳塔利娅;伊琳娜·维尔比特斯凯特 1 2018 非对称冲突事件结构的基于配置和残差的转换系统。 Zbl 1444.68113号 最好的,艾克;格里博夫斯卡娅,纳塔利娅;伊琳娜Virbitskaite 1 2017 时间Petri网中的真正并发等价。 Zbl 1380.68301号 伊琳娜Virbitskaite;德米特里·布欣;最好的,艾克 2 2016 离散时间Petri网的“真正并发”和非确定性语义。 Zbl 1451.68194号 Virbitskaite,I.B.公司。;博罗夫列夫,V.A。;波波瓦·齐格曼。 1 2016 时间Petri网的比较跟踪语义。 Zbl 1339.68183号 D.I.布欣。;Virbitskaite,I.B.公司。 2 2015 时间弱互模拟的分类观点。 Zbl 1284.68426号 纳塔莉亚·格里博夫斯卡娅;伊琳娜Virbitskaite 1 2010 时间延迟互模拟是时间转移系统的等价关系。 Zbl 1191.68437号 纳塔莉亚·格里博夫斯卡娅;伊琳娜Virbitskaite 1 2009 系统信息学的观点。2006年6月27日至30日,俄罗斯新西伯利亚,第六届安德烈·埃尔肖夫国际纪念大会,PSI 2006。修订论文。 Zbl 1179.68007号 1 2007 时间稳定事件结构的观测等效性。 Zbl 1097.68080号 玛丽亚·安德列娃。;伊琳娜·B·维碧茨卡岩。 三 2006 时间偏序模型的开放映射和观测等价性。 Zbl 1083.68088号 伊琳娜·B·维碧茨卡岩。;纳塔莉亚·格里博夫斯卡娅。 2 2004 基于测试等价性的时间并发模型分析。 Zbl 0965.68022号 玛丽亚·安德列娃。;博振科娃(Elena N.Bozhenkova)。;伊琳娜·B·维碧茨卡岩。 三 2000 一种对时间Petri网行为进行参数验证的方法。 兹伯利0972.68124 Virbitskaite,I.B.公司。;E.A.波科齐。 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名13位作者引用 4 伊琳娜·B·维碧茨卡岩。 2 博振科娃(Elena N.Bozhenkova)。 2 格里博夫斯卡娅,纳塔利娅·谢尔盖耶夫娜 1 托马斯·布伦戈斯 1 罗曼·杜布佐夫。 1 稻田,Kazuhiro 1 莱姆,迪迪埃 1 克劳德·马丁内斯 1 松田和川 1 中野圭介 1 马尔科·佩雷索蒂 1 奥利维尔·H·鲁克斯。 1 安德烈·于祖巴列夫(Andrey Yu Zubarev)。 引用于4个系列 5 编程和计算机软件 1 离散事件动态系统 1 高阶和符号计算 1 计算机科学中的逻辑方法 在5个字段中引用 8 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 范畴理论;同调代数(18-XX) 1 系统论;控制(93至XX) 按年份列出的引文