尤金尼奥·莫吉
人员信息
附属: 意大利热那亚大学
优化列表
2020年–今天
2023 [公元21年] 阿明·法朱迪安 , 尤金尼奥·莫吉 :
健壮性、Scott连续性和可计算性。 数学。 结构。 计算。 科学。 33 ( 6 ) : 536-572 ( 2023 ) [公元41年] 弗朗西斯科·达尼诺 , 阿明·法朱迪安 , 尤金尼奥·莫吉 :
连续量子数和Hausdorff-Smith Monad上度量空间的稳健性。 ICTAC公司 2023 : 313-331 [i3] 弗朗西斯科·达尼诺 , 阿明·法朱迪安 , 尤金尼奥·莫吉 :
连续量子数和Hausdorff-Smith Monad上度量空间的稳健性。 CoRR公司 腹肌/2309.06968 ( 2023 ) 2022 [i2] 阿明·法朱迪安 , 尤金尼奥·莫吉 :
健壮性、Scott连续性和可计算性。 CoRR公司 abs/2208.12347 ( 2022 ) 2020 [公元20年] 尤金尼奥·莫吉 , 瓦利德·塔哈 , 约翰·桑伯格 :
声音超过概率的近似值。 《网络学报》。 24 ( 3 ) : 269-285 ( 2020 )
2010 – 2019
2019 [公元40年] 尤金尼奥·莫吉 , 阿明·法朱迪安 , 瓦利德·塔哈 :
系统分析和稳健性。 信息通信与通信系统 2019 : 1-7 2018 [公元19年] 尤金尼奥·莫吉 , 阿明·法朱迪安 , 亚当·杜拉茨 , 瓦利德·塔哈 :
混合系统的安全和鲁棒可达性分析。 理论。 计算。 科学。 747 : 75至99 ( 2018 ) [公元39年] 尤金尼奥·莫吉 , 阿明·法朱迪安 , 瓦利德·塔哈 :
系统分析和鲁棒性。 模型、心态、元 2018 : 36-44 [公元38年] 亚当·杜拉茨 , 尤金尼奥·莫吉 , 瓦利德·塔哈 , 林振超 :
严格模拟的语义描述。 建模原理 2018 : 223-239 2017 [i1] 尤金尼奥·莫吉 , 阿明·法朱迪安 , 亚当·杜拉茨 , 瓦利德·塔哈 :
混合系统的安全与鲁棒可达性分析。 CoRR公司 腹肌/1709.05658 ( 2017 ) 2015 [公元37年] 瓦利德·塔哈 , 亚当·杜拉茨 , 曾英福 , 凯文·阿特金森 , 费伦茨·A·巴萨 , 保罗·布劳纳 , 扬·杜拉茨 , 费旭 , 罗伯特·卡特赖特 , 米查尔·科内肯(Michal Konecn) , 尤金尼奥·莫吉 , 贾瓦德·马苏德 , 佩雷里克·安德烈亚松 , 井上俊美 , 安妮塔·皮涅罗·圣安娜 , 罗兰·菲利普森 , 亚历山大·查普特 , 马西娅·奥马利 , 亚伦·D·艾姆斯 , 维罗尼卡·加斯佩斯 , Lise Hvatum公司 , 希亚姆·梅塔 , 亨利克·埃里克森 , 克里斯蒂安·格兰特 :
Acumen:网络物理系统研究的开放源代码测试平台。 物联网360(1) 2015 : 118-130 2012 [公元18年] 尤金尼奥·莫吉 :
引言ICTCS 2010特别版。 RAIRO提奥。 信息学应用。 46 ( 2 ) : 201 ( 2012 ) 2010 [公元17年] 毛罗·贾斯克利奥夫 , 尤金尼奥·莫吉 :
Monad变换器作为monoid变换器。 理论。 计算。 科学。 411 ( 51-52 ) : 4441-4466 ( 2010 )
2000 – 2009
2009 [公元36年] 尤金尼奥·莫吉 :
单体变形金刚。 信息通信与通信系统 2009 : 175-178 2007 [c35] 尤金尼奥·莫吉 :
构建操作语义:简化和计算。 计算、意义和逻辑 2007 : 479-497 [电子3] 朱塞佩·F·意大利 , 尤金尼奥·莫吉 , 路易吉·劳拉 :
理论计算机科学,第十届意大利会议,ICTCS 2007,罗马,意大利,2007年10月3-5日,会议记录。 世界科学 2007 ,国际标准图书编号 981-277-098-4 [目录] 2005 [公元16年] 尤金尼奥·莫吉 :
应用语义学:选定主题。 理论。 计算。 科学。 342 ( 1 ) : 1-2个 ( 2005 ) 2004 [公元15年] 尤金尼奥·莫吉 , Amr Sabry公司 :
值递归的抽象一元语义。 RAIRO提奥。 信息学应用。 38 ( 4 ) : 375-400 ( 2004 ) [公元14年] 吉安·路易吉·费拉里 , 尤金尼奥·莫吉 , 罗萨里奥·普格利泽 :
MetaKlaim:一种用于全局计算的类型安全的多阶段语言。 数学。 结构。 计算。 科学。 14 ( 3 ) : 367-395 ( 2004 ) [公元34年] 克里斯蒂亚诺·卡尔卡尼奥 , 尤金尼奥·莫吉 , 瓦利德·塔哈 :
分类器的类ML推理。 员工持股计划 2004 : 79-93 [公元33年] 戴维德·安科纳 , 尤金尼奥·莫吉 :
程序生成和组件。 FMCO公司 2004 : 222-250 [公元32年] 戴维德·安科纳 , 尤金尼奥·莫吉 :
名称管理的新微积分。 GPCE公司 2004 : 206-224 [电子2] 尤金尼奥·莫吉 , 大卫·斯科特·沃伦 :
2004年8月24日至26日在意大利维罗纳举行的第六届ACM SIGPLAN国际声明性编程原则和实践会议记录。 ACM公司 2004 ,国际标准图书编号 1-58113-819-9 [目录] 2003 [j13] 克里斯蒂亚诺·卡尔卡尼奥 , 尤金尼奥·莫吉 , 蒂姆·谢尔德 :
安全命令式MetaML的封闭类型。 J.功能。 程序。 13 ( 3 ) : 545-571 ( 2003 ) [公元31年] 尤金尼奥·莫吉 , Amr Sabry公司 :
值递归的抽象一元语义。 菲莎国际学院 2003 : 64-79 [公元30年] 尤金尼奥·莫吉 , 索尼娅·法戈齐 :
一种单一的多阶段元语言。 FoSSaCS公司 2003 : 358-374 [公元29年] 洛伦佐·贝蒂尼 , 维维亚娜·博诺 , 洛科·德·尼古拉 , 吉安·路易吉·法拉利 , 丹尼尔·戈拉 , 米歇尔·洛雷蒂 , 尤金尼奥·莫吉 , 罗萨里奥·普格利泽 , 埃米利奥·图斯托 , 贝蒂·文内里 :
克莱姆项目:理论与实践。 全球计算 2003 : 88至150 [公元28年] 戴维德·安科纳 , 索尼娅·法戈齐 , 尤金尼奥·莫吉 , 埃琳娜·祖卡 :
Mixin模块和计算效果。 ICALP公司 2003 : 224-238 2002 [公元12年] 马塞洛·P·菲奥雷 , 尤金尼奥·莫吉 , 戴维德·桑吉奥吉 :
[pi]-演算的完全抽象模型。 Inf.计算。 179 ( 1 ) : 76-117 ( 2002 ) [公元27年] 吉安·路易吉·费拉里 , 尤金尼奥·莫吉 , 罗萨里奥·普格利泽 :
环境监测监护人。 F-WAN@ICALP公司 2002 : 52-75 2001 [公元11年] 尤金尼奥·莫吉 , Amr Sabry公司 :
效果的单一封装:一种修订的方法(扩展版)。 J.功能。 程序。 11 ( 6 ) : 591-627 ( 2001 ) [公元10年] 马特·费尔特洛 , 迈克尔·门德勒 , 尤金尼奥·莫吉 :
特刊:类型理论中的模式。 数学。 结构。 计算。 科学。 11 ( 4 ) : 507-509 ( 2001 ) [公元26年] 吉安·路易吉·费拉里 , 尤金尼奥·莫吉 , 罗萨里奥·普格利泽 :
MetaKlaim:全球计算的元编程。 SAIG公司 2001 : 183-198 [公元25年] 吉安·路易吉·法拉利 , 尤金尼奥·莫吉 , 罗萨里奥·普格利泽 :
全球类型和网络服务。 康考德 2001 : 35-48 [公元24年] 吉安·路易吉·费拉里 , 尤金尼奥·莫吉 , 罗萨里奥·普格利泽 :
全球计算的高阶类型和元编程。 TOSCA公司 2001 : 52-68 2000 【c23】 尼克·本顿 , 约翰·休斯 , 尤金尼奥·莫吉 :
单曲和特效。 应用扫描电镜 2000 : 42-122 [公元22年] 克里斯蒂亚诺·卡尔卡尼奥 , 尤金尼奥·莫吉 , 瓦利德·塔哈 :
封闭类型是安全的强制多阶段编程的简单方法。 ICALP公司 2000 : 25-36 【c21】 克里斯蒂亚诺·卡尔卡尼奥 , 尤金尼奥·莫吉 :
多阶段命令式语言:一个保守的扩展结果。 SAIG公司 2000 : 92-107
1990 – 1999
1999 [公元20年] 尤金尼奥·莫吉 , 瓦利德·塔哈 , Zine-El-Abidine Benaissa公司 , 蒂姆·谢尔德 :
理想化的MetaML:更简单,更具表现力。 员工持股计划 1999 : 193-207 [第19条] 尤金尼奥·莫吉 , 法布里奇奥·帕伦博 :
效果的一元封装:一种修订的方法。 HOOTS公司 1999 : 121 [第18条] 尤金尼奥·莫吉 , 吉安娜·贝尔 , C.巴里·杰伊 :
单数、形状函子和遍历。 CTCS公司 1999 : 187-208 1998 [公元9年] C.巴里·杰伊 , 吉安娜·贝尔 , 尤金尼奥·莫吉 :
功能ML。 J.功能。 程序。 8 ( 6 ) : 573-619 ( 1998 ) [第17条] 尤金尼奥·莫吉 :
仿函数类别和两级语言。 FoSSaCS公司 1998 : 211-225 1997 [第16条] 吉安娜·贝尔 , 尤金尼奥·莫吉 :
形状分析的类型化中间语言。 薄层色谱分析 1997 : 11-29 [第15条] 尤金尼奥·莫吉 :
对两级语言的分类描述。 MFPS公司 1997 : 272 [电子1] 尤金尼奥·莫吉 , 朱塞佩·罗索里尼 :
类别理论与计算机科学,第七届国际会议,CTCS’97,圣玛格丽塔·利古尔,意大利,1997年9月4-6日,会议记录。 计算机科学课堂讲稿 1290, 施普林格 1997 ,国际标准图书编号 3-540-63455-X型 [目录] 1996 [第14条] 马塞洛·P·菲奥雷 , 尤金尼奥·莫吉 , 戴维德·桑吉奥吉 :
pi-Calculus的完全抽象模型(扩展抽象)。 低收入国家 1996 : 43-54 [第13条] 吉安娜·贝尔 , C.巴里·杰伊 , 尤金尼奥·莫吉 :
功能ML。 PLILP公司 1996 : 32-46 1995 [j8] 尤金尼奥·莫吉 :
评估逻辑的语义。 芬丹。 信息学 22 ( 1/2 ) : 第117页至第152页 ( 1995 ) [第12条] J.M.E.海兰德 , 尤金尼奥·莫吉 :
S-Replete构造。 范畴理论与计算机科学 1995 : 96-116 1994 [第11条] 尤金尼奥·莫吉 :
评估逻辑的通用语义。 低收入国家 1994 : 353-362 1991 [j7] 约翰·米切尔 , 尤金尼奥·莫吉 :
类型化lambda微积分的Kripke-风格模型。 Ann.纯粹应用。 日志。 51 ( 1-2个 ) : 99-124 ( 1991 ) [j6] 尤金尼奥·莫吉 :
计算和单数概念。 Inf.计算。 93 ( 1 ) : 55-92 ( 1991 ) [j5] 尤金尼奥·莫吉 :
程序模块的分类理论说明。 数学。 结构。 计算。 科学。 1 ( 1 ) : 103至139 ( 1991 ) 【j4】 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
构造性自然演绎及其“Omega-Set”解释。 数学。 结构。 计算。 科学。 1 ( 2 ) : 215-254 ( 1991 ) [第10条] 尤金尼奥·莫吉 :
指称语义的模块化方法。 范畴理论与计算机科学 1991 : 138-139 【c9】 雅各布施 , 尤金尼奥·莫吉 , 托马斯·斯特里彻 :
实证型理论的相关模型。 范畴理论与计算机科学 1991 : 197-218 1990 [j3] 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
函数完备性的范畴理论表征。 理论。 计算。 科学。 70 ( 2 ) : 193-211 ( 1990 ) 【c8】 罗伯·哈波 , 约翰·米切尔 , 尤金尼奥·莫吉 :
高阶模和相位区分。 POPL公司 1990 : 341-354
1980 – 1989
1989 【c7】 尤金尼奥·莫吉 :
程序模块的范畴理论说明。 范畴理论与计算机科学 1989 : 101-117 【c6】 尤金尼奥·莫吉 :
计算Lambda-微积分和单数。 低收入国家 1989 : 14-23 1988 [注2] 尤金尼奥·莫吉 :
有效物体类别中的部分形态。 Inf.计算。 76 ( 2/3 ) : 250-277 ( 1988 ) 1987 [c5] 约翰·米切尔 , 尤金尼奥·莫吉 :
Kripke-类型lambda演算的样式模型。 低收入国家 1987 : 303-314 【c4】 阿尔伯特·梅耶 , 约翰·米切尔 , 尤金尼奥·莫吉 , 理查德·斯塔特曼 :
多形Lambda微积分中的空类型。 POPL公司 1987 : 253-262 1985 【c3】 尤金尼奥·莫吉 :
部分形态范畴与λ 第页 -微积分。 CTCS公司 1985 : 242-251 1984 [j1] 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
高等类型中的遗传部分有效泛函和递归理论。 J.塞姆。 日志。 49 ( 4 ) : 1319-1332年 ( 1984 ) 【c2】 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
哥德尔数,主形态,组合代数:函数完备性的范畴理论表征。 MFCS公司 1984 : 397-406 【c1】 朱塞佩·隆戈 , 尤金尼奥·莫吉 :
有效类型结构的笛卡尔闭枚举分类(第一部分和第二部分)。 数据类型的语义 1984 : 235-255