编辑配置文件（在新选项卡中打开） 马里亚纽拉州Dezani-Ciancaglini 合著者距离 作者ID： dezani-ciancaglini.mariangiola公司 发布日期： 马里亚纽拉州Dezani-Ciancaglini；Dezani-Ciancaglini，M。；马里安吉拉·德扎尼；马里安哥拉德萨尼西亚加格利尼；德扎尼·西安卡里尼（Dezani-Ciancaglini），马里安戈拉（Mariangola）；Dezani Ciancaglini，M。；德扎尼，M。 更多。。。较少的 主页： 网址：http://www.di.unito.it/~德扎尼/ 外部链接： MGP公司·逆戟鲸·谷歌学者·ResearchGate研究之门·数据库许可证·ID参考·论文.fr 已编制索引的文档： 141出版物自1972年起 作为编辑的10份贡献·2进一步捐款 传记参考文献： 2出版物 合著者： 100位合著者具有151联合出版物 1282位合作作者 全部的 前5名合著者 2 单作者的 30 马里奥·科普 18 保拉·吉安尼尼 13 科拉多·伯姆 12 佛朗哥·巴巴内拉 11 伊利亚州卡斯特拉尼 10 法比奥·阿莱西 10 乌戈·德利古罗 10 西尔维娅·吉勒赞 9 埃利奥·乔瓦内蒂 9 西蒙娜·隆奇·德拉·罗卡 9 贝蒂·文奈里 9 吉田、Nobuko 7 萨拉·卡佩基 7 Furio Honsell 6 伊内斯·玛格丽亚 6 马达莱娜·扎基 5 维维亚娜·博诺 5 索菲亚·克洛伊·德罗索波卢 5 横滨Motohama 5 约万卡·潘托维奇 5 Severi、Paula Gabriela 5 安吉洛·特洛伊娜 4 洛伦佐·贝蒂尼 4 埃琳娜·贾奇诺 4 朱塞佩·隆戈 4 卢卡·帕多瓦尼 4 弗拉迪米罗·萨松 三 乔治·奥塞洛 三 亨德里克·彼得·巴伦德雷格特 三 米歇尔·布格列西 三 费利斯·卡多内 三 德弗里斯（Fer-Jan J.de Vries）。 三 阿道夫·皮珀诺 三 伊万诺·萨尔沃 三 Makoto Tatsuta 三 范·贝克尔，斯特芬 三 埃琳娜·祖卡 2 利维奥·比奥利奥 2 爱德华多·博内利 2 朱塞佩·卡斯塔尼亚 2 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 2 弗朗西斯科·达格尼诺 2 费卢西奥·达米亚尼 2 罗伯托·迪·科斯莫 2 巴勃罗·加拉尔达 2 J.Roger欣德利 2 罗斯·霍恩 2 斯维特拉纳·雅克西奇 2 佩雷斯（Jorge A.Pérez）。 2 戈登·普洛金（Gordon D.Plotkin）。 2 罗萨里奥·普格利泽 2 乔纳森·塞尔丁。 2 理查德·斯塔特曼 2 高桥，Masako 2 埃米利奥·托斯托 2 巴威·乌尔兹琴 2 丹尼尔·瓦拉卡 1 彼得·阿策尔 1 亚历山大·埃亨 1 阿曼，博格丹 1 罗伯托·巴布蒂 1 马西莫·巴托莱蒂 1 亚历山德罗·贝拉杜奇 1 马克·贝泽姆 1 阿丽埃拉·伯姆 1 伊曼纽尔·伯姆 1 米歇尔·伯恩 1 诺拉·佩鲁贾·伯姆 1 马丁·邦德。 1 陈子春 1 费德里科·科齐 1 文森特·达诺斯 1 洛丽斯·达安东尼 1 尼古拉斯·戈弗特·德布鲁因 1 马可·德卢卡 1 Wil J.M.德克斯。 1 Deniélou、Pierre-Malo 1 朱斯塔斯·迪勒 1 丹·多尔蒂 1 Gilles Dowek 1 弗朗索瓦·埃尔明 1 所罗门·费弗曼 1 菲奇，弗雷德里克·布伦顿 1 阿兰·弗里希 1 罗宾·甘迪。 1 保罗·C·吉尔摩。 1 威廉·阿尔文·霍华德 1 约翰·T·卡恩斯。 1 扬·威廉·克鲁普 1 科曼斯，喀斯特 1 亚历山大·谢尔盖维奇·库齐切夫 1 约阿希姆·兰贝克 1 伊万·拉内斯 1 圣埃芬·让·埃里克·伦格兰德 1 皮埃尔·莱斯坎 1 珍妮·雅克·利维 1 西尔维亚·利卡维奇 1 路易吉·利科里 1 斯蒂芬妮娅·卢辛 1 安德烈亚·马焦洛·谢蒂尼 ……还有28位合著者 全部的 前5名系列 19 理论计算机科学 9 MSCS公司。计算机科学中的数学结构 6 信息与计算 5 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 三 圣母院形式逻辑杂志 三 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 三 计算机基础理论 三 计算机科学课堂讲稿 2 卡尔科洛 2 国际计算机与信息科学杂志 2 SIAM计算机杂志 2 计算的形式方面 2 ACM计算逻辑事务 1 信息学报 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 控制与控制论 1 符号逻辑杂志 1 RAIRO，Informatique Théorique公司 1 Zeitschrift für Mathematische Logik和Grundlagen der Mathematik 1 纯逻辑与应用逻辑年鉴 1 逻辑与计算杂志 1 理论计算机科学电子笔记 1 MSJ回忆录 1 计算机科学科学年鉴 1 RAIRO公司。理论信息学及其应用 1 Revue Française d’Automatique、Informatique、Recherche Opérationnelle。红Série Rouge 1 逻辑观点 全部的 前5名领域 119 计算机科学（68至XX） 69 数理逻辑与基础（03-XX） 10 总体主题；集合（00-XX） 4 生物学和其他自然科学（92-XX） 2 历史和传记（01-XX） 2 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 137出版物有被引用1219中的次489文件 引用人▼ 年份▼ 过滤器lambda模型和类型赋值的完整性。 Zbl 0545.03004号 亨克·巴伦德雷格特；马里奥·科普；马里亚纽拉州Dezani-Ciancaglini 158 1983 致H.B.Curry：关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 145 1980 （lambda）-演算基本功能理论的扩展。 Zbl 0423.03010号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini 81 1980 可解项的函数特征。 Zbl 0479.03006号 M.科波。；Dezani-Ciancaglini，M。；B.Venneri。 57 1981 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 亨克·巴伦德雷格特；威尔·德克尔斯；理查德·斯塔特曼 55 2013 扩展类型结构和过滤lambda模型。 Zbl 0558.03007号 M.科波。；Dezani-Ciancaglini，M。；F.Honsell。；朱塞佩·隆戈 55 1984 \（\lambda\）-terms的新类型赋值。 Zbl 0418.03010号 M.科波。；Dezani-Ciancaglini，M。 52 1978 动态交错多方会话的全局进度。 Zbl 1361.68165号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko；卢卡·帕多瓦尼 39 2016 交集和并集类型：语法和语义。 Zbl 0832.68065号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗 38 1995 动态交错多方会话的全球进展。 Zbl 1160.68456号 洛伦佐·贝蒂尼；马里奥·科普；洛丽斯·达安东尼；马可·德卢卡；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko 36 2008 类型理论、范式和（D_{\infty}）-lambda-models。 Zbl 0645.03011号 M.科波。；Dezani Ciancaglini，M。；M.扎基。 34 1987 在（λ）-（β）-（eta）-演算中具有逆的正规形式的特征。 Zbl 0368.02028号 马里亚纽拉州Dezani-Ciancaglini 23 1976 关于全球类型和多方会议。 Zbl 1238.68026号 朱塞佩·卡斯塔尼亚；马里亚纽拉州Dezani-Ciancaglini；卢卡·帕多瓦尼 22 2012 并发演算的过滤模型。 Zbl 0916.03017号 马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗；阿道夫·皮珀诺 20 1998 会话类型中子类型的精确性。 Zbl 1398.68360号 陈子春；马里亚纽拉州Dezani-Ciancaglini；斯卡拉斯，阿尔凯斯特；吉田、Nobuko 17 2017 面向对象语言的异步会话类型和进度。 Zbl 1202.68094号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko 17 2007 对象和会话类型。 Zbl 1183.68358号 马里亚纽拉州Dezani-Ciancaglini；索菲亚·德罗索波卢；迪米特里斯·莫斯特鲁斯；吉田、Nobuko 15 2009 （lambda-\beta\）-演算中的判别算法。 Zbl 0405.03005号 Böhm，C。；Dezani-Ciancaglini，M。；佩雷蒂，P。；Ronchi della Rocca，S。 14 1979 组合逻辑的交集类型。 Zbl 0771.03004号 马里亚纽拉州Dezani-Ciancaglini；J.Roger欣德利 12 1992 组合问题，组合方程和范式。 Zbl 0309.68037号 科拉多·伯姆；马里亚纽拉州Dezani-Ciancaglini 12 1974 \（lambda）-正规形式上的全部或部分函数。 Zbl 0342.02017 科拉多·伯姆；马里亚纽拉州Dezani-Ciancaglini 12 1975 Scott（D_infty）-（lambda）-演算模型中有限项集的（半）-可分离性。 Zbl 0394.03021号 M.科波。；Dezani-Ciancaglini，M。；Ronchi della Rocca，S。 12 1978 F完全类型赋值的特征。 Zbl 0619.03014号 马里亚纽拉州Dezani-Ciancaglini；伊内斯·玛格丽亚 11 1986 移动安全环境的安全类型。 Zbl 0988.68544号 Dezani-Ciancaglini，M。；萨尔沃，I。 11 2000 lambda演算中一些语义等式的函数表征。 Zbl 0411.03013号 M.科波。；Dezani-Ciancaglini，M。；P·萨尔。 11 1979 用于访问和信息流控制的会话类型。 Zbl 1287.68126号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；塔马拉·雷兹克 11 2010 无限\（\lambda\）-微积分和类型。 Zbl 0913.68131号 亚历山德罗·贝拉杜奇；马里亚纽拉州Dezani-Ciancaglini 11 1999 过滤模型和简单术语。 Zbl 1042.03014号 法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini；Furio Honsell 10 2001 对多方异步会话类型的简单介绍。 Zbl 1346.68034号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；卢卡·帕多瓦尼；吉田、Nobuko 10 2015 面向对象语言的有界会话类型。 Zbl 1147.68445号 马里亚纽拉州Dezani-Ciancaglini；埃琳娜·贾奇诺；索菲亚·德罗索波卢；吉田、Nobuko 9 2007 结膜分离\（lambda\）-calculi的过滤模型。 Zbl 0874.03015号 马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗；阿道夫·皮珀诺 9 1996 具有灵活选择的可逆会话。 Zbl 1462.68121号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 9 2019 完整交集型预订单的完整特征。 Zbl 1365.03015号 Dezani-Ciancaglini，M。；F.Honsell。；阿莱西，F。 9 2003 交叉点类型和lambda模型。 Zbl 1088.68031号 法比奥·阿莱西；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini 8 2006 使用交集类型的\（\lambda\）-项的组合特征（扩展抽象）。 Zbl 0996.03501号 Dezani-Ciancaglini，M。；F.Honsell。；Y.莫托哈马。 8 2000 蕴含ω的语义。 Zbl 1042.03019号 马里亚纽拉州Dezani-Ciancaglini；罗伯特·梅耶（Robert K.Meyer）。；横滨Motohama 8 2002 交集类型和域运算符。 Zbl 1055.03011号 法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini；斯蒂芬妮娅·卢辛 8 2004 行为逆极限\（\lambda \）-模型。 兹比尔1055.03014 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；西尔维亚·利卡维奇 8 2004 lambda-calculus内部的终端测试。 Zbl 0358.02025号 Böhm，C。；M.科波。；Dezani-Ciancaglini，M。 8 1977 在会话中键入访问控制和安全信息流。 Zbl 1360.68207号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini 8 2014 适用信息系统。 Zbl 0524.68018号 科波，M。；M.德扎尼。；朱塞佩·隆戈 8 1983 交集和并集类型的“相关性”。 Zbl 0918.03008号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；贝蒂·文奈里 8 1997 使用交集类型的（lambda）-术语的组成特征。 Zbl 1077.68017号 Dezani-Ciancaglini，M。；F.Honsell。；Y.莫托哈马。 8 2005 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂；伊利亚州卡斯特拉尼；Deniélou、Pierre-Malo；马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇；佩雷斯（Jorge A.Pérez）。；彼得·蒂曼；伯纳多·托尼霍；雨果·托雷斯·维埃拉 8 2015 具有会话类型的分布式面向对象语言。 Zbl 1151.68347号 马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko；亚历山大·埃亨；索菲亚·德罗索波卢 7 2005 CUCH机器：绑定变量的自动处理。 Zbl 0277.68026号 科拉多·伯姆；马里安吉拉·德扎尼 7 1972 具有内部委派的全局类型。 兹比尔1436.68208 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；罗斯·霍恩 7 2020 交叉类型规程的F语义。 Zbl 0552.68006号 Dezani-Ciancaglini，M。；马加里亚，I。 7 1984 将面向对象语言中的会话和方法与泛型合并。 Zbl 1169.68011号 萨拉·卡佩基；马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；索菲亚·德罗索波卢；埃琳娜·贾奇诺 7 2009 多方通信中的自适应和安全信息流。 Zbl 1345.68232号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；佩雷斯（Jorge A.Pérez）。 7 2016 显式替换的交集类型。 Zbl 1082.68014号 圣埃芬伦格兰；皮埃尔·莱斯坎；丹·多尔蒂；马里亚纽拉州Dezani-Ciancaglini；范·贝克尔，斯特芬 6 2004 交集类型、\（\lambda \）-模型和Böhm树。 Zbl 0946.03016号 马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；乌戈·德利古罗 6 1998 两种行为lambda模型。 Zbl 1023.03022号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞 6 2003 动态web数据的基于角色的访问控制类型。 Zbl 1327.68169号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；斯维特拉纳·雅克西奇；约万卡·潘托维奇 6 2011 M（^3）：移动环境中移动进程的移动类型。 Zbl 1270.68211号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；伊万诺·萨尔沃 6 2003 多方会议的组成和分解。 Zbl 1462.68120号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；伊万·拉内斯；埃米利奥·托斯托 6 2021 多方会话中的信息流安全。 Zbl 1457.68182号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini 6 2011 并行观测器识别：算法。 Zbl 1045.68525号 马里亚纽拉州Dezani-Ciancaglini；Jerzy Tiuryn；巴威·乌尔兹琴 5 1999 带通信接口的盒装环境。 兹比尔1097.68083 爱德华多·博内利；阿德里亚娜·孔皮诺尼；马里亚纽拉州Dezani-Ciancaglini；巴勃罗·加拉尔达 5 2004 通过取消绑定和重新绑定扩展lambda-calculus。 Zbl 1220.68045号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡 5 2011 多方会议的观察等效性。 Zbl 1436.68214号 波拉·塞韦利；马里亚纽拉州Dezani-Ciancaglini 5 2019 移动进程的过滤器模型。 Zbl 0923.68088号 费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 5 1999 可逆的客户端/服务器交互。 Zbl 1345.68016号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗 5 2016 具有检查点的可逆多方会话。 Zbl 1478.68190号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2016 具有局部和依赖类型的移动性演算。 Zbl 1171.68566号 马里奥·科普；费德里科·科齐；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；罗萨里奥·普格利泽 4 2005 带通信接口的盒装环境。 Zbl 1125.68081号 巴勃罗·加拉尔达；爱德华多·博内利；阿德里亚娜·孔皮诺尼；马里亚纽拉州Dezani-Ciancaglini 4 2007 无限lambda演算与Berarducci树的判别。 Zbl 1038.68023号 马里亚纽拉州Dezani-Ciancaglini；波拉·塞韦利；德弗里斯，费扬 4 2003 移动环境的动态和本地输入。 Zbl 1094.68060号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；罗萨里奥·普格利泽 4 2004 \（\lambda\）-树的交集类型。 Zbl 0984.68033号 范·贝克尔，斯特芬；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；德弗里斯，Fer-Jan 4 2002 \（\mathcal F\）咯咯作响：动态对象重新分类。 Zbl 0982.68636号 索菲亚·德罗索波卢；费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2001 可扩展、不完整对象的子类型。 Zbl 1040.03506号 维维亚娜·博诺；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；路易吉·利科里 4 1999 从伯姆定理到观测等价：一个非正式的解释。 Zbl 1261.03074号 马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂 4 2001 追踪链接数据的来源：演算。 Zbl 1253.68043号 马里亚纽拉州Dezani-Ciancaglini；罗斯·霍恩；弗拉迪米罗·萨松 4 2012 语义子类型的相关性。 Zbl 1270.03043号 马里亚纽拉州Dezani-Ciancaglini；阿兰·弗里希；乔万内蒂，埃利奥；横滨Motohama 4 2003 （λ）项约简的复杂性。 Zbl 0424.03009号 Dezani-Ciancaglini，M。；Ronchi Della Rocca，S。；塞塔，L。 4 1979 有限容量的微积分。 Zbl 1215.68036号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 4 2003 动态web数据的安全类型。 Zbl 1146.68014号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇；丹尼尔·瓦拉卡 4 2008 并发可逆会话。 Zbl 1442.68129号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2017 并发\（\lambda\）演算的完全抽象语义。 Zbl 0942.03509号 马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗；阿道夫·皮珀诺 4 1994 一种用于安全环境的类型推理算法。 Zbl 1268.68120号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；伊万诺·萨尔沃；弗拉迪米罗·萨松 4 2002 多方会话中的信息流安全。 Zbl 1362.68204号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini 4 2016 环境和过程移动性类型。 Zbl 1141.68046号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂 4 2008 交集和并集类型。 Zbl 1493.68080号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini 4 1991 结合类型学科。 Zbl 0813.03009号 费利斯·卡多内；马里亚纽拉州Dezani-Ciancaglini；乌戈·德利古罗 三 1994 关于“CUCH-machine:绑定变量的自动处理”的注释。 Zbl 0277.68027号 科拉多·伯姆；马里安吉拉·德扎尼 三 1973 交叉型系统的逼近定理。 Zbl 0984.03013号 马里亚纽拉州Dezani-Ciancaglini；Furio Honsell；横滨Motohama 三 2001 高阶移动环境的完全抽象模型。 兹比尔1057.68640 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini 三 2002 以显式替换的强归一化为特征。 Zbl 1059.68020号 范·贝克尔，斯特芬；马里亚纽拉州Dezani-Ciancaglini 三 2002 减少用于表示信息结构系列的存储。 Zbl 0363.68047号 Dezani-Ciancaglini，M。；Ronchi Della Rocca，S。 三 1977 树和\（\lambda\）-术语。 Zbl 0364.02016 M.科波。；Dezani-Ciancaglini，M。 三 1977 部分类型和间隔。 Zbl 0697.03005号 Dezani-Ciancaglini，M。；Venneri，B。 三 1990 面向对象编程的会话和联合类型。 Zbl 1143.68355号 洛伦佐·贝蒂尼；萨拉·卡佩基；马里亚纽拉州Dezani-Ciancaglini；埃琳娜·贾奇诺；贝蒂·文奈里 三 2008 爪哇和兰姆达：一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼；维维亚娜·博诺；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；贝蒂·文奈里 三 2018 用于分析生物相关特性的类型规程。 Zbl 1348.92066号 阿曼，博格丹；马里亚纽拉州Dezani-Ciancaglini；安吉洛·特洛伊娜 三 2009 动态web数据的安全类型。 Zbl 1211.68267号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇 三 2007 一个十字路口类型的故事。 Zbl 1498.03040号 维维亚娜·博诺；马里亚纽拉州Dezani-Ciancaglini 三 2020 应用Church-Rosser属性提高算法的并行性和效率。 Zbl 0298.68019号 马里亚纽拉州Dezani-Ciancaglini；马达莱娜·扎基 2 1974 太空器皿环境和工艺。 Zbl 1111.68011号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 2 2007 在（mathbb{C}{pi}\）-演算中编码\（mathbb{C}\）Duce。 兹比尔1151.68514 朱塞佩·卡斯塔尼亚；马里亚纽拉州Dezani-Ciancaglini；丹尼尔·瓦拉卡 2 2006 定点运算符定义的信息结构列表。 Zbl 0308.68028号 Böhm，C。；Dezani-Ciancaglini，M。；Ronchi della Rocca，S。 2 1974 多方会话的事件结构语义。 Zbl 1512.68163号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 2 2023 已取消对异步会话的全局类型的限制。 兹伯利07667093 弗朗西斯科·达尼诺；保拉·吉安尼尼；马里亚纽拉州Dezani-Ciancaglini 2 2023 多方会议的组成和分解。 Zbl 1462.68120号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；伊万·拉内斯；埃米利奥·托斯托 6 2021 具有内部委派的全局类型。 Zbl 1436.68208号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；罗斯·霍恩 7 2020 一个十字路口类型的故事。 Zbl 1498.03040号 维维亚娜·博诺；马里亚纽拉州Dezani-Ciancaglini 三 2020 具有灵活选择的可逆会话。 Zbl 1462.68121号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 9 2019 多方会议的观察等效性。 Zbl 1436.68214号 波拉·塞韦利；马里亚纽拉州Dezani-Ciancaglini 5 2019 Java和lambda：一个轻量级的故事。 Zbl 1398.68079号 洛伦佐·贝蒂尼；维维亚娜·博诺；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；贝蒂·文奈里 三 2018 会话类型中子类型的精确性。 Zbl 1398.68360号 陈子春；马里亚纽拉州Dezani-Ciancaglini；斯卡拉斯，阿尔凯斯特；吉田、Nobuko 17 2017 并发可逆会话。 Zbl 1442.68129号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2017 交集和并集类型的同构。 Zbl 1364.68128号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；伊内斯·玛格丽亚；马达莱娜·扎基 2 2017 关于会话和无限数据。 Zbl 1448.68211号 波拉·塞韦利；卢卡·帕多瓦尼；埃米利奥·托斯托；马里亚纽拉州Dezani-Ciancaglini 2 2017 智能会话的数据驱动适应。 Zbl 1371.68188号 维维亚娜·博诺；马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；贝蒂·文奈里 1 2017 动态交错多方会话的全局进度。 Zbl 1361.68165号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko；卢卡·帕多瓦尼 39 2016 多方通信中的自适应和安全信息流。 Zbl 1345.68232号 伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；佩雷斯（Jorge A.Pérez）。 7 2016 可逆的客户端/服务器交互。 Zbl 1345.68016号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；设计；乌戈·利古罗 5 2016 具有检查点的可逆多方会话。 Zbl 1478.68190号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2016 多方会话中的信息流安全。 Zbl 1362.68204号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini 4 2016 子类型的含义和操作精确性：路线图。在弗兰克·德·波尔60岁生日之际献给他。 Zbl 1475.68082号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；斯维特拉纳·雅克西奇；约万卡·潘托维奇；吉田、Nobuko 2 2016 对多方异步会话类型的简单介绍。 Zbl 1346.68034号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；卢卡·帕多瓦尼；吉田、Nobuko 10 2015 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂；伊利亚州卡斯特拉尼；Deniélou、Pierre-Malo；马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇；佩雷斯（Jorge A.Pérez）。；彼得·蒂曼；伯纳多·托尼霍；雨果·托雷斯·维埃拉 8 2015 在会话中键入访问控制和安全信息流。 Zbl 1360.68207号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini 8 2014 交叉和并集类型的子类型的精确性。 Zbl 1416.68035号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞 2 2014 “函数”交集类型的同构。 Zbl 1359.03014号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；伊内斯·玛格丽亚；马达莱娜·扎基 2 2014 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 亨克·巴伦德雷格特；威尔·德克尔斯；理查德·斯塔特曼 55 2013 派生对象的会话和联合类型。 Zbl 1308.68035号 洛伦佐·贝蒂尼；萨拉·卡佩基；马里亚纽拉州Dezani-Ciancaglini；埃琳娜·贾奇诺；贝蒂·文奈里 1 2013 关于全球类型和多方会议。 Zbl 1238.68026号 朱塞佩·卡斯塔尼亚；马里亚纽拉州Dezani-Ciancaglini；卢卡·帕多瓦尼 22 2012 追踪链接数据中的出处和出处：微积分。 Zbl 1253.68043号 马里亚纽拉州Dezani-Ciancaglini；罗斯·霍恩；弗拉迪米罗·萨松 4 2012 循环序列演算的类型化随机语义。 Zbl 1284.68317号 利维奥·比奥利奥；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2012 动态web数据的基于角色的访问控制类型。 Zbl 1327.68169号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；斯维特拉纳·雅克西奇；约万卡·潘托维奇 6 2011 多方会话中的信息流安全。 Zbl 1457.68182号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini 6 2011 通过取消绑定和重新绑定扩展lambda-calculus。 Zbl 1220.68045号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡 5 2011 取消绑定和重新绑定的交集类型。 Zbl 1457.68047号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；埃琳娜·祖卡 1 2011 用于访问和信息流控制的会话类型。 Zbl 1287.68126号 萨拉·卡佩基；伊利亚州卡斯特拉尼；马里亚纽拉州Dezani-Ciancaglini；塔马拉·雷兹克 11 2010 描述蛋白质相互作用的形式主义。在Jerzy Tiuryn 60岁生日之际致敬他。 Zbl 1214.68183号 罗伯托·巴布蒂；马里亚纽拉州Dezani-Ciancaglini；安德烈亚·马焦洛·谢蒂尼；保罗·米拉佐；安吉洛·特洛伊娜 1 2010 关于交集类型的同构。 Zbl 1351.03007号 马里亚纽拉州Dezani-Ciancaglini；罗伯托·迪·科斯莫；乔万内蒂，埃利奥；Makoto Tatsuta 1 2010 对象和会话类型。 Zbl 1183.68358号 马里亚纽拉州Dezani-Ciancaglini；索菲亚·德罗索波卢；迪米特里斯·莫斯特鲁斯；吉田、Nobuko 15 2009 将面向对象语言中的会话和方法与泛型合并。 Zbl 1169.68011号 萨拉·卡佩基；马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；索菲亚·德罗索波卢；埃琳娜·贾奇诺 7 2009 用于分析生物相关特性的类型规程。 Zbl 1348.92066号 阿曼，博格丹；马里亚纽拉州Dezani-Ciancaglini；安吉洛·特洛伊娜 三 2009 交叉、通用量化和引用类型。 Zbl 1257.03039号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；西蒙娜·隆奇·德拉·罗卡 2 2009 CLS中所需/排除元素的类型系统。 Zbl 1456.68041号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；安吉洛·特洛伊娜 1 2009 动态交错多方会话的全球进展。 Zbl 1160.68456号 洛伦佐·贝蒂尼；马里奥·科普；D＆rsquo的；洛丽斯·安东尼；马可·德卢卡；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko 36 2008 动态web数据的安全类型。 Zbl 1146.68014号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇；丹尼尔·瓦拉卡 4 2008 环境和过程移动性类型。 Zbl 1141.68046号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂 4 2008 面向对象编程的会话和联合类型。 Zbl 1143.68355号 洛伦佐·贝蒂尼；萨拉·卡佩基；马里亚纽拉州Dezani-Ciancaglini；埃琳娜·贾奇诺；贝蒂·文奈里 三 2008 面向对象语言的异步会话类型和进度。 Zbl 1202.68094号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko 17 2007 面向对象语言的有边界会话类型。 兹比尔1147.68445 马里亚纽拉州Dezani-Ciancaglini；埃琳娜·贾奇诺；索菲亚·德罗索波卢；吉田、Nobuko 9 2007 带通信接口的盒装环境。 Zbl 1125.68081号 巴勃罗·加拉尔达；爱德华多·博内利；阿德里亚娜·孔皮诺尼；马里亚纽拉州Dezani-Ciancaglini 4 2007 动态web数据的安全类型。 Zbl 1211.68267号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；约万卡·潘托维奇 三 2007 太空器皿环境和工艺。 Zbl 1111.68011号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 2 2007 Klop演算的行为模型。 Zbl 1276.03015号 马里亚纽拉州Dezani-Ciancaglini；Makoto Tatsuta 1 2007 交叉点类型和lambda模型。 Zbl 1088.68031号 法比奥·阿莱西；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini 8 2006 在（mathbb{C}{pi}\）-演算中编码\（mathbb{C}\）Duce。 Zbl 1151.68514号 朱塞佩·卡斯塔尼亚；马里亚纽拉州Dezani-Ciancaglini；丹尼尔·瓦拉卡 2 2006 使用交集类型的（lambda）-术语的组成特征。 Zbl 1077.68017号 Dezani-Ciancaglini，M。；F.Honsell。；Y.莫托哈马。 8 2005 具有会话类型的分布式面向对象语言。 Zbl 1151.68347号 马里亚纽拉州Dezani-Ciancaglini；吉田、Nobuko；亚历山大·埃亨；索菲亚·德罗索波卢 7 2005 一种具有局部类型和依赖类型的迁移演算。 Zbl 1171.68566号 马里奥·科普；费德里科·科齐；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；罗萨里奥·普格利泽 4 2005 键入预订单和递归项。 Zbl 1272.03072号 法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini 1 2005 交集类型和域运算符。 Zbl 1055.03011号 法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini；斯蒂芬妮娅·卢辛 8 2004 行为逆极限\（\lambda \）-模型。 兹比尔1055.03014 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；西尔维娅·利卡韦克 8 2004 显式替换的交集类型。 Zbl 1082.68014号 圣埃芬伦格兰；皮埃尔·莱斯坎；丹·多尔蒂；马里亚纽拉州Dezani-Ciancaglini；范·贝克尔，斯特芬 6 2004 带通信接口的盒装环境。 Zbl 1097.68083号 爱德华多·博内利；阿德里亚娜·孔皮诺尼；马里亚纽拉州Dezani-Ciancaglini；巴勃罗·加拉尔达 5 2004 移动环境的动态和本地输入。 Zbl 1094.68060号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；罗萨里奥·普格利泽 4 2004 定制过滤器模型。 Zbl 1100.03511号 阿莱西，F。；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini 2 2004 完整交集型预订单的完整特征。 Zbl 1365.03015号 Dezani-Ciancaglini，M。；F.Honsell。；阿莱西，F。 9 2003 两种行为lambda模型。 Zbl 1023.03022号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞 6 2003 M（^3）：移动环境中移动进程的移动类型。 Zbl 1270.68211号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；伊万诺·萨尔沃 6 2003 无限lambda演算和Berarducci树的判别。 Zbl 1038.68023号 马里亚纽拉州Dezani-Ciancaglini；波拉·塞韦利；德弗里斯，Fer-Jan 4 2003 语义子类型的相关性。 Zbl 1270.03043号 马里亚纽拉州Dezani-Ciancaglini；阿兰·弗里希；埃利奥·乔瓦内蒂；横滨Motohama 4 2003 有限容量的微积分。 Zbl 1215.68036号 佛朗哥·巴巴内拉；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；弗拉迪米罗·萨松 4 2003 交叉点类型和计算规则。 兹比尔1264.03045 法比奥·阿莱西；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini 1 2003 蕴含ω的语义。 Zbl 1042.03019号 马里亚纽拉州Dezani-Ciancaglini；罗伯特·梅耶（Robert K.Meyer）。；横滨Motohama 8 2002 \（\lambda\）-树的交集类型。 Zbl 0984.68033号 范·贝克尔，斯特芬；佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；德弗里斯，Fer-Jan 4 2002 一种用于安全环境的类型推理算法。 Zbl 1268.68120号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；伊万诺·萨尔沃；弗拉迪米罗·萨松 4 2002 高阶移动环境的完全抽象模型。 Zbl 1057.68640号 马里奥·科普；马里亚纽拉州Dezani-Ciancaglini 三 2002 以显式替换的强归一化为特征。 Zbl 1059.68020号 范·贝克尔，斯特芬；马里亚纽拉州Dezani-Ciancaglini 三 2002 移动环境的完全抽象模型。 Zbl 1268.68124号 科波，M。；Dezani-Ciancaglini，M。 1 2002 过滤模型和简单术语。 Zbl 1042.03014号 法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini；Furio Honsell 10 2001 \（\mathcal F\）咯咯作响：动态对象重新分类。 Zbl 0982.68636号 索菲亚·德罗索波卢；费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 4 2001 从伯姆定理到观测等价：一个非正式的解释。 Zbl 1261.03074号 马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂 4 2001 交叉型系统的逼近定理。 Zbl 0984.03013号 马里亚纽拉州Dezani-Ciancaglini；Furio Honsell；横滨Motohama 三 2001 移动安全环境的安全类型。 Zbl 0988.68544号 Dezani-Ciancaglini，M。；萨尔沃，I。 11 2000 使用交集类型的\（\lambda\）-项的组合特征（扩展抽象）。 Zbl 0996.03501号 Dezani-Ciancaglini，M。；F.Honsell。；Y.莫托哈马。 8 2000 Berarducci树的Böhm定理。 Zbl 0967.68031号 马里亚纽拉州Dezani-Ciancaglini；波拉·塞韦利；德弗里斯，Fer-Jan 2 2000 无限\（\lambda\）-微积分和类型。 Zbl 0913.68131号 亚历山德罗·贝拉杜奇；马里亚纽拉州Dezani-Ciancaglini 11 1999 并行观测器识别：算法。 Zbl 1045.68525号 马里亚纽拉州Dezani-Ciancaglini；Jerzy Tiuryn；巴威·乌尔兹琴 5 1999 移动进程的过滤器模型。 Zbl 0923.68088号 费卢西奥·达米亚尼；马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼 5 1999 可扩展、不完整对象的子类型。 Zbl 1040.03506号 维维亚娜·博诺；米歇尔·布格列西；马里亚纽拉州Dezani-Ciancaglini；路易吉·利科里 4 1999 特刊：Lambda-calculus and logic，以纪念罗杰·欣德利。 Zbl 0930.00009 1 1999 并发演算的过滤模型。 Zbl 0916.03017号 马里亚纽拉州Dezani-Ciancaglini；设计；乌戈·利古罗；阿道夫·皮珀诺 20 1998 交集类型、\（\lambda \）-模型和Böhm树。 Zbl 0946.03016号 马里亚纽拉州Dezani-Ciancaglini；埃利奥·乔瓦内蒂；设计；乌戈州利古罗 6 1998 交集和并集类型的“相关性”。 Zbl 0918.03008号 马里亚纽拉州Dezani-Ciancaglini；西尔维娅·吉勒赞；贝蒂·文奈里 8 1997 格上的凸幂域：它的逻辑和（lambda）-演算。 Zbl 0926.68023号 法比奥·阿莱西；马里亚纽拉州Dezani-Ciancaglini；设计；乌戈·利古罗 2 1997 结膜分离\（lambda\）-calculi的过滤模型。 Zbl 0874.03015号 马里亚纽拉州Dezani-Ciancaglini；设计；乌戈·利古罗；阿道夫·皮珀诺 9 1996 交集和并集类型：语法和语义。 Zbl 0832.68065号 佛朗哥·巴巴内拉；马里亚纽拉州Dezani-Ciancaglini；设计；乌戈·利古罗 38 1995 键入lambda计算和应用程序。1995年4月10日至12日在英国爱丁堡举行的1995年TLCA第二届国际会议。诉讼程序。 Zbl 0813.68040号 2 1995 并发\（\lambda\）演算的完全抽象语义。 Zbl 0942.03509号 马里亚纽拉州Dezani-Ciancaglini；设计；乌戈州利古罗；阿道夫·皮珀诺 4 1994 结合类型学科。 Zbl 0813.03009号 费利斯·卡多内；马里亚纽拉州Dezani-Ciancaglini；设计；乌戈·利古罗 三 1994 结合类型学科。 Zbl 0919.03028号 费利斯·卡多内；马里亚纽拉州Dezani-Ciancaglini；设计；乌戈·利古罗 1 1994 可以且必须在并发演算（扩展抽象）中收敛。 Zbl 1493.68079号 阿莱西，F。；Dezani-Ciancaglini，M。；德＆rsquo的；美国利古罗。 1 1994 组合逻辑的交集类型。 Zbl 0771.03004号 马里亚纽拉州Dezani-Ciancaglini；J.Roger欣德利 12 1992 …还有37个文档 所有引用的出版物 前5名被引用出版物 全部的 前5名465位作者引用 63 马里亚纽拉州Dezani-Ciancaglini 28 吉田、Nobuko 19 马里奥·科普 18 佛朗哥·巴巴内拉 18 西蒙娜·隆奇·德拉·罗卡 17 范·贝克尔，斯特芬 16 西尔维娅·吉勒赞 15 保拉·吉安尼尼 14 迪莉娅·凯斯纳 13 乌戈·德利古罗 13 佩雷斯（Jorge A.Pérez）。 10 安东尼奥·布恰雷利 10 玛丽贝尔·费尔南德斯 10 朱利奥·曼佐内托 10 埃米利奥·托斯托 9 伊利亚州卡斯特拉尼 8 法比奥·阿莱西 8 伊万·拉内斯 8 约万卡·潘托维奇 8 贝蒂·文奈里 7 大卫·安科纳 7 维维亚娜·博诺 7 伊内斯·玛格丽亚 7 法布里西奥·蒙泰西 7 卢卡·帕多瓦尼 7 卢卡·保里尼 7 马达莱娜·扎基 6 桑德拉·阿尔维斯 6 马尔科·卡博尼 6 Furio Honsell 6 路易吉·利科里 6 朱塞佩·隆戈 6 安东尼奥·萨利布拉 6 巴威·乌尔兹琴 6 丹尼尔·利马·文图拉 6 埃琳娜·祖卡 5 马西莫·巴托莱蒂 5 香塔尔·伯林 5 劳拉·博奇 5 萨拉·卡佩基 5 马里奥弗洛里多 5 西蒙·盖伊。 5 本田、高黑 5 朱利安·兰格 5 戴维·桑吉奥吉 5 斯卡拉斯，阿尔凯斯特 5 保拉·加布里埃拉·塞维利 5 吉安路易吉·扎瓦塔罗 4 洛伦佐·贝蒂尼 4 马里奥·布雷韦蒂 4 朱塞佩·卡斯塔尼亚 4 加布里埃尔·乔巴努 4 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 4 费卢西奥·达米亚尼 4 奥尔内拉·达达 4 德弗里斯（Fer-Jan J.de Vries）。 4 亚历杭德罗·迪亚斯·卡洛 4 托马斯·埃尔哈德 4 埃琳娜·贾奇诺 4 埃利奥·乔瓦内蒂 4 罗斯·霍恩 4 斯维特拉纳·雅克西奇 4 皮埃尔·莱斯坎 4 罗伯特·肯尼思·梅耶 4 布鲁诺·C·d·S·奥利维拉。 4 米歇尔·帕加尼 4 罗萨里奥·普格利泽 4 西尔万·萨尔瓦蒂 4 弗拉迪米罗·萨松 4 理查德·斯塔特曼 4 弗朗西斯科·蒂齐 4 伯纳多·托尼霍 4 Vascoconcelos、Vasco Thudichum 三 亨德里克·彼得·巴伦德雷格特 三 科拉多·伯姆 三 马丁·邦德。 三 路易斯·凯雷斯 三 路易斯·克鲁兹·菲利佩 三 皮埃尔·卢伊斯·居里 三 乌戈·达尔拉戈 三 丹尼尔·德·卡瓦略 三 罗曼·德曼根 三 罗伯托·迪·科斯莫 三 轩尼诗，Matthew C.B。 三 J.Roger欣德利 三 Sachio Hirokawa 三 丹尼尔·赫希科夫 三 钟曼，宋世堂。 三 阿萨夫·科福里。 三 乔瓦尼·拉戈里奥 三 圣埃芬·让·埃里克·伦格兰德 三 玛丽娜·莱妮莎 三 西尔维亚·利卡维奇 三 埃尔南·梅尔格拉蒂 三 克劳迪奥·安塔雷斯·梅齐纳 三 约翰·米切尔（John C.Mitchell）。 三 迪米特里斯·莫斯特鲁斯 三 横滨Motohama 三 弗莱明·尼尔森 三 卡里姆·努尔 …还有365位作者 全部的 前5名42篇连载文章中引用 99 理论计算机科学 40 信息与计算 30 MSCS公司。计算机科学中的数学结构 28 计算机科学中的逻辑方法 23 程序设计中的逻辑和代数方法杂志 17 纯逻辑与应用逻辑年鉴 11 函数编程杂志 9 符号逻辑杂志 7 信息学报 6 RAIRO，Informatique Théorique公司 6 计算的形式方面 5 圣母院形式逻辑杂志 4 计算机程序设计科学 4 符号逻辑公报 4 RAIRO公司。理论信息学及其应用 三 信息处理信件 三 计算机与系统科学杂志 三 自动推理杂志 三 高阶和符号计算 三 逻辑与代数程序设计杂志 2 数学逻辑档案 2 系统设计中的形式化方法 2 计算机语言、系统和结构 1 Archive für Mathematische Logik und Grundlagenforschung公司 1 离散数学 1 卡尔科洛 1 信息科学 1 国际计算机与信息科学杂志 1 Studia Logica公司 1 符号计算杂志 1 计算机科学与技术杂志 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 逻辑、语言与信息杂志 1 数学科学杂志（纽约） 1 数学与人工智能年鉴 1 约束条件 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 ACM计算逻辑事务 1 Revue Française d’Automatique、Informatique、Recherche Opérationnelle。红Série Rouge 全部的 前5名在12个字段中引用 382 计算机科学（68至XX） 255 数理逻辑与基础（03-XX） 11 范畴理论；同调代数（18-XX） 4 阶、格、有序代数结构（06-XX） 三 生物学和其他自然科学（92-XX） 2 总体主题；集合（00-XX） 2 一般代数系统（08-XX） 2 群论与推广（20-XX） 1 历史和传记（01-XX） 1 量子理论（81-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文