logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Masaki Waga

kyoto university

9H指数
69论文数
216被引数
收录论文 5
发表时间
logo
Hyper Pattern Matching超模式匹配
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errWaga, Masaki; Andre, Etienne
err分享
err收藏
Active Learning of Symbolic Mealy Automata符号米利自动机的主动学习
errTHEORETICAL ASPECTS OF COMPUTING-ICTAC 2025
IF0
err2026-01-01
err0
PREAI
errIrie, Kengo; Waga, Masaki; Suenaga, Kohei
err分享
err收藏
Componentwise Automata Learning for System Integration组件级自动机学习用于系统集成
errAUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2025
IF0
err2026-01-01
err0
PREAI
errFujinami, Hiroya; Waga, Masaki; An, Jie; Suenaga, Kohei; Yanagisawa, Nayuta; Iseri, Hiroki; Hasuo, Ichiro
err分享
err收藏
Efficient Black-Box Checking with Specification-Guided Abstraction基于规范引导抽象的高效黑盒检查
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errMatsumoto, Tsubasa; Watanabe, Kazuki; Suenaga, Kohei; Waga, Masaki
err分享
err收藏
Parametric Timed Pattern Matching
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-02-13
err4
errOAAI
errWaga, Masaki; Andre, Etienne; Hasuo, Ichiro
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jie An
H 指数: 32 · 论文数: 153
I
Ichiro Hasuo
H 指数: 22 · 论文数: 223
É
Étienne André
H 指数: 21 · 论文数: 226
K
Kohei Suenaga
H 指数: 12 · 论文数: 94
N
Nayuta Yanagisawa
H 指数: 3 · 论文数: 8
查看更多