| 1993 | 멀티미디어 프리젠테이션을 위한 사용자 인터페이스 환경 구축 | 백선혜 | Master's Thesis |
| 1992 | C 프로그램 작성시 대화식 오류진단 시스템의 설계 및 구현 | 문미경 | Master's Thesis |
| 1992 | 삼각분할에 대한 문헌 연구 | 신금림 | Master's Thesis |
| 1992 | ICAI 진단 교사 모형의 설계 및 구현 | 유영란 | Master's Thesis |
| 1992 | 시뮬레이션 실험 지원 환경의 설계 및 구현 | 조희정 | Master's Thesis |
| 1992 | OOP 기법을 이용한 메뉴식 인터페이스 개발 도구의 설계 및 구현 | 한지희 | Master's Thesis |
| 1992 | CLIPS 시스템의 개발 환경 설계 및 구현 | 유승희 | Master's Thesis |
| 1992 | 동적 패턴 관리에 의한 신경회로망의 확장에 관한 연구 | 강민숙 | Master's Thesis |
| 1992 | 시뮬레이션 모델 구축을 위한 지능적 Front End의 설계 및 구현 | 박주영 | Master's Thesis |
| 1992 | 방향과 경사도를 이용한 정지 화상의 굴곡 성분 추출 | 전혜정 | Master's Thesis |
| 1992 | 계획-목표 기법을 이용한 사용자 인터페이스 설계 및 구현 | 송민진 | Master's Thesis |
| 1992 | 개별화 교육을 위한 하이퍼텍스트 저작 시스템의 설계 및 구현 | 김태영 | Master's Thesis |
| 1992 | MVL 시스템의 양격자 환경 자동 생성에 관한 연구 | 신수정 | Master's Thesis |
| 1992 | 손으로 그린 그래프 인식에 관한 연구 | 안혜연 | Master's Thesis |
| 1992 | 쿼드트리로 표현된 한글 문서 영상에서 문자의 추출 | 백은경 | Master's Thesis |
| 1991 | 프로그램 의미 검증기의 ICAI 응용 | 이현영 | Master's Thesis |
| 1991 | 이진 영상에서 원의 정보 추출에 관한 연구 | 김영미 | Master's Thesis |
| 1991 | 다각형 내부의 점 집합에 대한 형태 구성에 관한 연구 | 박정민 | Master's Thesis |
| 1991 | 애트리뷰트 문법을 이용한 컴파일러 개발 환경 구축에 관한 연구 | 김경아 | Master's Thesis |
| 1991 | 이산 시스템 시뮬레이션을 위한 가시적 모델링 시스템의 설계및 구현 | 김규하 | Master's Thesis |
