| 2014 | Faster, but weaker, relaxations for quadratically constrained quadratic programs | 김선영 | Article |
| 2017 | Formalizing the meta-theory of first-order predicate logic | 김선영 | Article |
| 2020 | Gender and age differences in the association between work stress and incident depressive symptoms among Korean employees: a cohort study | 임원정; 김선영 | Article |
| 2005 | Generalized lagrangian duals and sums of squares relaxations of sparse polynomial optimization blems | 김선영 | Article |
| 2018 | LAGRANGIAN-CONIC RELAXATIONS, PART I: A UNIFIED FRAMEWORK AND ITS APPLICATIONS TO QUADRATIC OPTIMIZATION PROBLEMS | 김선영 | Article |
| 2019 | LAGRANGIAN-CONIC RELAXATIONS, PART II: APPLICATIONS TO POLYNOMIAL OPTIMIZATION PROBLEMS | 김선영 | Article |
| 2015 | Least-Squares Monte Carlo method for the valuation of American Options | 김다정 | Master's Thesis |
| 1993 | Mobius band의 조형적 표현 연구 | 김선영 | Master's Thesis |
| 2020 | Non-commutative groupoids obtained from the failure of 3-uniqueness in stable theories | 김선영 | Article |
| 2010 | Numerical Experiments for Nuclear Norm Minimization Problems | 김남희 | Master's Thesis |
| 2010 | Numerical Experiments with ESDP and SFSDP for 3-Dimensional Anchor-free Problems | Kim, Janet S | Master's Thesis |
| 2009 | Numerical Experiments with SFSDP for 3-Dimensional Problems and Molecular Conformation | 임재연 | Master's Thesis |
| 1999 | Numerical solutions of Cauchy singular integral equations using generalized inverses | 김선영 | Article |
| 2004 | Numerical stability of path tracing in polyhedral homotopy continuation methods | 김선영 | Article |
| 2013 | Numerical Study on Further Relaxations of the Moment Cone Relaxation for Polynomial Optimization Problems | 이미희 | Master's Thesis |
| 2013 | Numerical Study on Mixed SOCP-SDP Relaxations for Quadratic Optimization Problems | 마상인 | Master's Thesis |
| 2015 | Numerical Study on Parameter Estimations for Heston's Stochastic Volatility Model | 이상희 | Master's Thesis |
| 2014 | Numerical study on the Lagrangian-DNN relaxation of quadratic optimization problem with sparsity exploitation | 박지혜 | Master's Thesis |
| 2019 | On the conditions for the finite termination of ADMM and its applications to SOS polynomials feasibility problems | 김선영 | Article |
| 2004 | PHoM - A polyhedral homotopy continuation method for polynomial systems | 김선영 | Article |
| 2006 | PHoMpara - Parallel implementation of the polyhedral homotopy continuation method for polynomial systems | 김선영 | Article |
| 2018 | Program Annotation | 김선영 | Master's Thesis |
| 2009 | Proteomic analysis of liver tissue from HBx transgenic mice at early stages of hepatocarcinogenesis | 김선영 | Master's Thesis |
| 2009 | Recognizing underlying sparsity in optimization | 김선영 | Article |
| 2011 | SDP Formulations of Rank Minimization and Numerical Experiments | 이나래 | Master's Thesis |
| 2003 | Second order cone programming relaxation of a positive semidefinite constraint | 김선영 | Article |
| 2001 | Second order cone programming relaxation of nonconvex quadratic optimization problems | 김선영 | Article |
| 2016 | Semidefinite programming relaxation methods for global optimization problems with sparse polynomials and unbounded semialgebraic feasible sets | 김선영 | Article |
| 2010 | Semidefinite programming relaxations for sensor network localization | 김선영 | Conference Paper |
| 2014 | SIMPLIFIED COPOSITIVE AND LAGRANGIAN RELAXATIONS FOR LINEARLY CONSTRAINED QUADRATIC OPTIMIZATION PROBLEMS IN CONTINUOUS AND BINARY VARIABLES | 김선영 | Article |
