编辑配置文件(在新选项卡中打开) 奥列格·基塞利约夫 合著者距离 作者ID: 基塞利约夫·奥列格 发布日期: 奥列格·基塞利约夫 已编制索引的文档: 26出版物自2002年起 2作为编辑的贡献 合著者: 23位合著者具有20联合出版物 381位合作作者 全部的 前5名合著者 8 单作者的 11 Shan、Chung-chieh 三 阿穆尔·萨布里 2 雅克·卡雷特 2 塞巴斯蒂安·费舍尔 2 丹尼尔·弗里德曼(Daniel P.Friedman)。 2 Yukiyoshi县Kameyama 1 浅井,肯尼奇 1 阿格洛斯·比布迪斯 1 William E.伯德。 1 阿尔伯特·科恩 1 塞巴斯蒂安·多纳迪奥 1 玛丽亚·加扎兰-耶稣 1 克里斯托夫·阿尔敏·赫尔曼 1 Imai、Keigo 1 国王,安迪 1 克里希纳穆提,施莱姆 1 朱莉娅·劳尔。 1 穆申成 1 大卫·A·帕多瓦。 1 尼克·帕拉迪诺斯 1 佩顿·琼斯,西蒙·L。 1 亚尼斯·斯马拉格达基斯 1 于托·苏多 系列 5 函数编程杂志 三 高阶和符号计算 2 计算机程序设计科学 1 理论计算机科学 1 计算机科学课堂讲稿 领域 27 计算机科学(68至XX) 2 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用87中的次68文件 引用人▼ 年份▼ 最后,无标记,部分评估:用于简单类型语言的无标记阶段口译员。 Zbl 1191.68158号 雅克·卡雷特;奥列格·基塞利约夫;Shan,Chung-Chieh公司 16 2009 回溯、交错和端接单声道变压器(功能珍珠)。 Zbl 1302.68061号 奥列格·基塞利约夫;Shan、Chung-chieh;丹尼尔·弗里德曼(Daniel P.Friedman)。;阿穆尔·萨布里 11 2005 使用functor和monad的多级编程:消除泛型代码的抽象开销。 Zbl 1215.68059号 雅克·卡雷特;奥列格·基塞利约夫 7 2011 打字无标签终审口译员。 Zbl 1375.68039号 奥列格·基塞利约夫 6 2012 纯功能的惰性非确定性编程。 Zbl 1262.68032号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan,Chung-Chieh公司 6 2011 纯功能惰性非确定性编程。 Zbl 1302.68058号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan、Chung-chieh 5 2009 用于分隔延续的子结构类型系统。 Zbl 1215.68124号 奥列格·基塞利约夫;Shan、Chung-chieh 5 2007 带分隔符的动态绑定。 Zbl 1321.68128号 奥列格·基塞利约夫;Shan、Chung-chieh;阿穆尔·萨布里 5 2006 寻找一个程序生成器来实现高性能计算的通用转换。 Zbl 1100.68535号 阿尔伯特·科恩;塞巴斯蒂安·多纳迪奥;玛丽亚·加扎兰-耶稣;克里斯托夫·赫尔曼;奥列格·基塞利约夫;大卫·帕多瓦 4 2006 \(\lambda\)到SKI,语义上是声明性珍珠。 Zbl 1507.68073号 奥列格·基塞利约夫 三 2018 移动舞台。带分隔控件的暂存。 Zbl 1248.68132号 Yukiyoshi县Kameyama;奥列格·基塞利约夫;Shan,Chung-Chieh公司 三 2011 OCaml中抽象和具体的分隔控制。 Zbl 1244.68015号 奥列格·基塞利约夫 三 2012 流融合,以实现完整性。 Zbl 1380.68084号 奥列格·基塞利约夫;阿格洛斯·比布迪斯;Palladinos,尼克;亚尼斯·斯马拉格达基斯 2 2017 纯粹的、陈述性的和构造性的算术关系。(声明珍珠)。 Zbl 1137.68574号 奥列格·基塞利约夫;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。;Shan、Chung-chieh 2 2008 不仅仅是通过方程式。具有可扩展效果的推理。 兹比尔1522.68124 奥列格·基塞利约夫;穆申成;阿穆尔·萨布里 2 2021 概率编程语言及其增量计算。 Zbl 1483.68054号 奥列格·基塞利约夫 2 2016 SXSLT:XML的操作语言。 Zbl 1026.68785号 奥列格·基塞利约夫;克里希纳穆提,施莱姆 1 2002 组成宏:系统宏编程。 Zbl 1028.68809号 奥列格·基塞利约夫 1 2002 轻量级静态功能。 Zbl 1277.68052号 奥列格·基塞利约夫;Shan、Chung-chieh 1 2007 功能和逻辑编程。2016年3月4日至6日,第13届国际研讨会,FLOPS 2016,日本高知。诉讼程序。 Zbl 1331.68016号 1 2016 类型函数的乐趣。 Zbl 1213.68190号 奥列格·基塞利约夫;西蒙·佩顿·琼斯;Shan,Chung-Chieh公司 1 2010 不仅仅是通过方程式。具有可扩展效果的推理。 兹比尔1522.68124 奥列格·基塞利约夫;穆申成;阿穆尔·萨布里 2 2021 \(\lambda\)到SKI,语义上是声明性珍珠。 Zbl 1507.68073号 奥列格·基塞利约夫 三 2018 流融合,以实现完整性。 Zbl 1380.68084号 奥列格·基塞利约夫;阿格洛斯·比布迪斯;尼克·帕拉迪诺斯;亚尼斯·斯马拉格达基斯 2 2017 概率编程语言及其增量计算。 Zbl 1483.68054号 奥列格·基塞利约夫 2 2016 功能和逻辑编程。2016年3月4日至6日,第13届国际研讨会,FLOPS 2016,日本高知。诉讼程序。 Zbl 1331.68016号 1 2016 打字无标签终审口译员。 Zbl 1375.68039号 奥列格·基塞利约夫 6 2012 OCaml中抽象和具体的分隔控制。 Zbl 1244.68015号 奥列格·基塞利约夫 三 2012 使用functor和monad的多级编程:消除泛型代码的抽象开销。 Zbl 1215.68059号 雅克·卡雷特;奥列格·基塞利约夫 7 2011 纯功能的惰性非确定性编程。 Zbl 1262.68032号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan,Chung-Chieh公司 6 2011 移动舞台。带分隔控件的暂存。 兹比尔1248.68132 Yukiyoshi县Kameyama;奥列格·基塞利约夫;Shan,Chung-Chieh公司 三 2011 类型函数的乐趣。 Zbl 1213.68190号 奥列格·基塞利约夫;西蒙·佩顿·琼斯;Shan,Chung-Chieh公司 1 2010 最后,无标记,部分评估:用于简单类型语言的无标记阶段口译员。 Zbl 1191.68158号 雅克·卡雷特;奥列格·基塞利约夫;Shan,Chung-Chieh公司 16 2009 纯功能惰性非确定性编程。 Zbl 1302.68058号 塞巴斯蒂安·费舍尔;奥列格·基塞利约夫;Shan、Chung-chieh 5 2009 纯粹的、陈述性的和构造性的算术关系。(声明珍珠)。 Zbl 1137.68574号 奥列格·基塞利约夫;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。;Shan、Chung-chieh 2 2008 用于分隔延续的子结构类型系统。 Zbl 1215.68124号 奥列格·基塞利约夫;Shan、Chung-chieh 5 2007 轻量级静态功能。 兹比尔1277.68052 奥列格·基塞利约夫;Shan、Chung-chieh 1 2007 带分隔符的动态绑定。 Zbl 1321.68128号 奥列格·基塞利约夫;Shan、Chung-chieh;阿穆尔·萨布里 5 2006 寻找一个程序生成器来实现高性能计算的通用转换。 Zbl 1100.68535号 阿尔伯特·科恩;塞巴斯蒂安·多纳迪奥;玛丽亚·加扎兰-耶稣;克里斯托夫·赫尔曼;奥列格·基塞利约夫;大卫·帕多瓦 4 2006 回溯、交错和端接单声道变压器(功能珍珠)。 Zbl 1302.68061号 奥列格·基塞利约夫;Shan、Chung-chieh;丹尼尔·弗里德曼(Daniel P.Friedman)。;阿穆尔·萨布里 11 2005 SXSLT:XML的操作语言。 兹比尔1026.68785 奥列格·基塞利约夫;克里希纳穆提,施莱姆 1 2002 组成宏:系统宏编程。 Zbl 1028.68809号 奥列格·基塞利约夫 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名121位作者引用 10 奥列格·基塞利约夫 6 雅克·卡雷特 5 Shan、Chung-chieh 4 Yukiyoshi县Kameyama 三 浅井,肯尼奇 三 Farmer,William M。 2 聪,又有 2 Masuda、Masahiro 2 松田,Kazutaka 2 罗素·奥康纳 2 汤姆·施里杰弗斯 2 保罗·塔劳 2 范登伯格,比尔特 2 王蒙 1 纪尧姆·阿拉伊斯 1 马克西姆·安布拉德 1 塞尔吉奥·安托伊 1 川崎朝田 1 罗伯特·艾奇 1 埃米尔·阿克塞尔森 1 尼克·本顿 1 Dariusz Biernacki 1 贾斯敏·克里斯蒂安·布兰切特 1 德米特里·布里切夫 1 Brachthäuser,乔纳森·伊曼纽尔 1 伯恩德·布拉埃尔 1 卢卡斯·布尔瓦恩 1 William E.伯德。 1 陈坤 1 切尼,詹姆斯 1 简·克里斯蒂安森 1 科恩·克莱森 1 克里斯蒂娜·大卫 1 菲利普·德格罗特 1 保罗·埃米利奥·德维莱纳 1 多米尼克·德夫里塞 1 凯文·唐纳利。 1 乔纳斯·杜雷格德 1 桑德拉·戴卢斯 1 弗兰蒂舍克·法尔卡 1 塞巴斯蒂安·费舍尔 1 Fluet,Matthew T。 1 丹尼尔·弗里德曼(Daniel P.Friedman)。 1 加西亚·佩雷斯,阿尔瓦罗 1 贡查罗夫,谢尔盖·萨沃斯特·亚诺维奇 1 马科托·哈马纳 1 凯文·哈蒙德 1 迈克尔·哈纳斯 1 大卫·哈拉伯达 1 丹尼尔·希勒斯特罗姆 1 马丁·霍夫曼 1 卡霍本田 1 伊利克、丹科 1 Imai、Keigo 1 井上俊一郎 1 石雄,恰基 1 安迪·乔斯特 1 奥哈德·卡玛 1 卡瓦塔,托鲁 1 安德鲁·肯尼迪。 1 邱小成 1 叶卡捷琳娜·科门丹茨基 1 皮特·库普曼 1 彼得·库尔扎诺夫 1 迈克尔·库塞拉 1 朗格莱,塞尔盖伊 1 林嘉茵 1 萨姆·林德利 1 刘宇大卫 1 吕贝尔斯、马特 1 阿尼尔·马达瓦佩迪 1 马克·卡罗尔 1 吉尔卡·马西克 1 蒂尔·莫萨科夫斯基 1 穆申成 1 普拉文·纳拉亚南 1 约瑟夫·P·奈尔(Joseph P.Near)。 1 Vivek Nigam先生 1 托比亚斯·尼普科 1 巴勃罗·诺盖拉 1 鲁伊·大仓 1 多米尼克·A·乌节。 1 克劳斯·奥斯特曼 1 米查·H·帕卡。 1 雨果·帕奎特 1 马尔科·帕维奥蒂 1 弗兰克·皮森斯 1 马西耶·皮罗格 1 彼得·波列修克 1 弗朗索瓦·波蒂埃 1 普雷特纳,马蒂亚 1 费比安·雷克 1 威尔默·里奇奥蒂 1 阿德里安·里斯科 1 胡安·罗德里格斯·霍塔拉 1 雷恩·罗曼诺 1 德米特里·罗兹普洛哈斯 1 约翰内斯·鲁道夫 1 阿穆尔·萨布里 1 卢茨·施罗德 …还有21位作者 全部的 前5名12篇连载文章中引用 13 函数编程杂志 6 高阶和符号计算 三 逻辑程序设计理论与实践 三 计算机科学中的逻辑方法 2 理论计算机科学 2 计算机程序设计科学 2 计算机语言、系统和结构 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 计算机基础理论 全部的 前5名在7个字段中引用 64 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 5 范畴理论;同调代数(18-XX) 1 特殊功能(33至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文