| 2007 | A Largest Common d-Dimensional Subsequence of Two d-Dimensional Strings. Abdullah N. Arslan |
| 2007 | A Novel Information Transmission Problem and Its Optimal Solution. Eric Bach, Jin-Yi Cai |
| 2007 | A String-Based Model for Simple Gene Assembly. Robert Brijder, Miika Langille, Ion Petre |
| 2007 | An O(1.787 Takeyuki Tamura, Tatsuya Akutsu |
| 2007 | Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs. Stavros Athanassopoulos, Ioannis Caragiannis, Christos Kaklamanis |
| 2007 | Approximating Graphs by Graphs and Functions (Abstract). László Lovász |
| 2007 | Complexity of Pebble Tree-Walking Automata. Mathias Samuelides, Luc Segoufin |
| 2007 | Efficient Parameterized Preprocessing for Cluster Editing. Michael R. Fellows, Michael A. Langston, Frances A. Rosamond, Peter Shaw |
| 2007 | Expressive Power of LL(k) Boolean Grammars. Alexander Okhotin |
| 2007 | FJMIP: A Calculus for a Modular Object Initialization. Viviana Bono, Jaroslaw D. M. Kusmierek |
| 2007 | Factorisation Forests for Infinite Words. Thomas Colcombet |
| 2007 | Factorization of Fuzzy Automata. Miroslav Ciric, Aleksandar Stamenkovic, Jelena Ignjatovic, Tatjana Petkovic |
| 2007 | Fast Asymptotic FPTAS for Packing Fragmentable Items with Costs. Hadas Shachnai, Omer Yehezkely |
| 2007 | From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates. Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg |
| 2007 | Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings Erzsébet Csuhaj-Varjú, Zoltán Ésik |
| 2007 | Impossibility Results on Weakly Black-Box Hardness Amplification. Chi-Jen Lu, Shi-Chun Tsai, Hsin-Lung Wu |
| 2007 | Local Testing of Message Sequence Charts Is Difficult. Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2007 | Marked Systems and Circular Splicing. Clelia De Felice, Gabriele Fici, Rosalba Zizza |
| 2007 | Maximal and Minimal Scattered Context Rewriting. Alexander Meduna, Jirí Techet |
| 2007 | Multi-dimensional Packing with Conflicts. Leah Epstein, Asaf Levin, Rob van Stee |
| 2007 | Notions of Hyperbolicity in Monoids. Michael Hoffmann, Richard M. Thomas |
| 2007 | On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time. Gábor Erdélyi, Lane A. Hemaspaandra, Jörg Rothe, Holger Spakowski |
| 2007 | On Block-Wise Symmetric Signatures for Matchgates. Jin-Yi Cai, Pinyan Lu |
| 2007 | On Notions of Regularity for Data Languages. Henrik Björklund, Thomas Schwentick |
| 2007 | On the Complexity of Kings. Edith Hemaspaandra, Lane A. Hemaspaandra, Till Tantau, Osamu Watanabe |
| 2007 | On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation. Nadia Busi, Claudio Zandron |
| 2007 | On the Topological Complexity of Weakly Recognizable Tree Languages. Jacques Duparc, Filip Murlak |
| 2007 | P Systems with Adjoining Controlled Communication Rules. Mihai Ionescu, Dragos Sburlan |
| 2007 | Path Algorithms on Regular Graphs. Didier Caucal, Dinh Trong Hieu |
| 2007 | Pattern Matching in Protein-Protein Interaction Graphs. Gaëlle Brevier, Romeo Rizzi, Stéphane Vialette |
| 2007 | Product Rules in Semidefinite Programming. Rajat Mittal, Mario Szegedy |
| 2007 | Productivity of Stream Definitions. Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop |
| 2007 | Real-Time Reversible Iterative Arrays. Martin Kutrib, Andreas Malcher |
| 2007 | Representing the Boolean OR Function by Quadratic Polynomials Modulo 6. Gyula Györ |
| 2007 | Rewriting Systems with Data. Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu |
| 2007 | Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings. Andrea Sattler-Klein |
| 2007 | Spiking Neural P Systems: Some Characterizations. Oscar H. Ibarra, Sara Woodworth |
| 2007 | Strictly Deterministic CD-Systems of Restarting Automata. Hartmut Messerschmidt, Friedrich Otto |
| 2007 | The Complexity of Membership Problems for Circuits over Sets of Positive Numbers. Hans-Georg Breunig |
| 2007 | The Computational Complexity of Monotonicity in Probabilistic Networks. Johan Kwisthout |
| 2007 | The Quantum Query Complexity of Algebraic Properties. Sebastian Dörn, Thomas Thierauf |
| 2007 | The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable. Michal Kunc |
| 2007 | Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems. Henning Bordihn, György Vaszil |
| 2007 | Traces, Feedback, and the Geometry of Computation (Abstract). Philip J. Scott |