×

伊琳娜·B·维碧茨卡岩。

作者ID: virbitskaite.irina-b病毒最近的zbMATH文章由“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位合作作者

按年份列出的出版物

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

按年份列出的引文