| 2001 | UML기반의 테스트 자동화 방안 및 도구 구현 | 金靑我 | Master's Thesis |
| 1987 | 선분들의 평행이동을 위한 효율적인 알고리즘의 설계 | 조태남 | Master's Thesis |
| 1991 | 시뮬레이션 환경 II-SE의 설계 및 구현 | 이유부 | Master's Thesis |
| 1991 | 차수 기준에 의한 삼각분할 재구성 | 황정인 | Master's Thesis |
| 1993 | 멀티미디어 프리젠테이션을 위한 사용자 인터페이스 환경 구축 | 백선혜 | Master's Thesis |
| 1995 | 펜 인터페이스를 이용한 일차 방정식 교습 시스템의 설계 및 구현 | 권순혜 | Master's Thesis |
| 1998 | 이동 에이전트를 이용한 분산 전문가 시스템 개발환경의 설계 및 구현 | 최지영 | Master's Thesis |
| 1998 | OLAP을 위한 객체-관계 DBMS 기반 다차원 데이타 모델의 설계 및 구현 | 김은영 | Master's Thesis |
| 1994 | 회로도 생성을 위한 개선된 배치 및 배선 알고리즘 | 이영옥 | Master's Thesis |
| 1993 | 논리학 교습을 위한 그래픽 사용자 인터페이스의 설계 | 이현정 | Master's Thesis |
| 1992 | C 프로그램 작성시 대화식 오류진단 시스템의 설계 및 구현 | 문미경 | Master's Thesis |
| 1991 | 이산 시스템 시뮬레이션을 위한 가시적 모델링 시스템의 설계및 구현 | 김규하 | Master's Thesis |
| 1991 | 텍셀을 이용한 3차원 물체의 형상 인식 | 김도년 | Master's Thesis |
| 1991 | 물체의 3차원 운동 방향 인식 | 이현정 | Master's Thesis |
| 1991 | EAL 어셈블러와 자동테스터의 설계 및 구현 | 김정아 | Master's Thesis |
| 1991 | 단순 다각형에서 두 동적 감시자의 감시 체인에 관한 문제 | 문지영 | Master's Thesis |
| 1991 | 피라미드를 이용한 곡선 추적에 관한 연구 | 김소연 | Master's Thesis |
| 1992 | 쿼드트리로 표현된 한글 문서 영상에서 문자의 추출 | 백은경 | Master's Thesis |
| 2016 | U-헬스 서비스에서 스마트폰과 스마트워치를 이용한 안전한 키 교환 프로토콜 | 박설하 | Master's Thesis |
| 1990 | 한글 평가도구의 설계 | 이정희 | Master's Thesis |
