Foundations of Computer Science -- Cryptography in a Quantum World -- Relating Sublinear Space Computability among Graph Connectivity and Related Problems -- Learning Automatic Families of Languages -- Software Engineering: Methods, Tools, Applications From ESSENCE to Theory Oriented Software Engineering -- Incremental Queries and Transformations: From Concepts to Industrial Applications -- Data, Information, and Knowledge Engineering Big Sequence Management: A Glimpse on the Past, the Present, and the Future -- Pay-as-you-go Data Integration: Experiences and Recurring Themes -- Foundations of Computer Science -- Robust Recoverable Path Using Backup Nodes -- On Contact Graphs with Cubes and Proportional Boxes -- Orthogonal Layout with Optimal Face Complexity -- L-Drawings of Directed Graphs -- A Combinatorial Model of Two-sided Search -- On the Power of Laconic Advice in Communication Complexity -- Using Attribute Grammars to Model Nested Workflows with Extra Constraints -- A Natural Counting of Lambda Terms -- Online Minimum Spanning Tree with Advice -- Subsequence Automata with Default Transitions -- Run-Time Checking Multi-threaded Java Programs -- Online Graph Coloring with Advice and Randomized Adversary -- Pseudoknot-Generating Operation -- Capabilities of Ultrametric Automata with One, Two, and Three States -- The Complexity of Paging Against a Probabilistic Adversary -- On Parity Game Preorders and the Logic of Matching Plays -- A PTAS for Scheduling Unrelated Machines of Few Different Types -- Compacting a Dynamic Edit Distance Table by RLE Compression -- Walking Automata in Free Inverse Monoids -- Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique -- Grover's Search with Faults on Some Marked Elements -- Reachability problems for PAMs -- On the Effects of Nondeterminism on Ordered Restarting Automata -- Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations -- How to Smooth Entropy? -- Bounded TSO-to-SC Linearizability is Decidable -- Probabilistic Autoreductions -- Software Engineering: Methods, Tools, Applications ABS: A High-Level Modeling Language for Cloud-Aware Programming -- Aspect, Rich, and Anemic Domain Models in Enterprise Information Systems -- Finding Optimal Compatible Set of Software Components Using Integer Linear Programming -- Effective Parallel Multicore-optimized K-mers Counting Algorithm -- Meta-Evolution Style for Software Architecture Evolution -- The Simulation Relation for Formal e-contracts -- Data, Information, and Knowledge Engineering Solving the Problem of Selecting Suitable Objective Measures by Clustering Association Rules through the Measures Themselves -- Survey On Concern Separation in Service Integration -- Utilizing Vector Models for Automatic Text Lemmatization -- Improving Keyword Extraction from Movie Subtitles by Utilizing Temporal Properties -- Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis -- Summarizing Online User Reviews Using Bicliques -- Post-Processing Association Rules: a Network Based Label Propagation Approach -- Application of Multiple Sound Representations in Multipitch Estimation Using Shift-Invariant Probabilistic Latent Component Analysis -- Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams -- Evaluation of Static/Dynamic Cache for Similarity Search Engines.