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.