编辑配置文件（在新选项卡中打开） Atsushi Igarashi 合著者距离 作者ID： 井冈山 发布日期： Atsushi Igarashi 已编制索引的文档： 34出版物自1992年起 3作为编辑的贡献 合著者： 27位合著者具有32联合出版物 328位合作作者 全部的 前5名合著者 1 单作者的 7 直纪小林 5 小岛贤介 4 芝山、芋头 三 本杰明·皮尔斯。 三 斋藤、千叶 三 Kohei Suenaga公司 三 米尔科·维罗利 2 A.大崎。 2 津田，武士 1 乔·菲利佩·贝洛 1 迈克尔·D·格林伯格。 1 羽一郎羽田 1 迈克尔·哈纳斯 1 Yukio Horiguchi 1 赤泉伊马尼西 1 井上裕久 1 兰吉特·贾拉 1 Yukiyoshi县Kameyama 1 彼得·沃恩·埃尔斯梅尔·麦克林托克 1 中村弘文 1 Yuki西田 1 西川武史 1 高府樱井 1 佐藤真彦 1 直田石沼 1 任思奇 1 索诺贝、达苏亚 1 股票，Nigel G。 1 约翰·托曼 1 上田宗一郎 1 A.Uenishi。 1 Unno，Hiroshi广野 1 广岛吉田 全部的 前5名系列 4 信息与计算 三 计算机科学课堂讲稿 2 计算机科学中的逻辑方法 1 计算机物理通信 1 国际固体与结构杂志 1 统计物理杂志 1 理论计算机科学 1 计算机程序设计科学 1 自动推理杂志 1 函数编程杂志 1 日本物理学会杂志 1 ACM计算逻辑事务 全部的 前5名领域 30 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 三 一般性和全局性主题；集合（00-XX） 2 量子理论（81-XX） 1 特殊功能（33至XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 可变形固体力学（74-XX） 1 统计力学，物质结构（82-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用102中的次84文件 引用人▼ 年份▼ 像素的通用类型系统。 Zbl 1070.68105号 Atsushi Igarashi;直纪小林 20 2004 用于\（\pi\）-演算的泛型类型系统。 Zbl 1323.68410号 Atsushi Igarashi;小林直树 16 2001 资源使用分析。 Zbl 1323.68377号 Atsushi Igarashi;直纪小林 12 2002 带I/O子类型的线性（pi）演算的类型重建。 Zbl 1046.68620号 Atsushi Igarashi;直纪小林 10 2000 构造线性时间逻辑：证明系统和克里普克语义学。 Zbl 1248.03031号 小岛贤介;Atsushi Igarashi 8 2011 元变量的微积分。 Zbl 1116.03321号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama;Atsushi Igarashi 5 2003 参数类型的基于方差的子类型。 Zbl 1049.68791号 Atsushi Igarashi;米尔科·维罗利 4 2002 环境分类器的逻辑基础。 Zbl 1211.68065号 津田，武士;Atsushi Igarashi 4 2010 周期势中非马尔可夫布朗运动的速度谱。 Zbl 0925.60143号 A.伊加拉西。;P.V.E.麦克林托克。;股票，N.G。 三 1992 自动验证无赛跑GPU程序的功能正确性。 Zbl 1426.68054号 小岛贤介;赤泉伊马尼西;Atsushi Igarashi 三 2018 使用递归类型对高阶程序进行建模检查。 Zbl 1381.68170号 直纪小林;Atsushi Igarashi 三 2013 SIMT程序的Hoare逻辑。 Zbl 1426.68053号 小岛贤介;Atsushi Igarashi 三 2013 轻量级家族多态性。 Zbl 1159.68371号 Atsushi Igarashi;基耶里·齐托;米尔科·维罗利 三 2005 数据类型的清单契约。 Zbl 1345.68072号 芝山、芋头;Yuki西田;Atsushi Igarashi 2 2015 通过对简单类型的lambda-calculus进行完全翻译来证明不干涉。 Zbl 1151.03329号 直田石沼;Atsushi Igarashi 2 2008 轻量级家族多态性。 Zbl 1138.68016号 基耶里·齐托;Atsushi Igarashi;米尔科·维罗利 2 2008 GPU内核的Hoare逻辑。 Zbl 1367.68066号 小岛贤介;Atsushi Igarashi 2 2017 虚拟类型的基础。 Zbl 1012.68042号 Atsushi Igarashi;本杰明·皮尔斯。 1 2002 在内部类上。 Zbl 1012.68045号 Atsushi Igarashi;本杰明·皮尔斯 1 2002 环境分类器的逻辑基础。 Zbl 1211.68064号 津田，武士;Atsushi Igarashi 1 2009 高应变率拉伸下无间隙钢的延展性：基于物理考虑的实验和宏观建模。 Zbl 1120.74303号 M.黑田东彦。;A.Uenishi。;H·吉田。;A.伊加拉西。 1 2006 自动验证无赛跑GPU程序的功能正确性。 Zbl 1426.68054号 小岛贤介;赤泉伊马尼西;Atsushi Igarashi 三 2018 GPU内核的Hoare逻辑。 Zbl 1367.68066号 小岛贤介;Atsushi Igarashi 2 2017 数据类型的清单契约。 Zbl 1345.68072号 芝山、芋头;Yuki西田;Atsushi Igarashi 2 2015 使用递归类型对高阶程序进行模型检查。 Zbl 1381.68170号 直纪小林;Atsushi Igarashi 三 2013 SIMT程序的Hoare逻辑。 Zbl 1426.68053号 小岛贤介;Atsushi Igarashi 三 2013 构造线性时间逻辑：证明系统和克里普克语义学。 兹比尔1248.03031 小岛贤介;Atsushi Igarashi 8 2011 环境分类器的逻辑基础。 Zbl 1211.68065号 津田，武士;Atsushi Igarashi 4 2010 环境分类器的逻辑基础。 Zbl 1211.68064号 津田，武士;Atsushi Igarashi 1 2009 通过对简单类型的lambda-calculus进行完全翻译来证明不干涉。 Zbl 1151.03329号 直卡塔志久马;Atsushi Igarashi 2 2008 轻量级家族多态性。 Zbl 1138.68016号 基耶里·齐托;Atsushi Igarashi;米尔科·维罗利 2 2008 高应变率拉伸下无间隙钢的延展性：基于物理考虑的实验和宏观建模。 Zbl 1120.74303号 M.黑田东彦。;A.Uenishi。;H·吉田。;A.伊加拉西。 1 2006 轻量级家族多态性。 Zbl 1159.68371号 Atsushi Igarashi;基耶里·齐托;米尔科·维罗利 三 2005 像素的通用类型系统。 Zbl 1070.68105号 Atsushi Igarashi;直纪小林 20 2004 元变量计算。 Zbl 1116.03321号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama;Atsushi Igarashi 5 2003 资源使用分析。 Zbl 1323.68377号 Atsushi Igarashi;直纪小林 12 2002 关于参数类型的基于方差的子类型。 Zbl 1049.68791号 Atsushi Igarashi;米尔科·维罗利 4 2002 虚拟类型的基础。 Zbl 1012.68042号 Atsushi Igarashi;本杰明·皮尔斯。 1 2002 在内部类上。 兹比尔1012.68045 Atsushi Igarashi;本杰明·皮尔斯 1 2002 用于\（\pi\）-演算的泛型类型系统。 Zbl 1323.68410号 Atsushi Igarashi;直纪小林 16 2001 带I/O子类型的线性（pi）演算的类型重建。 Zbl 1046.68620号 Atsushi Igarashi;直纪小林 10 2000 周期势中非马尔可夫布朗运动的速度谱。 兹伯利0925.60143 A.伊加拉西。;P.V.E.麦克林托克。;股票，N.G。 三 1992 所有引用出版物 前5名被引用出版物 全部的 前5名153位作者引用 6 Atsushi Igarashi 4 直纪小林 三 路易斯·凯雷斯 三 大卫·费尔南德斯·杜克 三 默多克·詹姆斯·加贝 三 汉斯·休特尔 三 小岛贤介 三 吉田、Nobuko 2 露西娅·阿西艾 2 米歇尔·博雷尔 2 约瑟夫·布杜 2 奥尔内拉·达达 2 马丁·迪盖兹 2 吉安·路易吉，法拉利 2 西蒙·盖伊。 2 埃琳娜·贾奇诺 2 安德鲁·戈登。 2 轩尼诗，Matthew C.B。 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 Alan S.A.杰弗里。 2 马克西米利亚诺·克莱门 2 巴巴拉·科尼格 2 科西莫·拉内夫 2 乌默·利卡特 2 佩德罗·洛佩兹·加西亚 2 卢卡·帕多瓦尼 2 保拉·夸里亚 2 安托尼奥·拉瓦拉 2 Tobin Hochstadt，山姆 2 Vascoconcelos、Vasco Thudichum 1 阿夫沙里语、巴哈雷语 1 纳达·阿明 1 佛朗哥·巴巴内拉 1 马西莫·巴托莱蒂 1 亚历克斯·罗宁·本迪克森 1 马丁·伯杰（Martin J.Berger）。 1 劳拉·博奇 1 博杰森，比亚克布雷多 1 马里奥·布雷韦蒂 1 安东尼奥·布罗吉 1 罗伯托·布鲁尼 1 米歇尔·布格列西 1 普里塔姆·乔杜里 1 文森佐·西安西亚 1 克莱尔·西尼 1 蒂亚戈·科古姆布雷罗 1 伊奥娜·多姆尼纳·克里斯特斯库 1 皮埃尔·埃瓦里斯特·达甘 1 皮耶保罗·德加诺 1 马里亚纽拉州Dezani-Ciancaglini 1 亚历克斯·迪克森 1 罗兰·杜库诺 1 哈雷III伊德斯 1 杰罗姆·费雷特 1 杰弗里·福斯特。 1 阿德里安·弗兰卡兰扎 1 福田洋介 1 约翰·加拉赫（John P.Gallagher）。 1 托马斯·杰奈特 1 丹尼尔·戈拉 1 格罗滕胡斯，利德 1 塞缪尔·格吕特 1 雷米·海默尔 1 马科托·哈马纳 1 丹尼尔·赫希科夫 1 霍尔，马尔科姆 1 本田、高黑 1 赤泉伊马尼西 1 Jun-Ichiro井上 1 磐岛、福岛 1 埃纳尔·布罗赫·约翰森 1 川谷义彦 1 卡夫沃斯，G.A。 1 柯伟 1 瓦西里欧斯·库塔瓦斯 1 菲利普·克莱默 1 乔瓦尼·拉戈里奥 1 詹姆斯·D·莱尔德。 1 朱利安·兰格 1 汉斯·朗马克 1 亚历山德罗·拉帕杜拉 1 兰科·拉齐奇 1 格雷厄姆·埃米尔·利 1 圣埃芬·让·埃里克·伦格兰德 1 刘志明 1 罗伯托·卢奇 1 Lybech，斯蒂安 1 松田和川 1 曼努埃尔·马扎拉 1 埃尔南·梅尔格拉蒂 1 莱昂纳多·盖塔诺（Leonardo Gaetano Mezzina） 1 尤伊托·穆拉斯 1 安德烈·穆拉夫斯基。 1 尤利安·尼姆图 1 阮，Phüc c。 1 Yuichi Nishiwaki 1 马丁·奥德斯基 1 布鲁诺·C·d·S·奥利维拉。 1 佩雷斯（Jorge A.Pérez）。 1 安德鲁·皮特斯（Andrew M.Pitts）。 …和另外53位作者 全部的 前5名20篇连载文章中引用 12 信息与计算 9 逻辑与代数程序设计杂志 8 理论计算机科学 4 信息学报 4 函数编程杂志 4 计算机科学中的逻辑方法 2 计算机程序设计科学 2 计算机科学中的数学结构 2 高阶和符号计算 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 符号逻辑杂志 1 新一代计算 1 自动推理杂志 1 计算的形式方面 1 分布式计算 1 Indagationes Mathematicae公司。新系列 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 计算机科学前沿 在5个字段中引用 76 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 1 动力系统和遍历理论（37至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文