编辑配置文件（在新选项卡中打开） 直纪小林 合著者距离 作者ID： 小林青木 发布日期： 直纪小林;北卡罗来纳州小林市。 已编制索引的文档： 111出版物自1978年以来，包括2个附加arXiv预打印 7作为编辑的贡献 合著者： 91位合著者具有97联合出版物 1469位合作作者 全部的 前5名合著者 16 单作者的 18 津田，武士 11 佐藤隆介 9 不，Hiroshi 7 川崎朝田 7 Kohei Suenaga公司 6 Atsushi Igarashi 6 Akinori Yonezawa 4 Sumii、Eijiro 三 阿费尔特，雷纳德 三 冠军，阿德里安 三 马格努斯·马尔·哈尔森 三 Makoto Katori 三 贝蒂娜·斯派克曼 三 大雄县Terauchi 2 千叶，富古屋 2 富士马，Koichi 2 汉斯·休特尔 2 川崎岩马 2 直木岛岛山 2 南弥县Izumi 2 平口桂树 2 菊池大辅 2 Koichi Kodama公司 2 久原、Takuya 2 科西莫·拉内夫 2 李欣 2 松田和川 2 松下、三谷 2 Osamu森山 2 肯·萨卡约里 2 戴维·桑吉奥吉 2 清水，Toshihiro 2 Ayumi Shinohara 2 龙马Sin'ya 2 Suto，Takashi先生 2 铃木，Ryota 2 直市田口 2 德劳、塔库 2 渡边庆一 2 卢西安·维希克 2 Kazuya Yaguchi 2 靖国神社 1 马哈穆杜尔·费萨尔·阿梅恩 1 帕特里克·贝洛特 1 马蒂亚斯·布鲁姆 1 Christopher H.Broadbent。 1 弗洛里安·布鲁斯 1 莫滕·达尔 1 乌戈·达尔拉戈 1 新谷益口 1 格里戈里·费迪尤科维奇 1 费希尔·D·格兰特 1 亚历克西斯·盖塞伦 1 埃琳娜·贾奇诺 1 查尔斯·格雷洛伊斯 1 阿尔蒂·古普塔 1 Shigeki Hagihara 1 肯·哈亚米 1 稻田，Kazuhiro 1 石川、高沼 1 Sohei伊藤 1 泽塔·伊瓦伊 1 磐岛、福岛 1 Kaneko，尤塔 1 Sadaaki川田 1 Kitsunezaki，所以 1 Kohyama，K。 1 诺里奥·科诺 1 艾蒂安·洛兹 1 松本裕马 1 松下幸助 1 Yo Mitani 1 Ryoya Mukai 1 明弘市穆拉斯 1 明仁长田 1 西崎、信叶 1 大崎，Hitoshi 1 本杰明·皮尔斯。 1 Shin Saito先生 1 Issei佐藤 1 Dale E.Seborg。 1 芝山、芋头 1 Etsuya Shibayama 1 Takumi岛田 1 Tsubasa Shoshi 1 任思奇 1 孙云德 1 武田，Kotaro 1 Taura、Kenjiro 1 吉弘·托比塔 1 约翰·托曼 1 德国维达尔 1 巨鲸Watabe 1 渡边，Takuo 1 吉弘山崎 全部的 前5名系列 5 信息与计算 5 计算机科学课堂讲稿 5 计算机科学中的逻辑方法 三 理论计算机科学 三 高阶和符号计算 1 信息学报 1 国际控制杂志 1 统计物理杂志 1 新一代计算 1 自动推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 美国医学会杂志 1 RIMS Kokyuroku公司 1 日本物理学会杂志 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 110 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 7 总体主题；集合（00-XX） 三 生物学和其他自然科学（92-XX） 三 信息与通信理论、电路（94-XX） 2 数论（11-XX） 2 常微分方程（34-XX） 2 系统论；控制（93至XX） 1 偏微分方程（35-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 统计力学，物质结构（82-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 85出版物有被引用456次245文件 引用人▼ 年份▼ 一种新型的无死锁过程系统。 Zbl 1151.68537号 直纪小林 30 2006 无锁过程的类型系统。 Zbl 1093.68065号 直纪小林 24 2002 用于验证高阶程序的类型和高阶递归方案。 Zbl 1315.68099号 直纪小林 21 2009 像素的通用类型系统。 Zbl 1070.68105号 Atsushi Igarashi;直纪小林 20 2004 并发程序的类型系统。 兹比尔1274.68076 直纪小林 17 2003 模型检查高阶程序。 兹比尔1281.68157 直纪小林 17 2013 两个贝塞尔桥条件永远不会碰撞，双狄里克莱级数和雅可比θ函数。 Zbl 1171.82010年 Makoto Katori;南弥县Izumi;直纪小林 17 2008 用于\（\pi\）-演算的泛型类型系统。 Zbl 1323.68410号 Atsushi Igarashi;直纪小林 16 2001 高阶递归格式的基于饱和度的模型检查。 Zbl 1356.68141号 克里斯托弗·布劳德本特;直纪小林 15 2013 用于程序验证的高阶多参数树变换器和递归方案。 Zbl 1312.68136号 直纪小林;直市田口;不，Hiroshi 14 2010 （pi）演算的基于类型的信息流分析。 Zbl 1081.68061号 直纪小林 14 2005 HoIce：基于ICE的非线性Horn子句求解器。 Zbl 1519.68045号 冠军，阿德里安;直纪小林;佐藤隆介 13 2018 资源使用分析。 Zbl 1323.68377号 Atsushi Igarashi;直纪小林 12 2002 带I/O子类型的线性（pi）演算的类型重建。 Zbl 1046.68620号 Atsushi Igarashi;直纪小林 10 2000 一种隐式无死锁进程演算。 Zbl 0999.68532号 直纪小林;Shin Saito先生;埃希罗·苏米 8 2000 基于ICE的高阶函数程序精化类型发现。 Zbl 1468.68058号 冠军，阿德里安;千叶，富古屋;直纪小林;佐藤隆介 8 2018 逻辑互模拟和函数语言。 Zbl 1141.68377号 戴维·桑吉奥吉;直纪小林;埃希罗·苏米 8 2007 基于ICE的高阶函数程序精化类型发现。 Zbl 1468.68059号 冠军，阿德里安;千叶，富古屋;直纪小林;佐藤隆介 8 2020 控制变量或状态变量具有时滞的线性时变系统的解耦。 Zbl 0386.93033号 岩井，Z。;塞博格，D.E。;费舍尔，D.G。;北卡罗来纳州小林市。 7 1978 谓词抽象和CEGAR，用于反驳高阶函数程序的终止。 Zbl 1381.68035号 久原、Takuya;佐藤隆介;不，Hiroshi;直纪小林 7 2015 一种实用的线性时间算法，用于高阶递归方案的平凡自动机模型检查。 Zbl 1326.68187号 直纪小林 6 2011 模态多演算片段的模型检查递归方案的复杂性。 Zbl 1237.68124号 直纪小林;Ong，C.-H.卢克 6 2011 用于验证并发程序的Coq库。 Zbl 1278.68152号 雷纳尔德·阿弗尔德;直纪小林 6 2007 一种用于移动进程锁自由的混合型系统。 Zbl 1155.68474号 直纪小林;戴维·桑吉奥吉 6 2008 在线和离线部分评估的混合方法。 Zbl 0994.68037号 埃希罗·苏米;直纪小林 5 2001 广义无死锁过程演算。 Zbl 0917.68065号 苏米，E。;北卡罗来纳州小林市。 5 1998 无界过程网络的死锁分析。 Zbl 1417.68128号 埃琳娜·贾奇诺;直纪小林;科西莫·拉内夫 5 2014 通过HFL模型检查进行高阶程序验证。 Zbl 1418.68127号 直纪小林;津田，武士;渡边庆一 5 2018 关于概率高阶递归程序的终止问题。 Zbl 1490.68134号 直纪小林;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯 5 2020 高阶功能程序的自动终止验证。 Zbl 1347.68231号 久原、Takuya;大雄县Terauchi;Unno，Hiroshi广野;直纪小林 5 2014 用于\（\pi\）演算的资源使用情况分析。 兹比尔1176.68135 直纪小林;Kohei Suenaga公司;卢西安·维希克 4 2006 模态多演算片段的模型检查递归方案的复杂性。 Zbl 1248.68334号 直纪小林;Ong，C.-H.卢克 4 2009 自动化相对完整的高阶功能程序验证。 Zbl 1301.68182号 不，Hiroshi;大雄县Terauchi;直纪小林 4 2013 实用的高阶递归方案的交替奇偶树自动机模型检查。 Zbl 1426.68171号 富士马，Koichi;Sohei伊藤;直纪小林 4 2013 高阶功能程序的时间验证。 Zbl 1347.68233号 明弘市穆拉斯;大雄县Terauchi;直纪小林;佐藤隆介;不，Hiroshi 4 2016 一种基于ZDD的高效高阶模型检测算法。 Zbl 1453.68103号 德劳、塔库;直纪小林 4 2014 非确定性递归程序方案的前沿语言和Dyck语言之间的包含是不可判定的。 Zbl 1429.68120号 直纪小林 4 2019 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Ayumi Shinohara;Kazuya Yaguchi 4 2012 几乎每个简单类型的\（\lambda \）-项都有一个长\（\beta \）-约简序列。 Zbl 1486.68035号 龙马Sin'ya;川崎朝田;直纪小林;津田，武士 4 2017 关于高阶递归格式和高阶不动点逻辑之间的关系。 Zbl 1380.68277号 直纪小林;爱蒂安·洛兹;弗洛里安·布鲁斯 4 2017 不安全的高阶语法的单词和边界语言。 Zbl 1388.68157号 浅田和树;直纪小林 4 2016 RustHorn：基于CHC的Rust程序验证。 兹比尔1508.68071 松下幸助;津田，武士;直纪小林 4 2020 基于线性逻辑的异步通信模型。 Zbl 0835.68016号 直纪小林;Akinori Yonezawa 三 1995 并发进程的类型系统：从死锁自由到活锁自由，有时间限制。 Zbl 0998.68085号 直纪小林 三 2000 无界过程网络的死锁分析。 Zbl 1355.68193号 直纪小林;科西莫·拉内夫 三 2017 用于\（\pi\）演算的资源使用分析。 Zbl 1126.68057号 直纪小林;Kohei Suenaga公司;卢西安·维希克 三 2006 （pi）-演算的2-标签BPP等价和行为类型系统的不可判定性。 Zbl 1171.68573号 直纪小林;Suto，Takashi先生 三 2007 通信协议通信断言的基于类型的验证。 Zbl 1137.68436号 菊池大辅;直纪小林 三 2007 打字抽水。 Zbl 1366.68120号 直纪小林 三 2013 使用递归类型对高阶程序进行建模检查。 Zbl 1381.68170号 直纪小林;Atsushi Igarashi 三 2013 高阶语言的泵引理。 Zbl 1442.68078号 川崎朝田;直纪小林 三 2017 不安全的order-2树语言是上下文敏感的。 Zbl 1405.68167号 直纪小林;稻田，Kazuhiro;津田，武士 三 2014 固定点逻辑的折叠/展开转换。 Zbl 1483.68196号 直纪小林;格里戈里·费迪尤科维奇;阿尔蒂·古普塔 三 2020 分布式并发线性逻辑编程。 Zbl 0954.68033号 直纪小林;清水，Toshihiro;Akinori Yonezawa 2 1999 非对称加密协议中基于类型的真实性自动验证。 Zbl 1348.68129号 莫滕·达尔;直纪小林;孙云德;汉斯·休特尔 2 2011 直接样式的高阶模型检查。 兹比尔1483.68206 德劳、塔库;津田，武士;直纪小林 2 2016 编程语言和系统。第四届亚洲研讨会，2006年APLAS，2006年11月8日至10日，澳大利亚悉尼。诉讼程序。 Zbl 1133.68007号 2 2006 无类型递归方案和无限交集类型。 Zbl 1284.68139号 津田，武士;直纪小林 2 2010 自动化、语言和编程。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。 Zbl 1316.68013号 2 2015 基于自动化的抽象，用于高阶树处理程序的自动验证。 Zbl 1329.68065号 松本裕马;直纪小林;不，Hiroshi 2 2015 高阶递归方案的Streett自动机模型检查。 Zbl 1441.68135号 铃木，Ryota;富士马，Koichi;直纪小林;津田，武士 2 2017 具有辅助功能的功能程序的自动合成。 Zbl 1519.68046号 新谷益口;直纪小林;津田，武士 2 2018 大小类型，用于Pi-calculus过程的并行复杂性。 Zbl 07730636号 帕特里克·贝洛特;亚历克西斯·盖塞伦;直纪小林 2 2021 对具有中断的并发演算的死锁进行基于类型的分析。 Zbl 1187.68143号 Kohei Suenaga公司;直纪小林 1 2007 通过高阶模型检查进行精确的流量分析。 Zbl 1354.68050号 吉弘·托比塔;津田，武士;直纪小林 1 2012 确定性下推自动机的交叉类型系统。 Zbl 1362.68157号 津田，武士;直纪小林 1 2012 加密协议中基于类型的真实性自动验证。 兹比尔1234.94077 菊池百合子;直纪小林 1 2009 基本并行过程的不确定等价项。 Zbl 1167.68041号 汉斯·休特尔;直纪小林;Suto，Takashi先生 1 2009 Coq中邮件服务器的形式化和验证。 Zbl 1033.68502号 雷纳尔德·阿弗尔德;直纪小林 1 2003 基于线性逻辑的分布式并发对象。 Zbl 0928.68005号 直纪小林;Akinori Yonezawa 1 1999 生长粗糙表面的动态缩放。 Zbl 1060.92015年 直纪小林;Osamu森山;Kitsunezaki，所以;吉弘山崎;松下、三谷 1 2004 动态类型语言的基于区域的内存管理。 Zbl 1116.68375号 明仁长田;直纪小林;Akinori Yonezawa 1 2004 对像素进行无用的代码消除和程序切片。 Zbl 1254.68080号 直纪小林 1 2003 依赖类型的按需优化。 Zbl 1137.68358号 不，Hiroshi;直纪小林 1 2008 基于高阶模型检验的高阶并发程序成对可达性分析。 Zbl 1417.68107号 靖国神社;直纪小林;松田和川 1 2014 简单类型lambda-terms的紧凑位编码方案。 Zbl 1361.68051号 武田，Kotaro;直纪小林;Kazuya Yaguchi;Ayumi Shinohara 1 2016 自动否定高阶函数程序的公平终止。 Zbl 1361.68153号 渡边庆一;佐藤隆介;竹田;直纪小林 1 2016 用于验证pi演算过程的空间性质的偏序降阶。 兹比尔1272.68217 雷纳尔德·阿弗尔德;直纪小林 1 2005 非线性算法的树自动机。 Zbl 1155.68044号 直纪小林;大崎，Hitoshi 1 2008 \（nu\mathrm）的谓词抽象和CEGAR{HFL}_\mathbb{Z}\）有效性检查。 Zbl 1474.68190号 直木岛岛山;直纪小林;铃木，Ryota;津田，武士 1 2020 一种用于自动化的新型细化类型系统{HFL}_\mathbb{Z}\）有效性检查。 Zbl 1476.68149号 平口桂树;直木岛岛山;直纪小林;津田，武士 1 2020 模型检查call-by-value程序的复杂性。 Zbl 1405.68189号 津田，武士;直纪小林 1 2014 概率高阶不动点逻辑。 Zbl 07471675号 Yo Mitani;直纪小林;津田，武士 1 2021 符号自动关系及其在SMT和CHC求解中的应用。 Zbl 1497.68320号 Takumi岛田;直纪小林;肯·萨卡约里;佐藤隆介 1 2021 关于高阶可达性博弈与可能可达性。 Zbl 07714980号 川崎朝田;平口桂树;直纪小林 1 2022 关于高阶可达性博弈与可能可达性。 Zbl 07714980号 浅田和树;广之桂;直纪小林 1 2022 用于Pi演算过程的并行复杂性的大小类型。 Zbl 07730636号 帕特里克·贝洛特;亚历克西斯·盖塞伦;直纪小林 2 2021 概率高阶不动点逻辑。 Zbl 07471675号 Yo Mitani;直纪小林;津田，武士 1 2021 符号自动关系及其在SMT和CHC求解中的应用。 Zbl 1497.68320号 Takumi岛田;直纪小林;肯·萨卡约里;佐藤隆介 1 2021 基于ICE的高阶函数程序精化类型发现。 Zbl 1468.68059号 冠军，阿德里安;千叶，富古屋;直纪小林;佐藤隆介 8 2020 关于概率高阶递归程序的终止问题。 Zbl 1490.68134号 直纪小林;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯 5 2020 RustHorn：基于CHC的Rust程序验证。 Zbl 1508.68071号 松下幸助;津田，武士;直纪小林 4 2020 固定点逻辑的折叠/展开转换。 Zbl 1483.68196号 直纪小林;格里戈里·费迪尤科维奇;阿尔蒂·古普塔 三 2020 \（nu\mathrm）的谓词抽象和CEGAR{HFL}_\mathbb{Z}\）有效性检查。 Zbl 1474.68190号 直木岛岛山;直纪小林;铃木，Ryota;津田，武士 1 2020 一种用于自动化的新型细化类型系统{HFL}_\mathbb{Z}\）有效性检查。 Zbl 1476.68149号 平口桂树;岩山直树;直纪小林;竹田 1 2020 非确定性递归程序方案的边界语言和Dyck语言之间的包含是不可判定的。 Zbl 1429.68120号 直纪小林 4 2019 HoIce：基于ICE的非线性Horn子句求解器。 Zbl 1519.68045号 冠军，阿德里安;直纪小林;佐藤隆介 13 2018 基于ICE的高阶函数程序精化类型发现。 Zbl 1468.68058号 冠军，阿德里安;千叶，富古屋;直纪小林;佐藤隆介 8 2018 通过HFL模型检查进行高阶程序验证。 Zbl 1418.68127号 直纪小林;津田，武士;渡边庆一 5 2018 具有辅助功能的功能程序的自动合成。 Zbl 1519.68046号 新谷益口;直纪小林;津田，武士 2 2018 几乎每个简单类型的\（\lambda \）-项都有一个长\（\beta \）-约简序列。 Zbl 1486.68035号 罪；是的，龙马;川崎朝田;直纪小林;津田，武士 4 2017 关于高阶递归格式和高阶不动点逻辑之间的关系。 Zbl 1380.68277号 直纪小林;爱蒂安·洛兹;弗洛里安·布鲁斯 4 2017 无界过程网络的死锁分析。 Zbl 1355.68193号 直纪小林;科西莫·拉内夫 三 2017 高阶语言的泵引理。 Zbl 1442.68078号 川崎朝田;直纪小林 三 2017 高阶递归方案的Streett自动机模型检查。 Zbl 1441.68135号 铃木，Ryota;富士马，Koichi;直纪小林;津田，武士 2 2017 高阶函数程序的时间验证。 兹比尔1347.68233 村濑明弘;大雄县Terauchi;直纪小林;佐藤隆介;不，Hiroshi 4 2016 不安全的高阶语法的单词和边界语言。 Zbl 1388.68157号 川崎朝田;直纪小林 4 2016 直接样式的高阶模型检查。 Zbl 1483.68206号 德劳、塔库;津田，武士;直纪小林 2 2016 简单类型lambda-terms的紧凑位编码方案。 Zbl 1361.68051号 武田，Kotaro;直纪小林;Kazuya Yaguchi;Ayumi Shinohara 1 2016 自动否定高阶函数程序的公平终止。 Zbl 1361.68153号 渡边庆一;佐藤隆介;津田，武士;直纪小林 1 2016 谓词抽象和CEGAR，用于反驳高阶函数程序的终止。 Zbl 1381.68035号 久原、Takuya;佐藤隆介;不，Hiroshi;直纪小林 7 2015 自动化、语言和编程。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。 Zbl 1316.68013号 2 2015 基于自动化的抽象，用于高阶树处理程序的自动验证。 Zbl 1329.68065号 松本裕马;直纪小林;不，Hiroshi 2 2015 无界过程网络的死锁分析。 Zbl 1417.68128号 埃琳娜·贾奇诺;直纪小林;科西莫·拉内夫 5 2014 高阶功能程序的自动终止验证。 Zbl 1347.68231号 久原、Takuya;大雄县Terauchi;不，Hiroshi;直纪小林 5 2014 一种基于ZDD的高效高阶模型检查算法。 兹比尔1453.68103 Terao，塔库;直纪小林 4 2014 不安全的order-2树语言是上下文敏感的。 Zbl 1405.68167号 直纪小林;稻田，Kazuhiro;津田，武士 三 2014 基于高阶模型检验的高阶并发程序成对可达性分析。 Zbl 1417.68107号 靖国神社;直纪小林;松田和川 1 2014 模型检查call-by-value程序的复杂性。 Zbl 1405.68189号 津田，武士;直纪小林 1 2014 模型检查高阶程序。 Zbl 1281.68157号 直纪小林 17 2013 高阶递归格式的基于饱和度的模型检查。 Zbl 1356.68141号 克里斯托弗·布劳德本特;直纪小林 15 2013 自动化相对完整的高阶功能程序验证。 Zbl 1301.68182号 不，Hiroshi;大雄县Terauchi;直纪小林 4 2013 实用的高阶递归方案的交替奇偶树自动机模型检查。 Zbl 1426.68171号 富士马，Koichi;Sohei伊藤;直纪小林 4 2013 打字抽水。 Zbl 1366.68120号 直纪小林 三 2013 使用递归类型对高阶程序进行建模检查。 Zbl 1381.68170号 直纪小林;Atsushi Igarashi 三 2013 功能程序作为压缩数据。 Zbl 1360.68332号 直纪小林;松田和川;Ayumi Shinohara;Kazuya Yaguchi 4 2012 通过高阶模型检查进行精确的流量分析。 Zbl 1354.68050号 吉弘·托比塔;津田，武士;直纪小林 1 2012 确定性下推自动机的一个交集型系统。 兹比尔1362.68157 竹田;直纪小林 1 2012 一种实用的线性时间算法，用于高阶递归方案的平凡自动机模型检查。 Zbl 1326.68187号 直纪小林 6 2011 模态多演算片段的模型检查递归方案的复杂性。 Zbl 1237.68124号 直纪小林;Ong，C.-H.卢克 6 2011 非对称加密协议中基于类型的真实性自动验证。 Zbl 1348.68129号 莫滕·达尔;直纪小林;孙云德;汉斯·休特尔 2 2011 用于程序验证的高阶多参数树变换器和递归方案。 Zbl 1312.68136号 直纪小林;直市田口;不，Hiroshi 14 2010 无类型递归方案和无限交集类型。 Zbl 1284.68139号 津田，武士;直纪小林 2 2010 用于验证高阶程序的类型和高阶递归方案。 Zbl 1315.68099号 直纪小林 21 2009 模态多演算片段的模型检查递归方案的复杂性。 Zbl 1248.68334号 直纪小林;Ong，C.-H.卢克 4 2009 加密协议中基于类型的真实性自动验证。 Zbl 1234.94077号 菊池大辅;直纪小林 1 2009 基本并行过程的不确定等价项。 Zbl 1167.68041号 汉斯·休特尔;直纪小林;Suto，Takashi先生 1 2009 两个贝塞尔桥条件永远不会碰撞，双狄里克莱级数和雅可比θ函数。 Zbl 1171.82010年 Makoto Katori;南弥县Izumi;直纪小林 17 2008 一种用于移动进程锁自由的混合型系统。 Zbl 1155.68474号 直纪小林;戴维·桑吉奥吉 6 2008 依赖类型的按需优化。 Zbl 1137.68358号 不，Hiroshi;直纪小林 1 2008 非线性算法的树自动机。 Zbl 1155.68044号 直纪小林;Hitoshi大坂 1 2008 逻辑互模拟和函数语言。 兹比尔1141.68377 戴维·桑吉奥吉;直纪小林;埃希罗·苏米 8 2007 用于验证并发程序的Coq库。 Zbl 1278.68152号 雷纳尔德·阿弗尔德;直纪小林 6 2007 （pi）-演算的2-标签BPP等价和行为类型系统的不可判定性。 Zbl 1171.68573号 直纪小林;Suto，Takashi先生 三 2007 通信协议通信断言的基于类型的验证。 Zbl 1137.68436号 菊池大辅;直纪小林 三 2007 对具有中断的并发演算的死锁进行基于类型的分析。 Zbl 1187.68143号 Kohei Suenaga公司;直纪小林 1 2007 一种新型的无死锁过程系统。 Zbl 1151.68537号 直纪小林 30 2006 用于\（\pi\）演算的资源使用分析。 Zbl 1176.68135号 直纪小林;Kohei Suenaga公司;卢西安·维希克 4 2006 用于\（\pi\）演算的资源使用分析。 Zbl 1126.68057号 直纪小林;Kohei Suenaga公司;卢西安·维希克 三 2006 编程语言和系统。第四届亚洲研讨会，2006年APLAS，2006年11月8日至10日，澳大利亚悉尼。诉讼程序。 Zbl 1133.68007号 2 2006 （pi）演算的基于类型的信息流分析。 Zbl 1081.68061号 直纪小林 14 2005 用于验证pi-calculus过程空间特性的部分降阶。 Zbl 1272.68217号 雷纳尔德·阿弗尔德;直纪小林 1 2005 像素的通用类型系统。 Zbl 1070.68105号 Atsushi Igarashi;直纪小林 20 2004 生长粗糙表面的动态缩放。 Zbl 1060.92015年 直纪小林;Osamu森山;Kitsunezaki，所以;吉弘山崎;松下、三谷 1 2004 动态类型语言的基于区域的内存管理。 兹比尔1116.68375 明仁长田;直纪小林;Akinori Yonezawa 1 2004 并发程序的类型系统。 Zbl 1274.68076号 直纪小林 17 2003 Coq中邮件服务器的形式化和验证。 Zbl 1033.68502号 雷纳尔德·阿弗尔德;直纪小林 1 2003 对像素进行无用的代码消除和程序切片。 Zbl 1254.68080号 直纪小林 1 2003 无锁过程的类型系统。 Zbl 1093.68065号 直纪小林 24 2002 资源使用分析。 Zbl 1323.68377号 Atsushi Igarashi;直纪小林 12 2002 用于\（\pi\）-演算的泛型类型系统。 Zbl 1323.68410号 Atsushi Igarashi;直纪小林 16 2001 在线和离线部分评估的混合方法。 Zbl 0994.68037号 埃希罗·苏米;直纪小林 5 2001 带I/O子类型的线性（pi）演算的类型重建。 Zbl 1046.68620号 Atsushi Igarashi;直纪小林 10 2000 一种隐式无死锁进程演算。 Zbl 0999.68532号 直纪小林;Shin Saito先生;埃希罗·苏米 8 2000 并发进程的类型系统：从死锁自由到活锁自由，有时间限制。 Zbl 0998.68085号 直纪小林 三 2000 分布式并发线性逻辑编程。 Zbl 0954.68033号 直纪小林;清水，Toshihiro;Akinori Yonezawa 2 1999 基于线性逻辑的分布式并发对象。 Zbl 0928.68005号 直纪小林;Akinori Yonezawa 1 1999 广义无死锁过程演算。 Zbl 0917.68065号 苏米，E。;北卡罗来纳州小林市。 5 1998 基于线性逻辑的异步通信模型。 Zbl 0835.68016号 直纪小林;Akinori Yonezawa 三 1995 控制变量或状态变量具有时滞的线性时变系统的解耦。 Zbl 0386.93033号 岩井，Z。;塞博格，D.E。;费舍尔，D.G。;北卡罗来纳州小林市。 7 1978 所有引用出版物 前5名被引用出版物 全部的 前5名384位作者引用 31 直纪小林 9 津田，武士 8 佩雷斯（Jorge A.Pérez）。 7 奥尔内拉·达达 7 马里亚纽拉州Dezani-Ciancaglini 7 帕里斯（Pawe Parys） 7 戴维·桑吉奥吉 7 格雷戈里·谢尔 6 汉斯·休特尔 6 萨蒂亚·马朱姆达尔。 6 佐藤隆介 5 格里戈里·费迪尤科维奇 5 卢卡·帕多瓦尼 5 伊戈尔·瓦卢基维奇 5 吉田、Nobuko 4 川崎朝田 4 佛朗哥·巴巴内拉 4 路易斯·凯雷斯 4 轩尼诗，Matthew C.B。 4 库伊拉尔斯，阿诺·B·J。 4 科西莫·拉内夫 4 西尔万·萨尔瓦蒂 4 埃米利奥·托斯托 4 不，Hiroshi 4 雨果·托雷斯·维埃拉 三 露西娅·阿奇艾 三 马西莫·巴托莱蒂 三 米歇尔·博雷尔 三 伊利亚州卡斯特拉尼 三 史蒂文·德尔沃 三 彼得·福雷斯特。 三 西蒙·盖伊。 三 托马斯·杰奈特 三 安德鲁·戈登。 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 Atsushi Igarashi 三 Alan S.A.杰弗里。 三 温·科克 三 伊万·拉内斯 三 松田和川 三 安德烈·穆拉夫斯基。 三 约万卡·潘托维奇 三 伯纳多·托尼霍 三 乔治·泽采 2 阿夫沙里语、巴哈雷语 2 菲利普·比丁格 2 弗洛里安·布鲁斯 2 米歇尔·布格列西 2 雅克·卡雷特 2 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 2 阿兰·孔特特 2 乌戈·达尔拉戈 2 伊曼纽尔·德·安吉利斯 2 乔治·德尔赞诺 2 吉登·恩斯特 2 吉安·路易吉，法拉利 2 法比奥·菲奥拉万蒂 2 约翰·加拉赫（John P.Gallagher）。 2 摩西·加纳迪 2 埃琳娜·贾奇诺 2 阿尔蒂·古普塔 2 马修·黑格 2 丹尼尔·赫施科夫 2 罗斯·霍恩 2 达格·霍夫兰 2 稻田，Kazuhiro 2 吉勒姆·贾伯 2 诺里希罗·卡米德 2 奥列格·基塞利约夫 2 马克西米利亚诺·克莱门 2 巴巴拉·科尼格 2 瓦西里欧斯·库塔瓦斯 2 约格·克里克 2 马丁·兰格 2 萨姆·林德利 2 乌默·利卡特 2 马库斯·洛伊 2 佩德罗·洛佩兹·加西亚 2 Jean-Marie，马迪奥 2 鲁帕克·马朱姆达尔 2 安德烈·马丁内斯·芬克尔斯坦 2 罗兰·梅耶 2 J.Garrett莫里斯 2 塞巴斯蒂安·穆斯卡拉 2 阿尔贝托·佩特罗西 2 弗兰克·芬宁 2 毛里齐奥·普罗埃蒂 2 伊万·普罗基奇 2 Ka I.潘。 2 保拉·夸里亚 2 安托尼奥·拉瓦拉 2 肯·萨卡约里 2 马尔科·Sälzer 2 Shan、Chung-chieh 2 辛雅，龙马 2 马丁·斯特芬 2 沃尔克·斯托尔茨 2 Suenaga、Kohei 2 铃木，Ryota 2 大雄县Terauchi …还有284位作者 全部的 前5名40篇连载文章被引用 21 信息与计算 19 理论计算机科学 16 计算机科学中的逻辑方法 9 逻辑与代数程序设计杂志 8 MSCS公司。计算机科学中的数学结构 8 函数编程杂志 7 信息学报 7 程序设计中的逻辑和代数方法杂志 4 统计物理杂志 4 自动推理杂志 4 计算的形式方面 4 逻辑程序设计理论与实践 三 数学物理中的通信 三 系统设计中的形式化方法 三 高阶和符号计算 1 纯粹数学与应用数学交流 1 数学分析杂志 1 数学物理杂志 1 核物理。B 1 物理报告 1 信息科学 1 欧洲组合数学杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 构造性近似 1 新一代计算 1 算法学 1 SIAM数学分析杂志 1 分布式计算 1 组合数学电子杂志 1 Ramanujan杂志 1 计算系统理论 1 计算机基础理论 1 物理审查信函 1 ACM计算逻辑事务 1 统计力学杂志：理论与实验 1 算法 1 RAIRO公司。理论信息学及其应用 1 Modelirovanie i Analiz信息系统 全部的 前5名22个领域被引用 222 计算机科学（68至XX） 56 数学逻辑和基础（03-XX） 16 概率论与随机过程（60-XX） 10 统计力学，物质结构（82-XX） 5 量子理论（81-XX） 5 信息与通信理论、电路（94-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 组合数学（05-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 2 特殊功能（33至XX） 2 欧氏空间的调和分析（42至XX） 2 统计学（62-XX） 1 有序，格，有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 复变量的函数（30年XX月） 1 常微分方程（34-XX） 1 偏微分方程（35-XX） 1 算子理论（47-XX） 1 粒子和系统力学（70-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文