停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

Shin-ya胜本

勝股審也

>主页 >珀森斯

人员信息

unicode名称： 勝股審也
隶属关系： 日本东京国家信息学院
隶属关系： 日本京都大学

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/HasuoOESCK24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/HasuoOESCK24
Hasuo一郎,Oyabu一郎,克洛维斯·埃伯哈特,Kohei Suenaga公司,肯塔·乔,Shin-ya胜本:
用于概率程序有效推理的控制数据分离和逻辑条件传播。 J.日志。代数方法程序。 136:100922(2024)
[i22]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2404-08308
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2404-08308
Mayuko Kori公司,渡边和辅,侏罗纪腐朽,Shin-ya胜本:
编写Codensity Bisimulations。 CoRR公司 abs/2404.08308(2024)
2023
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/0001K23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/0001K23
佐藤忠雄,Shin-ya胜本:
关系程序逻辑单子上的分歧。数学。结构。计算。科学。 33(4-5):427-485(2023)
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2309-08822
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-08822
Shin-ya胜本,Xavier对手,杰雷米·杜布特:
程序语义和语义抽象的分类框架。 MFPS公司 2023
2022
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/NishizawaKK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/NishizawaKK22
Koki Nishizawa公司,Shin-ya胜本,小森由一:
来自光学的石头二重性。 J.日志。代数方法程序。 127:100773(2022)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/AguirreKK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/AguirreKK22
亚历杭德罗·阿吉雷,Shin-ya胜本,佐藤·库拉（Satoshi Kura）:
谎言中最薄弱的先决条件。数学。结构。计算。科学。 32(4):472-510(2022)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ngc/KomoridaKHKHEH22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ngc/KomoridaKHKHEH22网址
小森由一,Shin-ya胜本,尼克·胡,巴托克·克林,塞缪尔·休谟,克洛维斯·埃伯哈特,Hasuo一郎:
代码相似性游戏。新一代。计算。 40(2):403-465(2022)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/KatsumataMUW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/KatsumataMUW22
Shin-ya胜本,迪伦·麦克德莫特,塔尔莫·乌斯塔卢,尼古拉斯·吴:
分级单体的灵活呈现。程序。ACM计划。语言。 6(ICFP公司):902-930(2022)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/KammarKS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/KammarKS22
奥哈德·卡马尔,Shin-ya胜本,菲利普·萨维尔:
通过分类理论逻辑关系对有效λ-计算进行完全抽象。程序。ACM计划。语言。 6(POPL公司):1-28(2022)
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KoriUKSH22公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KoriUKSH22网站
Mayuko Kori公司,Natsuki Urabe公司,Shin-ya胜本,Kohei Suenaga公司,Hasuo一郎:
属性导向可达性分析的格理论本质。 CAV（1） 2022:235-256
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/MotouraK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/MotouraK22
Shota Motoura公司,Shin-ya胜本:
论动态认识逻辑中的逆算子。 LFCS公司 2022:217-235
【i21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2203-14261
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2203-14261
Mayuko Kori公司,Natsuki Urabe公司,Shin-ya胜本,Kohei Suenaga公司,Hasuo一郎:
属性导向可达性分析的格理论本质。 CoRR公司 abs/2203.14261(2022)
[i20]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2206-05716
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-05716
佐藤忠雄,Shin-ya胜本:
关系程序逻辑单数上的分歧。 CoRR公司 abs/2206.05716(2022)
2021
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/logcom/SprungerKDH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/SprungerKDH21
大卫·斯普伦格,Shin-ya胜本,杰雷米·杜布特,Hasuo一郎:
纤维相互模拟和定量推理：扩展版。 J.日志。计算。 31(6):1526年-1559年(2021)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/AguirreBGGKS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/AguirreBGGKS21
亚历杭德罗·阿吉雷,吉勒·巴特,马可·加博阿迪,迪帕克·加尔格,Shin-ya胜本,佐藤哲也:
高阶概率对抗计算：范畴语义和程序逻辑。程序。ACM计划。语言。 5(ICFP公司):1-30(2021)
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/KoriHK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/KoriHK21
Mayuko Kori公司,Hasuo一郎,Shin-ya胜本:
纤维化初始代数-初始代数上的最终余代数重合：翻转验证见证。 CONCUR公司 2021:21:1-21:22
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/GaboardiKOS21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GaboardiKOS21
马可·加博阿迪,Shin-ya胜本,多米尼克·乌节,佐藤哲也:
分级Hoare逻辑及其范畴语义。员工持股计划 2021:234-263
[公元34年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/FukiharaK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FukiharaK21
福原洋司,Shin-ya胜本:
广义有界线性逻辑及其范畴语义。 FoSSaCS公司 2021:226-246
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KomoridaKKRH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KomoridaKKRH21
小森由一,Shin-ya胜本,克莱门斯·库普克,侏罗纪腐朽,Hasuo一郎:
定量模态逻辑的表达：通过编码和近似的范畴基础。许可证 2021:1-14
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/小林SHCIK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/KobayashiSHCIK21
小林聪,瑞克·萨莱,Hasuo一郎,克日什托夫·沙内基（Krzysztof Czarnecki）,石川福玉,Shin-ya胜本:
对抗感知不确定性的网络物理系统鲁棒控制器规范。非金融市场 2021:198-213
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/Eberhart0KKHI21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/Eberhart0KKHI21
克洛维斯·埃伯哈特,山田秋久,斯特凡·克利科维茨,Shin-ya胜本,小林聪,Hasuo一郎,石川福玉:
通过逻辑进行架构指导的测试资源分配。 STAF处的TAP 2021:22-38
[i19]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2101-01502
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-01502
Hasuo一郎,Oyabu一郎,克洛维斯·埃伯哈特,Kohei Suenaga公司,肯塔·乔,Shin-ya胜本:
概率程序有效推理的控制数据分离和逻辑条件传播。 CoRR公司 abs/2101.01502(2021)
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2105-04817
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-04817
Mayuko Kori公司,Hasuo一郎,Shin-ya胜本:
初始代数上的纤维理性初始代数最终余代数重合：翻转验证见证倒置。 CoRR公司 abs/2105.04817(2021)
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2105-10164
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-10164
小森由一,Shin-ya胜本,克莱门斯·库普克,侏罗纪腐朽,Hasuo一郎:
定量模态逻辑的表达：通过编码和近似的范畴基础。 CoRR公司 abs/2105.10164(2021)
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-01155
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-01155
亚历杭德罗·阿吉雷,吉勒·巴特,马可·加博阿迪,迪帕克·加尔格,Shin-ya胜本,佐藤忠雄:
高阶概率对抗计算：分类语义和程序逻辑。 CoRR公司 abs/2107.01155(2021)
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2107-10948
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-10948
克洛维斯·埃伯哈特,山田秋久,斯特凡·克利科维茨,Shin-ya胜本,小林聪,Hasuo一郎,石川福玉:
通过逻辑进行架构指导的测试资源分配。 CoRR公司 abs/2107.10948(2021)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2108-07509
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2108-07509
小林聪,里克·萨莱,Hasuo一郎,克日什托夫·沙内基（Krzysztof Czarnecki）,石川福玉,Shin-ya胜本:
对抗感知不确定性的网络物理系统鲁棒控制器规范。 CoRR公司 abs/2108.07509(2021)
2020
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/RelMiCS/NishizawaKK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/RelMiCS/NishizawaKK20
Koki Nishizawa公司,Shin-ya胜本,小森由一:
来自Opfibrations的石头二重性。 RAMiCS公司 2020:221-236
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KatsumataRU20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KatsumataRU20
Shin-ya胜本,Exequiel Rivas公司,塔尔莫·乌斯塔卢:
单音和共鸣的相互作用规律。许可证 2020:604-618
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfps/AguirreK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfps/AguirreK20
亚历杭德罗·阿吉雷,Shin-ya胜本:
纤维组织中最薄弱的先决条件。 MFPS公司 2020:5-27
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/KolcakDHKS020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/KolcakDHKS020
尤拉杰·科拉克,杰雷米·杜布特,Hasuo一郎,Shin-ya胜本,大卫·斯普伦格,山田秋久:
关系微分动态逻辑。 TACAS（1） 2020:191-208
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2007-11235
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2007-1235
马可·加博阿迪,Shin-ya胜本,多米尼克果园,佐藤忠雄:
分级Hoare逻辑及其范畴语义。 CoRR公司 abs/2007.11235(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[c26]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/WissmannDKH19文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/WissmannDKH19
Thorsten Wißmann公司,杰雷米·杜布特,Shin-ya胜本,Hasuo一郎:
具有非确定分支的余代数的自由开放态的路径分类。 FoSSaCS公司 2019:523-540
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/混合型/KolcakHDKSY19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hybrid/KolcakHDKSY19
尤拉杰·科拉克,Hasuo一郎,杰雷米·杜布特,Shin-ya胜本,大卫·斯普伦格,山田秋久:
关系微分动态逻辑：海报摘要。高速列车控制中心 2019:284-285
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AmorimGHK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AmorimGHK19
阿瑟·阿泽夫多·德·阿莫林,马可·加博阿迪,徐宇春（Justin Hsu）,Shin-ya胜本:
通过度量的概率关系推理。许可证 2019:1-19
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ComoridaKHKH19公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KomoridaKHKH19
小森裕一,Shin-ya胜本,尼克·胡,巴托克·克林,Hasuo一郎:
代码相似性游戏。许可证 2019:1月13日
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SatoBGHK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SatoBGHK19
佐藤哲也,吉勒·巴特,马可·加博阿迪,徐宇春（Justin Hsu）,Shin-ya胜本:
近似跨度提升：用于放松差异隐私的合成语义。许可证 2019:1-14
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SprungerK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SprungerK19
大卫·斯普伦格,Shin-ya胜本:
通过延迟跟踪的可微因果计算。许可证 2019:1-12
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1903-00153
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1903-00153
尤拉杰·科拉克,Hasuo一郎,杰雷米·杜布特,胜俣信也,大卫·斯普伦格,山田秋久:
关系微分动态逻辑。 CoRR公司 abs/1903.00153(2019)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1903-01093
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1903-01093
大卫·斯普伦格,Shin-ya胜本:
通过延迟跟踪的可微因果计算。 CoRR公司 abs/1903.01093(2019)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1907-09634
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-09634
小森由一,Shin-ya胜本,尼克·胡,巴托克·克林,Hasuo一郎:
代码相似性游戏。 CoRR公司 abs/1907.09634(2019)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1912-13477
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1912-13477
Shin-ya胜本,Exequiel Rivas公司,塔尔莫·乌斯塔卢:
单子体和辅单体的相互作用规律。 CoRR公司 abs/1912.13477(2019)
2018
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KatsumataSU18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KatsumataSU18
Shin-ya胜本,佐藤忠雄,塔尔莫·乌斯塔卢:
单子及其对偶的码密度提升。日志。方法计算。科学。 14(4)(2018)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cmcs/SprungerKDH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmcs/SprungerKDH18
大卫·斯普伦格,Shin-ya胜本,杰雷米·杜布特,Hasuo一郎:
纤维双向模拟和定量推理。 CMCS公司 2018:190-213
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Katsumata18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Katsumata18
Shin-ya胜本:
梯度线性指数余弦的双范畴理论分析。 FoSSaCS公司 2018:110-127
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1807-05091
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1807-05091
亚瑟·阿泽维多·德·阿莫林,马可·加博阿迪,徐宇春（Justin Hsu）,胜俣信也:
概率关系推理的度量语义。 CoRR公司 abs/1807.05091(2018)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-09278
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-09278
杰雷米·杜布特,Hasuo一郎,Shin-ya胜本,大卫·斯普伦格:
使用共反射和开放态射的定量互模拟。 CoRR公司 abs/1809.09278(2018)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1810-07972
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1810-07972
Shin-ya胜本,佐藤忠雄,塔尔莫·乌斯塔卢:
单子及其对偶的码密度提升。 CoRR公司 abs/1810.07972(2018)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1811-12294
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-12294
托尔斯滕·维曼,杰雷米·杜布特,Shin-ya胜本,Hasuo一郎:
具有非确定分支的余代数的自由-开放态射的路径范畴。 CoRR公司 abs/1811.12294(2018)
2017
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/AmorimGHKC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/AmorimGHKC17
阿瑟·阿泽夫多·德·阿莫林,马可·加博阿迪,徐宇春（Justin Hsu）,Shin-ya胜本,伊克拉姆·切里奎:
度量保存的语义说明。 POPL公司 2017:545-556
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/AmorimGHKC17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AmorimGHKC17
亚瑟·阿泽维多·德·阿莫林,马可·加博阿迪,徐宇春（Justin Hsu）,Shin-ya胜本,伊克拉姆·切里奎:
度量保存的语义说明。 CoRR公司 abs/1702.00374(2017)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-09010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-09010
佐藤忠雄,吉勒·巴特,马可·加博阿迪,徐宇春（Justin Hsu）,Shin-ya胜本:
推理分歧以放松差异隐私。 CoRR公司 abs/1710.09010(2017)
[i2]
- 看法
  - 电子版@nii.ac.jp（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/shonan-reports/GaboardiK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/shonan-reports/GaboardiK17
马可·加博阿迪,胜俣信也:
效果、资源和应用的语义（NII Shonan会议2017-4）。 NII Shonan会议。代表。 2017(2017)
[i1]
- 看法
  - 电子版@nii.ac.jp（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/shonan-reports/KatsumataPR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/shonan-reports/KatsumataPR17
Shin-ya胜本,达米安·普斯,简·鲁顿:
增强型共创（2017-17年NII Shonan会议）。 NII Shonan会议。代表。 2017(2017)
2016
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/FujiiKM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FujiiKM16
藤井宗一郎,Shin-ya胜本,保罗·安德烈·梅利斯:
走向分级单子的形式理论。 FoSSaCS公司 2016:513-530
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/GaboardiKOBU16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/GaboardiKOBU16
马可·加博阿迪,Shin-ya胜本,多米尼克·A·乌节（Dominic A.Orchard）,弗拉维恩·布鲁瓦特,塔尔莫·乌斯塔卢:
通过分级将效果和系数结合起来。 ICFP公司 2016:476-489
2015
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/KatsumataS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/KatsumataS15
Shin-ya胜本,佐藤忠雄:
单车的代码提升。 CALCO公司 2015:156-170
2014
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/Katsumata14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/Katsumata14
Shin-ya胜本:
参数效应单子和效应系统的语义。 POPL公司 2014:633-646
2013
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Katsumata13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Katsumata13
Shin-ya胜本:
通过提升关联计算效果。 Inf.计算。 222:228-246(2013)
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/KatsumataS13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/KatsumataS13
Shin-ya胜本,佐藤哲也:
单数和余代数模拟的预订单。 FoSSaCS公司 2013:145-160
2012
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1210-3116
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1210-3116
中泽浩二,Shin-ya胜本:
非类型Lambda-mu演算的扩展模型。 CL&C公司 2012:35-47
2011
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Katsumata11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Katsumata11
Shin-ya胜本:
通过“提升”关联计算效果。 ICALP（二） 2011:174-185
2010
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Katsumata10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Katsumata10
Shin-ya胜本:
分类描述组成。阿普拉斯 2010:222-238

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2008
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/KatsumataN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/KatsumataN08
Shin-ya胜本,西村素素木:
累加参数函数的代数融合及其改进。 J.功能。程序。 18(5-6):781-819(2008)
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Katsumata08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Katsumata08
Shin-ya胜本:
通过TT-闭算子用和表征Lambda可定义性。 CSL公司 2008:278-292
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Katsumata08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Katsumata08
Shin-ya胜本:
属性语法和范畴语义。 ICALP（二） 2008:271-282
2006
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/KatsumataN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/KatsumataN06
Shin-ya胜本,西村素素木:
具有累积参数的函数的代数融合及其改进。 ICFP公司 2006:227-238
2005
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/民族精神/Katsumata05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Katsumata05
Shin-ya胜本:
前逻辑谓词的泛化及其应用。英国爱丁堡大学，2005
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Katsumata05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Katsumata05
Shin-ya胜本:
计算元语言TT-Lifting和逻辑谓词的语义形式。 CSL公司 2005:第87页至第102页
2004
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Katsumata04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Katsumata04
Shin-ya胜本:
将逻辑前谓词推广到简单类型形式系统。 ICALP公司 2004:831-845
2003
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/HannayKS03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/HannayKS03
乔·厄斯金·汉奈,Shin-ya胜本,唐纳德·桑内拉:
模拟关系的语义和句法方法。 MFCS公司 2003:68年至91年
2002
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wadt/Katsumata02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wadt/Katsumata02
Shin-ya胜本:
高阶类型语言中的行为等效性和不可区分性。 WADT（瓦特） 2002:284-298
2001
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KatsumataO01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KatsumataO01
Shin-ya胜本,大森Atsushi Ohori:
低层代码的校对定向反编译。员工持股计划 2001:352-366
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wcre/MycroftOK01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wcre/MycroftOK01
艾伦·迈克罗夫特,大里Atsushi,Shin-ya胜本:
比较基于类型和校对的反编译。 WCRE公司 2001:362-367年

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。