| 2007 | The Hardness of Selective Network Design for Bottleneck Routing Games. | Haiyang Hou, Guochuan Zhang |
| 2007 | Untitled record | Markus Hinkelmann, Andreas Jakoby, Peer Stechert |
| 2007 | Feedback Arc Set Problem in Bipartite Tournaments. | Sushmita Gupta |
| 2007 | Phase Transition of Multivariate Polynomial Systems. | Giordano Fusco, Eric Bach |
| 2007 | Approximation Algorithms for Maximum Edge Coloring Problem. | Wangsen Feng, Li'ang Zhang, Wanling Qu, Hanpin Wang |
| 2007 | Encapsulated Scalar Multiplications and Line Functions in the Computation of Tate Pairing. | Rongquan Feng, Hongfeng Wu |
| 2007 | There is an Sw-Cuppable Strongly c.e. Real. | Yun Fan |
| 2007 | Decidability of Propositional Projection Temporal Logic with Infinite Models. | Zhenhua Duan, Cong Tian |
| 2007 | Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems. | Michael Dom, Jiong Guo, Rolf Niedermeier |
| 2007 | Absolutely Non-effective Predicates and Functions in Computable Analysis. | Decheng Ding, Klaus Weihrauch, Yongcheng Wu |
| 2007 | Approximation Algorithms for 3D Orthogonal Knapsack. | Florian Diedrich, Rolf Harren, Klaus Jansen, Ralf Thle, Henning Thomas |
| 2007 | On Deciding Deep Holes of Reed-Solomon Codes. | Qi Cheng, Elizabeth Murray |
| 2007 | Online Deadline Scheduling with Bounded Energy Efficiency. | Joseph Wun-Tat Chan, Tak Wah Lam, Kin-Sum Mak, Prudence W. H. Wong |
| 2007 | Working with the | George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova |
| 2007 | Detecting Sharp Drops in PageRank and a Simplified Local Partitioning Algorithm. | Reid Andersen, Fan R. K. Chung |
| 2007 | Generalizations of the Compactness Theorem and Gdel's Completeness Theorem for Nonstandard Finite Structures. | Mikls Ajtai |
| 2006 | Improved SAT Based Bounded Model Checking. | Conghua Zhou, Decheng Ding |
| 2006 | Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. | Yujun Zheng, Jinyun Xue, Weibo Liu |
| 2006 | Time Series Predictions Using Multi-scale Support Vector Regressions. | Danian Zheng, Jiaxin Wang, Yannan Zhao |
| 2006 | Succinct Text Indexes on Large Alphabet. | Meng Zhang, Jijun Tang, Dong Guo, Liang Hu, Qiang Li |
| 2006 | A Tree Construction of the Preferable Answer Sets for Prioritized Basic Disjunctive Logic Programs. | Zaiyue Zhang, Yuefei Sui, Cungen Cao |
| 2006 | A New Approximation Algorithm for the | Peng Zhang |
| 2006 | Inductive Inference and Language Learning. | Thomas Zeugmann |
| 2006 | On Some Complexity Issues of NC Analytic Functions. | Fuxiang Yu |
| 2006 | Recent Progress in Quantum Computational Complexity. | Andrew Chi-Chih Yao |