编辑配置文件(在新选项卡中打开) Minamide、Yasuhiko 合著者距离 作者ID: 米纳米德·雅须希科(minamide.yasuhiko) 发布方式: Minamide、Yasuhiko 已编制索引的文档: 22出版物自1993年以来 合著者: 13合著者具有14联合出版物 141位合著者 全部的 前5名合著者 8 单作者的 三 秋池忠泽 三 宇叶上泽 2 雅克·加里格 1 Michikazu Hirata 1 宫崎骏、高崎 1 森喜顺 1 西山,Takuya 1 田宫小野寺 1 急板地 1 玉藤樱 1 佐藤,铁杉 1 Michiaki Tatsubori 1 安德烈·沃伦科夫 系列 1 计算的形式方面 1 RIMS Kokyuroku公司 1 应用逻辑杂志 1 计算机科学中的逻辑方法 领域 22 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用32中的次22文件 引用人▼ 年份▼ 将正则表达式匹配转换为转换器。 Zbl 1238.68052号 玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 6 2012 无上下文语法的XML验证。 Zbl 1168.68362号 Minamide、Yasuhiko;秋池忠泽 6 2006 复杂性导致了平衡的无上下文语言。 Zbl 1195.68060号 秋池忠泽;Minamide、Yasuhiko 5 2007 使用堆栈操作下推系统。 Zbl 1374.68302号 宇叶上泽;Minamide、Yasuhiko 三 2013 关于类型定向取消装箱的运行时复杂性。 Zbl 1369.68111号 Minamide、Yasuhiko;雅克·加里格 三 1997 验证了无上下文文法的决策程序。 Zbl 1144.68324号 Minamide、Yasuhiko 2 2007 具有索引权重域的加权下推系统。 Zbl 1381.68176号 Minamide、Yasuhiko 2 2013 call-by-value lambda演算和CPS转换的空间保护语义。 Zbl 0958.68042号 Minamide、Yasuhiko 1 1999 同步递归时间自动机。 Zbl 1471.68122号 宇叶上泽;Minamide、Yasuhiko 1 2015 超确定性下推自动机包含问题的基于单体的方法。 Zbl 1436.68189号 宇叶上泽;Minamide、Yasuhiko 1 2016 具有索引权重域的加权下推系统。 Zbl 1448.68311号 Minamide、Yasuhiko 1 2016 HTML5解析器规范的可达性分析及其在兼容性测试中的应用。 Zbl 1372.68174号 Minamide、Yasuhiko;森喜顺 1 2012 超确定性下推自动机包含问题的基于单体的方法。 Zbl 1436.68189号 宇叶上泽;Minamide、Yasuhiko 1 2016 具有索引权重域的加权下推系统。 Zbl 1448.68311号 Minamide、Yasuhiko 1 2016 同步递归时间自动机。 Zbl 1471.68122号 宇叶上泽;Minamide、Yasuhiko 1 2015 使用堆栈操作下推系统。 Zbl 1374.68302号 宇叶上泽;Minamide、Yasuhiko 三 2013 具有索引权重域的加权下推系统。 Zbl 1381.68176号 Minamide、Yasuhiko 2 2013 将正则表达式匹配转换为转换器。 Zbl 1238.68052号 玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 6 2012 HTML5解析器规范的可达性分析及其在兼容性测试中的应用。 Zbl 1372.68174号 Minamide、Yasuhiko;森喜顺 1 2012 复杂性导致了平衡的无上下文语言。 Zbl 1195.68060号 秋池忠泽;Minamide、Yasuhiko 5 2007 验证了无上下文文法的决策程序。 Zbl 1144.68324号 Minamide、Yasuhiko 2 2007 无上下文语法的XML验证。 Zbl 1168.68362号 Minamide、Yasuhiko;秋池忠泽 6 2006 call-by-value lambda演算和CPS转换的空间保护语义。 Zbl 0958.68042号 Minamide、Yasuhiko 1 1999 关于类型定向取消装箱的运行时复杂性。 Zbl 1369.68111号 Minamide、Yasuhiko;雅克·加里格 三 1997 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 4 Minamide、Yasuhiko 三 马丁·伯格伦德 三 布林克·范德梅尔 2 拉斐拉·洛贝尔 2 迈克尔·卢滕伯格 2 赫尔穆特·塞德尔 1 穆阿特·阿尔卡拉夫 1 斯特凡·贝尔霍费尔 1 特夫菲克·布尔坦 1 Choe,Kwang Moo先生 1 洛伦佐·克莱门特 1 迪亚兹,马尔西奥 1 科马克·弗拉纳根 1 格雷姆·恒河 1 大卫·赫尔曼 1 奥斯卡·H·伊巴拉。 1 苏雷什·贾甘纳森 1 斯特凡·基弗 1 Kim,Se-Won先生 1 直纪小林 1 莫滕·库纳里奇 1 萨沃米尔·拉索塔 1 贾库布·米查利辛 1 宫崎骏、高崎 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 奥托普,简 1 Adrien Pommellet,阿德里安 1 急板地 1 马库斯·雷特 1 玉藤樱 1 彼得·沙赫特 1 斯特凡·施温 1 哈拉尔德·森德加德 1 宋,傅 1 吉·斯尔巴 1 彼得·詹姆斯·斯塔基 1 阿伦·汤姆 1 泰瑟·图利 1 宇叶上泽 1 安德烈·沃伦科夫 1 布鲁斯·威廉·沃森 1 几周了,斯蒂芬 1 尼古拉斯·维德曼 1 于、方 1 卢卡斯·齐亚雷克 全部的 前5名8篇连载文章中引用 三 理论计算机科学 2 高阶和符号计算 1 信息处理信件 1 计算机与系统科学杂志 1 信息与计算 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 应用逻辑杂志 在4个字段中引用 22 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 按年份列出的引文