编辑配置文件（在新选项卡中打开） 西蒙·马蒂尼 合著者距离 作者ID： 马提尼·西蒙 发布日期： 西蒙·马蒂尼；马丁尼，S。 外部链接： MGP公司·逆戟鲸·数据库许可证 已编制索引的文档： 45出版物自1984年以来，包括2本书 3作为编辑的贡献 审查活动： 12评论 合著者： 29位合著者具有39联合出版物 877合著作者 全部的 前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 佩德雷希·迪诺 1 迈克尔·里希特（Michael M.Richter）。 1 卢卡·罗维斯 1 奥尔多·索里奥蒂 1 法比亚娜·扎马 1 盖塔诺·赞吉拉特 全部的 前5名系列 6 理论计算机科学 三 信息与计算 三 ACM计算逻辑事务 2 MSCS公司。计算机科学中的数学结构 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出版物有被引用212中的次166文件 引用人▼ 年份▼ 与网络的互动：在单一领导者、共识网络中，结构如何与可控性相关？ Zbl 1395.93115号 马格纳斯·埃格斯特德；西蒙·马蒂尼；曹明；卡纳特·卡姆利贝尔；安东尼奥·比奇 31 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 共享证明网的一致性。 Zbl 1019.03040号 斯特凡诺游击队；西蒙·马蒂尼；安德烈亚·马西尼 7 2003 在具有线性约束的初等逻辑中键入lambda项。 Zbl 0981.03028号 保罗·科波拉；西蒙·马蒂尼 7 2001 关于构造函数重写系统和lambda演算。 Zbl 1256.68091号 乌戈·达尔拉戈；西蒙·马蒂尼 7 2012 用域闭合公理完成逻辑程序。 Zbl 0645.68099号 保罗·曼卡雷拉；西蒙·马蒂尼；佩德雷希·迪诺 6 1988 lambda演算的不变成本模型。 Zbl 1145.68375号 乌戈·达尔拉戈；西蒙·马蒂尼 6 2006 证明功能连接词和可实现性。 Zbl 0801.03035号 佛朗哥·巴巴内拉；西蒙·马蒂尼 5 1994 二阶lambda演算的区间模型。 Zbl 0645.03012号 西蒙·马蒂尼 5 1987 校对网、垃圾和计算。 Zbl 0956.68024号 游击队，S。；马提尼，S。；A.马西尼。 5 2001 优化最优约简：初等仿射逻辑的类型推理算法。 Zbl 1367.03028号 保罗·科波拉；西蒙·马蒂尼 5 2006 带有子类型的系统\（F\）的扩展。 Zbl 1496.03058号 卢卡·卡德利；西蒙·马蒂尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯切德罗夫 5 1991 （最佳）复制不是基本递归。 Zbl 1075.68011号 安德烈亚·阿斯佩蒂；保罗·科波拉；西蒙·马蒂尼 4 2004 （最佳）复制不是基本递归。 兹比尔1323.68091 安德烈亚·阿斯佩蒂；保罗·科波拉；西蒙·马蒂尼 4 2000 轻逻辑和高阶过程。 Zbl 1362.68209号 乌戈·达尔拉戈；西蒙·马蒂尼；大卫·桑吉奥吉 4 2016 线性逻辑的模态视图。 Zbl 0814.03038号 西蒙·马蒂尼；安德烈亚·马西尼 三 1994 基本仿射逻辑的阶段语义和可判定性。 Zbl 1047.03048号 乌戈·达尔拉戈；西蒙·马蒂尼 三 2004 计算机科学逻辑。1992年9月28日至10月2日，意大利圣米尼亚托CSL’92第六次研讨会。精选论文。 Zbl 0852.00039号 2 1993 更高类型的可计算性，P\（\omega\）和类型赋值的完整性。 Zbl 0625.03027号 G·隆戈。；马提尼，S。 2 1986 校对网、垃圾和计算。 Zbl 1063.03535号 游击队，S。；马丁尼，S。；A.马西尼。 2 1997 从2-序列和线性嵌套序列到正规模态逻辑的自然演绎。 Zbl 1505.03054号 西蒙·马蒂尼；安德烈亚·马西尼；玛格丽塔·佐齐 2 2021 非张力计算和组合逻辑的分类模型。 Zbl 0795.03099号 西蒙·马蒂尼 1 1992 多态性的分类模型。 兹比尔0772.18007 安德烈亚·阿斯佩蒂；西蒙·马蒂尼 1 1992 模态逻辑、线性逻辑、最佳λ还原。 Zbl 0951.03019号 斯特凡诺游击队；西蒙·马蒂尼；安德烈亚·马西尼 1 1999 更高类型和泛域P\（\omega\）中的可计算性。 Zbl 0665.03036号 G·隆戈。；马提尼，S。 1 1985 编程语言：原理和范例。翻译自意大利语。 Zbl 1204.68047号 毛里齐奥·加布里埃利；西蒙·马蒂尼 1 2010 轻逻辑和高阶过程。 Zbl 1455.68121号 乌戈·达尔拉戈；西蒙·马蒂尼；大卫·桑吉奥吉 1 2010 从2-序列和线性嵌套序列到正规模态逻辑的自然演绎。 Zbl 1505.03054号 西蒙·马蒂尼；安德烈亚·马西尼；玛格丽塔·佐齐 2 2021 轻逻辑和高阶过程。 Zbl 1362.68209号 乌戈·达尔拉戈；西蒙·马蒂尼；大卫·桑吉奥吉 4 2016 与网络的互动：在单一领导者、共识网络中，结构如何与可控性相关？ Zbl 1395.93115号 马格纳斯·埃格斯特德；西蒙·马蒂尼；曹明；卡纳特·卡姆利贝尔；安东尼奥·比奇 31 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。；Masini，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 0795.03099号 西蒙·马蒂尼 1 1992 多态性的分类模型。 Zbl 0772.18007号 安德烈亚·阿斯佩蒂；西蒙·马蒂尼 1 1992 带有子类型的系统\（F\）的扩展。 兹比尔1496.03058 卢卡·卡德利；西蒙·马蒂尼；约翰·米切尔（John C.Mitchell）。；安德烈·斯切德罗夫 5 1991 用域闭合公理完成逻辑程序。 Zbl 0645.68099号 保罗·曼卡雷拉；西蒙·马蒂尼；佩德雷希·迪诺 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名262位作者引用 9 乌戈·达尔拉戈 9 西蒙·马蒂尼 8 贝尼亚米·阿卡托利 8 安德烈亚·马西尼 7 帕特里克·贝洛特 7 斯特凡诺游击队 6 乔治·盖利 5 本杰明·皮尔斯。 4 路易吉·利科里 三 安德烈亚·阿斯佩蒂 三 马丁·阿文齐尼 三 爱德华多·博内利 三 克劳迪娅·法根 三 扬尼克·福斯特 三 马丁·霍夫曼 三 徐顺平 三 诺里希罗·卡米德 三 达米亚诺·马扎 三 克劳德·斯托尔泽 三 安德烈斯·维索 2 马丁·阿巴迪 2 罗伯特·阿马迪奥（Roberto M.Amadio）。 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 吉田、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 丹尼尔·德·卡瓦略 1 瓦莱里亚·德·佩瓦 1 朱利亚·德·帕斯夸尔 1 Jean-Paul，Delahaye …还有162位作者 全部的 前5名36篇连载文章中引用 24 理论计算机科学 23 信息与计算 10 MSCS公司。计算机科学中的数学结构 9 Automatica公司 5 计算机科学中的逻辑方法 4 系统和控制信件 4 自动推理杂志 三 纯逻辑与应用逻辑年鉴 三 数学逻辑档案 三 应用非经典逻辑杂志 三 函数编程杂志 2 富兰克林学院学报 2 国际鲁棒非线性控制杂志 2 欧洲控制杂志 2 混乱 2 应用逻辑杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际控制杂志 1 应用数学与计算 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 逻辑科公报 1 新一代计算 1 MCS中。控制、信号和系统数学 1 计算的形式方面 1 线性代数及应用 1 数学逻辑季刊（MLQ） 1 分形 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 SIAM应用动力系统杂志 1 非线性分析。混合动力系统 1 符号逻辑述评 1 亚洲控制杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 全部的 前5名17个字段中引用 100 计算机科学（68至XX） 88 数理逻辑与基础（03-XX） 27 系统论；控制（93至XX） 9 范畴理论；同调代数（18-XX） 5 组合数学（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） 按年份列出的引文