编辑配置文件(在新选项卡中打开) 尤金尼奥·莫吉 合著者距离 作者ID: 莫吉·尤格尼奥 发布日期: 尤金尼奥·莫吉;莫吉,E。 已编制索引的文档: 45出版物自1984年以来,包括1额外的arXiv预印本 4作为编辑的贡献 合著者: 33位合著者具有34联合出版物 798合著作者 全部的 前5名合著者 14 单作者的 6 朱塞佩·隆戈 5 瓦利德·塔哈 4 克里斯蒂亚诺·加尔卡尼奥 4 阿明·法朱迪安 三 吉安娜·贝尔 三 吉安·路易吉,法拉利 三 罗萨里奥·普格利泽 2 大卫·安科纳 2 索尼娅·法戈齐 2 杰·巴里 2 阿穆尔·萨布里 1 尼克·本顿 1 洛伦佐·贝蒂尼 1 维维亚娜·博诺 1 弗朗西斯科·达尼诺 1 洛科·德尼古拉 1 亚当·杜拉茨 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 丹尼尔·戈拉 1 海兰德·J·马丁·E·。 1 意大利朱塞佩·弗朗西斯科 1 巴特·雅各布斯 1 毛罗·贾斯克利奥夫 1 劳拉,路易吉 1 米歇尔·洛雷蒂 1 约翰·米切尔(John C.Mitchell)。 1 朱塞佩·罗索里尼 1 戴维·桑吉奥吉 1 托马斯·斯特里彻 1 约翰·桑伯格 1 埃米利奥·托斯托 1 贝蒂·文内里 1 埃琳娜·祖卡 全部的 前5名系列 4 理论计算机科学 4 MSCS公司。计算机科学中的数学结构 三 信息与计算 三 函数编程杂志 1 控制论学报 1 符号逻辑杂志 1 波兰数学年鉴。系列IV 1 纯逻辑与应用逻辑年鉴 1 RAIRO公司。理论信息学及其应用 1 计算机科学课堂讲稿 1 RAIRO公司。理论信息学及其应用 全部的 前5名领域 42 计算机科学(68至XX) 15 范畴理论;同调代数(18-XX) 14 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 三 阶、格、有序代数结构(06-XX) 1 一般拓扑结构(54至XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用739中的次590文件 引用人▼ 年份▼ 计算和单子的概念。 Zbl 0723.68073号 尤金尼奥·莫吉 346 1991 计算lambda-calculus和monad。 Zbl 0716.03007号 尤金尼奥·莫吉 135 1989 (pi)演算的完全抽象模型。 Zbl 1053.68066号 菲奥雷,M.P。;莫吉,E。;桑吉奥吉,D。 28 2002 构造性自然演绎及其“(\omega\)-集”解释。 兹伯利0756.03028 朱塞佩·隆戈;尤金尼奥·莫吉 26 1991 类型化lambda演算的Kripke型模型。 Zbl 0728.03011号 约翰·米切尔(John C.Mitchell)。;尤金尼奥·莫吉 23 1991 单子和效果。 Zbl 1065.68064号 尼克·本顿;休斯,约翰;尤金尼奥·莫吉 19 2002 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 有效类型结构的笛卡尔闭枚举类别。 Zbl 0564.03037号 朱塞佩·隆戈;莫吉,E。 13 1984 高等类型中的遗传部分有效泛函和递归理论。 Zbl 0599.03051号 朱塞佩·隆戈;莫吉,E。 13 1984 部分态射和(lambda_p)演算的范畴。 Zbl 0628.03007号 尤金尼奥·莫吉 11 1986 有效对象类别中的部分形态。 Zbl 0655.18005号 尤金尼奥·莫吉 11 1988 程序模块的分类理论说明。 Zbl 0747.18009号 尤金尼奥·莫吉 11 1991 函数完整性的一种分类理论表征。 Zbl 0698.68008号 朱塞佩·隆戈;尤金尼奥·莫吉 9 1990 效果的一元封装:一种改进的方法。(扩展版本)。 Zbl 1037.68023号 莫吉,E。;阿穆尔·萨布里 7 2001 评估逻辑的语义。 Zbl 0816.68082号 尤金尼奥·莫吉 7 1995 指称语义的模块化方法。 Zbl 0792.68094号 尤金尼奥·莫吉 6 1991 程序模块的分类理论说明。 Zbl 1493.68118号 尤金尼奥·莫吉 6 1989 一种单声道多阶段元语言。 Zbl 1029.68042号 尤金尼奥·莫吉;索尼娅·法戈齐 5 2003 哥德尔数,主态射,组合代数。函数完整性的一种分类理论表征。 Zbl 0567.03003号 朱塞佩·隆戈;莫吉,E。 5 1984 混合系统的安全和鲁棒可达性分析。 Zbl 1400.68140号 尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 5 2018 值递归的抽象一元语义。 Zbl 1089.68029号 尤金尼奥·莫吉;阿穆尔·萨布里 4 2004 \(S\)-replete结构。 兹比尔1502.68172 海兰德,J.M.E。;莫吉,E。 4 1995 作为单线变压器的单线变压器。 Zbl 1209.68107号 毛罗·贾斯克利奥夫;尤金尼奥·莫吉 4 2010 系统分析和鲁棒性。 Zbl 1519.68165号 尤金尼奥·莫吉;阿明·法朱迪安;瓦利德·塔哈 三 2019 元语言和应用程序。 Zbl 0919.68085号 尤金尼奥·莫吉 三 1997 功能ML。 Zbl 0928.68017号 杰伊,C.B。;G·贝尔。;Moggi,E。 三 1998 分类器的类ML推理。 Zbl 1126.68330号 克里斯蒂亚诺·加尔卡尼奥;尤金尼奥·莫吉;瓦利德·塔哈 三 2004 单数,形状函子和遍历。 Zbl 0967.68038号 莫吉,E。;G·贝尔。;杰伊,C.B。 三 1999 仿函数类别和两级语言。 Zbl 0904.03017号 莫吉,E。 2 1998 封闭类型是保存命令式多阶段编程的简单方法。 Zbl 0973.68037号 克里斯蒂亚诺·加尔卡尼奥;尤金尼奥·莫吉;瓦利德塔哈 2 2000 非独立类型理论的相关模型。 Zbl 0794.03096号 巴特·雅各布斯;尤金尼奥·莫吉;托马斯·斯特里彻 2 1991 对两级语言的分类描述。 Zbl 0911.68095号 尤金尼奥·莫吉 2 1997 理论计算机科学。2007年10月3日至5日在意大利罗马举行的第十届意大利ICTCS会议记录。 兹比尔1220.68010 1 2007 MetaKlaim:一种用于全局计算的类型安全的多阶段语言。 Zbl 1085.68013号 Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽 1 2004 安全命令式MetaML的封闭类型。 Zbl 1036.68024号 加尔卡尼奥,C。;莫吉,E。;Sheard,T。 1 2003 概率的声音过近似。 Zbl 1463.62139号 尤金尼奥·莫吉;瓦利德·塔哈;约翰·桑伯格 1 2020 混合模块和计算效果。 Zbl 1039.68541号 大卫·安科纳;索尼娅·法戈齐;尤金尼奥·莫吉;埃琳娜·祖卡 1 2003 概率的声音过近似。 Zbl 1463.62139号 尤金尼奥·莫吉;瓦利德·塔哈;约翰·桑伯格 1 2020 系统分析和鲁棒性。 Zbl 1519.68165号 尤金尼奥·莫吉;阿明·法朱迪安;瓦利德塔哈 三 2019 混合系统的安全和鲁棒可达性分析。 Zbl 1400.68140号 尤金尼奥·莫吉;阿明·法朱迪安;亚当·杜拉茨;瓦利德·塔哈 5 2018 作为单线变压器的单线变压器。 Zbl 1209.68107号 毛罗·贾斯克利奥夫;尤金尼奥·莫吉 4 2010 理论计算机科学。2007年10月3日至5日在意大利罗马举行的第十届意大利ICTCS会议记录。 Zbl 1220.68010号 1 2007 值递归的抽象一元语义。 Zbl 1089.68029号 尤金尼奥·莫吉;阿穆尔·萨布里 4 2004 分类器的类ML推理。 Zbl 1126.68330号 克里斯蒂亚诺·加尔卡尼奥;尤金尼奥·莫吉;瓦利德·塔哈 三 2004 MetaKlaim:一种用于全局计算的类型安全的多阶段语言。 Zbl 1085.68013号 Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽 1 2004 克莱姆项目:理论与实践。 Zbl 1179.68027号 洛伦佐·贝蒂尼;维维亚娜·博诺;洛科·德尼古拉;Gianluigi法拉利;丹尼尔·戈拉;米歇尔·洛雷蒂;尤金尼奥·莫吉;罗萨里奥·普格利泽;埃米利奥·托斯托;贝蒂·文内里 13 2003 一种单声道多阶段元语言。 Zbl 1029.68042号 尤金尼奥·莫吉;索尼娅·法戈齐 5 2003 安全命令式MetaML的封闭类型。 Zbl 1036.68024号 Calcagno,C。;莫吉,E。;Sheard,T。 1 2003 混合模块和计算效果。 Zbl 1039.68541号 大卫·安科纳;索尼娅·法戈齐;尤金尼奥·莫吉;埃琳娜·祖卡 1 2003 (pi)演算的完全抽象模型。 Zbl 1053.68066号 菲奥雷,M.P。;莫吉,E。;桑吉奥吉,D。 28 2002 单子和效果。 Zbl 1065.68064号 尼克·本顿;休斯,约翰;尤金尼奥·莫吉 19 2002 效果的一元封装:一种改进的方法。(扩展版本)。 Zbl 1037.68023号 莫吉,E。;阿穆尔·萨布里 7 2001 封闭类型是保存命令式多阶段编程的简单方法。 Zbl 0973.68037号 克里斯蒂亚诺·加尔卡尼奥;尤金尼奥·莫吉;瓦利德·塔哈 2 2000 单数,形状函子和遍历。 Zbl 0967.68038号 莫吉,E。;G·贝尔。;杰伊,C.B。 三 1999 功能ML。 Zbl 0928.68017号 杰伊,C.B。;G·贝尔。;Moggi,E。 三 1998 仿函数类别和两级语言。 Zbl 0904.03017号 莫吉,E。 2 1998 元语言和应用程序。 Zbl 0919.68085号 尤金尼奥·莫吉 三 1997 对两级语言的分类描述。 兹比尔0911.68095 尤金尼奥·莫吉 2 1997 评估逻辑的语义。 Zbl 0816.68082号 尤金尼奥·莫吉 7 1995 \(S\)-replete结构。 Zbl 1502.68172号 海兰德,J.M.E。;莫吉,E。 4 1995 计算和单子的概念。 Zbl 0723.68073号 尤金尼奥·莫吉 346 1991 构造性自然演绎及其“(\omega\)-集”解释。 Zbl 0756.03028号 朱塞佩·隆戈;尤金尼奥·莫吉 26 1991 类型化lambda演算的Kripke型模型。 Zbl 0728.03011号 约翰·米切尔(John C.Mitchell)。;尤金尼奥·莫吉 23 1991 程序模块的分类理论说明。 Zbl 0747.18009号 尤金尼奥·莫吉 11 1991 指称语义的模块化方法。 兹比尔0792.68094 尤金尼奥·莫吉 6 1991 非独立类型理论的相关模型。 Zbl 0794.03096号 巴特·雅各布斯;尤金尼奥·莫吉;托马斯·斯特里彻 2 1991 函数完整性的一种分类理论表征。 Zbl 0698.68008号 朱塞佩·隆戈;尤金尼奥·莫吉 9 1990 计算lambda-calculus和monad。 Zbl 0716.03007号 尤金尼奥·莫吉 135 1989 程序模块的分类理论说明。 Zbl 1493.68118号 尤金尼奥·莫吉 6 1989 有效对象类别中的部分形态。 Zbl 0655.18005号 尤金尼奥·莫吉 11 1988 部分态射和(lambda_p)演算的范畴。 Zbl 0628.03007号 尤金尼奥·莫吉 11 1986 有效类型结构的笛卡尔闭枚举类别。 Zbl 0564.03037号 朱塞佩·隆戈;莫吉,E。 13 1984 高等类型中的遗传部分有效泛函和递归理论。 Zbl 0599.03051号 朱塞佩·隆戈;莫吉,E。 13 1984 哥德尔数,主态射,组合代数。函数完整性的一种分类理论表征。 Zbl 0567.03003号 朱塞佩·隆戈;莫吉,E。 5 1984 所有引用出版物 前5名被引用出版物 全部的 前5名被690位作者引用 17 权力,约翰 14 卢茨·施罗德 12 谢尔盖·冈查洛夫 10 尤金尼奥·莫吉 10 塔尔莫乌斯塔卢 9 海兰德·J·马丁·E·。 9 保罗·布莱恩·利维 9 萨姆·斯塔顿 8 巴特·雅各布斯 7 罗伯特·艾奇 7 法比奥·加杜奇 7 朱塞佩·隆戈 7 乌戈·蒙塔纳里。 7 马西耶·皮罗格 7 戈登·普洛金(Gordon D.Plotkin)。 6 英戈·巴滕菲尔德 6 拉尔斯·比克达尔 6 菲利波·邦奇 6 奥利维尔·丹维 6 胜本,Shin-ya 6 迪伦·麦克德莫特 6 斯特凡·米利厄斯 6 菲利普·莫里。 6 克里斯托夫·劳赫 6 菲利普·斯科特。 6 张瑜 5 泽纳·M·阿里奥拉。 5 科科特,J.罗宾B。 5 马塞洛·菲奥雷(Marcelo P.Fiore)。 5 理查德·加纳 5 杰里米·吉本斯 5 一郎·哈索 5 丹尼尔·李卡塔(Daniel R.Licata)。 5 迈克尔·门德勒 5 安德鲁·皮特斯(Andrew M.Pitts)。 5 阿穆尔·萨布里 5 佐藤,铁杉 4 马丁·阿巴迪 4 萨姆森·艾布拉姆斯基 4 丹尼尔·艾哈曼 4 尼克·本顿 4 文森佐·西安西亚 4 Ernst-Erich Doberkat 4 阿明·法朱迪安 4 尼尔·加尼 4 朱利奥·格雷里 4 克里斯·希恩 4 毛罗·贾斯克利奥夫 4 Yukiyoshi县Kameyama 4 克劳斯·凯梅尔 4 奥列格·基塞利约夫 4 马内斯(Ernie G.Manes)。 4 Lasse R.尼尔森。 4 弗莱明·尼尔森 4 巴甫洛维奇,杜什科 4 朱塞佩·罗索里尼 4 亚历克斯·K·辛普森。 4 溅出物,Bas 4 卡罗琳·塔尔科特。 4 菲利普·李·沃德勒 三 安德烈亚斯·阿贝尔(Andreas M.Abel)。 三 安德烈·鲍尔 三 安娜·布卡洛 三 罗伊·克罗。 三 皮埃尔·卢伊斯·居里 三 乌戈·达尔拉戈 三 乌戈·德利古罗 三 保罗·唐恩 三 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 三 让·古鲍特·拉雷克 三 轩尼诗,Matthew C.B。 三 雨果·赫贝林 三 马丁·霍夫曼 三 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 三 帕特里夏·约翰 三 奥哈德·卡玛 三 佐藤库拉 三 Lindley,Sam(山姆·林德利) 三 詹姆斯·利普顿。 三 约翰·朗利。 三 伊恩·梅森。 三 马里诺·米库兰 三 莫格尔贝里,拉斯穆斯·埃杰勒斯 三 蒂尔·莫萨科夫斯基 三 安德烈·穆拉夫斯基。 三 中泽,Koji 三 新,Max S。 三 大卫·E·诺瓦克。 三 普雷特纳,马蒂亚 三 汉内·里斯·尼尔森 三 马蒂亚斯·施罗德 三 Shan、Chung-chieh 三 亚历山德拉·席尔瓦 三 克里斯蒂安·斯特夫林 三 托马斯·斯特里彻 三 Makoto Tatsuta 三 雅各布·塔姆斯堡 三 Hayo Thielecke 三 里卡多·特雷格里亚 三 Tzevelekos,尼科斯 …还有590多名作者 全部的 前5名58篇连载文章被引用 105 理论计算机科学 39 MSCS公司。计算机科学中的数学结构 37 信息与计算 33 函数编程杂志 20 计算机科学中的逻辑方法 16 纯逻辑与应用逻辑年鉴 14 程序设计中的逻辑与代数方法杂志 11 纯代数与应用代数杂志 9 高阶与符号计算 7 逻辑与代数程序设计杂志 6 RAIRO公司。理论信息学及其应用 5 计算机程序设计科学 5 计算的形式方面 5 应用逻辑杂志 4 应用的分类结构 三 计算机与系统科学杂志 三 拓扑及其应用 三 计算机科学与技术杂志 三 计算机语言、系统和结构 2 信息学报 2 哲学逻辑杂志 2 编程与计算机软件 2 Studia Logica公司 2 符号计算杂志 2 新一代计算 2 自动推理杂志 2 逻辑、语言与信息杂志 2 范畴的理论与应用 2 计算系统理论 1 离散应用数学 1 信息处理信件 1 数学物理杂志 1 代数与逻辑 1 代数普遍性 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 数学集合呼吸 1 卡罗莱纳大学数学评论 1 模糊集与系统 1 信息科学 1 符号逻辑杂志 1 美国数学学会会刊 1 合成 1 概率论及其相关领域 1 国际计算机科学基础杂志 1 Indagationes Mathematicae公司。新系列 1 系统设计中的形式化方法 1 数学逻辑季刊(MLQ) 1 土耳其数学杂志 1 欧洲数学学会杂志(JEMS) 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 中国科学。F系列 1 计算机科学中的数学 1 第比利斯数学杂志 1 形式化推理杂志 1 RAIRO公司。理论信息学及其应用 1 理论生物学杂志 1 数学论坛,西格玛 全部的 前5名26个领域被引用 478 计算机科学(68至XX) 215 数学逻辑和基础(03-XX) 202 范畴理论;同调代数(18-XX) 17 阶、格、有序代数结构(06-XX) 14 一般代数系统(08-XX) 11 量子理论(81-XX) 11 博弈论、经济学、金融和其他社会和行为科学(91-XX) 10 一般拓扑结构(54至XX) 10 信息与通信理论、电路(94-XX) 7 代数拓扑(55-XX) 4 概率论与随机过程(60-XX) 2 历史与传记(01-XX) 2 组合数学(05-XX) 2 结合环与代数(16-XX) 2 动力系统和遍历理论(37至XX) 2 数值分析(65-XX) 1 交换代数(13-XX) 1 \(K\)理论(19-XX) 1 实际功能(26年X月X日) 1 测量和集成(28-XX) 1 功能分析(46倍X倍) 1 凸和离散几何(52至XX) 1 流形和细胞复合体(57至XX) 1 整体分析,流形分析(58至XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的引文