206 |
[2017-05-24][17-054-PP-08] KIISE Journal: Behavior Ontology (Submitted)
|
moonkun |
2017-05-24 |
3214 |
205 |
[2017-07-17] NEMO2017, The University of Vienna, Austria: Day 1 - Opening [Mon]
|
moonkun |
2017-07-18 |
2742 |
204 |
[2017-06-13~15] ICIMSA2017 in Seoul
2
|
moonkun |
2017-06-14 |
2669 |
203 |
[2017-07-14] ICServ2017, Vienna, Austria: Workshop
2
|
moonkun |
2017-07-14 |
2444 |
202 |
[2017-07-18] NEMO2017, The University of Vienna, Austria: Day 2 [Tue]
1
|
moonkun |
2017-07-19 |
2393 |
201 |
[2017-07-19] NEMO2017, The University of Vienna, Austria: Day 3 [Wed]
2
|
moonkun |
2017-07-20 |
2340 |
200 |
[2017-06-26] A Morning Sun
|
moonkun |
2017-06-26 |
2338 |
199 |
[2017-07-14] ICServ2017, Vienna, Austria: Closing
1
|
moonkun |
2017-07-15 |
2323 |
198 |
[2017-07-12] ICServ2017, Vienna, Austria: Opening
|
moonkun |
2017-07-14 |
2306 |
197 |
[2017-08-04] Formal Method [V0.2] (To be published in September by CBNU Press)
3
|
moonkun |
2017-08-04 |
2286 |
196 |
[2017-07-25] NEMO2017, The University of Vienna, Austria: Day 7 [Tue]
|
moonkun |
2017-07-26 |
2266 |
195 |
[2017-07-26] NEMO2017, The University of Vienna, Austria: Lecture
1
|
moonkun |
2017-07-27 |
2230 |
194 |
[2017-07-21] NEMO2017, The University of Vienna, Austria: Day 5 [Fri]
|
moonkun |
2017-07-24 |
2216 |
193 |
[2017-07-20] NEMO2017, The University of Vienna, Austria: Day 4 [Thur]
1
|
moonkun |
2017-07-21 |
2166 |
192 |
[2017-07-27] NEMO2017, The University of Vienna, Austria: Day 9 [Thur]
|
moonkun |
2017-07-28 |
2157 |
191 |
[2017-07-26] NEMO2017, The University of Vienna, Austria: Day 8 [Wed]
1
|
moonkun |
2017-07-27 |
2154 |
190 |
[2017-06-30] Formal Methods [V0.1]
2
|
moonkun |
2017-07-02 |
2040 |
189 |
[2017-07-26] NEMO2017, The University of Vienna, Austria: Exercise
1
|
moonkun |
2017-07-27 |
2016 |
188 |
[2017-07-24] NEMO2017, The University of Vienna, Austria: Day 6 [Mon]
|
moonkun |
2017-07-25 |
1988 |
187 |
[2019-05-30] Journal of KIISE: dTP-Calculus - Submitted
|
moonkun |
2019-07-15 |
1890 |