Scholar
Kazuhiro Ogata
Google Scholar ID: NQqOx68AAAAJ
JAIST
Computer Science
Software Engineering
Formal Methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,214
H-index
24
i10-index
74
Publications
20
Co-authors
23
list available
Publications
2 items
Combining model checking with simulation-based techniques for protocol verification
2026
Cited
0
Proof Scores: A Survey
ACM Computing Surveys · 2025
Cited
0
Co-authors
8 total
Kokichi FUTATSUGI
Professor of Computer Science, JAIST
Min ZHANG
East China Normal University
Weiqiang Kong
Kyushu University
Adrián Riesco
Associate Professor in Computer Science, Dpto. Sistemas Informáticos y Computación, Universidad
Jianwen Xiang
Wuhan University of Technology
Daniel GAINA
Institute of Mathematics for Industry, Kyushu University
Dorel Lucanu
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
