编辑配置文件（在新选项卡中打开） 西蒙·马提尼 合著者距离 作者ID： 马提尼·西蒙 发布日期： 西蒙·马提尼;马提尼，S。 外部链接： MGP公司·ORCID公司·数据库许可证 已编制索引的文档： 45出版物自1984年以来，包括2本书 3作为编辑的贡献 审查活动： 12评论 合著者： 29位合著者具有39联合出版物 882名合著作者 全部的 前5名合著者 三 单作者的 12 安德烈亚·马西尼 10 乌戈·达尔拉戈 6 斯特凡诺游击队 4 保罗·科波拉 三 安德烈亚·阿斯佩蒂 三 安东尼奥·比奇 三 朱塞佩·隆戈 2 卢卡·卡德利 2 毛里齐奥·加布里埃利 2 约翰·米切尔（John C.Mitchell）。 2 大卫·桑吉奥吉 2 安德烈·斯克洛夫 2 玛格丽塔·佐齐 1 佛朗哥·巴巴内拉 1 伊贡博格尔 1 卡纳特·卡姆利贝尔。 1 曹明 1 内维奥·杜比尼 1 马格纳斯·B·埃格斯特德。 1 阿德里亚诺·法吉奥里尼 1 安德烈亚斯·罗伯特·福米科尼 1 郝，周 1 因弗拉迪，保拉 1 汉斯·克莱恩·勃宁 1 埃琳娜·洛莉·皮科洛米尼 1 保罗·曼卡雷拉 1 翁贝托·蒙塔纳罗 1 法比奥·帕斯奎莱蒂 1 Pedreschi，恐龙 1 迈克尔·里希特（Michael M.Richter）。 1 卢卡·罗维斯 1 奥尔多·索尼奥蒂 1 法比亚娜·扎马 1 盖塔诺·赞吉拉特 全部的 前5名系列 6 理论计算机科学 三 信息与计算 三 ACM计算逻辑事务 2 计算机科学中的数学结构 2 计算机科学课堂讲稿 1 Annali dell'费拉拉大学。Nuova Serie.Sezione VII号 1 IEEE自动控制汇刊 1 符号逻辑杂志 1 逻辑科公报 1 逻辑程序设计杂志 1 计算的形式化方面 1 数学逻辑档案 1 国际鲁棒非线性控制杂志 1 IGPL逻辑杂志 1 计算机科学中的逻辑方法 1 IEEE控制系统 1 计算机科学本科专题 全部的 前5名领域 36 数学逻辑和基础（03-XX） 28 计算机科学（68至XX） 三 总体主题；集合（00-XX） 三 系统论；控制（93至XX） 2 范畴理论；同调代数（18-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 动力系统和遍历理论（37至XX） 1 积分方程（45-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用215中的次169文件 引用人▼ 年份▼ 与网络的互动：在单一领导者、共识网络中，结构如何与可控性相关？ Zbl 1395.93115号 马格努斯·埃格施泰特;西蒙·马提尼;曹明;卡纳特·卡姆利贝尔;安东尼奥·比奇 34 2012 带有子类型的系统\（F\）的扩展。 Zbl 0805.03008号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 26 1994 模态证明的计算解释。 Zbl 0867.03016号 西蒙·马提尼;安德烈亚·马西尼 21 1996 弱lambda微积分是一种合理的机器。 Zbl 1145.68011号 乌戈·达尔拉戈;西蒙·马提尼 11 2008 关于指数规则的精细结构。 Zbl 0835.03020号 西蒙·马提尼;安德烈亚·马西尼 10 1995 关于构造函数重写系统和lambda-calculus。 Zbl 1248.68275号 乌戈·达尔拉戈;西蒙·马提尼 9 2009 基于扩展序列的（线性）指数分析。 Zbl 0934.03077号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 9 1998 推导复杂性是一个不变的成本模型。 Zbl 1305.68107号 乌戈·达尔拉戈;西蒙·马提尼 8 2010 在具有线性约束的初等逻辑中键入lambda项。 Zbl 0981.03028号 保罗·科波拉;西蒙·马提尼 7 2001 共享证明网的一致性。 Zbl 1019.03040号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 7 2003 关于构造函数重写系统和lambda演算。 Zbl 1256.68091号 乌戈·达尔拉戈;西蒙·马提尼 7 2012 用域闭合公理完成逻辑程序。 Zbl 0645.68099号 保罗·曼卡雷拉;西蒙·马提尼;Pedreschi，恐龙 6 1988 lambda演算的不变成本模型。 Zbl 1145.68375号 乌戈·达尔拉戈;西蒙·马提尼 6 2006 二阶lambda演算的区间模型。 Zbl 0645.03012号 西蒙·马提尼 5 1987 校对网、垃圾和计算。 Zbl 0956.68024号 游击队，S。;马提尼，S。;A.马西尼。 5 2001 证明功能连接词和可实现性。 Zbl 0801.03035号 佛朗哥·巴巴内拉;西蒙·马提尼 5 1994 带有子类型的系统\（F\）的扩展。 Zbl 1496.03058号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 5 1991 优化最优约简：初等仿射逻辑的类型推理算法。 Zbl 1367.03028号 保罗·科波拉;西蒙·马提尼 5 2006 （最佳）复制不是基本递归。 Zbl 1075.68011号 安德烈亚·阿斯佩蒂;保罗·科波拉;西蒙·马提尼 4 2004 （最佳）复制不是基本递归。 Zbl 1323.68091号 安德烈亚·阿斯佩蒂;保罗·科波拉;西蒙·马提尼 4 2000 轻逻辑和高阶过程。 Zbl 1362.68209号 乌戈·达尔拉戈;西蒙·马提尼;大卫·桑吉奥吉 4 2016 基本仿射逻辑的阶段语义和可判定性。 Zbl 1047.03048号 乌戈·达尔拉戈;西蒙·马提尼 三 2004 线性逻辑的模态视图。 Zbl 0814.03038号 西蒙·马提尼;安德烈亚·马西尼 三 1994 更高类型的可计算性，P\（\omega\）和类型赋值的完整性。 Zbl 0625.03027号 G·隆戈。;马提尼，S。 2 1986 计算机科学逻辑。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 校对网、垃圾和计算。 Zbl 1063.03535号 游击队，S。;马提尼，S。;A.马西尼。 2 1997 从2-序列和线性嵌套序列到正规模态逻辑的自然演绎。 Zbl 1505.03054号 西蒙·马提尼;安德烈亚·马西尼;玛格丽塔·佐齐 2 2021 多态性的分类模型。 Zbl 0772.18007号 安德烈亚·阿斯佩蒂;西蒙·马提尼 1 1992 更高类型和泛域P\（\omega\）中的可计算性。 Zbl 0665.03036号 G·隆戈。;马提尼，S。 1 1985 模态逻辑、线性逻辑、最佳λ还原。 Zbl 0951.03019号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 1 1999 非张力计算和组合逻辑的分类模型。 Zbl 0795.03099号 西蒙·马提尼 1 1992 编程语言：原理和范例。翻译自意大利语。 Zbl 1204.68047号 毛里齐奥·加布里埃利;西蒙·马提尼 1 2010 轻逻辑和高阶过程。 Zbl 1455.68121号 乌戈·达尔拉戈;西蒙·马提尼;大卫·桑吉奥吉 1 2010 从2-序列和线性嵌套序列到正规模态逻辑的自然演绎。 Zbl 1505.03054号 西蒙·马提尼;安德烈亚·马西尼;玛格丽塔·佐齐 2 2021 轻逻辑和高阶过程。 Zbl 1362.68209号 乌戈·达尔拉戈;西蒙·马提尼;大卫·桑吉奥吉 4 2016 与网络的互动：在单一领导者、共识网络中，结构如何与可控性相关？ Zbl 1395.93115号 马格努斯·埃格施泰特;西蒙·马提尼;曹明;卡纳特·卡姆利贝尔;安东尼奥·比奇 34 2012 关于构造函数重写系统和lambda演算。 Zbl 1256.68091号 乌戈·达尔拉戈;西蒙·马提尼 7 2012 推导复杂性是一个不变的成本模型。 Zbl 1305.68107号 乌戈·达尔拉戈;西蒙·马提尼 8 2010 编程语言：原理和范例。翻译自意大利语。 Zbl 1204.68047号 毛里齐奥·加布里埃利;西蒙·马提尼 1 2010 轻逻辑和高阶过程。 Zbl 1455.68121号 乌戈·达尔拉戈;西蒙·马提尼;大卫·桑吉奥吉 1 2010 关于构造函数重写系统和lambda-calculus。 Zbl 1248.68275号 乌戈·达尔拉戈;西蒙·马提尼 9 2009 弱lambda微积分是一种合理的机器。 Zbl 1145.68011号 乌戈·达尔拉戈;西蒙·马提尼 11 2008 lambda演算的不变成本模型。 Zbl 1145.68375号 乌戈·达尔拉戈;西蒙·马提尼 6 2006 优化最优约简：初等仿射逻辑的类型推理算法。 Zbl 1367.03028号 保罗·科波拉;西蒙·马提尼 5 2006 （最佳）复制不是基本递归。 Zbl 1075.68011号 安德烈亚·阿斯佩蒂;保罗·科波拉;西蒙·马提尼 4 2004 基本仿射逻辑的阶段语义和可判定性。 Zbl 1047.03048号 乌戈·达尔拉戈;西蒙·马提尼 三 2004 共享证明网的一致性。 Zbl 1019.03040号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 7 2003 在具有线性约束的初等逻辑中键入lambda项。 Zbl 0981.03028号 保罗·科波拉;西蒙·马提尼 7 2001 校对网、垃圾和计算。 Zbl 0956.68024号 游击队，S。;马提尼，S。;A.马西尼。 5 2001 （最佳）复制不是基本递归。 Zbl 1323.68091号 安德烈亚·阿斯佩蒂;保罗·科波拉;西蒙·马提尼 4 2000 模态逻辑、线性逻辑、最佳λ还原。 Zbl 0951.03019号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 1 1999 基于扩展序列的（线性）指数分析。 Zbl 0934.03077号 斯特凡诺游击队;西蒙·马提尼;安德烈亚·马西尼 9 1998 校对网、垃圾和计算。 Zbl 1063.03535号 游击队，S。;马提尼，S。;A.马西尼。 2 1997 模态证明的计算解释。 Zbl 0867.03016号 西蒙·马提尼;安德烈亚·马西尼 21 1996 关于指数规则的精细结构。 Zbl 0835.03020号 西蒙·马提尼;安德烈亚·马西尼 10 1995 带有子类型的系统\（F\）的扩展。 Zbl 0805.03008号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 26 1994 证明功能连接词和可实现性。 Zbl 0801.03035号 佛朗哥·巴巴内拉;西蒙·马提尼 5 1994 线性逻辑的模态视图。 Zbl 0814.03038号 西蒙·马提尼;安德烈亚·马西尼 三 1994 计算机科学逻辑。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 多态性的分类模型。 Zbl 0772.18007号 安德烈亚·阿斯佩蒂;西蒙·马提尼 1 1992 非张力计算和组合逻辑的分类模型。 Zbl 0795.03099号 西蒙·马提尼 1 1992 带有子类型的系统\（F\）的扩展。 Zbl 1496.03058号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 5 1991 用域闭合公理完成逻辑程序。 Zbl 0645.68099号 保罗·曼卡雷拉;西蒙·马提尼;Pedreschi，恐龙 6 1988 二阶lambda演算的区间模型。 Zbl 0645.03012号 西蒙·马提尼 5 1987 更高类型的可计算性，P\（\omega\）和类型赋值的完整性。 Zbl 0625.03027号 G·隆戈。;马提尼，S。 2 1986 更高类型和泛域P\（\omega\）中的可计算性。 Zbl 0665.03036号 G·隆戈。;马提尼，S。 1 1985 所有引用的出版物 前5名被引用出版物 全部的 前5名265位作者引用 9 乌戈·达尔拉戈 9 西蒙·马提尼 8 贝尼氨基Accattoli 8 安德烈亚·马西尼 7 帕特里克·贝洛特 7 斯特凡诺游击队 6 乔治·盖利 5 本杰明·皮尔斯。 4 路易吉·利科里 三 安德烈亚·阿斯佩蒂 三 马丁·阿文齐尼 三 爱德华多·博内利 三 克劳迪娅·法根 三 扬尼克·福斯特 三 关永强 三 马丁·霍夫曼 三 徐顺平 三 诺里希罗·卡米德 三 达米亚诺·马扎 三 克劳德·斯托尔泽 三 安德烈斯·维索 三 王，龙 2 马丁·阿巴迪 2 罗伯托·阿马迪奥。 2 毛里西奥·阿亚拉·林科恩 2 毛里西奥·巴拉奥纳 2 斯特凡诺·巴拉泰拉 2 马西耶·本德考斯基 2 布洛克-南内斯塔德，陶斯 2 卢卡·卡德利 2 保罗·科波拉 2 皮埃尔·卢伊斯·居里 2 乌戈·德利古罗 2 Jean-Charles Delvenne公司 2 胡安·埃迪 2 雨果·弗雷 2 尼古拉斯，猜猜看 2 朱利奥·格雷里 2 Furio Honsell 2 Atsushi Igarashi 2 季志坚 2 皮埃尔·莱斯坎 2 刘波 2 朱利奥·曼佐内托 2 马蒂奥尼、马蒂亚 2 乔治·莫瑟 2 卡洛斯·奥拉特 2 伊莲·皮门特尔 2 吉勒赫梅·拉莫斯 2 卢卡·罗维斯 2 洛伦佐·萨巴蒂尼 2 克劳迪奥·萨塞尔多蒂·科恩 2 伊万·斯卡格内托 2 克里斯蒂安·塞奇 2 石洪波 2 格特·斯莫尔卡 2 索洛夫·弗拉基米洛维奇 2 苏厚生 2 洛伦佐托托拉·德·法尔科 2 卢卡·维切利 2 王晓凡 2 斯蒂芬妮·威里奇 2 布鲁诺·泽维尔 2 杨文 2 吉田、Nobuko 2 周，童 2 玛格丽塔·佐齐 1 安托尼奥·佩德罗·阿奎尔 1 达内尔·阿赫曼 1 Joao Alpuim 1 桑德拉·阿尔维斯 1 纳达·阿明 1 保罗·巴尔丹 1 理查德·巴纳赫 1 布鲁诺·巴拉斯 1 亚历山大·鲍姆加特纳 1 彼得·本纳 1 尼科尔·比多特 1 比利赫，Yazan N。 1 比姆博，卡塔林 1 拉尔斯·比克达尔 1 弗朗西丝卡·博姆 1 纪尧姆·邦芬特 1 皮埃尔·布德斯 1 布尔纳，托尔本 1 安东尼奥·布罗吉 1 凯·布伦勒 1 卡纳特·卡姆利贝尔 1 卡洛斯·卡努达斯·德维特（Carlos A.Canudas de Wit）。 1 朱塞佩·卡斯塔尼亚 1 查克拉博蒂，米希尔·库马尔 1 陈冠荣 1 陈婷婷 1 程晓东 1 加布里埃尔·乔巴努 1 拉纳德·A·克鲁斯顿。 1 达里奥·科拉佐 1 安德烈亚·克里斯托法罗 1 戴、梅峰 1 丹尼尔·德·卡瓦略 …还有165位作者 全部的 前5名引用于36个系列 24 理论计算机科学 23 信息与计算 10 计算机科学中的数学结构 9 Automatica公司 5 国际鲁棒非线性控制杂志 5 计算机科学中的逻辑方法 4 系统和控制信件 4 自动推理杂志 三 纯逻辑与应用逻辑年鉴 三 数学逻辑档案 三 应用非经典逻辑杂志 三 函数编程杂志 2 富兰克林研究所期刊 2 欧洲控制杂志 2 混乱 2 应用逻辑杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际控制杂志 1 应用数学与计算 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 逻辑科公报 1 新一代计算 1 MCSS公司。控制、信号和系统数学 1 计算的形式化方面 1 线性代数及应用 1 数学逻辑季刊（MLQ） 1 分形 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 SIAM应用动力系统杂志 1 非线性分析。混合动力系统 1 符号逻辑述评 1 亚洲控制杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名17个领域引用 103 计算机科学（68至XX） 88 数学逻辑和基础（03-XX） 30 系统论；控制（93至XX） 9 范畴理论；同调代数（18-XX） 6 组合数学（05-XX） 三 运筹学、数学规划（90-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 常微分方程（34-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 阶、格、有序代数结构（06-XX） 1 代数几何（14-XX） 1 动力系统和遍历理论（37至XX） 1 变分法与最优控制；最优化（49至XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文