| 2007 | In-Place Suffix Sorting. | Gianni Franceschini, S. Muthukrishnan |
| 2007 | Distributed Computing with Advice: Information Sensitivity of Graph Coloring. | Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas, Andrzej Pelc |
| 2007 | Equational Systems and Free Constructions (Extended Abstract). | Marcelo P. Fiore, Chung-Kil Hur |
| 2007 | Strong Price of Anarchy for Machine Load Balancing. | Amos Fiat, Haim Kaplan, Meital Levy, Svetlana Olonetsky |
| 2007 | Sharp Tractability Borderlines for Finding Connected Motifs in Vertex-Colored Graphs. | Michael R. Fellows, Guillaume Fertin, Danny Hermelin, Stphane Vialette |
| 2007 | Streaming and Fully Dynamic Centralized Algorithms for Constructing and Maintaining Sparse Spanners. | Michael Elkin |
| 2007 | Subexponential Parameterized Algorithms. | Frederic Dorn, Fedor V. Fomin, Dimitrios M. Thilikos |
| 2007 | Complexity of Propositional Proofs Under a Promise. | Nachum Dershowitz, Iddo Tzameret |
| 2007 | An Optimal Decomposition Algorithm for Tree Edit Distance. | Erik D. Demaine, Shay Mozes, Benjamin Rossman, Oren Weimann |
| 2007 | Constant-Round Private Database Queries. | Nenad Dedic, Payman Mohassel |
| 2007 | Model Theory Makes Formulas Large. | Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt |
| 2007 | A "proof-reading" of Some Issues in Cryptography. | Ivan Damgrd |
| 2007 | A Combinatorial Theorem for Trees. | Thomas Colcombet |
| 2007 | On the Chromatic Number of Random Graphs. | Amin Coja-Oghlan, Konstantinos Panagiotou, Angelika Steger |
| 2007 | Checking and Spot-Checking the Correctness of Priority Queues. | Matthew Chu, Sampath Kannan, Andrew McGregor |
| 2007 | Mechanism Design for Fractional Scheduling on Unrelated Machines. | George Christodoulou, Elias Koutsoupias, Annamria Kovcs |
| 2007 | Ushering in a New Era of Algorithm Design. | Bernard Chazelle |
| 2007 | Ring Signatures of Sub-linear Size Without Random Oracles. | Nishanth Chandran, Jens Groth, Amit Sahai |
| 2007 | Paper Retraction: On the Hardness of Embeddings Between Two Finite Metrics. | Matthew Cary, Atri Rudra, Ashish Sabharwal |
| 2007 | An Exponential Improvement on the MST Heuristic for Minimum Energy Broadcasting in Ad Hoc Wireless Networks. | Ioannis Caragiannis, Michele Flammini, Luca Moscardelli |
| 2007 | Holographic Algorithms: The Power of Dimensionality Resolved. | Jin-yi Cai, Pinyan Lu |
| 2007 | Exotic Quantifiers, Complexity Classes, and Complete Problems. | Peter Brgisser, Felipe Cucker |
| 2007 | Minimum-Time Reachability in Timed Games. | Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-Franois Raskin |
| 2007 | Decision Problems for Lower/Upper Bound Parametric Timed Automata. | Laura Bozzelli, Salvatore La Torre |
| 2007 | On Commutativity Based Edge Lean Search. | Dragan Bosnacki, Edith Elkind, Blaise Genest, Doron A. Peled |