| 2007 | Complexity of Pebble Tree-Walking Automata. | Mathias Samuelides, Luc Segoufin |
| 2007 | Expressive Power of LL(k) Boolean Grammars. | Alexander Okhotin |
| 2007 | Product Rules in Semidefinite Programming. | Rajat Mittal, Mario Szegedy |
| 2007 | Strictly Deterministic CD-Systems of Restarting Automata. | Hartmut Messerschmidt, Friedrich Otto |
| 2007 | Maximal and Minimal Scattered Context Rewriting. | Alexander Meduna, Jir Techet |
| 2007 | Impossibility Results on Weakly Black-Box Hardness Amplification. | Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu |
| 2007 | Approximating Graphs by Graphs and Functions (Abstract). | Lszl Lovsz |
| 2007 | The Computational Complexity of Monotonicity in Probabilistic Networks. | Johan Kwisthout |
| 2007 | Real-Time Reversible Iterative Arrays. | Martin Kutrib, Andreas Malcher |
| 2007 | The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable. | Michal Kunc |
| 2007 | P Systems with Adjoining Controlled Communication Rules. | Mihai Ionescu, Dragos Sburlan |
| 2007 | Spiking Neural P Systems: Some Characterizations. | Oscar H. Ibarra, Sara Woodworth |
| 2007 | Notions of Hyperbolicity in Monoids. | Michael Hoffmann, Richard M. Thomas |
| 2007 | On the Complexity of Kings. | Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe |
| 2007 | Representing the Boolean OR Function by Quadratic Polynomials Modulo 6. | Gyula Gyr |
| 2007 | Efficient Parameterized Preprocessing for Cluster Editing. | Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Peter Shaw |
| 2007 | Marked Systems and Circular Splicing. | Clelia de Felice, Gabriele Fici, Rosalba Zizza |
| 2007 | On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time. | Gbor Erdlyi, Lane A. Hemaspaandra, Jrg Rothe, Holger Spakowski |
| 2007 | Multi-dimensional Packing with Conflicts. | Leah Epstein, Asaf Levin, Rob van Stee |
| 2007 | Productivity of Stream Definitions. | Jrg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
| 2007 | On the Topological Complexity of Weakly Recognizable Tree Languages. | Jacques Duparc, Filip Murlak |
| 2007 | The Quantum Query Complexity of Algebraic Properties. | Sebastian Drn, Thomas Thierauf |
| 2007 | Factorisation Forests for Infinite Words. | Thomas Colcombet |
| 2007 | Factorization of Fuzzy Automata. | Miroslav Ciric, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic |
| 2007 | Path Algorithms on Regular Graphs. | Didier Caucal, Dinh Trong Hieu |