연구 실적 목록(硏究實績目錄)

국제학술지
1. Jae Won Lee, Sung-Dong Kim, Jinseok Chae, Jongwoo Lee, and Do-Hyung Kim, "English Syntactic Disambiguation Using Parser's Ambiguity Type Information," ETRI Journal, Electronics and Telecommunications Research Institute, Vol. 25, No. 4, pp. 219-230, August 2003.
2. Gyung-Ok Lee and Do-Hyung Kim, "Characterization of Extended LR(k) Grammars," Information Processing Letters, Elsevier Science Publishers, Vol. 64, No. 2, pp. 75-82, November 1997.
3. Su-Hyun Lee, Do-Hyung Kim, and Kwang-Moo Choe, "Path for AND-Parallel Execution of Logic Programs," Information Processing Letters, Elsevier Science Publishers, Vol. 52, No. 4, pp. 191-199, November 1994.
4. Do-Hyung Kim, Kwang-Moo Choe, and Taisook Han, "Refined Mark(s)-Set-Based Backtrack Literal Selection for AND Parallelism in Logic Programs," Parallel Processing Letters, World Scientific Publishing Co., Vol. 2, No. 1, pp. 71-79, March 1992.
5. Do-Hyung Kim and Kwang-Moo Choe, "Yet Another Efficient Backward Execution Algorithm for AND/OR Process Model," Information Processing Letters, Elsevier Science Publishers, Vol. 40, No. 4, pp. 201-211, November 1991.
국내학술지
1. 김도형, "프로그래밍의 수련 ― 열한번째, 몇 가지 작은 예제들의 정형적 처리 ― III," 프로그래밍언어논문지, 제19권, 제1호, pp. 47-51, 한국정보과학회 프로그래밍언어연구회, 2005년 8월.
2. 김도형, "프로그래밍의 수련 ― 열번째, 몇 가지 작은 예제들의 정형적 처리 ― II," 프로그래밍언어논문지, 제18권, 제2호, pp. 31-35, 한국정보과학회 프로그래밍언어연구회, 2004년 6월.
3. 김도형, "프로그래밍의 수련 ― 아홉번째, 몇 가지 작은 예제들의 정형적 처리 ― I," 프로그래밍언어논문지, 제18권, 제1호, pp. 31-36, 한국정보과학회 프로그래밍언어연구회, 2004년 2월.
4. 박종수, 김도형, "고차원 데이터를 부분차원 클러스터링하는 효과적인 알고리즘," 정보처리학회논문지D, 제10-D권, 제3호, 한국정보처리학회, 2003년 6월.
5. 김도형, "프로그래밍의 수련 ― 여덟번째, 유클리드 알고리즘의 재고찰," 프로그래밍언어논문지, 제17권, 제1호, pp. 83-88, 한국정보과학회 프로그래밍언어연구회, 2003년 3월.
6. 김도형, "프로그래밍의 수련 ― 일곱번째, 적절히 종료하는 구조의 설계에 대하여," 프로그래밍언어논문지, 제16권, 제2호, pp. 47-52, 한국정보과학회 프로그래밍언어연구회, 2002년 7월.
7. 김도형, "프로그래밍의 수련 ― 여섯번째, 두 개의 정리," 프로그래밍언어논문지, 제16권, 제1호, pp. 35-39, 한국정보과학회 프로그래밍언어연구회, 2002년 2월.
8. 김도형, "프로그래밍의 수련 ― 다섯번째, 프로그래밍 언어의 의미 규정(II)," 프로그래밍언어논문지, 제14권, 제2호, pp. 75-81, 한국정보과학회 프로그래밍언어연구회, 2000년 12월.
9. 김도형, "프로그래밍의 수련 ― 네번째, 프로그래밍 언어의 의미 규정(I)," 프로그래밍언어연구회지, 제13권, 제2호, pp. 7-19, 한국정보과학회 프로그래밍언어연구회, 1999년 12월.
10. 김도형, "프로그래밍의 수련 ― 세번째, 의미의 규정," 프로그래밍언어연구회지, 제13권, 제1호, pp. 1-14, 한국정보과학회 프로그래밍언어연구회, 1999년 6월.
11. 김도형, "프로그래밍의 수련 ― 두번째, 프로그래밍 언어의 역할 및 상태와 그 특성의 규정," 프로그래밍언어연구회지, 제12권, 제2호, pp. 15-28, 한국정보과학회 프로그래밍언어연구회, 1998년 12월.
12. 김도형, "프로그래밍의 수련 ― 첫번째, 서문 및 수행의 추상화," 프로그래밍언어연구회지, 제12권, 제1호, pp. 21-43, 한국정보과학회 프로그래밍언어연구회, 1998년 6월.
13. 김도형, 이수현, 최광무, "논리 프로그램의 병렬 수행 모형에서 완결성과 효율성의 분석", 정보과학회논문지(B), 제23권, 제12호, pp. 1320-1335, 1996년 12월.
14. 김도형, 최광무, "논리 프로그램의 병렬 수행에서 재초기화 알고리즘의 정확성 증명을 위한 참조 집합: 직관적 접근", 정보과학회논문지(B), 제23권, 제3호, pp. 233-244, 1996년 3월.
15. 김도형, "펜에 기반을 둔 컴퓨터를 위한 운영 체제 개발: 요구 조건의 분석과 전망", 기초과학연구지, 제12집, pp. 73-103, 성신여자대학교, 1994년 8월.
16. 김도형, "이중 유한 자동 기계에 의한 정규 언어의 인식", 컴퓨터이론연구회지, 제3권, 제3호, pp. 2-6, 한국정보과학회 컴퓨터이론연구회, 1992년 10월.
편집
1. 이광근, 김도형, 창병모, 양홍석, 프로그래밍언어논문지, 제19권, 제1호, 한국정보과학회 프로그래밍언어연구회, 2005년 8월.
2. 이광근, 김도형, 창병모, 양홍석, 프로그래밍언어논문지, 제18권, 제3호, 한국정보과학회 프로그래밍언어연구회, 2004년 11월.
3. 이광근, 김도형, 창병모, 양홍석, 프로그래밍언어논문지, 제18권, 제2호, 한국정보과학회 프로그래밍언어연구회, 2004년 6월.
4. 이광근, 김도형, 창병모, 양홍석, 프로그래밍언어논문지, 제18권, 제1호, 한국정보과학회 프로그래밍언어연구회, 2004년 2월.
5. 김도형, 이양선, 창병모, 프로그래밍언어논문지, 제17권, 제2호, 한국정보과학회 프로그래밍언어연구회, 2003년 7월.
6. 김도형, 이양선, 창병모, 프로그래밍언어논문지, 제17권, 제1호, 한국정보과학회 프로그래밍언어연구회, 2003년 3월.
7. 김도형, 이양선, 창병모, 프로그래밍언어논문지, 제16권, 제3호, 한국정보과학회 프로그래밍언어연구회, 2002년 10월.
8. 김도형, 이양선, 창병모, 프로그래밍언어논문지, 제16권, 제2호, 한국정보과학회 프로그래밍언어연구회, 2002년 7월.
9. 김도형, 이광근, 창병모, 프로그래밍언어논문지, 제16권, 제1호, 한국정보과학회 프로그래밍언어연구회, 2002년 2월.
10. 김도형, 이광근, 창병모, 프로그래밍언어논문지, 제15권, 제2호, 한국정보과학회 프로그래밍언어연구회, 2001년 11월.
11. 김도형, 이광근, 창병모, 프로그래밍언어논문지, 제15권, 제1호, 한국정보과학회 프로그래밍언어연구회, 2001년 5월.
12. 김도형, 이광근, 창병모, 프로그래밍언어논문지, 제14권, 제2호, 한국정보과학회 프로그래밍언어연구회, 2000년 12월.
13. 김도형, 이광근, 창병모, 프로그래밍언어연구회지, 제14권, 제1호, 한국정보과학회 프로그래밍언어연구회, 2000년 6월.
14. 김도형, 변석우, 이광근, 프로그래밍언어연구회지, 제13권, 제2호, 한국정보과학회 프로그래밍언어연구회, 1999년 12월.
15. 김도형, 변석우, 이광근, 프로그래밍언어연구회지, 제13권, 제1호, 한국정보과학회 프로그래밍언어연구회, 1999년 6월.
16. 김도형, 변석우, 이광근, 프로그래밍언어연구회지, 제12권, 제2호, 한국정보과학회 프로그래밍언어연구회, 1998년 12월.
17. 김도형, 변석우, 이광근, 프로그래밍언어연구회지, 제12권, 제1호, 한국정보과학회 프로그래밍언어연구회, 1998년 6월.
강연
1. 김도형, "A Discipline of Programming by Edsger W. Dijkstra - Part II", 동계 워크샵, 한국정보과학회 프로그래밍언어연구회, 2005년 2월.
2. 김도형, "A Discipline of Programming by Edsger W. Dijkstra - Part I", 동계 워크샵, 한국정보과학회 프로그래밍언어연구회, 2005년 2월.
3. 김도형, "공리적 의미론의 소개: 다익스트라의 술어변환자를 중심으로," 튜토리얼, 동계 워크샵, 한국정보과학회 프로그래밍언어연구회, 1999년 2월.
저서 및 역서
1. 권지희, 김도형 외 18인, "촛불이 민주주의다", 해피스토리, 2008.
2. 김도형, 창병모, 하상호 역, "Java 소프트웨어 솔루션"("Java Software Solutions: Foundations of Program Design" by John Lewis and William Loftus, 4th Ed., Addison Wesley Longman, Inc., 2004), 홍릉과학출판사, 2006.
3. 김도형, 이수현, 창병모 역, "프로그래밍 언어"("Programming Languages: Principles and Practice, 2nd Edition" by Kenneth C. Louden, Brooks/Cole, 2003), 사이텍미디어, 2004년 9월.
4. 김도형, 창병모, 하상호 역, "Java 소프트웨어 솔루션"("Java Software Solutions: Foundations of Program Design" by John Lewis and William Loftus, 2nd Ed., Addison Wesley Longman, Inc., 2000), 영한출판사, 2001년 2월.
5. 김도형, 창병모, 하상호 역, "Java 프로그래밍 해법"("Java Software Solutions: Foundations of Program Design" by John Lewis and William Loftus, 1st Ed., Addison Wesley Longman, Inc., 1998), 영한출판사, 2000년 2월.
6. 김도형, 박종수 역, "계산 이론 입문"("Theory of Computation: Formal Languages, Automata, and Complexity" by J. Glenn Brookshear, The Benjamin/Cummings Pubishing Company, 1989), 홍릉과학출판사, 1997년 9월.
7. 김도형, 이수현, 창병모 역, "프로그래밍 언어: 원리와 실제"("Programming Languages: Principles and Practice" by Kenneth C. Louden, PWS Pubishing Company, 1993), 도서출판 희중당, 1997년 2월.
국내학술회의
1. 김도형, "논리 프로그램의 효율적인 AND-병렬 수행을 위해서 마크 집합을 사용해 초기화를 수행하는 기존 알고리즘의 오류 분석", 하계종합학술대회논문집, 제17권, 제1호, pp. 594-597, 대한전자공학회, 1994년 7월.
2. 최광무, 정민수, 김도형, 박광순, 이형효, 최준식, "확장된 KAIST 파서 생성 시스템의 개발 및 구현", 춘계학술발표논문집, 제16권, 제1호, pp. 378-381, 한국정보과학회, 1989년 4월.
3. 최광무, 정민수, 김도형, "Yacc에서의 최소 비용 삽입 스트링을 이용한 오류 보정", 추계학술발표논문집, 제14권, 제2호, pp. 605-608, 한국정보과학회, 1987년 10월.
4. 김도형, 최광무, "AND 클로즈의 분할을 통한 논리 프로그램의 병렬 처리 기법", 추계학술발표논문집, 제14권, 제2호, pp. 601-604, 한국정보과학회, 1987년 10월.
학위논문
1. Do-Hyung Kim, "The AND Process Configuration: A Unified Framework for AND-Parallel Execution of Logic Programs," Ph.D. Dissertation, Department of Computer Science, KAIST, February 1992.
2. Do-Hyung Kim, "A Technique for Parallel Execution of Logic Programs Based on the AND/OR Process Model," M.S. Thesis, Department of Computer Science, KAIST, 1987.
기술보고서
1. Su-Hyun Lee, Do-Hyung Kim, and Kwang-Moo Choe, "The Path Model for Parallel Evaluation of Logic Programs: Method and Analysis," Technical Report CS-TR-93-79, Department of Computer Science, KAIST, August 1993.
2. Do-Hyung Kim and Kwang-Moo Choe, "The Dynamic Affecting Set: A Semantically Transparent Literal-Level Selective Resetting Method for AND-Parallel Execution of Logic Programs," Technical Report CS-TR-92-69, Department of Computer Science, KAIST, May 1992.
3. Do-Hyung Kim, Kwang-Moo Choe, and In-Sig Yun, "Correction of the Recent Mark-Set-Based Backward Execution Algorithms for AND Parallelism in Logic Programs," Technical Report CS-TR-92-68, Department of Computer Science, KAIST, April 1992.
4. Do-Hyung Kim, Kwang-Moo Choe, Byeong-Mo Chang, and Su-Hyun Lee, "The Scorer Method: A Scheme for Selective Resetting without Termwise Unification Failure Cause Analysis in the AND-Parallel Evaluation of Logic Programs," Technical Report CS-TR-90-49, Department of Computer Science, KAIST, October 1990.
5. Do-Hyung Kim, Kwang-Moo Choe, and Myung-Joon Lee, "Towards the Most Intelligent Backward Execution in the AND-Parallel Evaluation of Logic Programs," Technical Report CS-TR-89-38, Department of Computer Science, KAIST, February 1989.
기타
1. 김도형, "교사 시국선언 무리한 법적용", 경향신문, 2009년 7월 9일.
2. 김도형, "교육계 갈등 부추기는 정부", 경향신문, 2008년 12월 19일.
3. 김도형, "엣져 위베 다익스트라," 프로그래밍언어논문지, 제17권, 제1호, pp. 99-104, 한국정보과학회 프로그래밍언어연구회, 2003년 3월.
4. 김도형, "UNIX 운영 체제 그리고 C 프로그래밍 언어", 프로그램세계, 제1권, pp. 47-53, 월간 프로그램세계사, 1993년 5월.

연구 실적 목록(硏究實績目錄)

성신여대 컴퓨터정보학부/컴퓨터학과의 홈 페이지로