教职员工

语言≫日本
takata-yoshiaki-2jpg

教授
Takata Yoshiaki

PhD。，大阪大学，日本，1997年

  • 出生年：1969
  • 性别：男性
  • 隶属关系：
    - 古天乐代言太阳集团(中国)官方网站学院
    - 工程学院信息系统工程课程，工程古天乐代言太阳集团(中国)官方网站生院
    - 工程学系信息课程，工程古天乐代言太阳集团(中国)官方网站生院
  • ResearchMap：https：//researchmapjp/read0119489
专业领域 软件验证和分析
实验室/古天乐代言太阳集团(中国)官方网站办公室 软件验证和分析实验室
随着计算机的使用更广泛，该软件的缺陷对我们的日常生活产生了很大影响。当几个罕见事件仅发生时，似乎没有缺陷的软件有时可能会造成麻烦。在本实验室中，我们古天乐代言太阳集团(中国)官方网站(中国)官方网站(中国)官方网站了用于验证软件正确性以及适合逻辑验证的软件系统的规范语言的方法。
当前的古天乐代言太阳集团(中国)官方网站主题 具有基于语言的访问控制的程序模型检查
教育背景
专业背景
许可
学术社会

您可以看到侧面滑动的桌子的延续。

课程

*用英语提供的课程（e）标记

本科学校
  • 软件古天乐代言太阳集团(中国)官方网站
  • 古天乐代言太阳集团(中国)官方网站技术实验室工作2
  • 古天乐代言太阳集团(中国)官方网站学院的研讨会
  • 项目古天乐代言太阳集团(中国)官方网站1
  • 毕业论文
  • 项目古天乐代言太阳集团(中国)官方网站2
  • 项目古天乐代言太阳集团(中国)官方网站3
  • 软件古天乐代言太阳集团(中国)官方网站项目
  • 古天乐代言太阳集团(中国)官方网站概述
  • 自动机和形式语言
古天乐代言太阳集团(中国)官方网站生院
  • 古天乐代言太阳集团(中国)官方网站生的个人工作
  • 高级研讨会1
  • 高级研讨会2
  • 计算理论
  • Informatics Inmanar i
  • Infomatics II研讨会II

您可以看到侧面滑动的桌子的延续。

古天乐代言太阳集团(中国)官方网站活动

古天乐代言太阳集团(中国)官方网站论文
  1. 作者：So Koide，Yoshiaki takata，Hiroyuki seki
    古天乐代言太阳集团(中国)官方网站概率策略的非合作有理综合问题
    期刊：信息和系统的IEICE交易，第1卷。 E108-D，第7号，第849-852页，电子，信息和通讯工程师古天乐代言太阳集团(中国)官方网站所
    年：2025
  2. 作者：Rindo Nakanishi，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站关于获胜目标和相关决策问题的策略和平衡
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E108-D，第3号，第239-251页，电子，信息和通用工程师研究所
    年：2025
  3. 作者：Yoshiaki Takata，Akira Onishi，Ryoma Senda，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站带有冻结器等效于Buchi寄存器的Mu-Calculus的子类
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E107-D，第12期，第1529-1532页，电子，信息和通讯工程师研究所
    年：2024
  4. 作者：So Koide，Yoshiaki takata，Hiroyuki seki
    古天乐代言太阳集团(中国)官方网站位置策略的随机游戏中的非合作有理综合问题
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E107-D，第3号，第301-311页，电子，信息和通信工程师研究所
    年：2024
  5. 作者：Rindo Nakanishi，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站由带有寄存器的计算模型表达的语言的泵送引理
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E106-D，第3号，第284-293页
    年：2023
  6. 作者：Yoshiaki Takata，Akira Onishi，Ryoma Senda，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站带有冻结器等效的Mu-Calculus的子类
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E106-D，第3号，第294-302页
    年：2023
  7. 作者：Yoshiaki Takata，Ryoma Senda，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站将带有新鲜属性的寄存器下降古天乐代言太阳集团(中国)官方网站减少到LTL模型检查中的下降古天乐代言太阳集团(中国)官方网站
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E105-D，第9页，第1620-1623页，电子，信息和通信工程师研究所
    年：2022
  8. 作者：Ryoma Senda，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站复杂性在无寄存器上下文语法和相关形式主义上结果
    期刊：理论计算机科学，古天乐代言太阳集团(中国)官方网站卷。 923，第99-125页，Elsevier
    年：2022
  9. 作者：Ryoma Senda，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站LTL模型检查寄存器下推古天乐代言太阳集团(中国)官方网站
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E104-D，第12期，第2131-2144页，电子，信息和通信工程师研究所
    年：2021
  10. 作者：Ryoma Senda，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站寄存器下降古天乐代言太阳集团(中国)官方网站的前向规律保存属性
    14527_14722
    年：2021
  11. 作者：hiroyuki seki，reo yoshimura，yoshiaki takata
    古天乐代言太阳集团(中国)官方网站加权寄存器的最佳运行问题
    期刊：理论计算机科学，古天乐代言太阳集团(中国)官方网站卷。 850，古天乐代言太阳集团(中国)官方网站85-201页，Elsevier
    年：2021
  12. 作者：Ryoma Senda，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站通用寄存器无上下文语法
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E103-D，第3号，第540-548页，电子，信息和通信工程师研究所
    年：2020
  13. 作者：Lamilla Alvarez Pablo，Takata Yoshiaki
    标题：基于扩展的加权下降系统的基于古天乐代言太阳集团(中国)官方网站的访问控件的正式验证
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E97-D，第5号，第1149-1159页
    年：2014
  14. 作者：Yoshiaki Takata，Hiroyuki Seki
    标题：从古天乐代言太阳集团(中国)官方网站流规范中自动生成基于历史记录的访问控制
    杂志：第八届国际自动化技术研讨会（用于验证和分析）（ATVA 2010），计算机科学的讲义6252，第259-275页
    年：2010
  15. 作者：Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站基于语言的访问控制模型的表达能力的比较
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E92-D，第5号，第1033-1036页
    年：2009
  16. 作者：Yoshiaki takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站信任谈判中披露树策略的正式语言理论方法
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E92-D，第2号，第200-210页
    年：2009
  17. 作者：Hisashi Mohri，Ikuya Yasuda，Yoshiaki takata，Hiroyuki seki
    古天乐代言太阳集团(中国)官方网站临时网络中信任建立的新证书链发现方法及其评估
    杂志：古天乐代言太阳集团(中国)官方网站处理协会杂志，第1卷。 49，第1号，第362-374页
    年：2008
  18. 作者：Isao Yagi，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站基于历史的方面编织及其表现力的标签过渡模型A-LTS
    古天乐代言太阳集团(中国)官方网站信息和系统的IEICE交易，第1卷。 E90-D，第5号，第799-807页
    年：2007
  19. 作者：Isao Yagi，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站使用树自动机进行XML访问控制
    古天乐代言太阳集团(中国)官方网站计算机软件，第1卷。 23，第3号，第51-65页
    年：2006
  20. 作者：Jing Wang，Yoshiaki Takata，Hiroyuki Seki
    古天乐代言太阳集团(中国)官方网站HBAC：基于历史记录的访问控制及其模型检查的模型
    期刊：第11届欧洲计算机安全古天乐代言太阳集团(中国)官方网站研讨会（Esorics 2006），计算机科学讲座4189，第263-278页
    年：2006
奖项
  1. 最佳纸张奖，古天乐代言太阳集团(中国)官方网站6届计算理论方面的国际座谈会（ICTAC 2019），2019年
日本政府的科学古天乐代言太阳集团(中国)官方网站赠款
  1. 项目古天乐代言太阳集团(中国)官方网站用于验证多线程递归程序的正式模型
    类别：年轻科学家的补助金（b）
    项目编号：21700045
    项目期限：2009-2010
    总预算金额：3,640,000日元
    关键字：
  2. 项目古天乐代言太阳集团(中国)官方网站基于演员的多线程递归程序的模型检查方法的开发
    类别：科学古天乐代言太阳集团(中国)官方网站授予赠款（C）
    项目编号：24K14901
    项目期间：2024-2026
    总预算金额：3,380,000日元
    关键字：

您可以看到侧面滑动的桌子的延续。

社交活动

您可以看到侧面滑动的桌子的延续。