| 2007 | The Existence of Unsatisfiable Formulas in | Qingshun Zhang, Daoyun Xu |
| 2007 | An Approximation Algorithm to the | Peng Zhang |
| 2007 | Enhancing Simulation for Checking Language Containment. | Jin Yi, Wenhui Zhang |
| 2007 | A Note on the Feasibility of Generalized Universal Composability. | Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao |
| 2007 | A Note on Universal Composable Zero Knowledge in Common Reference String Model. | Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao |
| 2007 | A Comparative Study of Efficient Algorithms for Partitioning a Sequence into Monotone Subsequences. | Bing Yang, Jing Chen, Enyue Lu, S. Q. Zheng |
| 2007 | Directed Searching Digraphs: Monotonicity and Complexity. | Boting Yang, Yi Cao |
| 2007 | A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns. | Hitoshi Yamasaki, Takayoshi Shoudai |
| 2007 | Computability on Subsets of Locally Compact Spaces. | Yatao Xu, Tanja Grubba |
| 2007 | Maximum Edge-Disjoint Paths Problem in Planar Graphs. | Mingji Xia |
| 2007 | An Efficient Algorithm for Generating Colored Outerplanar Graphs. | Jiexun Wang, Liang Zhao, Hiroshi Nagamochi, Tatsuya Akutsu |
| 2007 | An Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs. | Jianxin Wang, Xiaoshuang Xu, Jianer Chen |
| 2007 | Studying on Economic-Inspired Mechanisms for Routing and Forwarding in Wireless Ad Hoc Network. | Yufeng Wang, Yoshiaki Hori, Kouichi Sakurai |
| 2007 | Protecting Against Key Escrow and Key Exposure in Identity-Based Cryptosystem. | Jin Wang, Xi Bai, Jia Yu, Daxing Li |
| 2007 | Synchronization of Some DFA. | A. N. Trahtman |
| 2007 | A Characterization of the Language Classes Learnable with Correction Queries. | Cristina Trnauca, Satoshi Kobayashi |
| 2007 | Kernelizations for Parameterized Counting Problems. | Marc Thurley |
| 2007 | Finding a Duplicate and a Missing Item in a Stream. | Jun Tarui |
| 2007 | Searching a Polygonal Region by Two Guards. | Xuehou Tan |
| 2007 | Two Improved Range-Efficient Algorithms for | He Sun, Chung Keung Poon |
| 2007 | The Strongest Nonsplitting Theorem. | Mariya Ivanova Soskova, S. Barry Cooper |
| 2007 | Construct Public Key Encryption Scheme Using Ergodic Matrices over GF(2). | Shi-Hui Pei, Yong-Zhe Zhao, Hong-Wei Zhao |
| 2007 | A Distributed Algorithm of Fault Recovery for Stateful Failover. | Indranil Saha, Debapriyay Mukhopadhyay |
| 2007 | Separation of Data Via Concurrently Determined Discriminant Functions. | Hong Seo Ryoo, Kwangsoo Kim |
| 2007 | Bounding Run-Times of Local Adiabatic Algorithms. | M. V. Panduranga Rao |