| 1999 | 점진적 개발 프로세스에서의 소프트웨어 품질 메트릭스 설정 | 이선아 | Master's Thesis |
| 2000 | 정수 계획법을 이용한 공개키 암호 알고리즘의 설계 | 용승림 | Master's Thesis |
| 2000 | 정지 궤도 위성 망에서의 자원할당에 관한 연구 | 조혜진 | Master's Thesis |
| 1986 | 주기억장치 데이타베이스 시스템에서의 회복에 관한 연구 | 閔惠仙 | Master's Thesis |
| 2007 | 중복 디스크 서버환경에서의 동적 전력 관리 기법 연구 | 김희경 | Master's Thesis |
| 1996 | 지능형 에이전트를 기반으로 한 일정 관리 시스템의 설계 및 구현 | 김희정 | Master's Thesis |
| 1988 | 직교 다각형의 직교 최단 경로 문제에 관한 연구 | 홍석희 | Master's Thesis |
| 1990 | 직교다각형에서 동적인 감시자의 위치 선정을 위한 알고리즘에 관한 연구 | 심인숙 | Master's Thesis |
| 1996 | 직병렬 유향 그래프의 기하학적 대칭성 탐지 및 그의 드로잉 알고리즘 | 박혜련 | Master's Thesis |
| 2011 | 차세대 시퀀싱(NGS) 플랫폼 별 포맷 변환과 통합 뷰어 모듈 구현 | 이경은 | Master's Thesis |
| 1991 | 차수 기준에 의한 삼각분할 재구성 | 황정인 | Master's Thesis |
| 1995 | 차수가 6이하인 평면그래프의 삼각 그리드 임베딩 알고리즘 | 조미혜 | Master's Thesis |
| 2002 | 청크 기반 MOLAP 큐브를 위한 인덱스 구조 | 김남희 | Master's Thesis |
| 1997 | 체적 가시화의 가속화기법 비교 분석 | 엄진영 | Master's Thesis |
| 1993 | 칼라 쿼드 트리를 이용한 비정형 영역 선택형 아이콘의 설계 및 구현 | 김소영 | Master's Thesis |
| 2017 | 컨볼루션 신경망을 이용한 3단계 계층 구조에서의 사물인식 기법 | 박미림 | Master's Thesis |
| 2001 | 컴포넌트 기반 개발 개념과 XML 기술을 활용한 테스트 프로세스 테일러링 | 서주영 | Master's Thesis |
| 1993 | 컴퓨터 보조 개별, 협력학습 시스템의 설계 및 구현 | 차경옥 | Master's Thesis |
| 1994 | 컴퓨터 통신망 시뮬레이션을 위한 객체 지향 모델링 | 오기은 | Master's Thesis |
| 1997 | 컴퓨터 프로그램 자가 교정 기법 | 문남미 | Doctoral Thesis |
