编辑配置文件（在新选项卡中打开） 马蒂奥·奇米尼 合著者距离 作者ID: cimini.mateo公司 发布日期： 马蒂奥·奇米尼 已编制索引的文档： 16出版物自2010年起 合著者： 13合著者具有14份联合出版物 198位合作作者 全部的 前5名合著者 2 单作者的 6 卢卡·埃特罗 6 Anna Ingólfsdóttir 5 米歇尔·阿德里安·雷尼尔 三 杰里米·西克。 2 罗纳德·加西亚 2 本杰明·穆拉德 1 加贝，默多克-詹姆斯 1 特雷弗·L·麦克唐纳。 1 穆罕默德雷扎·穆萨维 1 Ryan R.牛顿。 1 Tobin Hochstadt，山姆 1 Michael M.维图塞克。 1 蒂莫西·扎基安（Timothy A.K.Zakian）。 系列 2 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 领域 16 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用40中的次23文件 引用人▼ 年份▼ 渐变器：生成渐变类型系统的方法和算法。 Zbl 1347.68048号 马蒂奥·奇米尼;杰里米·西克。 6 2016 自动生成渐变类型语言的动态语义。 Zbl 1380.68082号 马蒂奥·奇米尼;杰里米·西克。 6 2017 标称SOS。 兹比尔1342.68193 马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;默多克·J·加贝。 6 2012 渐进式项目的主要类型方案。 Zbl 1345.68105号 罗纳德·加西亚;马蒂奥·奇米尼 4 2015 单音参考，用于有效的渐进打字。 Zbl 1335.68069号 杰里米·西克。;Michael M.维图塞克。;马蒂奥·奇米尼;萨姆·托宾·霍施塔特;罗纳德·加西亚 三 2015 零元素和单位元素的规则格式。 Zbl 1342.68189号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2010 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2011 一种基于互模拟的方法，用于证明GSOS语言中方程的有效性。 Zbl 1454.68071号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂 三 2010 语言转换的微积分。 Zbl 1508.68034号 本杰明·穆拉德;马蒂奥·奇米尼 2 2020 Ghostbuster：简化和转换GADT的工具。 Zbl 1361.68042号 特雷弗·L·麦克唐纳。;蒂莫西·扎基安（Timothy A.K.Zakian）。;马蒂奥·奇米尼;牛顿，瑞安·R。 1 2016 零元素和单位元素的SOS规则格式。 Zbl 1216.68152号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 1 2011 高阶逻辑编程在面向语言编程中的有效性。 Zbl 07368087号 马蒂奥·奇米尼 1 2020 系统描述：lang-n-change–转换语言的工具。 Zbl 07368092号 本杰明·穆拉德;马蒂奥·奇米尼 1 2020 语言转换的微积分。 Zbl 1508.68034号 本杰明·穆拉德;马蒂奥·奇米尼 2 2020 高阶逻辑编程在面向语言编程中的有效性。 Zbl 07368087号 马蒂奥·奇米尼 1 2020 系统描述：lang-n-change–转换语言的工具。 兹伯利07368092 本杰明·穆拉德;马蒂奥·奇米尼 1 2020 自动生成渐变类型语言的动态语义。 Zbl 1380.68082号 马蒂奥·奇米尼;杰里米·西克。 6 2017 渐变器：生成渐变类型系统的方法和算法。 Zbl 1347.68048号 马蒂奥·奇米尼;杰里米·西克。 6 2016 Ghostbuster：简化和转换GADT的工具。 Zbl 1361.68042号 特雷弗·L·麦克唐纳。;蒂莫西·扎基安（Timothy A.K.Zakian）。;马蒂奥·奇米尼;Ryan R.牛顿。 1 2016 渐进式项目的主要类型方案。 Zbl 1345.68105号 罗纳德·加西亚;马蒂奥·奇米尼 4 2015 高效渐进式键入的单调引用。 Zbl 1335.68069号 杰里米·西克。;Michael M.维图塞克。;马蒂奥·奇米尼;萨姆·托宾·霍施塔特;罗纳德·加西亚 三 2015 标称SOS。 兹比尔1342.68193 马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;Gabbay，默多克J。 6 2012 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2011 零元素和单位元素的SOS规则格式。 Zbl 1216.68152号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 1 2011 零元素和单位元素的规则格式。 Zbl 1342.68189号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2010 一种基于互模拟的方法，用于证明GSOS语言中方程的有效性。 Zbl 1454.68071号 卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂 三 2010 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 7 卢卡·埃特罗 7 Anna Ingólfsdóttir 6 马蒂奥·奇米尼 4 新，Max S。 4 米歇尔·阿德里安·雷尼尔 三 伊格纳西奥·法布雷加斯 三 阿尔瓦罗·加西亚·佩雷斯 三 丹尼尔·李卡塔（Daniel R.Licata）。 2 约兰达奥尔特加购物中心 2 杰里米·西克。 1 阿马尔·艾哈迈德 1 佩德罗·安吉洛 1 约翰内斯·伯格斯特伦 1 约翰·彼得·坎波拉三世 1 陈盛 1 陈天宇 1 Pieter J.L.Cuijpers。 1 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 1 埃里克森，拉尔斯·亨里克 1 马丁·埃尔维格 1 马提亚斯·费莱森 1 丹尼尔·费尔蒂 1 罗伯特·布鲁斯·芬德勒 1 马里奥弗洛里多 1 拉姆纳斯·福斯伯格·古特科瓦斯 1 默多克·詹姆斯·加贝 1 欧根·伊安·戈里亚克 1 本·格林曼 1 丹·格罗斯曼 1 哈迪姆，美国。 1 约翰·W·利奥。 1 多里亚娜·梅迪奇 1 克劳迪奥·安塔雷斯·梅齐纳 1 本杰明·穆拉德 1 穆罕默德雷扎·穆萨维 1 奥尔特加·阿尔乔纳，豪尔赫·路易斯 1 约阿希姆·帕罗 1 伊恩·菲利普斯。 1 普利多，卡拉·拉米雷斯 1 塔里亚·林格 1 Asumu Takikawa 1 Tobin Hochstadt，山姆 1 维泰克，简 1 埃里克·沃尔金肖 1 Tjark韦伯 1 纳撒尼尔·亚兹达尼 1 吉田、Nobuko 全部的 前5名6篇连载文章中引用 4 函数编程杂志 三 理论计算机科学 三 计算机科学中的逻辑方法 1 信息与计算 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 23 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 范畴理论；同调代数（18-XX） 按年份列出的引文