| 195 |
[2019-05-30] Journal of KIISE: dTP-Calculus - Submitted
 |
moonkun |
2019-07-15 |
2016 |
| 194 |
[2017-08-11] PoEM2017/PrOse2017 (Submitted)
|
moonkun |
2017-08-11 |
1962 |
| 193 |
[2019-07-25] NEMO2019, The 6th: Day 9 - Thur
 6
|
moonkun |
2019-07-25 |
1650 |
| 192 |
[2019-01-02] 하현달과 금성 (A Waning Moon w/ Venus)
1
|
moonkun |
2019-01-02 |
1649 |
| 191 |
[2017-08-11] [Book] Formal Methods (published by CBNU Press)
|
moonkun |
2017-09-14 |
1575 |
| 190 |
[2017-09-18] [OKRC/PP] ER2017/AHA2017: Final, Camera-Ready
|
moonkun |
2017-09-23 |
1299 |
| 189 |
[2017-10-10] SRE 실험실 & OMiLAB Korea 연구 센터: 석사/박사 과정 후보생 모집
|
moonkun |
2017-10-10 |
1114 |
| 188 |
[2017-10-26] 컴퓨터과학/공학 분야 연구와 교육에서의 적폐청산 방안 [펌]
 2
|
moonkun |
2017-10-26 |
1090 |
| 187 |
[2017-10-15] [OKRC/PP] PoEM2017/PrOse2017: Final, Camera-Ready
|
moonkun |
2017-10-15 |
1065 |
| 186 |
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Presentation
1
|
moonkun |
2017-11-07 |
845 |
| 185 |
[2017-11-06] [OKRC/PP] ER2017/AHA2017: Day 1
1
|
moonkun |
2017-11-07 |
831 |
| 184 |
[2021-01-29] Theory of Multi-Paradigm Programming Languages
3
|
moonkun |
2021-02-18 |
771 |
| 183 |
[2017-11-10] [Barcelona, Spain] My old friend, NyS.
1
|
moonkun |
2017-11-13 |
691 |
| 182 |
[2017-11-09] [OKRC/PP] ER2017: Valencia, Old City
6
|
moonkun |
2017-11-13 |
674 |
| 181 |
[2017-11-08] [OKRC/PP] ER2017: Day 3
|
moonkun |
2017-11-13 |
674 |
| 180 |
[2019-07-18] NEMO2019, The 6th: Day 4 - Thur
10
|
moonkun |
2019-07-18 |
657 |
| 179 |
[2017-11-09] [OKRC/PP] ER2017: Day 1~4
|
moonkun |
2017-11-13 |
653 |
| 178 |
[2017-11-07] [OKRC/PP] ER2017: Day 2
|
moonkun |
2017-11-13 |
645 |
| 177 |
[2019-07-19] NEMO2019, The 6th: Day 5 - Fri
7
|
moonkun |
2019-07-19 |
644 |
| 176 |
[2017-11-24] [Leuven, Belgium] PoEM/PrOse2017 : Day 3
|
moonkun |
2017-11-27 |
563 |
