编辑配置文件(在新选项卡中打开) 胜本,Shin-ya 合著者距离 作者ID: 胜本·欣雅 发布日期: 胜本,Shin-ya;胜本、新雅 外部链接: MGP公司 已编制索引的文档: 43出版物自2001年以来,包括3个附加arXiv预打印 合著者: 41位合著者具有34联合出版物 492合著作者 全部的 前5名合著者 9 单作者的 9 一郎·哈索 7 杰雷米·杜布特 5 佐藤,铁杉 5 戴维·斯普伦格 3 马尔科·加博阿迪 3 Kori、Mayuko 3 塔尔莫乌斯塔卢 3 秋久山田 2 亚历杭德罗·阿吉雷 2 克洛维斯·埃伯哈特 2 尤拉杰·科尔查克 2 小森田,Yuichi 2 苏苏木西村 2 西泽,Koki 2 多米尼克·A·乌节。 2 Kohei Suenaga公司 2 托尔斯滕·维曼 1 阿泽维多·德·阿莫林 1 弗拉维恩·布鲁瓦特 1 伊克拉姆·切里奎 1 肯塔·乔 1 藤井秀一郎 1 福原洋司 1 乔·厄斯金·汉奈 1 长谷川、Masahito 1 贾斯汀·徐 1 石川,Fuyuki 1 斯特凡·克里科维茨 1 小林,津都 1 佐藤库拉 1 斯特凡·米利厄斯 1 Motoura、Shota 1 中泽,Koji 1 Atsushi Ohori 1 尤一郎·奥亚布 1 对手,泽维尔 1 里瓦斯,埃克斯奎尔 1 朱里安·罗特 1 唐纳德·桑内拉。 1 Natsuki Urabe 1 川崎渡边 全部的 前5名系列 2 骨髓间充质干细胞。计算机科学中的数学结构 2 程序设计中的逻辑和代数方法杂志 1 剑桥哲学学会数学进展杂志 1 卡罗莱纳大学数学评论 1 信息与计算 1 逻辑与计算杂志 1 函数编程杂志 1 计算机科学中的逻辑方法 领域 33 计算机科学(68至XX) 18 范畴理论;同调代数(18-XX) 16 数学逻辑和基础(03-XX) 2 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 29出版物有被引用137中的次82文件 引用人▼ 年份▼ 参数效应单子和效应系统的语义。 Zbl 1284.68133号 胜本,Shin-ya 21 2014 走向分级单体的形式理论。 Zbl 1474.18011号 藤井宗一郎;胜本,Shin-ya;保罗·安德烈·梅利埃 17 2016 通过分级将效果和系数结合起来。 Zbl 1361.68037号 马尔科·加博阿迪;胜本,Shin-ya;多米尼克·乌节;弗拉维恩·布鲁瓦特;塔尔莫乌斯塔卢 12 2016 计算元语言的\(\top\top\)-提升和逻辑谓词的语义公式。 Zbl 1136.03307号 胜本,Shin-ya 11 2005 单子体的Codensity提升。 Zbl 1366.68157号 胜本、新雅;佐藤,铁杉 8 2015 纤维理性的相互刺激和定量推理。 Zbl 1509.18025号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 7 2018 单子体和辅单体的相互作用规律。 Zbl 1499.68065号 胜本,Shin-ya;里瓦斯,埃克斯奎尔;塔尔莫乌斯塔卢 7 2020 度量保存的语义说明。 Zbl 1380.68263号 阿泽夫多·阿莫林;马尔科·加博阿迪;贾斯汀·徐;胜本,Shin-ya;伊克拉姆·切里奎 5 2017 单子及其对偶的Codensity提升。 Zbl 1398.18005号 胜本、新雅;佐藤,铁杉;塔尔莫乌斯塔卢 5 2018 通过\(\top\top\)-提升关联计算效果。 兹比尔1267.68087 胜本、新雅 5 2013 分级Hoare逻辑及其范畴语义。 Zbl 1473.68043号 马尔科·加博阿迪;胜本,Shin-ya;多米尼克·乌节;佐藤,铁杉 4 2021 纤维相互模拟和定量推理:扩展版。 Zbl 1509.18026号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 4 2021 单子和余代数模拟的预订单。 Zbl 1260.68242号 胜本,Shin-ya;佐藤,铁杉 4 2013 谎言中最薄弱的先决条件。 Zbl 07516369号 亚历杭德罗·阿吉雷;胜本,Shin-ya 4 2020 属性语法和范畴语义。 Zbl 1156.68026号 胜本,Shin-ya 3 2008 免费路径类别。具有非确定分支的余代数的开放态射。 Zbl 1524.68205号 托尔斯滕·维曼;杰雷米·杜布特;胜本,Shin-ya;一郎·哈索 3 2019 分级线性指数共聚体的双范畴理论分析。 Zbl 1505.18010号 胜本,Shin-ya 3 2018 通过\(\top\top\)-闭包运算符对lambda可定义性进行表征。 Zbl 1156.03315号 胜本,Shin-ya 2 2008 关于可达性的联合观点。 Zbl 07177892号 托尔斯滕·维曼;斯特凡·米利厄斯;胜本,Shin-ya;杰雷米·杜布特 2 2019 低级代码的校对反编译。 Zbl 0977.68015号 胜本,Shin-ya;Atsushi Ohori 1 2001 将预先逻辑谓词推广到简单类型形式系统。 Zbl 1099.03012号 胜本,Shin-ya 1 2004 关于追踪单体范畴的两个范畴与tortile单体范畴之间的双余函数的注记。 Zbl 1191.18002号 长谷川、Masahito;胜本、新雅 1 2010 累加参数函数的代数融合及其改进。 Zbl 1155.68351号 胜本、新雅;苏苏木西村 1 2008 通过\(\top\top\)-提升关联计算效果。 Zbl 1334.68043号 胜本,Shin-ya 1 2011 非类型化演算的扩展模型。 Zbl 1459.68071号 Koji Nakazawa;胜本、新雅 1 2012 通过逻辑进行架构指导的测试资源分配。 Zbl 1489.68043号 克洛维斯·埃伯哈特;秋久山田;斯特凡·克里科维茨;胜本,Shin-ya;小林,津都;一郎·哈索;石川,Fuyuki 1 2021 来自光学的石头二重性。 Zbl 07578344号 西泽,Koki;胜本、新雅;小森田,Yuichi 1 2020 属性导向可达性分析的格理论本质。 Zbl 1514.68137号 Kori、Mayuko;Natsuki Urabe;胜本,Shin-ya;Kohei Suenaga公司;一郎·哈索 1 2022 初始代数上的纤维化初始代数-有限余代数重合:将验证见证倒置。 Zbl 07730623号 Kori、Mayuko;一郎·哈索;胜本、新雅 1 2021 属性导向可达性分析的格理论本质。 Zbl 1514.68137号 Kori、Mayuko;Natsuki Urabe;胜本,Shin-ya;Kohei Suenaga公司;一郎·哈索 1 2022 分级霍尔逻辑及其范畴语义。 Zbl 1473.68043号 马尔科·加博阿迪;胜本,Shin-ya;多米尼克·乌节;佐藤,铁杉 4 2021 纤维相互模拟和定量推理:扩展版。 Zbl 1509.18026号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 4 2021 通过逻辑进行架构指导的测试资源分配。 Zbl 1489.68043号 克洛维斯·埃伯哈特;秋久山田;斯特凡·克里科维茨;胜本,Shin-ya;小林,津都;一郎·哈索;石川,Fuyuki 1 2021 初始代数上的纤维化初始代数-有限余代数重合:将验证见证倒置。 Zbl 07730623号 Kori,麻由子;一郎·哈索;胜本、新雅 1 2021 单子体和辅单体的相互作用规律。 Zbl 1499.68065号 胜本,Shin-ya;里瓦斯,埃克斯奎尔;塔尔莫乌斯塔卢 7 2020 谎言中最薄弱的先决条件。 Zbl 07516369号 亚历杭德罗·阿吉雷;胜本,Shin-ya 4 2020 来自光学的石头二重性。 Zbl 07578344号 西泽,Koki;胜本、新雅;小森田,Yuichi 1 2020 免费路径类别。具有非确定分支的余代数的开放态射。 Zbl 1524.68205号 托尔斯滕·魏斯曼;杰雷米·杜布特;胜本,Shin-ya;一郎·哈索 3 2019 关于可达性的联合观点。 Zbl 07177892号 托尔斯滕·维曼;斯特凡·米利厄斯;胜本,Shin-ya;杰雷米·杜布特 2 2019 纤维化相互模拟和定量推理。 Zbl 1509.18025号 戴维·斯普伦格;胜本,Shin-ya;杰雷米·杜布特;一郎·哈索 7 2018 单子及其对偶的Codensity提升。 Zbl 1398.18005号 胜本、新雅;佐藤,铁杉;塔尔莫乌斯塔卢 5 2018 梯度线性指数余弦的双范畴理论分析。 Zbl 1505.18010号 胜本,Shin-ya 3 2018 度量保存的语义说明。 Zbl 1380.68263号 阿泽夫多·阿莫林;马尔科·加博阿迪;贾斯汀·徐;胜本,Shin-ya;伊克拉姆·切里奎 5 2017 走向分级单体的形式理论。 Zbl 1474.18011号 藤井宗一郎;胜本,Shin-ya;保罗·安德烈·梅利埃 17 2016 通过分级将效果和系数结合起来。 Zbl 1361.68037号 马尔科·加博阿迪;胜本,Shin-ya;多米尼克·乌节;弗拉维恩·布鲁瓦特;塔尔莫乌斯塔卢 12 2016 单子体的Codensity提升。 Zbl 1366.68157号 胜本、新雅;佐藤,铁杉 8 2015 参数效应单子和效应系统的语义。 Zbl 1284.68133号 胜本,Shin-ya 21 2014 通过\(\top\top\)-提升关联计算效果。 Zbl 1267.68087号 胜本、新雅 5 2013 单子和余代数模拟的预订单。 Zbl 1260.68242号 胜本,Shin-ya;佐藤,铁杉 4 2013 非类型化演算的扩展模型。 Zbl 1459.68071号 中泽,Koji;胜本、新雅 1 2012 通过\(\top\top\)-提升关联计算效果。 Zbl 1334.68043号 胜本,Shin-ya 1 2011 关于追踪单体范畴的两个范畴与tortile单体范畴之间的双余函数的注记。 兹比尔1191.18002 长谷川、Masahito;胜本、新雅 1 2010 属性语法和范畴语义。 Zbl 1156.68026号 胜本,Shin-ya 3 2008 通过\(\top\top\)-闭包运算符对lambda可定义性进行表征。 Zbl 1156.03315号 胜本,Shin-ya 2 2008 累加参数函数的代数融合及其改进。 Zbl 1155.68351号 胜本、新雅;苏苏木西村 1 2008 计算元语言的\(\top\top\)-提升和逻辑谓词的语义公式。 Zbl 1136.03307号 胜本,Shin-ya 11 2005 将预先逻辑谓词推广到简单类型形式系统。 Zbl 1099.03012号 胜本,Shin-ya 1 2004 低级代码的校对反编译。 Zbl 0977.68015号 胜本,Shin-ya;Atsushi Ohori 1 2001 所有引用出版物 前5名被引用出版物 全部的 前5名124位作者引用 12 胜本,Shin-ya 6 迪伦·麦克德莫特 6 佐藤,铁杉 5 塔尔莫乌斯塔卢 4 一郎·哈索 4 多米尼克·A·乌节。 3 达尔拉戈,乌戈 3 杰雷米·杜布特 3 弗朗西斯科·加瓦佐 3 芭芭拉·柯尼格 3 佐藤库拉 2 亚历杭德罗·阿吉雷 2 丹尼尔·艾哈曼 2 罗伯特·艾奇 2 菲利波·邦奇 2 哈雷III伊德斯 2 保罗州恩里克·莫利纳 2 Richard加纳 2 阿德里安·瓜托 2 长谷川、Masahito 2 克劳迪奥·赫米达 2 克里斯·希恩 2 马丁·霍夫曼 2 奥哈德·卡玛 2 克莱门斯·库普克 2 乔治·梅特卡夫 2 Daniela Luan Petrisan 2 美国雷迪。 2 Edmund P.罗宾逊。 2 朱里安·罗特 2 西蒙·桑斯基 2 Kohei Suenaga公司 2 肖恩·塔尔 2 塞缪尔·雅各布 2 Niels F.W.Voorneveld。 2 托尔斯滕·维曼 1 萨姆森·艾布拉姆斯基 1 埃里克·巴杜埃尔 1 安德烈·鲍尔 1 尼克·本顿 1 哈什·贝哈尔 1 Jean-Philippe Bernardy 1 里卡多·比安奇尼 1 贝尔科娃,玛尔塔 1 弗拉维恩·布鲁瓦特 1 弗朗西斯科·达尼诺 1 弗雷德里克·达尔奎斯特 1 乌戈·德利古罗 1 马特·多斯塔尔 1 恩德鲁利斯,约尔格 1 彼得·福尔。 1 伯纳德·福清 1 托拜厄斯·弗里茨 1 藤井秀一郎 1 福原洋司 1 马尔科·加博阿迪 1 布鲁诺加夫拉诺维奇 1 尼尔·加尼 1 保拉·詹尼尼 1 杰里米·吉本斯 1 谢尔盖·冈查洛夫 1 Alwyn E.古德洛。 1 迈克尔·J·C·戈登。 1 让·古鲍特·拉雷克 1 朱利安·格罗夫 1 爱德华·赫尔曼·海尔 1 马科托·哈马纳 1 Helle Hvid Hansen先生 1 德克·霍夫曼 1 北彦浩弘 1 胡镇江 1 Kakehi、Kazuhiko 1 安德鲁·肯尼迪。 1 小森田,Yuichi 1 Kori、Mayuko 1 塞巴斯蒂安·库珀 1 杰雷米·莱登特 1 费尔南多·卢卡泰利·努恩斯 1 格雷厄姆·曼纽尔。 1 A.R.马提尼。 1 米卡·米查尔斯基,克里斯蒂娜 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 本杰明·穆恩 1 秋正森哈塔 1 森田康明 1 阿兰·迈克罗夫特 1 玛格努斯·奥·米林。 1 中泽,Koji 1 Hiroto Naya 1 乍得内斯特 1 内维斯、雷纳托 1 Vivek Nigam先生 1 西泽,Koki 1 Nkuimi-Jugnia,C。 1 佩德罗·诺拉 1 弗雷德里克·诺德瓦尔·福斯伯格 1 罗伯特·帕雷 1 佩雷斯,伊万·L。 1 保罗·佩罗内 1 弗兰克·芬宁 …还有24位作者 全部的 前5名14篇连载文章中引用 8 骨髓间充质干细胞。计算机科学中的数学结构 8 计算机科学中的逻辑方法 5 理论计算机科学 4 函数编程杂志 3 程序设计中的逻辑和代数方法杂志 2 纯粹与应用代数杂志 2 范畴的理论与应用 1 人工智能 1 Studia Logica公司 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 逻辑、语言与信息杂志 1 高阶和符号计算 1 范畴和一般代数结构及其应用 全部的 前5名在12个字段中引用 67 计算机科学(68至XX) 29 范畴理论;同调代数(18-XX) 24 数学逻辑和基础(03-XX) 2 阶、格、有序代数结构(06-XX) 2 概率论与随机过程(60-XX) 2 量子理论(81-XX) 1 结合环与代数(16-XX) 1 凸和离散几何(52至XX) 1 代数拓扑(55-XX) 1 流形和细胞复合体(57至XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文