| 2007 | A Calculus and Algebra for Distributed Data Management. Serge Abiteboul |
| 2007 | A Characterization of Strong Learnability in the Statistical Query Model. Hans Ulrich Simon |
| 2007 | A Cubic Kernel for Feedback Vertex Set. Hans L. Bodlaender |
| 2007 | A Deterministic Algorithm for Summarizing Asynchronous Streams over a Sliding Window. Costas Busch, Srikanta Tirthapura |
| 2007 | A First Investigation of Sturmian Trees. Jean Berstel, Luc Boasson, Olivier Carton, Isabelle Fagnot |
| 2007 | A New Bound for Pure Greedy Hot Potato Routing. Manfred Kunde |
| 2007 | A New Rank Technique for Formula Size Lower Bounds. Troy Lee |
| 2007 | A Search Algorithm for the Maximal Attractor of a Cellular Automaton. Enrico Formenti, Petr Kurka |
| 2007 | Admissibility in Infinite Games. Dietmar Berwanger |
| 2007 | An Efficient Quantum Algorithm for the Hidden Subgroup Problem in Extraspecial Groups. Gábor Ivanyos, Luc Sanselme, Miklos Santha |
| 2007 | An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings. Andrea Sattler-Klein |
| 2007 | An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. Davide Bresolin, Angelo Montanari, Pietro Sala |
| 2007 | An Optimal, Edges-Only Fully Dynamic Algorithm for Distance-Hereditary Graphs. Marc Tedder, Derek G. Corneil |
| 2007 | Arithmetizing Classes Around NC Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao |
| 2007 | Associative-Commutative Deducibility Constraints. Sergiu Bursuc, Hubert Comon-Lundh, Stéphanie Delaune |
| 2007 | Bounded-Hop Energy-Efficient Broadcast in Low-Dimensional Metrics Via Coresets. Stefan Funke, Sören Laue |
| 2007 | Bounded-Variable Fragments of Hybrid Logics. Thomas Schwentick, Volker Weber |
| 2007 | Broadcasting vs. Mixing and Information Dissemination on Cayley Graphs. Robert Elsässer, Thomas Sauerwald |
| 2007 | Characterizing Minimal Interval Completions. Pinar Heggernes, Karol Suchan, Ioan Todinca, Yngve Villanger |
| 2007 | Cheating to Get Better Roommates in a Random Stable Matching. Chien-Chung Huang |
| 2007 | Compact Forbidden-Set Routing. Bruno Courcelle, Andrew Twigg |
| 2007 | Computing Representations of Matroids of Bounded Branch-Width. Daniel Král |
| 2007 | Correlations of Partial Words. Francine Blanchet-Sadri, Joshua D. Gafni, Kevin H. Wilson |
| 2007 | Cost Sharing Methods for Makespan and Completion Time Scheduling. Janina A. Brenner, Guido Schäfer |
| 2007 | Enumerating All Solutions for Constraint Satisfaction Problems. Henning Schnoor, Ilka Schnoor |
| 2007 | Hard Metrics from Cayley Graphs of Abelian Groups. Ilan Newman, Yuri Rabinovich |
| 2007 | Improved Online Algorithms for the Sorting Buffer Problem. Iftah Gamzu, Danny Segev |
| 2007 | Kolmogorov-Loveland Stochasticity and Kolmogorov Complexity. Laurent Bienvenu |
| 2007 | Languages with Bounded Multiparty Communication Complexity. Arkadev Chattopadhyay, Andreas Krebs, Michal Koucký, Mario Szegedy, Pascal Tesson, Denis Thérien |
| 2007 | Light Orthogonal Networks with Constant Geometric Dilation. Adrian Dumitrescu, Csaba D. Tóth |
| 2007 | New Approximation Algorithms for Minimum Cycle Bases of Graphs. Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail |
| 2007 | On Completing Latin Squares. Iman Hajirasouliha, Hossein Jowhari, Ravi Kumar, Ravi Sundaram |
| 2007 | On Defining Integers in the Counting Hierarchy and Proving Arithmetic Circuit Lower Bounds. Peter Bürgisser |
| 2007 | On Fixed Point Equations over Commutative Semirings. Javier Esparza, Stefan Kiefer, Michael Luttenberger |
| 2007 | On Symmetric Signatures in Holographic Algorithms. Jin-Yi Cai, Pinyan Lu |
| 2007 | On the Automatic Analysis of Recursive Security Protocols with XOR. Ralf Küsters, Tomasz Truderung |
| 2007 | On the Complexity of Affine Image Matching. Christian Hundt, Maciej Liskiewicz |
| 2007 | On the Complexity of Unary Tiling-Recognizable Picture Languages. Alberto Bertoni, Massimiliano Goldwurm, Violetta Lonati |
| 2007 | On the Consistency of Discrete Bayesian Learning. Jan Poland |
| 2007 | On the Size of the Universal Automaton of a Regular Language. Sylvain Lombardy |
| 2007 | Planar Graphs: Logical Complexity and Parallel Isomorphism Tests. Oleg Verbitsky |
| 2007 | Pure Stationary Optimal Strategies in Markov Decision Processes. Hugo Gimbert |
| 2007 | Quantum Network Coding. Masahito Hayashi, Kazuo Iwama, Harumichi Nishimura, Rudy Raymond Harry Putra, Shigeru Yamashita |
| 2007 | Randomly Rounding Rationals with Cardinality Constraints and Derandomizations. Benjamin Doerr |
| 2007 | Rank-1 Modal Logics Are Coalgebraic. Lutz Schröder, Dirk Pattinson |
| 2007 | Reachability in Unions of Commutative Rewriting Systems Is Decidable. Mikolaj Bojanczyk, Piotr Hoffman |
| 2007 | STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings Wolfgang Thomas, Pascal Weil |
| 2007 | Small Space Representations for Metric Min-Sum Artur Czumaj, Christian Sohler |
| 2007 | Speed-Up Techniques for Shortest-Path Computations. Dorothea Wagner, Thomas Willhalm |
| 2007 | Symmetries and the Complexity of Pure Nash Equilibrium. Felix Brandt, Felix A. Fischer, Markus Holzer |
| 2007 | Testing Convexity Properties of Tree Colorings. Eldar Fischer, Orly Yahalom |
| 2007 | The Büchi Complementation Saga. Moshe Y. Vardi |
| 2007 | The Complexity of Unions of Disjoint Sets. Christian Glaßer, Alan L. Selman, Stephen D. Travers, Klaus W. Wagner |
| 2007 | The Polynomially Bounded Perfect Matching Problem Is in NC Manindra Agrawal, Thanh Minh Hoang, Thomas Thierauf |
| 2007 | The Union of Minimal Hitting Sets: Parameterized Combinatorial Bounds and Counting. Peter Damaschke |
| 2007 | Universal Tilings. Grégory Lafitte, Michael Weiss |
| 2007 | VPSPACE and a Transfer Theorem over the Reals. Pascal Koiran, Sylvain Perifel |
| 2007 | Wavelength Management in WDM Rings to Maximize the Number of Connections. Ioannis Caragiannis |
| 2007 | Weak Fourier-Schur Sampling, the Hidden Subgroup Problem, and the Quantum Collision Problem. Andrew M. Childs, Aram W. Harrow, Pawel Wocjan |
| 2007 | Why Almost All Amin Coja-Oghlan, Michael Krivelevich, Dan Vilenchik |