编辑配置文件（在新选项卡中打开） 吉野Isobe 合著者距离 作者ID： 伊索贝·吉野 发布日期： 吉野Isobe 外部链接： ORCID公司 已编制索引的文档： 7出版物自1995年起 合著者： 6位合著者具有7联合出版物 40位合作作者 全部的 前5名合著者 0 单作者的 5 马库斯·罗根巴赫 2 Kazuhito Ohmaki 2 佐藤，玉田 1 中田秀美 1 利亚姆·奥莱利 1 塞缪尔·D·吉夫特 系列 1 RIMS Kokyuroku公司 领域 7 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用25中的次13文件 引用人▼ 年份▼ CSP求精的一般定理证明器。 兹比尔1087.68592 吉野Isobe；马库斯·罗根巴赫 12 2005 CSP的证明原则–CSP-prover在实践中的证明。 Zbl 1218.68105号 吉野Isobe；马库斯·罗根巴赫 5 2008 CSP稳定故障模型的完整公理语义。 Zbl 1151.68535号 吉野Isobe；马库斯·罗根巴赫 三 2006 CSP Provert中的稳定恢复模型。 Zbl 1335.68237号 塞缪尔·D·吉夫特；马库斯·罗根巴赫；吉野Isobe 三 2009 CSP-CASL-Prover:用于过程和数据优化的通用工具。 Zbl 1335.68235号 利亚姆·奥莱利；马库斯·罗根巴赫；吉野Isobe 2 2009 CSP-Prover中的稳定恢复模型。 Zbl 1335.68237号 塞缪尔·D·吉夫特；马库斯·罗根巴赫；吉野Isobe 三 2009 CSP-CASL-Prover:用于过程和数据优化的通用工具。 Zbl 1335.68235号 O＆rsquo的；莱姆·赖利；马库斯·罗根巴赫；吉野Isobe 2 2009 CSP的证明原则–CSP-prover在实践中。 Zbl 1218.68105号 吉野Isobe；马库斯·罗根巴赫 5 2008 CSP稳定故障模型的完整公理语义。 Zbl 1151.68535号 吉野Isobe；马库斯·罗根巴赫 三 2006 CSP求精的一般定理证明器。 Zbl 1087.68592号 吉野Isobe；马库斯·罗根巴赫 12 2005 所有引用出版物 前5名被引用出版物 全部的 前5名26位作者引用 5 马库斯·罗根巴赫 2 吉野Isobe 2 利亚姆·奥莱利 1 詹姆斯·巴克斯特 1 安娜·卡瓦尔坎蒂 1 陈振邦 1 董金松 1 法尔科奥，弗拉维亚 1 朱利亚诺·伊奥达 1 Temesghen Kahsai 1 莫里茨·克莱恩 1 刘，杨 1 刘志明 1 蒂尔·莫萨科夫斯基 1 托比·默里 1 秦胜超 1 史蒂夫·里夫斯 1 佩德罗·里贝罗 1 安德鲁·威廉·罗斯科 1 奥古斯托·桑帕约。 1 塞缪尔·D·吉夫特 1 史玲 1 大卫·斯特雷德 1 孙骏 1 王，季 1 赵永新 4篇连载文章中引用 2 理论计算机科学 2 计算的形式方面 1 信息学报 1 逻辑与代数程序设计杂志 在1个字段中引用 13 计算机科学（68至XX） 按年份列出的引文