Fundamentals of Computation Theory

Invited Lectures.- Rewriting Systems with Data.- Spiking Neural P Systems: Some Characterizations.- Approximating Graphs by Graphs and Functions (Abstract).- Traces, Feedback, and the Geometry of Computation (Abstract).- Contributions.- A Largest Common d-Dimensional Subsequence of Two d-Dimensional Strings.- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs.- A Novel Information Transmission Problem and Its Optimal Solution.- Local Testing of Message Sequence Charts Is Difficult.- On Notions of Regularity for Data Languages.- FJMIP: A Calculus for a Modular Object Initialization.- Top-Down Deterministic Parsing of Languages Generated by CD Grammar Systems.- The Complexity of Membership Problems for Circuits over Sets of Positive Numbers.- Pattern Matching in Protein-Protein Interaction Graphs.- From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates.- A String-Based Model for Simple Gene Assembly.- On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation.- On Block-Wise Symmetric Signatures for Matchgates.- Path Algorithms on Regular Graphs.- Factorization of Fuzzy Automata.- Factorisation Forests for Infinite Words.- Marked Systems and Circular Splicing.- The Quantum Query Complexity of Algebraic Properties.- On the Topological Complexity of Weakly Recognizable Tree Languages.- Productivity of Stream Definitions.- Multi-dimensional Packing with Conflicts.- On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time.- Efficient Parameterized Preprocessing for Cluster Editing.- Representing the Boolean OR Function by Quadratic Polynomials Modulo 6.- On the Complexity of Kings.- Notions of Hyperbolicity in Monoids.- P Systems with Adjoining Controlled Communication Rules.- The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable.- Real-Time Reversible Iterative Arrays.-