Welcome! I am a third-year graduate student enrolled in the Ph. D. Program with a concentration in Operations Management at the Naveen Jindal School of Management, the University of Texas at Dallas.

Education

2010, Ph.D. in Comuter Science, Institute of Software, Chinese Academy of Sciences
2004, B.S. in Computer Science, University of Science and Technology of China

Research Interests

Procurement Auctions, Inventory Management

Work in Progress

Wei Chen, Milind Dawande, Ganesh Janakiraman, Optimal Procurement Auction with Sequential
Supplier Qualification 

Submitted/Working Papers

Wei Chen, Milind Dawande, Ganesh Janakiraman, A Descending Optimal Auction for Procuring Bases of a Matroid.

Wei Chen, Milind Dawande, Ganesh Janakiraman, Fixed-Dimensional Stochastic Dynamic Programs: An Approximation Scheme and an Inventory Application.

Wei Chen, Milind Dawande, Ganesh Janakiraman, Integrality in Stochastic Inventory Models.

Publications

Yanyan Xu, Wei Chen, Kaile Su, Wenhui Zhang, 2012. Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition. FAW-AAIM 2012

Wei Chen, Wenhui Zhang, Bounded Model Checking of ACTL Formulae. TASE 2009: 90-99

Wei Chen, Wenhui Zhang, Direct Construction of Polynomial-size OBDD Proof of Pigeon Hole Problem.  Information Processing Letters, Volume 109, Issue 10, 30 April 2009, Pages 472-477

Liang Xu, Wei Chen, Yanyan Xu, Wenhui Zhang, Improved Bounded Model Checking for the Universal Fragment of CTL.  J. Comput. Sci. Technol. 24(1): 96-109 (2009)

Yanyan Xu, Wei Chen, Liang Xu, Wenhui Zhang, Evaluation of SAT-based Bounded Model Checking of ACTL Properties. TASE 2007: 339-348