编辑配置文件(在新选项卡中打开) 娜塔莉亚·尤斯蒂诺娃 合著者距离 作者ID: ioustinova.natalia岛 发布日期: 娜塔莉亚·尤斯蒂诺娃 已编制索引的文档: 7出版物自2001年起 合著者: 10位合著者具有7联合出版物 196位合作作者 全部的 前5名合著者 0 单作者的 6 纳塔利亚·西多罗娃 2 马丁·斯特芬 2 范德波尔,扬·科内利斯 1 斯特凡·布隆 1 博什纳奇·德拉甘 1 詹斯·卡拉梅 1 威廉·扬·福克金 1 恩斯特·凯塞勒 1 雅罗斯拉夫·乌申科。 1 Yuri A.Yushtein。 系列 领域 7 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用4次4文件 引用人▼ 年份▼ 使用\(\mu\)CRL进行定时验证。 Zbl 1254.68145号 斯特凡·布隆;娜塔莉亚·尤斯蒂诺娃;纳塔利亚·西多罗娃 2 2003 适用于飞行数据采集装置的改进和验证。 Zbl 1012.68828号 Wan Fokkink公司;娜塔莉亚·尤斯蒂诺娃;恩斯特·凯塞勒;范德波尔(Jaco van de Pol);亚罗斯拉夫·乌森科。;Yuri A.Yushtein。 1 2002 利用公平使抽象有效。 Zbl 1125.68361号 博什纳奇·德拉甘;娜塔莉亚·尤斯蒂诺娃;纳塔利亚·西多罗娃 1 2004 利用公平使抽象有效。 Zbl 1125.68361号 博什纳奇·德拉甘;纳塔利娅·尤斯汀诺娃;纳塔利亚·西多罗娃 1 2004 使用\(\mu\)CRL进行定时验证。 Zbl 1254.68145号 斯特凡·布隆;娜塔莉亚·尤斯蒂诺娃;纳塔利亚·西多罗娃 2 2003 适用于飞行数据采集装置的改进和验证。 Zbl 1012.68828号 Wan Fokkink公司;娜塔莉亚·尤斯蒂诺娃;恩斯特·凯塞勒;范德波尔(Jaco van de Pol);亚罗斯拉夫·乌森科。;Yuri A.Yushtein。 1 2002 全部的 前5名被9位作者引用 1 埃里克·P·德文克。 1 休伯特·加拉维 1 弗雷德里克·朗 1 马丁·兰格 1 马库斯拿铁 1 西蒙娜·奥尔赞 1 扬·施托克 1 马克·蒂默 1 范德波尔,扬·科内利斯 连载1篇 1 计算机与系统科学杂志 在3个字段中引用 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文