编辑配置文件(在新选项卡中打开) 纳塔莉亚·斯克里普纽克 合著者距离 作者ID: skrypnyuk.nataliya公司 发布日期: Skrypnyuk,纳塔利娅 编入索引的文档: 3出版物自2011年起 合著者: 2位合著者具有3联合出版物 51位合作作者 合著者 0 单作者的 3 弗莱明·尼尔森 1 亨利克·皮利加德 系列 1 国际计算机科学基础杂志 1 逻辑与代数程序设计杂志 领域 3 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用4中的次2文件 引用人▼ 年份▼ 使用静态分析的有限状态过程代数的可达性。 Zbl 1348.68170号 纳塔莉亚·斯克里普纽克;弗莱明·尼尔森 2 2011 IMC的静态分析。 Zbl 1243.68220号 纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 2 2012 IMC的静态分析。 Zbl 1243.68220号 纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 2 2012 使用静态分析的有限状态过程代数的可达性。 兹比尔1348.68170 纳塔莉亚·斯克里普纽克;弗莱明·尼尔森 2 2011 3位作者引用 2 弗莱明·尼尔森 2 纳塔莉亚·斯克里普纽克 1 亨利克·皮利加德 2篇连载文章中引用 1 国际计算机科学基础杂志 1 逻辑与代数程序设计杂志 在2个字段中引用 2 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文