| 2007 | A Characterization of the Language Classes Learnable with Correction Queries. Cristina Tîrnauca, Satoshi Kobayashi |
| 2007 | A Comparative Study of Efficient Algorithms for Partitioning a Sequence into Monotone Subsequences. Bing Yang, Jing Chen, Enyue Lu, S. Q. Zheng |
| 2007 | A Distributed Algorithm of Fault Recovery for Stateful Failover. Indranil Saha, Debapriyay Mukhopadhyay |
| 2007 | A New Approach to Graph Recognition and Applications to Distance-Hereditary Graphs. Shin-Ichi Nakano, Ryuhei Uehara, Takeaki Uno |
| 2007 | A Note on Universal Composable Zero Knowledge in Common Reference String Model. Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao |
| 2007 | A Note on the Feasibility of Generalized Universal Composability. Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao |
| 2007 | A Polynomial Time Algorithm for Finding Linear Interval Graph Patterns. Hitoshi Yamasaki, Takayoshi Shoudai |
| 2007 | A Provably Secure Blind Signature Scheme. Xiaoming Hu, Shangteng Huang |
| 2007 | A Time Hierarchy Theorem for Nondeterministic Cellular Automata. Chuzo Iwamoto, Harumasa Yoneda, Kenichi Morita, Katsunobu Imai |
| 2007 | Absolutely Non-effective Predicates and Functions in Computable Analysis. Decheng Ding, Klaus Weihrauch, Yongcheng Wu |
| 2007 | An Approximation Algorithm Based on Chain Implication for Constrained Minimum Vertex Covers in Bipartite Graphs. Jianxin Wang, Xiaoshuang Xu, Jianer Chen |
| 2007 | An Approximation Algorithm to the Peng Zhang |
| 2007 | An Efficient Algorithm for Generating Colored Outerplanar Graphs. Jiexun Wang, Liang Zhao, Hiroshi Nagamochi, Tatsuya Akutsu |
| 2007 | Approximability and Parameterized Complexity of Consecutive Ones Submatrix Problems. Michael Dom, Jiong Guo, Rolf Niedermeier |
| 2007 | Approximately Optimal Trees for Group Key Management with Batch Updates. Minming Li, Ze Feng, Ronald L. Graham, Frances F. Yao |
| 2007 | Approximating Capacitated Tree-Routings in Networks. Ehab Morsy, Hiroshi Nagamochi |
| 2007 | Approximation Algorithms for 3D Orthogonal Knapsack. Florian Diedrich, Rolf Harren, Klaus Jansen, Ralf Thöle, Henning Thomas |
| 2007 | Approximation Algorithms for Maximum Edge Coloring Problem. Wangsen Feng, Li'ang Zhang, Wanling Qu, Hanpin Wang |
| 2007 | Approximation to the Minimum Rooted Star Cover Problem. Wenbo Zhao, Peng Zhang |
| 2007 | Bounding Run-Times of Local Adiabatic Algorithms. M. V. Panduranga Rao |
| 2007 | Combinatorial and Spectral Aspects of Nearest Neighbor Graphs in Doubling Dimensional and Nearly-Euclidean Spaces. Yingchao Zhao, Shang-Hua Teng |
| 2007 | Computability on Subsets of Locally Compact Spaces. Yatao Xu, Tanja Grubba |
| 2007 | Construct Public Key Encryption Scheme Using Ergodic Matrices over GF(2). Shi-Hui Pei, Yong-Zhe Zhao, Hong-Wei Zhao |
| 2007 | Decidability of Propositional Projection Temporal Logic with Infinite Models. Zhenhua Duan, Cong Tian |
| 2007 | Detecting Sharp Drops in PageRank and a Simplified Local Partitioning Algorithm. Reid Andersen, Fan R. K. Chung |
| 2007 | Directed Searching Digraphs: Monotonicity and Complexity. Boting Yang, Yi Cao |
| 2007 | Efficient Algorithms for Airline Problem. Shin-Ichi Nakano, Ryuhei Uehara, Takeaki Uno |
| 2007 | Efficient Computation of Algebraic Immunity of Symmetric Boolean Functions. Feng Liu, Keqin Feng |
| 2007 | Efficient Exact Arithmetic over Constructive Reals. Yong Li, Jun-Hai Yong |
| 2007 | Elementary Differences Among Jump Hierarchies. Angsheng Li |
| 2007 | Encapsulated Scalar Multiplications and Line Functions in the Computation of Tate Pairing. Rongquan Feng, Hongfeng Wu |
| 2007 | Enhancing Simulation for Checking Language Containment. Jin Yi, Wenhui Zhang |
| 2007 | Feedback Arc Set Problem in Bipartite Tournaments. Sushmita Gupta |
| 2007 | Finding a Duplicate and a Missing Item in a Stream. Jun Tarui |
| 2007 | Generalizations of the Compactness Theorem and Gödel's Completeness Theorem for Nonstandard Finite Structures. Miklós Ajtai |
| 2007 | Improved Exponential Time Lower Bound of Knapsack Problem Under BT Model. Xin Li, Tian Liu, Han Peng, Liyan Qian, Hongtao Sun, Jin Xu, Ke Xu, Jiaqi Zhu |
| 2007 | Improving the Average Delay of Sorting. Andreas Jakoby, Maciej Liskiewicz, Rüdiger Reischuk, Christian Schindelhauer |
| 2007 | Kernelizations for Parameterized Counting Problems. Marc Thurley |
| 2007 | Learnable Algorithm on the Continuum. Zhimin Li, Xiang Li |
| 2007 | Linear-Size Log-Depth Negation-Limited Inverter for Hiroki Morizumi, Jun Tarui |
| 2007 | Maximum Edge-Disjoint Paths Problem in Planar Graphs. Mingji Xia |
| 2007 | New Left-to-Right Radix- Fanyu Kong, Jia Yu, Zhun Cai, Daxing Li |
| 2007 | On Computation Complexity of the Concurrently Enabled Transition Set Problem. Li Pan, Weidong Zhao, Zhicheng Wang, Gang Wei, Shumei Wang |
| 2007 | On Deciding Deep Holes of Reed-Solomon Codes. Qi Cheng, Elizabeth Murray |
| 2007 | On Exact Complexity of Subgraph Homeomorphism. Andrzej Lingas, Martin Wahlen |
| 2007 | On the Internal Steiner Tree Problem. Sun-Yuan Hsieh, Huang-Ming Gao, Shih-Cheng Yang |
| 2007 | On the Treewidth and Pathwidth of Biconvex Bipartite Graphs. Sheng-Lung Peng, Yi-Chuan Yang |
| 2007 | Online Deadline Scheduling with Bounded Energy Efficiency. Joseph Wun-Tat Chan, Tak Wah Lam, Kin-Sum Mak, Prudence W. H. Wong |
| 2007 | Orthogonal Drawings for Plane Graphs with Specified Face Areas. Akifumi Kawaguchi, Hiroshi Nagamochi |
| 2007 | Parameterized Algorithms for Weighted Matching and Packing Problems. Yunlong Liu, Jianer Chen, Jianxin Wang |
| 2007 | Path Embedding on Folded Hypercubes. Sun-Yuan Hsieh |
| 2007 | Phase Transition of Multivariate Polynomial Systems. Giordano Fusco, Eric Bach |
| 2007 | Protecting Against Key Escrow and Key Exposure in Identity-Based Cryptosystem. Jin Wang, Xi Bai, Jia Yu, Daxing Li |
| 2007 | QBF-Based Symbolic Model Checking for Knowledge and Time. Conghua Zhou, Zhenyu Chen, Zhihong Tao |
| 2007 | Quantum Multiparty Communication Complexity and Circuit Lower Bounds. Iordanis Kerenidis |
| 2007 | Revisiting the Impossibility for Boosting Service Resilience. Xingwu Liu, Zhiwei Xu, Juhua Pu |
| 2007 | Searching a Polygonal Region by Two Guards. Xuehou Tan |
| 2007 | Secure Multiparty Computations Using a Dial Lock. Takaaki Mizuki, Yoshinori Kugimoto, Hideaki Sone |
| 2007 | Separation of Data Via Concurrently Determined Discriminant Functions. Hong Seo Ryoo, Kwangsoo Kim |
| 2007 | Studying on Economic-Inspired Mechanisms for Routing and Forwarding in Wireless Ad Hoc Network. Yufeng Wang, Yoshiaki Hori, Kouichi Sakurai |
| 2007 | Synchronization of Some DFA. A. N. Trahtman |
| 2007 | The Existence of Unsatisfiable Formulas in Qingshun Zhang, Daoyun Xu |
| 2007 | The Hardness of Selective Network Design for Bottleneck Routing Games. Haiyang Hou, Guochuan Zhang |
| 2007 | The Strongest Nonsplitting Theorem. Mariya Ivanova Soskova, S. Barry Cooper |
| 2007 | The Undecidability of the Generalized Collatz Problem. Stuart A. Kurtz, Janos Simon |
| 2007 | Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings Jin-Yi Cai, S. Barry Cooper, Hong Zhu |
| 2007 | There is an Sw-Cuppable Strongly c.e. Real. Yun Fan |
| 2007 | Two Improved Range-Efficient Algorithms for He Sun, Chung Keung Poon |
| 2007 | Working with the George Barmpalias, Andrew E. M. Lewis, Mariya Ivanova Soskova |