logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
arrow
Back
Y

Yati Phyo

japan advanced institute of science & technology (jaist)

6H-index
15Paper Count
77Citation Count
Published Papers 2
Publication Date
logo
Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-09-30
err2
errOAAI
errCanh Minh Do; Phyo, Yati; Riesco, Adrian; Ogata, Kazuhiro
errShare
errSave
Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way
errIEEE ACCESS
IF3.6
err2022-01-01
err2
errOAAI
errDo, Canh Minh; Phyo, Yati; Ogata, Kazuhiro
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
K
Kazuhiro Ogata
H-index: 19 · Papers: 211
A
Adrián Riesco
H-index: 13 · Papers: 83
C
Canh Minh
H-index: 6 · Papers: 33
All loaded