율 곡관 201 
 president @ ajou . ac . kr 
 1995 . 05 Univ California - Berkeley 박사 
 [ 논문 ] 박형주 , Lee , D . - i . , Lee , K . - H . , Kang , S . - J , Linear algebraic approach to Gröbner - Shirshov basis theory , JOURNAL OF ALGEBRA , pp . 988 - 1004 ( Jul , 2007 ) 
 [ 논문 ] 박형주 , Symbolic computation and signal processing , JOURNAL OF SYMBOLIC COMPUTATION , pp . 209 - 226 ( Feb , 2004 ) 
 [ 논문 ] 박형주 , Optimal design of synthesis filters in multidimensional perfect reconstruction FIR filter banks using Gröbner bases , IEEE Transactions on Circuits and Systems I : Fundamental Theory and Applications , pp . 843 - 851 ( Jun , 2002 ) 
 [ 논문 ] 박형주 , Devadatta Kulkarni , , Panos Papalambros , Nestor Michelena , , Convergence Criteria for Hierarchical Overlapping Coordination of Linearly Constrained Convex Design Problems , COMPUTATIONAL OPTIMIZATION AND APPLICATIONS , pp . 273 - 293 ( Mar , 2001 ) 
 [ 논문 ] Woodburn , Cynthia J . , 박형주 , An algorithmic proof of suslin ’ s stability theorem for polynomial rings , JOURNAL OF ALGEBRA , pp . 277 - 298 ( Nov , 1995 ) 
 [ 논문 ] 박형주 , Lee , D . - I . , Park , E . , Kang , S . - J . , Generalized Castelnuovo - Mumford regularity for affine Kac - Moody algebras , JOURNAL OF ALGEBRA , pp . 13 - 22 ( Sep , 2011 )