| 2007 | On the Complexity of Hard-Core Set Constructions. | Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu |
| 2007 | Ready Simulation for Concurrency: It's Logical! | Gerald Lttgen, Walter Vogler |
| 2007 | Aliased Register Allocation for Straight-Line Programs Is NP-Complete. | Jonathan K. Lee, Jens Palsberg, Fernando Magno Quinto Pereira |
| 2007 | Universal Algebra and Hardness Results for Constraint Satisfaction Problems. | Benot Larose, Pascal Tesson |
| 2007 | A Fully Abstract Trace Semantics for General References. | James Laird |
| 2007 | Boundedness of Monadic FO over Acyclic Structures. | Stephan Kreutzer, Martin Otto, Nicole Schweikardt |
| 2007 | Labeling Schemes for Vertex Connectivity. | Amos Korman |
| 2007 | Efficient Algorithms for Constant Well Supported Approximate Equilibria in Bimatrix Games. | Spyros C. Kontogiannis, Paul G. Spirakis |
| 2007 | Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the | Naoki Kobayashi, Takashi Suto |
| 2007 | Trading Static for Adaptive Security in Universally Composable Zero-Knowledge. | Aggelos Kiayias, Hong-Sheng Zhou |
| 2007 | Commitment Under Uncertainty: Two-Stage Stochastic Matching Problems. | Irit Katriel, Claire Kenyon-Mathieu, Eli Upfal |
| 2007 | Unranked Tree Automata with Sibling Equalities and Disequalities. | Karianto Wong, Christof Lding |
| 2007 | A Characterization of Non-interactive Instance-Dependent Commitment-Schemes (NIC). | Bruce M. Kapron, Lior Malka, Srinivasan Venkatesh |
| 2007 | Reachability-Time Games on Timed Automata. | Marcin Jurdzinski, Ashutosh Trivedi |
| 2007 | Unbounded-Error One-Way Classical and Quantum Communication Complexity. | Kazuo Iwama, Harumichi Nishimura, Rudy Raymond, Shigeru Yamashita |
| 2007 | Private Multiparty Sampling and Approximation of Vector Combinations. | Yuval Ishai, Tal Malkin, Martin J. Strauss, Rebecca N. Wright |
| 2007 | Succinct Ordinal Trees Based on Tree Covering. | Meng He, J. Ian Munro, S. Srinivasa Rao |
| 2007 | Categorical Views on Computations on Trees (Extended Abstract). | Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu |
| 2007 | A Framework for Dynamizing Succinct Data Structures. | Ankur Gupta, Wing-Kai Hon, Rahul Shah, Jeffrey Scott Vitter |
| 2007 | Linear Problem Kernels for NP-Hard Problems on Planar Graphs. | Jiong Guo, Rolf Niedermeier |
| 2007 | Lower Bounds for Quantile Estimation in Random-Order and Multi-pass Streaming. | Sudipto Guha, Andrew McGregor |
| 2007 | Parameterized Approximability of the Disjoint Cycle Problem. | Martin Grohe, Magdalena Grber |
| 2007 | Continuous Capacities on Continuous State Spaces. | Jean Goubault-Larrecq |
| 2007 | Perfect Information Stochastic Priority Games. | Hugo Gimbert, Wieslaw Zielonka |
| 2007 | Fully Collusion Resistant Black-Box Traitor Revocable Broadcast Encryption with Short Private Keys. | Jun Furukawa, Nuttapong Attrapadung |