| 1982 | 프로그래밍 언어의 구조 분석에 관하여 | 안혜연 | Master's Thesis |
| 2003 | The arithmetic of signed binary fields | 김희선 | Master's Thesis |
| 2003 | An efficient identity based signcryption scheme based on pairing | 안호정 | Master's Thesis |
| 2003 | Some historical remarks on elliptic curves | 김윤미 | Master's Thesis |
| 2003 | Leaf of foliation | 엄고운 | Master's Thesis |
| 1980 | A Study of Fast String Matching Algorithms | 김경미 | Master's Thesis |
| 1982 | SR-DBMS의 설계 및 구현 | 김연림 . | Master's Thesis |
| 1973 | NOTE ON THE ABELIAN CATEGORIES | 박애경 | Master's Thesis |
| 2007 | Non-stationary Four-Point Subdivision Schemes based on Exponential Polynomials | 박은애 | Master's Thesis |
| 2007 | Optimal Investment Strategies using Moving Averages and a case study for KOSPI Index Fund | 김진영 | Master's Thesis |
| 2007 | The Hurwitz Number of Riemann Surfaces and Its Monodromy Representation | 김지연 | Master's Thesis |
| 2003 | A public key cryptosystem scheme based on the Reed-Solomon code | 김지연 | Master's Thesis |
| 1973 | ON THE MEASURE INDUCED BY THE VECTOR VALUED MEASURE | 이상련 | Master's Thesis |
| 1977 | On the BCK-algebra | 심홍임 | Master's Thesis |
| 1978 | ON THE LOCALIZED TOPOLOGICAL STRUCTURES | 김성숙 | Master's Thesis |
| 2000 | The Modulus of Holomorphic Annulus | 최은영 | Master's Thesis |
| 1989 | STUDY ON A MARKOV PROCESS GENERATED BY CONTRACTION | 이홍숙 | Master's Thesis |
| 1996 | First Order Elliptic Operators on Compact Manifolds | 김수진 | Master's Thesis |
| 1997 | Invariance Properties of Integral Operators and Their Converse Problems | 이현숙 | Master's Thesis |
| 1984 | 효율적인 CAI 교육자료의 설계 및 고찰 | 윤희옥 | Master's Thesis |
