IEEE Transactions on Knowledge and Data Engineering, vol. 24, no. 12, page. 2113 - 2126, 2012-12
ICALP, 2013-07-08
The 13th ACM SIGPLAN International Conference on Functional Programming, 2008-09-24
INFORMATION SCIENCES, vol. 188, page. 151 - 169, 2012-04-01
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