编辑配置文件(在新选项卡中打开) 尼古拉斯·欧里 合著者距离 作者ID: 我们的尼古拉斯 发布日期: 尼古拉斯·欧里 已编制索引的文档: 10出版物自2003年以来,包括1个附加arXiv预打印 合著者: 10位合著者具有8联合出版物 275位合作作者 全部的 前5名合著者 2 单作者的 2 文森特·达诺斯 1 托尔斯滕·阿滕柯奇 1 丹尼尔森、尼尔斯·安德斯 1 奥哈德·卡玛 1 萨姆·林德利 1 安德烈斯·洛赫 1 Rasmus Lerchedahl彼得森 1 戈登·普洛金(Gordon D.Plotkin)。 1 索索、马蒂厄 1 沃特·斯威斯特拉 系列 2 MSCS公司。计算机科学中的数学结构 领域 9 计算机科学(68至XX) 2 概率论与随机过程(60-XX) 1 数学逻辑和基础(03-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用81中的次79文件 引用人▼ 年份▼ 一流类型的课程。 Zbl 1165.68475号 索索、马蒂厄;尼古拉斯·欧里 25 2008 处理程序正在运行。 Zbl 1323.68126号 奥哈德·卡玛;萨姆·林德利;尼古拉斯·欧里 22 2013 Coq证明助手中的观测等价性和程序提取。 Zbl 1039.68543号 尼古拉斯·欧里 11 2003 通过随机多级多集重写进行多级建模。 Zbl 1318.92015年 尼古拉斯·欧里;戈登·普洛金 6 2013 皮的力量。 Zbl 1323.68145号 尼古拉斯·欧里;沃特·斯威斯特拉 6 2008 \(\Pi\Sigma\):不含糖的依赖型。 兹比尔1284.68122 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;安德烈斯·洛赫;尼古拉斯·欧里 5 2010 平衡和终止。二: Petri网的例子。 Zbl 1271.68178号 文森特·达诺斯;尼古拉斯·欧里 4 2013 结构演算中的可拓性。 Zbl 1152.68422号 尼古拉斯·欧里 2 2005 处理程序正在运行。 Zbl 1323.68126号 奥哈德·卡玛;萨姆·林德利;尼古拉斯·欧里 22 2013 通过随机多级多集重写进行多级建模。 兹比尔1318.92015 尼古拉斯·欧里;戈登·普洛金 6 2013 平衡和终止。II: Petri网的情况。 Zbl 1271.68178号 文森特·达诺斯;尼古拉斯·欧里 4 2013 \(\Pi\Sigma\):不含糖的依赖型。 兹比尔1284.68122 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;安德烈斯·洛赫;尼古拉斯·欧里 5 2010 一流类型的课程。 Zbl 1165.68475号 索索、马蒂厄;尼古拉斯·欧里 25 2008 皮的力量。 Zbl 1323.68145号 尼古拉斯·欧里;沃特·斯威斯特拉 6 2008 结构演算中的可拓性。 Zbl 1152.68422号 尼古拉斯·欧里 2 2005 Coq证明助手中的观测等价性和程序提取。 Zbl 1039.68543号 尼古拉斯·欧里 11 2003 所有引用出版物 前5名被引用出版物 全部的 前5名175位作者引用 5 汤姆·施里杰弗斯 4 普雷特纳,马蒂亚 4 恩里科·塔西 三 萨姆·林德利 三 克劳迪奥·萨塞尔多蒂·科恩 三 沃特·斯威斯特拉 2 达内尔·阿赫曼 2 马克西姆·安布拉德 2 浅井,肯尼奇 2 安德烈亚·阿斯佩蒂 2 罗伯特·艾奇 2 安德烈·鲍尔 2 乌尔里希·伯杰 2 阿尔贝托·齐法格利翁 2 聪,又有 2 路易斯·克鲁兹·菲利佩 2 文森特·达诺斯 2 乔治·戈蒂尔 2 丹尼尔·希勒斯特罗姆 2 昆查尔,Ondřej 2 阿西亚·马布比 2 吉尔卡·马西克 2 布鲁诺·C·d·S·奥利维拉。 2 安德烈·波佩斯库 2 威尔默·里奇奥蒂 2 坂口和彦 2 阿穆尔·哈尼·萨利赫 2 彼得·施奈德·坎普 2 溅出物,Bas 2 阿伦·斯塔姆 2 安吉洛·特洛伊娜 2 阿德琳德·M·乌尔马赫。 2 汤姆·沃克 2 尼古拉斯·吴 1 法利斯·阿布·萨利赫 1 彼得·阿奇顿 1 雷纳尔德·阿弗尔德 1 阿马尔·艾哈迈德 1 碧、轩 1 利维奥·比奥利奥 1 弗雷德里克·布兰基 1 威廉·鲍曼。 1 Brachthäuser,乔纳森·伊曼纽尔 1 托马斯·布雷班特 1 大卫·J·布朗。 1 加布里埃尔·布劳恩 1 曹勤祥 1 切尼,詹姆斯 1 魏恩根·钦 1 西里尔·科恩 1 米歇尔·康坦特 1 卢卡斯修道院 1 马里奥·科普 1 Pieter J.L.Cuijpers。 1 皮埃尔·埃瓦里斯特·达甘 1 费卢西奥·达米亚尼 1 菲利普·德格罗特 1 马里亚纽拉州Dezani-Ciancaglini 1 彼得罗·迪·贾南托尼奥 1 德里克·德雷尔(Derek R.Dreyer)。 1 毛里齐奥·德罗科 1 Elizarov,A.M。 1 大流士·富 1 弗朗索瓦·加里洛 1 伊利亚斯·加尼尔 1 杰伦、布拉姆 1 保拉·吉安尼尼 1 杰里米·吉本斯 1 埃琳娜·格拉西 1 关、勇 1 马科托·哈马纳 1 滨野、Masahiro 1 纪尧姆·汉罗 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 Hideki桥本 1 乔纳森·马克·海曼 1 托拜厄斯·赫尔姆斯 1 克里斯·希恩 1 卡霍本田 1 胡镇江 1 石雄,恰基 1 塞萨里·卡利西克 1 奥哈德·卡玛 1 乔治·卡拉查利亚斯 1 马尔蒂·卡沃宁 1 玛丽·柯让 1 哈迪姆,美国。 1 Aleksandr Vital’evich,基里洛维奇 1 亨氏Koeppl 1 佩皮因·科克 1 皮特·库普曼 1 亚当·科布罗斯基 1 Paulette Koronkevich 1 罗伯特·克雷伯斯 1 尼拉坎坦·R·克里希纳斯瓦米。 1 彼得·兰米奇 1 金·斯卡·拉森 1 保罗·布莱恩·利维 1 李锡盟 1 英国利帕切夫。 …还有75位作者 全部的 前5名11篇连载文章中引用 11 函数编程杂志 7 自动推理杂志 6 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 三 高阶和符号计算 2 计算机科学中的逻辑方法 1 纯逻辑与应用逻辑年鉴 1 数学与人工智能年鉴 1 美国计算机学会模型和计算机仿真汇刊 1 洛巴切夫斯基数学杂志 1 逻辑程序设计理论与实践 全部的 前5名在12个字段中引用 74 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 7 生物学和其他自然科学(92-XX) 4 范畴理论;同调代数(18-XX) 2 几何图形(51至XX) 2 数值分析(65-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 概率论与随机过程(60-XX) 1 经典热力学,传热(80-XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文