Jinwoo Kim
ORCIDPublication Activity (10 Years)
Years Active: 1992-2024
Publications (10 Years): 128
Publications (10 Years): 128
Publications
- Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, Chung-Kil Hur
- Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
- Jinwoo Kim, Saeyoon Oh, Sungjun Cho, Seunghoon Hong
- Jinwoo Kim, Loris D'Antoni, Thomas W. Reps
- Jinwoo Kim, Saeyoon Oh, Sungjun Cho, Seunghoon Hong
- Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. Reps
- Loris D'Antoni, Qinheping Hu, Jinwoo Kim, Thomas W. Reps
- Woojae Kim, Anh-Duc Nguyen, Jinwoo Kim, Jongyoo Kim, Heeseok Oh, Sanghoon Lee
- Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas W. RepsSemantics-Guided Synthesis. CoRR (2020)
- Kazuyuki Fujita, Eunice Ratna Sari, Juho Kim, Adi B. Tedjasaputra, Ellen Yi-Luen Do, Zhengjie Liu, Uichin Lee, Toni-Jan Keith Palma Monserrat, Akihiro Matsufuji, Shio Miyafuji, Ryosuke Takada, Chat Wacharamanotham, Masitah Ghazali, Xiyue Wang, Thippaya Chintakovid, Kyoungwon Seo, Jinwoo Kim, Yoshifumi Kitamura
- Jinkyu Jang, Jinwoo Kim, Hyeonsik Shin, Hajung Aum, Jinwoo Kim