| 2010 | Families of elliptic curves over cubic number fields with prescribed torsion subgroups | 이윤진 | Article |
| 2011 | Families of elliptic curves over quartic number fields with prescribed torsion subgroups | 이윤진 | Article |
| 2015 | Families of elliptic curves with prescribed torsion subgroups over dihedral quartic fields | 이윤진 | Article |
| 2016 | Families of pairing-friendly elliptic curves from a polynomial modification of the Dupont-Enge-Morain method | 이향숙 | Article |
| 2013 | Faster ate pairing computation over pairing-friendly elliptic curves using GLV decomposition | 이향숙; 이은정 | Article |
| 2014 | Faster, but weaker, relaxations for quadratically constrained quadratic programs | 김선영 | Article |
| 2021 | Finite difference scheme for two-dimensional periodic nonlinear Schrodinger equations | 곽철광 | Article |
| 2019 | Finite dimensional quantum Teichmüller space from the quantum torus at root of unity | 김현규 | Article |
| 1998 | Finite generation of equivariant cohomology for a P-compact group G | 이향숙 | Article |
| 2010 | Finite group action and Gromov-Witten invariants in symplectic four-manifolds | 조용승 | Article |
| 1999 | Finite group actions on 4-manifolds | 조용승 | Article |
| 1999 | Finite group actions on spinc bundles | 조용승 | Article |
| 1991 | Finite group actions on the moduli space of self-dual connections. I | 조용승 | Article |
| 2016 | First and second order numerical methods based on a new convex splitting for phase-field crystal equation | 이준엽 | Article |
| 2015 | First and second order operator splitting methods for the phase field crystal equation | 이준엽; 이현근 | Article |
| 2017 | First- and second-order energy stable methods for the modified phase field crystal equation | 이준엽; 신재민 | Article |
| 2015 | Floer type cohomology on cosymplectic manifolds | 조용승 | Article |
| 2017 | Forgeable quantum messages in arbitrated quantum signature schemes | 이향숙 | Article |
| 2008 | Forgery attacks on the ID-based multisignature scheme without reblocking and predetermined signing order | 심경아 | Article |
| 2017 | Formalizing the meta-theory of first-order predicate logic | 김선영 | Article |
