| 2007 | An Exponential Lower Bound for Prefix Grbner Bases in Free Monoid Rings. | Andrea Sattler-Klein |
| 2007 | On the Consistency of Discrete Bayesian Learning. | Jan Poland |
| 2007 | Hard Metrics from Cayley Graphs of Abelian Groups. | Ilan Newman, Yuri Rabinovich |
| 2007 | On the Size of the Universal Automaton of a Regular Language. | Sylvain Lombardy |
| 2007 | Arithmetizing Classes Around NC | Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao |
| 2007 | A New Rank Technique for Formula Size Lower Bounds. | Troy Lee |
| 2007 | Universal Tilings. | Grgory Lafitte, Michael Weiss |
| 2007 | On the Automatic Analysis of Recursive Security Protocols with XOR. | Ralf Ksters, Tomasz Truderung |
| 2007 | A New Bound for Pure Greedy Hot Potato Routing. | Manfred Kunde |
| 2007 | Computing Representations of Matroids of Bounded Branch-Width. | Daniel Krl |
| 2007 | VPSPACE and a Transfer Theorem over the Reals. | Pascal Koiran, Sylvain Perifel |
| 2007 | New Approximation Algorithms for Minimum Cycle Bases of Graphs. | Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail |
| 2007 | An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Extraspecial Groups. | Gbor Ivanyos, Luc Sanselme, Miklos Santha |
| 2007 | On the Complexity of Affine Image Matching. | Christian Hundt, Maciej Liskiewicz |
| 2007 | Cheating to Get Better Roommates in a Random Stable Matching. | Chien-Chung Huang |
| 2007 | Characterizing Minimal Interval Completions. | Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve Villanger |
| 2007 | Quantum Network Coding. | Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond Harry Putra, Shigeru Yamashita |
| 2007 | On Completing Latin Squares. | Iman Hajirasouliha, Hossein Jowhari, Ravi Kumar, Ravi Sundaram |
| 2007 | The Complexity of Unions of Disjoint Sets. | Christian Glaer, Alan L. Selman, Stephen D. Travers, Klaus W. Wagner |
| 2007 | Pure Stationary Optimal Strategies in Markov Decision Processes. | Hugo Gimbert |
| 2007 | Improved Online Algorithms for the Sorting Buffer Problem. | Iftah Gamzu, Danny Segev |
| 2007 | Bounded-Hop Energy-Efficient Broadcast in Low-Dimensional Metrics Via Coresets. | Stefan Funke, Sren Laue |
| 2007 | A Search Algorithm for the Maximal Attractor of a Cellular Automaton. | Enrico Formenti, Petr Kurka |
| 2007 | Testing Convexity Properties of Tree Colorings. | Eldar Fischer, Orly Yahalom |
| 2007 | On Fixed Point Equations over Commutative Semirings. | Javier Esparza, Stefan Kiefer, Michael Luttenberger |