编辑配置文件（在新选项卡中打开） Nepomniaschy，Valery A。 合著者距离 作者ID： 内波尼亚语瓦莱里语-a 发布日期： Nepomnyashchij，V.A。；内波米纳希。；内波尼亚希奇，V.A。；Nepomnyashchii，V.A。；Neponiaschij，V.A。；Neponjascii，V.A。；Nepomniaschy，Valery A。；Nepomnyashchiĭ，V.A。；瓦莱里·内波米纳希；Nepomnyashchy，V.A。 更多。。。较少的 外部链接： 数学网。俄罗斯 已编制索引的文档： 55出版物自1965年以来 3作为编辑的贡献 合著者： 42位合著者具有27联合出版物 955位合作作者 全部的 前5名合著者 31 单作者的 6 尼古拉·希洛夫五世。 5 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 5 A.A.苏里莫夫。 4 普罗姆斯基，A.V。 三 Evgeny V.博丹。 三 Aleksandr V.拜斯特罗夫。 三 Dmitri A.Chkliaev。 三 楚里娜，T.G。 2 丘巴列夫，P.A。 2 杜布拉诺夫斯基，I.V。 2 迈尔尼科夫，S.P。 2 奥库尼什尼科娃，E.V。 1 Alekseev，Aleksandr G。 1 Alekseev，G.I。 1 阿吉洛夫，V.S。 1 谢尔盖·阿特莫夫 1 巴兹迪什，尤尼斯 1 贝洛格拉佐夫，D.M。 1 莱昂尼德·博库特（Leonid A.Bokut）。 1 切夫塔科夫，E.A。 1 亚历山大·德克蒂亚（Alexander M.Dekhtyar）。 1 安德烈·彼得罗维奇·埃尔肖夫 1 尤里·古里维奇 1 Vitaly E.Kozura。 1 S.A.库托夫。 1 列文，Leonid A。 1 伊琳娜·洛马佐娃（Irina A.Lomazova）。 1 玛丽亚索夫，伊利亚 1 尤里·弗拉基米洛维奇·马蒂亚塞维奇 1 米哈伊洛夫，I.N。 1 谢尔盖·彼得罗维奇·诺维科夫 1 伊戈尔V·波托辛。 1 亚历山大·拉比诺维奇 1 维克托·萨贝尔菲尔德（Viktor K.Sabelfeld）。 1 弗拉基米尔·于萨佐诺夫。 1 A.O.斯利森科。 1 瓦莱里·阿纳托尔·埃维奇·索科洛夫 1 斯坦尼科，A.A。 1 马克·B·特拉赫滕布罗特（Mark B.Trakhtenbrot）。 1 维佐维丁，N.V。 1 卢茨·沃克尔 1 沃罗布埃夫，S.G。 全部的 前5名系列 17 编程与计算机软件 8 新西伯利亚计算中心（NCC）和A.P.Ershov信息系统研究所（IIS）联合公报。系列：计算机科学 4 Kibernetika岛 4 控制论与系统分析 三 苏联数学。多克拉迪 三 控制论 2 国际计算机与系统科学杂志 1 信息处理信件 1 俄罗斯数学调查 1 代数i Logika 1 理论计算机科学 1 Elektronische信息verarbeitung und Kybernetik 1 新西伯利亚计算中心公报。系列：计算机科学 1 DiskretnyĭAnaliz公司 1 计算机科学课堂讲稿 全部的 前5名领域 52 计算机科学（68至XX） 9 数理逻辑与基础（03-XX） 三 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用47中的次29文件 引用人▼ 年份▼ 基本谓词和图灵计算。 Zbl 0223.02031 Nepomnyashchij，V.A。 13 1970 面向C程序的验证：C内核语言的公理语义。 Zbl 1099.68544号 内波米纳希。；安努列夫，I.S。；普罗姆斯基。 4 2003 在改变的数据结构上验证确定迭代的符号方法。 Zbl 1099.68026号 内波米纳希。 4 2005 数据结构上确定迭代的符号验证方法。 Zbl 0917.68020号 内波米纳希。 三 1999 用PASCAL语言验证文件操作程序。 Zbl 0469.68013号 Nepomnyashchii，V.A。 三 1981 使用有色Petri网验证分布式系统的UCM规范。 兹比尔1317.93177 维佐维汀，N.V。；内波米纳希。；斯坦尼科，A.A。 三 2015 面向问题的程序验证。 兹比尔0602.68020 Nepomnyashchij，V.A。 2 1986 面向C程序的验证。C-light语言及其形式语义。 Zbl 1035.68064号 Nepomnyashchij，V.A。；安努列夫，I.S。；米哈伊洛夫，I.N。；普罗姆斯基，A.V。 2 2002 两带图灵计算的初步解释。 Zbl 0245.02034号 Nepomnyashchiĭ，V.A。 2 1970 在程序验证中消除循环不变量。 Zbl 0577.68027号 Nepomnyashchij，V.A。 2 1985 关于数据结构上确定迭代的符号验证方法。 Zbl 0951.68080号 内波米纳希。 2 1996 非确定性程序模式及其与动态逻辑的关系。 Zbl 0704.03011号 Neponiaschij，V.A。；新墨西哥州希洛夫。 2 1987 面向问题的验证系统及其在线性代数程序中的应用。 Zbl 0783.68080号 Nepomnyashchij，V.A。；A.A.苏里莫夫。 1 1993 使用高级Petri网验证特定于酯类的通信协议。 Zbl 0991.68049号 内波米纳希。；Alekseev，G.I。；Bystrov，A.V.公司。；米尔尼科夫，S.P。；奥库尼什尼科娃，E.V。；查巴列夫，P.A。；楚里娜，T.G。 1 2001 s-基本公式无法表示的谓词示例。 Zbl 0391.03017号 Nepomnyashchij，V.A。 1 1978 SPEKTR系统中线性代数程序的验证。 Zbl 0875.68639号 Nepomnyashchij，V.A。；A.A.苏里莫夫。 1 1992 面向问题的知识库及其在程序验证系统SPEKTR中的应用。 Zbl 0897.68066号 Nepomnyashchij，V.A。；A.A.苏里莫夫。 1 1997 使用有色Petri网验证分布式系统的UCM规范。 Zbl 1317.93177号 维佐维汀，N.V。；内波米纳希。；斯坦尼科，A.A。 三 2015 在改变的数据结构上验证确定迭代的符号方法。 Zbl 1099.68026号 内波米纳希。 4 2005 面向C程序的验证：C内核语言的公理语义。 Zbl 1099.68544号 内波米纳希。；安努列夫，I.S。；普罗姆斯基。 4 2003 面向C程序的验证。C-light语言及其形式语义。 Zbl 1035.68064号 Nepomnyashchij，V.A。；安努列夫，I.S。；米哈伊洛夫，I.N。；普罗姆斯基，A.V。 2 2002 使用高级Petri网验证特定于酯类的通信协议。 Zbl 0991.68049号 内波米纳希。；阿列克谢耶夫。；Bystrov，A.V.公司。；我的；尼科夫，S.P。；奥库尼什尼科娃，E.V。；查巴列夫，P.A。；楚里娜，T.G。 1 2001 数据结构上确定迭代的符号验证方法。 Zbl 0917.68020号 内波米纳希。 三 1999 面向问题的知识库及其在程序验证系统SPEKTR中的应用。 Zbl 0897.68066号 Nepomnyashchij，V.A。；A.A.苏里莫夫。 1 1997 关于数据结构上确定迭代的符号验证方法。 Zbl 0951.68080号 内波米纳希。 2 1996 面向问题的验证系统及其在线性代数程序中的应用。 Zbl 0783.68080号 Nepomnyashchij，V.A。；A.A.苏里莫夫。 1 1993 SPEKTR系统中线性代数程序的验证。 Zbl 0875.68639号 Nepomnyashchij，V.A。；A.A.苏里莫夫。 1 1992 非确定性程序模式及其与动态逻辑的关系。 Zbl 0704.03011号 Neponiaschij，V.A。；新墨西哥州希洛夫。 2 1987 面向问题的程序验证。 兹比尔0602.68020 Nepomnyashchij，V.A。 2 1986 在程序验证中消除循环不变量。 Zbl 0577.68027号 Nepomnyashchij，V.A。 2 1985 用PASCAL语言验证文件操作程序。 Zbl 0469.68013号 Nepomnyashchii，V.A。 三 1981 s-基本公式无法表示的谓词示例。 Zbl 0391.03017号 Nepomnyashchij，V.A。 1 1978 基本谓词和图灵计算。 Zbl 0223.02031 Nepomnyashchij，V.A。 13 1970 两带图灵计算的初步解释。 Zbl 0245.02034号 Nepomnyashchiĭ，V.A。 2 1970 所有引用的出版物 前5名被引用出版物 全部的 前5名38位作者引用 7 Nepomniaschy，Valery A。 三 伊戈尔·谢尔盖维奇（Igor’Sergeevich Anureev） 2 埃里克·艾伦德。 2 Samuel R.巴斯。 2 尼古拉·希洛夫五世。 1 阿吉洛夫，V.S。 1 阿尔伯特·阿特塞里亚斯 1 贝洛格拉佐夫，D.M。 1 A.Yu Bernshtein。 1 布兰奇，桑德琳 1 Aleksandr V.拜斯特罗夫。 1 克里斯蒂安·卡鲁德。 1 塞纳提姆波 1 切夫塔科夫，E.A。 1 楚里娜，T.G。 1 杜布拉诺夫斯基，I.V。 1 阿诺·杜兰德 1 格查斯、卡斯蒂斯 1 亚历山德罗·朱利安尼 1 Vivek K·戈尔。 1 威廉·黑塞 1 埃米尔·杰夏贝克 1 帕斯卡·科伊兰 1 德米特里·孔德拉特埃夫（Dmitri Kondrat’ev），阿列克桑德罗维奇（Aleksandrovich） 1 泽维尔·勒罗伊 1 尤里·林奇 1 Mix Barrington，David A。 1 更多，马利卡 1 普罗姆斯基，A.V。 1 兰·拉兹 1 希洛娃，S.O。 1 斯坦尼科，A.A。 1 图拉基斯，伊安尼斯 1 迪特尔·范·梅尔凯贝克 1 伊曼纽尔·维奥拉 1 维佐维汀，N.V。 1 雨果·沃尔格 1 理查德·瑞安·威廉姆斯 全部的 前5名15连载 4 编程与计算机软件 4 理论计算机科学 三 信息处理信件 三 控制论与系统分析 2 计算机与系统科学杂志 2 Modelirovanie i Analiz信息系统 1 统计物理杂志 1 西伯利亚数学杂志 1 组合数学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 自动推理杂志 1 法国数学协会（Mémoires de la SociétéMathématique de France）。Nouvelle Série公司 1 数学逻辑档案 1 计算复杂性 全部的 前5名在9个字段中引用 23 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 2 系统论；控制（93至XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 一般拓扑结构（54至XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文