| 2008 | Deterministically Isolating a Perfect Matching in Bipartite Planar Graphs. | Samir Datta, Raghav Kulkarni, Sambuddha Roy |
| 2008 | Connecting Polygonizations via Stretches and Twangs. | Mirela Damian, Robin Y. Flatland, Joseph O'Rourke, Suneeta Ramaswami |
| 2008 | Understanding Maximal Repetitions in Strings. | Maxime Crochemore, Lucian Ilie |
| 2008 | Quantifying Homology Classes. | Chao Chen, Daniel Freedman |
| 2008 | Finding Irrefutable Certificates for S | Venkatesan T. Chakaravarthy, Sambuddha Roy |
| 2008 | Sublinear Communication Protocols for Multi-Party Pointer Jumping and a Related Lower Bound. | Joshua Brody, Amit Chakrabarti |
| 2008 | Stackelberg Network Pricing Games. | Patrick Briest, Martin Hoefer, Piotr Krysta |
| 2008 | On Termination for Faulty Channel Machines. | Patricia Bouyer, Nicolas Markey, Jol Ouaknine, Philippe Schnoebelen, James Worrell |
| 2008 | Minimizing Flow Time in the Wireless Gathering Problem. | Vincenzo Bonifaci, Peter Korteweg, Alberto Marchetti-Spaccamela, Leen Stougie |
| 2008 | On the Complexity of the Interlace Polynomial. | Markus Blser, Christian Hoffmann |
| 2008 | Trimmed Moebius Inversion and Graphs of Bounded Degree. | Andreas Bjrklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
| 2008 | Limit complexities revisited. | Laurent Bienvenu, Andrej Muchnik, Alexander Shen, Nikolay Veraschagin |
| 2008 | Structural aspects of tilings. | Alexis Ballier, Bruno Durand, Emmanuel Jeandel |
| 2008 | Quantum search with variable times. | Andris Ambainis |
| 2008 | Pushdown Compression. | Pilar Albert, Elvira Mayordomo, Philippe Moser, Sylvain Perifel |
| 2008 | Abstracts Collection - 25th International Symposium on Theoretical Aspects of Computer Science. | Susanne Albers, Pascal Weil |
| 2008 | Preface - 25th International Symposium on Theoretical Aspects of Computer Science. | Susanne Albers, Pascal Weil |
| 2007 | Speed-Up Techniques for Shortest-Path Computations. | Dorothea Wagner, Thomas Willhalm |
| 2007 | Planar Graphs: Logical Complexity and Parallel Isomorphism Tests. | Oleg Verbitsky |
| 2007 | The Bchi Complementation Saga. | Moshe Y. Vardi |
| 2007 | An Optimal, Edges-Only Fully Dynamic Algorithm for Distance-Hereditary Graphs. | Marc Tedder, Derek G. Corneil |
| 2007 | A Characterization of Strong Learnability in the Statistical Query Model. | Hans Ulrich Simon |
| 2007 | Bounded-Variable Fragments of Hybrid Logics. | Thomas Schwentick, Volker Weber |
| 2007 | Rank-1 Modal Logics Are Coalgebraic. | Lutz Schrder, Dirk Pattinson |
| 2007 | Enumerating All Solutions for Constraint Satisfaction Problems. | Henning Schnoor, Ilka Schnoor |