谷口健一
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2006 [公元22年] 竹中隆 , 冈野浩三 , 东野太郎 , 谷口健一 :
整数变量线性约束扩展有限状态机的符号模型检验。 系统。 计算。 日本。 37 ( 6 ) : 64-72 ( 2006 ) 2004 [公元36年] 山口平津 , 明仁天皇 , 东野泰郎 , 谷口健一 :
一种用于延迟敏感覆盖组播树的自治和分散协议。 ICDCS系统 2004 : 662-669 [公元35年] 水本亚基拉 , 山口宏 , 谷口健一 :
MANET上具有成本意识的地理组播。 第二节 2004 : 44-53 2003 [公元34年] 山口平津 , 曹曼乐坦 , 明仁天皇 , 山下武 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
分布式多媒体应用中有效使用带宽的接收机协调协议。 ICDCS研讨会 2003 : 531-536 [公元33年] 中村义孝 , 山口平津 , 明仁天皇 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
为多个视频源设计最终用户组播。 国际货币兑换协会 2003 : 497-500 [公元32年] 明仁天皇 , 山口平津 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
减少大规模网络模拟的路由表大小。 垫 2003 : 115-122 2002 [公元31年] 塔卡基·乌梅杜 , 吉木隆彦(Yoshiki Terashima) , Keiichi Yasumoto先生 , 中田昭夫 , 东野太郎 , 谷口健一 :
一种描述无线移动应用程序的语言,可动态建立多路同步信道。 失效模式与后果 2002 : 607-624 [公元30年] 明仁天皇 , 山口平津 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
一种复制多播视频服务器的选择技术。 ICPP公司 2002 : 556-566 2001 [公元21年] Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
在分布式环境中实现LOTOS规范的编译器。 计算。 网络 36 ( 2/3 ) : 291-310 ( 2001 ) [公元29年] 冈野浩三 , 北岛由子 , 北岛明 , 东野太郎 , 谷口健一 :
实验室工作中CPU的正式验证。 MSE公司 2001 : 32-34 2000 [公元28年] 片垣久崎 , Keiichi Yasumoto先生 , 北岛明 , 东野太郎 , 谷口健一 :
由具有多路同步的并发EFSM建模的通信协议的硬件实现。 数模转换器 2000 : 762-767 [公元27年] 片垣久崎 , Masayuki Kirimura公司 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
并行周期EFSM的硬件实现。 复地 2000 : 285-300 [c26] 吉木隆彦(Yoshiki Terashima) , Keiichi Yasumoto先生 , 东野太郎 , Kota Abe公司 , 松浦俊雄 , 谷口健一 :
具有QoS控制的SMIL扩展及其实现。 IEEE多媒体与博览会国际会议(三) 2000 : 1683-1686 [公元25年] 明仁天皇 , 山口宏 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
基于接收机偏好的快速优化组播服务器选择。 国际数据管理系统 2000 : 40-52
1990 – 1999
1999 [c24] 竹中隆 , 北木俊二 , 东野太郎 , 谷口健一 :
带无序指令执行的流水线微处理器正确性的形式化设计验证。 ASP-DAC公司 1999 : 177-180 【c23】 山口平津 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
分层组播的接收机协作带宽管理。 ICNP公司 1999 : 43-50 [公元22年] 冈野浩三 , 佐藤忠孝 , 山本亨 , 东野泰郎 , 谷口健一 :
使用共享变量的时间自动机模型对实时系统进行规范,并验证部分无死锁。 ICPP研讨会 1999 : 576-581 【c21】 东野太郎 , 中田昭夫 , 谷口健一 , 安娜·R·卡瓦利 :
为定时I/O自动机模型生成测试用例。 IWTCS系统 1999 : 197-214 1998 [公元20年] Keiichi Yasumoto先生 , 北岛亚基拉 , 东野太郎 , 谷口健一 :
根据LOTOS中的协议规范进行硬件合成。 复地 1998 : 405-420 [第19条] 酒石浩 , 山口平津 , Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
多方多媒体应用中服务质量保证的资源管理。 ICNP公司 1998 : 189- [第18条] 中田昭夫 , 东野太郎 , 谷口健一 :
使用事件结构从无上下文进程进行协议合成。 RTCSA公司 1998 : 173-180 1997 [第17条] Keiichi Yasumoto先生 , Kazuhiro Gotoh先生 , Hiroki Tatsumoto先生 , 东野太郎 , 谷口健一 :
总线拓扑网络上用LOTOS多协议描述的分布式系统的实现。 复地 1997 : 161-176 [第16条] 山口平津 , 冈野晃三 , 东野太郎 , 谷口健一 :
基于时间Petri网的服务规范的协议合成。 ICPADS公司 1997 : 236-243 1996 [公元20年] 冈野浩三 , 东野太郎 , 谷口健一 :
抽象时序机器风格下代数规格说明精化正确性的证明方法。 系统。 计算。 日本。 27 ( 5 ) : 25-38 ( 1996 ) [第15条] 中田昭夫 , 东野太郎 , 谷口健一 :
定时LOTOS的时间-动作交替模型及其互模拟等效性的符号验证。 复地 1996 : 279-294 1995 [第14条] Keiichi Yasumoto先生 , 东野太郎 , Kota Abe公司 , 松浦俊雄 , 谷口健一 :
生成多线程对象代码的LOTOS编译器。 复地 1995 : 271-286 [第13条] 东野太郎 , 中田昭夫 , 伊藤达雄 , 谷口健一 :
根据州访问人数验证FSM与条件转换通信的活跃性。 复地 1995 : 433-440 [第12条] 山口平津 , 冈野浩三 , 东野太郎 , 谷口健一 :
在带寄存器的Petri网模型中,从服务规范合成协议实体规范。 ICDCS系统 1995 : 510-517 [第11条] 中田昭夫 , 东野太郎 , 谷口健一 :
基于时间和结构化规范的协议合成。 ICNP公司 1995 : 74- [第10条] Keiichi Yasumoto先生 , 东野太郎 , 松浦俊雄 , 谷口健一 :
使用LOTOS多会合机制的协议可视化。 ICNP公司 1995 : 118-125 1994 【c9】 Keiichi Yasumoto先生 , 东野太郎 , 谷口健一 :
使用LOTOS及其实现的软件过程描述。 ICSE公司 1994 : 169-178 【c8】 东野太郎 , Keiichi Yasumoto先生 , 北木俊二 , 谷口健一 :
从限制类LOTOS表达式进行硬件合成。 公共电视台 1994 : 379-386 【c7】 北木俊二 , 森冈住友 , 东野太郎 , 谷口健一 :
用代数方法实现同步时序电路的自动正确性证明。 TPCD公司 1994 : 165-184 1993 [公元19年] 松浦俊雄 , 谷口健一 , 住友Masuda , 托鲁·中村 :
具有浏览和缩放功能的大型树的图形编辑器。 系统。 计算。 日本。 24 ( 8 ) : 35-46 ( 1993 ) 【c6】 中田昭夫 , 东野太郎 , 谷口健一 :
LOTOS增强,使用一阶逻辑指定非相邻动作之间的时间约束。 复地 1993 : 451-466 【c5】 东野太郎 , 冈野浩三 , Hiroshi Imajo先生 , 谷口健一 :
从扩展FSM模型中的服务规范派生协议规范。 ICDCS系统 1993 : 141-148 1992 [公元18年] Masahiro Ooashi先生 , 谷口健一 , 杉山裕治 :
用抽象顺序机器风格编写的ASL程序及其编译器。 系统。 计算。 日本。 23 ( 7 ) : 1-11 ( 1992 ) 【c4】 松浦敏夫 , 托鲁·中村 , 东野太郎 , 谷口健一 , 住友Masuda :
VTM:用于大型树的曲线图编辑器。 IFIP大会(1) 1992 : 210-216 【c3】 东野太郎 , 格雷戈·冯·博克曼 , 李向东 , Keiichi Yasumoto先生 , 谷口健一 :
带数据参数的限制类LOTOS表达式的测试系统。 协议测试系统 1992 : 205-216 1991 [第2页] 东野太郎 , 谷口健一 , 塔道·卡萨米 , 藤井马木 , Masaaki Mori先生 :
一种验证通信协议进程属性的代数方法。 软件科学与工程 1991 : 39-59 [第1页] Hiroyuki Seki先生 , 谷口健一 , 塔道·卡萨米 :
代数语言ASL/中同余关系的操作语义。 软件科学与工程 1991 : 60-77 1990 [公元17年] 山下义一 , 沟口利一郎 , 奥萨穆·卡库绍 , 谷口健一 , 柳田正子 :
基于规则的语音合成规则库构建支持系统。 自动提取合成规则。 系统。 计算。 日本。 21 ( 4 ) : 15-24 ( 1990 )
1980 – 1989
1989 [公元16年] 东野太郎 , 藤井马木 , 谷口健一 , 塔道·卡萨米 , Masaaki Mori先生 :
代数指定的令牌环局域网协议的安全性和互斥性的验证。 系统。 计算。 日本。 20 ( 5 ) : 57-68 ( 1989 ) [c2] 东野太郎 , 宁宫清吉 , 木本友久 , 谷口健一 , Masaaki Mori先生 :
协议机器等效性的自动验证。 公共电视台 1989 : 235-246 1987 [公元15年] 藤原彻 , 谷口健一 , 塔道·卡萨米 :
关于密码协议安全性的决策问题。 系统。 计算。 日本。 18 ( 5 ) : 67-78 ( 1987 ) [公元14年] 塔道·卡萨米 , 谷口健一 , 杉山裕治 , Hiroyuki Seki先生 :
代数语言ASL的原理。 系统。 计算。 日本。 18 ( 7 ) : 11-20 ( 1987 ) [j13] 东野太郎 , 谷口健一 , 塔道·卡萨米 , 藤井马木 , Masaaki Mori先生 :
验证代数指定通信协议的进程属性。 系统。 计算。 日本。 18 ( 9 ) : 96-107 ( 1987 ) 1986 [公元12年] 井上加寿 , Seki宏之 , 谷口健一 , 塔道·卡萨米 :
函数式语言ASL/F的编译和优化方法。 科学。 计算。 程序。 7 ( 三 ) : 297-312 ( 1986 ) [公元11年] 铃木一郎 , Y.Motohashi先生 , 谷口健一 , 塔道·卡萨米 , 冈本达辅 :
带欧米伽扩展正则表达式的分散菊花链仲裁器的规范和验证。 西奥。 计算。 科学。 43 : 277-291 ( 1986 ) 1985 [公元10年] Hiroyuki Seki先生 , 谷口健一 , 塔道·卡萨米 :
函数语言ASL/F程序的优化。 系统。 计算。 日本。 16 ( 4 ) : 9-18 ( 1985 ) 1984 [公元9年] 伊藤实 , 岩崎本崎 , 谷口健一 , 塔道·卡萨米 :
关系表达式中数据依赖的成员关系问题。 西奥。 计算。 科学。 34 : 315-335 ( 1984 ) [j8] 东野太郎 , Masaaki Mori先生 , 杉山裕治 , 谷口健一 , 塔道·卡萨米 :
HDLC过程的代数规范及其验证。 IEEE传输。 软件工程。 10 ( 6 ) : 825-836 ( 1984 ) 1983 [j7] 伊藤实 , 谷口健一 , 塔道·卡萨米 :
在某些限制条件下嵌入多值依赖的成员问题。 西奥。 计算。 科学。 22 : 175-194 ( 1983 )
1970 – 1979
1979 [j6] 下原贤一 , 伊藤实 , 谷口健一 , 塔道·卡萨米 :
关系数据库中多值依赖的决策问题。 SIAM J.计算。 8 ( 2 ) : 247-264 ( 1979 ) 【c1】 谷口健一 , 松浦俊雄 , 杉山裕治 , 塔道·卡萨米 :
关于安全Petri网的等价性。 FCT公司 1979 : 430-436 1976 [j5] 谷口健一 , 塔道·卡萨米 :
计算D-图可用表达式集的O(n)算法。 信息学报 6 : 361-364 ( 1976 ) 【j4】 谷口健一 , 塔道·卡萨米 :
关于确定性下推自动机等价问题的一个结果。 J.计算。 系统。 科学。 13 ( 1 ) : 38-50 ( 1976 ) 1970 [j3] 谷口健一 , 塔道·卡萨米 :
减少上下文无关语法。 信息控制。 17 ( 1 ) : 92-108 ( 1970 )
1960 – 1969
1969 [注2] 谷口健一 , 塔道·卡萨米 :
关于单带图灵机识别无上下文语言的计算时间的注记。 信息控制。 14 ( 三 ) : 278-284 ( 1969 ) 1967 [j1] Nobuki Tokura先生 , 谷口健一 , 塔道·卡萨米 :
为二进制对称信道寻找最佳组码的搜索过程。 IEEE传输。 Inf.理论 13 ( 4 ) : 587-594 ( 1967 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)