编辑配置文件(在新选项卡中打开) 乌戈·德利古罗 合著者距离 作者ID: 德利古罗.ugo 发布日期: 乌戈·德利古罗;乌戈·德利古罗;乌戈·德利古罗;乌戈州德利戈罗;德利古罗,美国。 更多。。。较少的 主页: 网址:http://www.di.unito.it/~德里古/ 外部链接: 谷歌学者·ResearchGate研究之门·数据库管理程序 已编制索引的文档: 48出版物自1994年以来 4作为编辑的贡献 合著者: 27位合著者具有49联合出版物 432名Co-Co作者 全部的 前5名合著者 3 单作者的 15 佛朗哥·巴巴内拉 11 斯特凡诺·贝拉尔迪 10 马里亚纽拉州Dezani-Ciancaglini 8 范·贝克尔,斯特芬 4 阿道夫·皮佩尔诺 3 埃尔南·梅尔格拉蒂 3 里卡多·特雷格里亚 3 埃米利奥·托斯托 2 法比奥·阿莱西 2 贝塞,简 2 费利斯·卡多内 2 陈子春 2 鲍里斯·杜德尔 2 安德烈·杜登赫夫纳 2 雅各布·雷霍夫 1 托尔斯滕阿尔滕基奇 1 萨拉·卡佩基 1 费卢西奥·达米亚尼 1 丹尼尔·多尔蒂(Daniel J.Dougherty)。 1 克劳迪娅·法根 1 简·赫尔曼·杰弗斯 1 埃利奥·乔瓦内蒂 1 朱利奥·格雷里 1 罗尔夫·亨尼克 1 路易吉·利科里 1 亚历克西斯·索林 1 克劳德·斯托尔泽 全部的 前5名系列 4 理论计算机科学 4 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 3 信息与计算 3 骨髓间充质干细胞。计算机科学中的数学结构 2 理论计算机科学电子论文集(EPTCS) 1 SIAM计算机杂志 1 波兰数学年鉴。系列IV 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 计算系统理论 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 38 计算机科学(68至XX) 31 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 3 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 范畴理论;同调代数(18-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用172中的次122文件 引用人▼ 年份▼ 交集和并集类型:语法和语义。 Zbl 0832.68065号 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗 38 1995 用于并发\(\lambda \)演算的过滤器模型。 Zbl 0916.03017号 马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗;阿道夫·皮佩尔诺 20 1998 非类型化演算的非确定性扩展。 Zbl 1096.03502号 乌戈·德利古罗;阿道夫·皮佩尔诺 20 1995 基于会话的客户端/服务器系统的子行为关系。 Zbl 1361.68159号 佛朗哥·巴巴内拉;乌戈·德利古罗 16 2015 结膜分离\(lambda\)-calculi的过滤模型。 Zbl 0874.03015号 马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗;阿道夫·皮佩尔诺 9 1996 交集类型、(lambda)模型和Böhm树。 Zbl 0946.03016号 马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;乌戈·德利古罗 6 1998 可逆的客户端/服务器交互。 Zbl 1345.68016号 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗 5 2016 并发\(\lambda\)演算的完全抽象语义。 Zbl 0942.03509号 马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗;阿道夫·皮佩尔诺 4 1994 结合类型学科。 Zbl 0813.03009号 费利斯·卡多内;马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗 3 1994 通过交集类型表征对象计算中的收敛项。 Zbl 0981.03021号 乌戈·德利古罗 3 2001 (lambda\mu)-演算的过滤器模型(扩展抽象)。 Zbl 1331.03021号 范·贝克尔,斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 3 2011 子类型化对象和递归类型的逻辑等价。 Zbl 1136.68018号 范·贝克尔,斯特芬;乌戈·德利古罗 3 2008 EM({1})算法实现器的微积分。(扩展摘要)。 Zbl 1156.03333号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 3 2008 将非结构化推理解释为非单调学习。 Zbl 1169.68022号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 3 2009 放松客户机/服务器系统中合规性和子行为的概念。 Zbl 1433.68233号 佛朗哥·巴巴内拉;乌戈·德利古罗 3 2014 连接通信有限状态机的开放系统。 Zbl 1435.68211号 佛朗哥·巴巴内拉;乌戈·德利古罗;罗尔夫·亨尼克 3 2019 格上的凸幂域:它的逻辑和(lambda)-演算。 Zbl 0926.68023号 法比奥·阿莱西;马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗 2 1997 交互式实现器:一种从非结构化证明中提取程序的新方法。 Zbl 1351.68069号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 2 2012 协调的会话符合性。 Zbl 1353.68023号 佛朗哥·巴巴内拉;范·贝克尔,斯特芬;乌戈·德利古罗 2 2017 交集和并集类型的可实现性解释。 Zbl 1485.03030号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;乌戈·德利古罗;路易吉·利科里;克劳德·斯托尔泽 2 2016 键入非对称客户端-服务器交互。 Zbl 1274.68219号 佛朗哥·巴巴内拉;萨拉·卡佩基;乌戈·德利古罗 2 2010 强归一化\(\lambda\mu\)项的特征化。 Zbl 1464.03013号 范·贝克尔,斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 2 2013 结合类型学科。 Zbl 0919.03028号 费利斯·卡多内;马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗 1 1994 总体功能和基础良好的策略。(扩展摘要)。 Zbl 0932.03014号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 1999 一阶\(\varrho\)-演算的逻辑语义。 Zbl 1257.68052号 范·贝克尔,斯特芬;乌戈·德利古罗 1 2003 从逻辑上划分对象和递归类型。(扩展摘要)。 Zbl 1171.68418号 范·贝克尔,斯特芬;乌戈·德利古罗 1 2005 朝着重新设计的舞蹈设计迈进。 Zbl 1477.68178号 乌戈·德利古罗;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 1 2020 会话合同的伸缩性、游戏和编排。 Zbl 1459.68136号 佛朗哥·巴巴内拉;乌戈·德利古罗 1 2017 \(\lambda\mu\)-演算的交集类型。 Zbl 1459.03018号 范·贝克尔,斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 1 2018 非单调预定点和学习。 Zbl 1374.68541号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 2017 协调的会话符合性。 Zbl 1433.68234号 佛朗哥·巴巴内拉;范·贝克尔,斯特芬;乌戈·德利古罗 1 2015 协调交互的会话类型。 兹比尔1432.68300 佛朗哥·巴巴内拉;乌戈·德利古罗 1 2017 协调交互的会话类型和子类型。 Zbl 1433.68232号 佛朗哥·巴巴内拉;乌戈·德利古罗 1 2019 基于交集类型的Mixin合成。 Zbl 1433.03034号 贝塞,简;陈子春;安德烈·杜登赫夫纳;鲍里斯·杜德尔;乌戈·迪利古罗;雅各布·雷霍夫 1 2018 知识空间和学习策略的完整性。 Zbl 1326.68167号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 2014 基于交集类型的Mixin合成。 Zbl 1433.03035号 贝塞,简;安德烈·杜登赫夫纳;鲍里斯·杜德尔;陈子春;乌戈,德利古罗;雅各布·雷霍夫 1 2015 第26届国际校样和程序类型会议,2020年3月2日至5日,意大利都灵都灵大学,types 2020。 Zbl 1465.68018号 1 2021 非类型计算(lambda)演算及其交集类型规程。 Zbl 1464.68056号 乌戈·德利古罗;里卡多·特雷格里亚 1 2020 可以且必须在并发演算(扩展抽象)中收敛。 Zbl 1493.68079号 阿莱西,F。;Dezani-Ciancaglini,M。;德利古罗,美国。 1 1994 关于计算核心中的约简和归一化。 Zbl 1512.68129号 克劳迪娅·法根;朱利奥·格雷里;乌戈·德利古罗;里卡多·特雷格里亚 1 2022 关于计算核心中的约简和归一化。 兹比尔1512.68129 克劳迪娅·法根;朱利奥·格雷里;设计;乌戈·利古罗;里卡多·特雷格里亚 1 2022 第26届国际校样和程序类型会议,2020年3月2日至5日,意大利都灵都灵大学,types 2020。 Zbl 1465.68018号 1 2021 朝着重新设计的舞蹈设计迈进。 Zbl 1477.68178号 设计;乌戈·利古罗;埃尔南·梅尔格拉蒂;埃米利奥·托斯托 1 2020 非类型计算(lambda)演算及其交集类型规程。 Zbl 1464.68056号 德&rsquo的;乌戈·利古罗;里卡多·特雷格里亚 1 2020 连接通信有限状态机的开放系统。 Zbl 1435.68211号 佛朗哥·巴巴内拉;设计;乌戈·利古罗;罗尔夫·亨尼克 3 2019 协调交互的会话类型和子类型。 Zbl 1433.68232号 佛朗哥·巴巴内拉;设计;乌戈·利古罗 1 2019 \(\lambda\mu\)-演算的交集类型。 Zbl 1459.03018号 范·贝克尔,斯特芬;佛朗哥·巴巴内拉;设计;乌戈·利古罗 1 2018 基于交集类型的Mixin合成。 Zbl 1433.03034号 贝塞,简;陈子春;安德烈·杜登赫夫纳;鲍里斯·杜德尔;德&rsquo的;乌戈·利戈罗;雅各布·雷霍夫 1 2018 协调的会话符合性。 Zbl 1353.68023号 佛朗哥·巴巴内拉;范·贝克尔,斯特芬;设计;乌戈·利古罗 2 2017 会话契约的伸缩性、游戏和协调器。 Zbl 1459.68136号 佛朗哥·巴巴内拉;设计;乌戈·利古罗 1 2017 非单调预定点和学习。 Zbl 1374.68541号 斯特凡诺·贝拉尔迪;设计;乌戈州利古罗 1 2017 协调交互的会话类型。 Zbl 1432.68300号 佛朗哥·巴巴内拉;设计;乌戈·利古罗 1 2017 可逆的客户端/服务器交互。 Zbl 1345.68016号 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗 5 2016 交集和并集类型的可实现性解释。 Zbl 1485.03030号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;设计;乌戈·利古罗;路易吉·利科里;克劳德·斯托尔泽 2 2016 基于会话的客户端/服务器系统的子行为关系。 Zbl 1361.68159号 佛朗哥·巴巴内拉;设计;乌戈·利古罗 16 2015 协调的会话符合性。 Zbl 1433.68234号 佛朗哥·巴巴内拉;范·贝克尔,斯特芬;设计;乌戈·利古罗 1 2015 基于交集类型的Mixin合成。 Zbl 1433.03035号 贝塞,简;安德烈·杜登赫夫纳;鲍里斯·杜德尔;陈子春;德&rsquo的;乌戈·利古罗;雅各布·雷霍夫 1 2015 放松客户机/服务器系统中合规性和子行为的概念。 Zbl 1433.68233号 佛朗哥·巴巴内拉;设计;乌戈·利古罗 3 2014 知识空间和学习策略的完整性。 Zbl 1326.68167号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 1 2014 强正规化\(lambda\mu\)-项的特征。 Zbl 1464.03013号 范·贝克尔,斯特芬;佛朗哥·巴巴内拉;德&rsquo的;乌戈·利古罗 2 2013 交互式实现器:一种从非结构化证明中提取程序的新方法。 Zbl 1351.68069号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 2 2012 (lambda\mu)-演算的过滤器模型(扩展抽象)。 Zbl 1331.03021号 范·贝克尔,斯特芬;佛朗哥·巴巴内拉;设计;乌戈·利古罗 3 2011 键入非对称客户端-服务器交互。 兹比尔1274.68219 佛朗哥·巴巴内拉;萨拉·卡佩基;设计;乌戈·利古罗 2 2010 将非结构化推理解释为非单调学习。 Zbl 1169.68022号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 3 2009 子类型对象和递归类型的逻辑等价性。 Zbl 1136.68018号 范·贝克尔,斯特芬;设计;乌戈·利古罗 3 2008 EM({1})算法实现器的微积分。(扩展摘要)。 Zbl 1156.03333号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 3 2008 从逻辑上划分对象和递归类型。(扩展摘要)。 Zbl 1171.68418号 范·贝克尔,斯特芬;德&rsquo的;乌戈·利古罗 1 2005 一阶\(\varrho\)-演算的逻辑语义。 Zbl 1257.68052号 范·贝克尔,斯特芬;设计;乌戈·利古罗 1 2003 通过交集类型表征对象计算中的收敛项。 Zbl 0981.03021号 设计;乌戈·利古罗 3 2001 总体功能和基础良好的策略。(扩展摘要)。 Zbl 0932.03014号 斯特凡诺·贝拉尔迪;德&rsquo的;乌戈·利古罗 1 1999 并发演算的过滤模型。 Zbl 0916.03017号 马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗;阿道夫·皮佩尔诺 20 1998 交集类型、(lambda)模型和Böhm树。 Zbl 0946.03016号 马里亚纽拉州Dezani-Ciancaglini;埃利奥·乔瓦内蒂;设计;乌戈州利古罗 6 1998 格上的凸幂域:它的逻辑和(lambda)-演算。 Zbl 0926.68023号 法比奥·阿莱西;马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗 2 1997 结膜分离\(lambda\)-calculi的过滤模型。 Zbl 0874.03015号 马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗;阿道夫·皮佩尔诺 9 1996 交集和并集类型:语法和语义。 Zbl 0832.68065号 佛朗哥·巴巴内拉;马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗 38 1995 非类型化演算的非确定性扩展。 Zbl 1096.03502号 设计;乌戈州利古罗;阿道夫·皮佩尔诺 20 1995 并发演算的完全抽象语义。 Zbl 0942.03509号 马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗;阿道夫·皮佩尔诺 4 1994 结合类型学科。 Zbl 0813.03009号 费利斯·卡多内;马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗 3 1994 结合类型学科。 Zbl 0919.03028号 卡东,费利斯;马里亚纽拉州Dezani-Ciancaglini;设计;乌戈·利古罗 1 1994 可以且必须在并发演算(扩展抽象)中收敛。 Zbl 1493.68079号 阿莱西,F。;Dezani-Ciancaglini,M。;设计;美国利古罗。 1 1994 所有引用出版物 前5名被引用出版物 全部的 前5名140位作者引用 20 马里亚纽拉州Dezani-Ciancaglini 16 乌戈·德利古罗 9 佛朗哥·巴巴内拉 6 费德里科·阿西埃里 6 范·贝克尔,斯特芬 5 朱利奥,曼佐内托 5 埃米利奥·托斯托 4 斯特凡诺·贝拉尔迪 4 亚历杭德罗·迪亚斯·卡洛 4 西尔维娅·吉勒赞 4 迪莉娅·凯斯纳 4 路易吉·利科里 4 吉田、Nobuko 3 大卫·安科纳 3 马西莫·巴托莱蒂 3 安东尼奥·布恰雷利 3 达尔拉戈,乌戈 3 克劳迪娅·法根 3 保拉·詹尼尼 3 罗斯·霍恩 3 乔瓦尼·拉戈里奥 3 伊万·拉内斯 3 鲁本·罗伊,N.S。 3 阿尔切斯特·斯卡拉斯 3 克劳德·斯托尔泽 3 贝蒂·文内里 2 伊利亚州卡斯特拉尼 2 加布里埃尔·乔巴努 2 马里奥·科波 2 德弗里斯(Fer-Jan J.de Vries)。 2 丹尼尔·多尔蒂(Daniel J.Dougherty)。 2 Gilles Dowek 2 托马斯·埃尔哈德 2 弗朗西斯科·加瓦佐 2 埃利奥·乔瓦内蒂 2 Susumu Hayashi 2 丹尼尔·赫希科夫 2 横滨Motohama 2 毛里齐奥·穆尔吉亚 2 约万卡·潘托维奇 2 西蒙娜·隆奇·德尔拉·罗卡 2 西尔万·萨尔瓦蒂 2 戴维·桑吉奥吉 2 弗拉迪米罗·萨松 2 弗朗西斯科·蒂埃齐 2 贝诺缬氨酸 2 范·贝克尔,斯特芬·J·。 2 莱昂内尔·沃克斯 2 皮埃尔小瓶 2 玛格丽塔·佐齐 2 埃琳娜·祖卡 2 罗伯托·祖尼诺 1 拉赫达尔·阿克伦 1 法比奥·阿莱西 1 桑德拉·阿尔维斯 1 巴勃罗·阿里吉 1 亚历山德罗·贝拉杜奇 1 洛伦佐·贝蒂尼 1 乔瓦尼·比罗洛 1 劳拉·博奇 1 维维亚娜·博诺 1 马塞洛·玛丽亚·邦桑格 1 弗拉维恩·布鲁瓦特 1 塞缪尔·R·巴斯。 1 萨拉·卡佩基 1 Carayol,阿诺 1 费利斯·卡多内 1 朱塞佩·卡斯塔尼亚 1 斯特吉奥斯·查齐基里亚基迪斯 1 蒂齐亚娜·西莫利 1 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 1 可口、蒂埃里 1 安德烈亚·科拉迪 1 弗朗西斯科·达尼诺 1 费卢西奥·达米亚尼 1 罗曼·德曼根 1 亚历山德拉·迪·皮耶罗 1 乔舒亚·邓菲尔德 1 吉安·路易吉,法拉利 1 阿兰·弗里希 1 藤田,健毅 1 米盖尔·安吉尔·加西亚 1 埃琳娜·贾奇诺 1 卢·高布尔 1 朱利奥·格雷里 1 轩尼诗,Matthew C.B。 1 卢多维奇·亨利奥 1 Furio Honsell 1 黄雪晶 1 罗莎莉,伊姆霍夫 1 石原、Hajime 1 巴特·雅各布斯 1 斯维特拉纳·雅克西奇 1 索菲亚·奈特 1 乌尔里希·威廉·科伦巴赫 1 Joost N.角。 1 久田俊彦 1 拉尔夫·拉梅尔 1 科西莫·拉内夫 1 奥利维·洛朗 …和40多位作者 全部的 前5名22篇连载文章中引用 16 理论计算机科学 14 程序设计中的逻辑和代数方法杂志 10 计算机科学中的逻辑方法 7 信息与计算 7 骨髓间充质干细胞。计算机科学中的数学结构 5 纯逻辑与应用逻辑年鉴 2 信息处理信件 2 圣母院形式逻辑期刊 2 计算的形式方面 2 函数编程杂志 2 RAIRO公司。理论信息学及其应用 1 信息学报 1 符号逻辑杂志 1 Studia Logica公司 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 符号逻辑公报 1 计算系统理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 应用逻辑杂志 1 Oberwolfach报告 全部的 前5名在7个字段中引用 96 计算机科学(68至XX) 66 数学逻辑和基础(03-XX) 4 范畴理论;同调代数(18-XX) 3 总体主题;集合(00-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 凸和离散几何(52至XX) 按年份列出的引文