miniKanren workshop@ICFP
miniKanren workshop@ICFPext
프로젝트 페이지: http://plv.mpi-sws.org/imm/
46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). 포르투갈 리스본
LPAR, 컴퓨팅의 EPiC 시리즈.EasyChair
Open Innovations Association (FRUCT), 2017 20회 컨퍼런스.IEEE
SPbSPU Journal. Computer Science. Telecommunication and Control Systems, no. 1(236), 84–107
Programming and Computer Software, 42 (4), pp. 216-224
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 부수 시리즈 포함), Vol. 9609, pp. 170-185
교육 분야를 위한 컴퓨터 및 첨단 기술에 관한 IASTED 국제 컨퍼런스 논문집, CATE 2012 pp. 112-118
KMIS 2011 - 지식경영 및 정보공유에 관한 국제 컨퍼런스 논문집, pp. 294-301
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 부수 시리즈 포함) 4980 LNCS, pp. 158-170
Programming and Computer Software 37 (6), pp. 315-321
KMIS 2009 - 지식경영 및 정보공유에 관한 1회 국제 컨퍼런스, 논문집 pp. 200-205
Communications in Computer and Information Science 17 CCIS, pp. 478-489
Programming and Computer Software 34 (4), pp. 216-224
공식적 방법, 검증 및 유효성 확인의 활용에 관한 IEEE/NASA ISoLA 2005 워크숍 논문집.Loyola College Graduate Center Columbia, Maryland, USA, P. 31-41
문서 프로그래밍 및 컴퓨터 소프트웨어 소스 29 (6), pp. 323-327
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics 부수 시리즈 포함) 2244 LNCS, pp. 324-327
Programming and Computer Software 25 (5), pp. 276-281