Acta Informatica, vol. 50, no. 7-8, page. 359 - 380, 2013-12
Journal of Automated Reasoning, vol. 52, no. 2, page. 215 - 239, 2014-02
25th International Conference on Data Engineering, 2009-03-29
INFORMATION SYSTEMS, vol. 36, no. 4, page. 808 - 823, 2011-06
Proof Systems for Program Logics, 2010-07-10
ACM SIGPLAN NOTICES, vol. 42, no. 9, page. 191 - 202, 2007-09
JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 19, page. 107 - 142, 2009-01
2022 한국생물공학회 춘계학술발표대회 및 국제 심포지엄, 2022-04-15
2022 한국미생물 생명공학회 국제학술대회 및 정기학술대회, 2022-06-22