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

Kyungmin Bae

pohang university of science & technology (postech)

16H-index
74Paper Count
700Citation Count
Published Papers 3
Publication Date
logo
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err2
PREAI
errLee, Jaeseo; Bae, Kyungmin
errShare
errSave
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2025-12-01
err0
errOAAI
errLee, Jaehun; Bae, Kyungmin; Olveczky, Peter Csaba
errShare
errSave
errJournal of Logical and Algebraic Methods in Programming
IF1.2
err2025-12-01
err0
errOAAI
errBae, Kyungmin; Escobar, Santiago; Lopez-Rueda, Raul; Meseguer, Jose; Sapina, Julia
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
José Meseguer
H-index: 65 · Papers: 556
P
Peter Csaba Ölveczky
H-index: 26 · Papers: 185
S
Santiago Escobar
H-index: 21 · Papers: 187
J
Julia Sapiña
H-index: 8 · Papers: 39
J
Jaehun Lee
H-index: 8 · Papers: 43
View more