编辑配置文件（在新选项卡中打开） 保拉·吉安尼尼 合著者距离 作者ID： 吉安尼尼·帕奥拉 发布日期： 保拉·吉安尼尼 已编制索引的文档： 48出版物自1984年以来 3作为编辑的贡献 合著者： 36位合著者具有50联合出版物 554位合作作者 全部的 前5名合著者 0 单作者的 18 马里亚纽拉州Dezani-Ciancaglini 15 费卢西奥·达米亚尼 10 埃琳娜·祖卡 6 马里奥·科普 5 大卫·安科纳 5 伊利亚州卡斯特拉尼 4 索菲亚·克洛伊·德罗索波卢 4 西蒙娜·隆奇·德尔拉·罗卡 4 安吉洛·特洛伊娜 2 利维奥·比奥利奥 2 弗朗西斯科·达尼诺 2 埃琳娜·贾奇诺 2 马可·塞韦托 2 阿尔伯特·沙奇里 2 贝蒂·文内里 1 斯特凡诺·贝拉尔迪 1 洛伦佐·贝蒂尼 1 里卡多·比安奇尼 1 维维亚娜·博诺 1 沃尔特·卡佐拉 1 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 1 詹姆斯·科内 1 埃里克·P·德文克。 1 Furio Honsell 1 罗斯·霍恩 1 凯瑟琳·金 1 吉恩·克里文 1 朱塞佩·隆戈 1 伊曼纽拉·梅雷利 1 马修·米利多 1 奥斯卡·M·尼尔斯特拉斯。 1 亚历山德罗·里奇 1 戴维·桑吉奥吉 1 夏尔马、维沙卡 1 安德烈亚·瓦伦特 1 米尔科·维罗利 全部的 前5名系列 6 理论计算机科学 三 计算机科学科学年鉴 2 信息学报 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 理论计算机科学电子笔记 2 计算机科学中的逻辑方法 1 信息和控制 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 计算机程序设计科学 1 函数编程杂志 1 计算机基础理论 1 RAIRO公司。理论信息学及其应用 1 程序设计中的逻辑和代数方法杂志 领域 48 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 6 生物学和其他自然科学（92-XX） 三 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用106中的次75文件 引用人▼ 年份▼ 有效地给出了域和lambda-calculus模型。 Zbl 0599.03008号 保拉·吉安尼尼；朱塞佩·隆戈 10 1984 具有灵活选择的可逆会话。 Zbl 1462.68121号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 9 2019 类型推断。一些结果，一些问题。 Zbl 0797.68026号 保拉·吉安尼尼；Furio Honsell；西蒙娜·隆奇·德尔拉·罗卡 6 1993 具有内部委派的全局类型。 Zbl 1436.68208号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；罗斯·霍恩 6 2020 通过取消绑定和重新绑定扩展lambda-calculus。 Zbl 1220.68045号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡 5 2011 严格性、全面性和非标准型推理。 Zbl 0984.68028号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 5 2002 移动进程的过滤器模型。 Zbl 0923.68088号 费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 5 1999 基于相关性的可判定交叉口类型系统。 Zbl 0942.68612号 费卢西奥·达米亚尼；保拉·吉安尼尼 4 1994 分层多态类型规程的类型推理算法。 Zbl 0822.68016号 保拉·吉安尼尼；西蒙娜·隆奇·德拉·罗卡 4 1994 \（\mathcal F\）咯咯作响：动态对象重新分类。 Zbl 0982.68636号 索菲亚·德罗索波卢；费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2001 安全环境：抽象机器和分布式实现。 Zbl 1085.68044号 保拉·吉安尼尼；戴维·桑吉奥吉；安德烈亚·瓦伦特 4 2006 具有检查点的可逆多方会话。 Zbl 1478.68190号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2016 并发可逆会话。 Zbl 1442.68129号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2017 类JAVA语言中用于协调的类型安全状态抽象。 Zbl 1180.68098号 费卢西奥·达米亚尼；埃琳娜·贾奇诺；保拉·吉安尼尼；索菲亚·德罗索波卢 三 2008 简单交叉口类型系统的主要类型和统一。 Zbl 0834.68063号 马里奥·科普；保拉·吉安尼尼 三 1995 爪哇和兰姆达：一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼；维维亚娜·博诺；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；贝蒂·文内里 三 2018 多态类型学科中的类型推理。 Zbl 1493.68086号 保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 三 1991 交叉、通用量化和引用类型。 Zbl 1257.03039号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 2 2009 关于严格和全面。 Zbl 0884.03028号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 2 1997 意外对象重新分类的优化效果：\（\mathcal{F}{\mathit-ickle}_{3}\）（扩展抽象）。 Zbl 1257.68050号 费卢西奥·达米亚尼；索菲亚·德罗索波卢；保拉·吉安尼尼 2 2003 唯一性和不变性的灵活恢复。 Zbl 1417.68032号 保拉·吉安尼尼；马可·塞韦托；埃琳娜·祖卡；詹姆斯·科内 2 2019 多方会话的事件结构语义。 Zbl 1512.68163号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 2 2023 已取消对异步会话的全局类型的限制。 Zbl 07667093号 弗朗西斯科·达尼诺；保拉·吉安尼尼；马里亚纽拉州Dezani-Ciancaglini 2 2023 协调位置约束和名义约束。 Zbl 1464.68052号 大卫·安科纳；保拉·吉安尼尼；埃琳娜·祖卡 2 2013 基于推理的函数程序分析：死代码和严格性。 Zbl 0951.68017号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 1 1998 功能程序的基于类型的无用代码消除（立场文件）。 Zbl 1044.68542号 斯特凡诺·贝拉尔迪；马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 1 2000 计算机科学和生物学之间的相互作用。 Zbl 1315.00097号 1 2015 键入安全的增量重新绑定。 Zbl 1362.68035号 大卫·安科纳；保拉·吉安尼尼；埃琳娜·祖卡 1 2017 使用名称多态性进行增量重新绑定。 Zbl 1345.68092号 大卫·安科纳；保拉·吉安尼尼；埃琳娜·祖卡 1 2016 CLS中所需/排除元素的类型系统。 兹比尔1456.68041 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2009 用于取消绑定和重新绑定的交集类型。 Zbl 1457.68047号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡 1 2011 循环序列演算的类型化随机语义。 Zbl 1284.68317号 利维奥·比奥利奥；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2012 用于程序分析的优化类型。 Zbl 1482.68079号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 1 1996 具有异构系数的类Java演算。 Zbl 07729839号 里卡多·比安奇尼；弗朗西斯科·达尼诺；保拉·吉安尼尼；埃琳娜·祖卡 1 2023 多方会话的事件结构语义。 Zbl 1512.68163号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 2 2023 已取消对异步会话的全局类型的限制。 Zbl 07667093号 弗朗西斯科·达尼诺；保拉·吉安尼尼；马里亚纽拉州Dezani-Ciancaglini 2 2023 具有异构系数的类Java演算。 Zbl 07729839号 里卡多·比安奇尼；弗朗西斯科·达尼诺；保拉·吉安尼尼；埃琳娜·祖卡 1 2023 具有内部委派的全局类型。 Zbl 1436.68208号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；罗斯·霍恩 6 2020 具有灵活选择的可逆会话。 Zbl 1462.68121号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 9 2019 唯一性和不变性的灵活恢复。 Zbl 1417.68032号 保拉·吉安尼尼；马可·塞韦托；埃琳娜·祖卡；詹姆斯·科内 2 2019 爪哇和兰姆达：一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼；维维亚娜·博诺；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；贝蒂·文内里 三 2018 并发可逆会话。 Zbl 1442.68129号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2017 键入安全的增量重新绑定。 Zbl 1362.68035号 大卫·安科纳；保拉·吉安尼尼；埃琳娜·祖卡 1 2017 具有检查点的可逆多方会话。 Zbl 1478.68190号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2016 使用名称多态性进行增量重新绑定。 Zbl 1345.68092号 大卫·安科纳；保拉·吉安尼尼；埃琳娜·祖卡 1 2016 计算机科学和生物学之间的相互作用。 Zbl 1315.00097号 1 2015 协调位置约束和名义约束。 Zbl 1464.68052号 大卫·安科纳；保拉·吉安尼尼；埃琳娜·祖卡 2 2013 循环序列演算的类型化随机语义。 Zbl 1284.68317号 利维奥·比奥利奥；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2012 通过取消绑定和重新绑定扩展lambda-calculus。 Zbl 1220.68045号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡 5 2011 用于取消绑定和重新绑定的交集类型。 Zbl 1457.68047号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡 1 2011 交叉、通用量化和引用类型。 Zbl 1257.03039号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 2 2009 CLS中所需/排除元素的类型系统。 兹比尔1456.68041 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2009 类JAVA语言中用于协调的类型安全状态抽象。 Zbl 1180.68098号 费卢西奥·达米亚尼；埃琳娜·贾奇诺；保拉·吉安尼尼；索菲亚·德罗索波卢 三 2008 安全环境：抽象机器和分布式实现。 Zbl 1085.68044号 保拉·吉安尼尼；戴维·桑吉奥吉；安德烈亚·瓦伦特 4 2006 意外对象重新分类的优化效果：\（\mathcal{F}{\mathit-ickle}_{3}\）（扩展抽象）。 Zbl 1257.68050号 费卢西奥·达米亚尼；索菲亚·德罗索波卢；保拉·吉安尼尼 2 2003 严格性、全面性和非标准型推理。 Zbl 0984.68028号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 5 2002 \（\mathcal F\）咯咯作响：动态对象重新分类。 Zbl 0982.68636号 索菲亚·德罗索波卢；费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2001 功能程序的基于类型的无用代码消除（立场文件）。 Zbl 1044.68542号 斯特凡诺·贝拉尔迪；马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 1 2000 移动进程的过滤器模型。 Zbl 0923.68088号 费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 5 1999 基于推理的函数程序分析：死代码和严格性。 Zbl 0951.68017号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 1 1998 关于严格和全面。 Zbl 0884.03028号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 2 1997 用于程序分析的优化类型。 Zbl 1482.68079号 马里奥·科普；费卢西奥·达米亚尼；保拉·吉安尼尼 1 1996 简单交叉口类型系统的主要类型和统一。 Zbl 0834.68063号 马里奥·科普；保拉·吉安尼尼 三 1995 基于相关性的可判定交叉口类型系统。 Zbl 0942.68612号 费卢西奥·达米亚尼；保拉·吉安尼尼 4 1994 分层多态类型规程的类型推理算法。 Zbl 0822.68016号 保拉·吉安尼尼；西蒙娜·隆奇·德拉·罗卡 4 1994 类型推断。一些结果，一些问题。 Zbl 0797.68026号 保拉·吉安尼尼；Furio Honsell；西蒙娜·隆奇·德尔拉·罗卡 6 1993 多态类型学科中的类型推理。 Zbl 1493.68086号 保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 三 1991 有效地给出了域和lambda-calculus模型。 Zbl 0599.03008号 保拉·吉安尼尼；朱塞佩·隆戈 10 1984 所有引用出版物 前5名被引用出版物 全部的 前5名99位作者引用 16 保拉·吉安尼尼 13 马里亚纽拉州Dezani-Ciancaglini 7 埃琳娜·祖卡 6 西蒙娜·隆奇·德尔拉·罗卡 5 费卢西奥·达米亚尼 4 伊利亚州卡斯特拉尼 4 马里奥·科普 三 大卫·安科纳 三 弗朗西斯科·达尼诺 三 伊万·拉内斯 三 朱塞佩·隆戈 三 克劳迪奥·安塔雷斯·梅齐纳 三 斯普林，迪特 三 Jerzy Tiuryn 三 巴威·乌尔兹琴 2 佛朗哥·巴巴内拉 2 菲利普·比丁格 2 利维奥·比奥利奥 2 萨拉·卡佩基 2 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 2 奥尔内拉·达达 2 乌戈·德利古罗 2 索菲亚·克洛伊·德罗索波卢 2 埃琳娜·贾奇诺 2 罗斯·霍恩 2 迪莉娅·凯斯纳 2 阿萨夫·科福里。 2 温·科克 2 路易吉·利古里 2 乌韦·内斯特曼 2 佩雷斯（Jorge A.Pérez）。 2 柯斯汀·彼得斯 2 伊恩·菲利普斯。 2 大卫·萨贝尔 2 伊娜·谢弗 2 曼弗雷德·施密特·沙乌 2 马可·舒茨 2 马可·塞韦托 2 埃米利奥·托斯托 2 范·贝克尔，斯特芬 2 克里斯托夫·瓦格纳。 1 桑德拉·阿尔维斯 1 佩德罗·安吉洛 1 安德烈亚·阿斯佩蒂 1 斯特凡诺·贝拉尔迪 1 乌尔里希·伯杰 1 伦纳特·贝林格 1 香塔尔·伯林 1 洛伦佐·贝蒂尼 1 里卡多·比安奇尼 1 维维亚娜·博诺 1 吕克·爱迪克索芬 1 埃里克·恩斯特 1 马里奥弗洛里多 1 藤田，健毅 1 马可·加博阿迪 1 加西亚·佩雷斯·斯科菲尔德，J.巴尔塔萨尔 1 罗伯特·格莱克 1 丹尼尔·戈拉 1 尤里安·黑格 1 赫里萨菲斯·哈托纳斯 1 轩尼诗，Matthew C.B。 1 丹尼尔·赫施科夫 1 斯特凡·霍尔德曼 1 钟曼，宋世堂。 1 亚历山大·基特尔曼 1 朱利奥·曼佐内托 1 埃尔南·梅尔格拉蒂 1 雅罗斯瓦夫·亚当·米兹扎克 1 尤金尼奥·莫吉 1 马蒂奥·莫西奥 1 弗朗西斯科·奥尔廷 1 卢卡·帕多瓦尼 1 卢卡保利尼 1 朱利奥·皮安卡斯特利 1 毛罗·皮科洛 1 亚历克斯·波坦 1 Damien Pous 1 何塞·普伦萨 1 米盖尔·拉莫斯 1 何塞·曼纽尔·雷东多 1 亚历山德罗·里奇 1 卢卡·罗维斯 1 托比亚斯·伦格 1 安东尼奥·萨利布拉 1 戴维·桑吉奥吉 1 阿列克西·舒伯特 1 克里斯托夫·塞德尔 1 斯梅特泽斯，沙克 1 安吉洛·特洛伊娜 1 伊雷克·乌利多夫斯基 1 Van den Bussche，简 1 马尔科·范·埃克伦 1 丹尼尔·利马·文图拉 1 德国维达尔 1 米尔科·维罗利 1 埃马纽埃尔·沃勒 1 Wells，Joe B。 1 亚历克斯·詹姆斯·威尔基 全部的 前5名19篇连载文章中引用 12 理论计算机科学 7 信息与计算 5 纯逻辑与应用逻辑年鉴 4 计算机科学中的逻辑方法 三 信息学报 三 计算机程序设计科学 三 MSCS公司。计算机科学中的数学结构 三 程序设计中的逻辑和代数方法杂志 2 RAIRO公司。理论信息学及其应用 1 计算机与系统科学杂志 1 符号逻辑杂志 1 分布式计算 1 函数编程杂志 1 符号逻辑公报 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 理论生物学杂志 全部的 前5名在7个字段中引用 62 计算机科学（68至XX） 33 数学逻辑和基础（03-XX） 三 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 范畴理论；同调代数（18-XX） 1 量子理论（81-XX） 按年份列出的引文