SOFSEM 2013 := Accepted Papers
Accepted for Springer LNCS
Foundations of Computer Science
SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
Worst Case Analysis of Non-local Games
Two-dimensional Rational Automata: A Bridge Unifying One- and Two-dimensional Language Theory
Flow Decompositions in External Memory
Improved Approximations for Ordered TSP on Near-Metric Graphs
Asymptotic Risk Analysis for Trust and Reputation Systems
Being Caught Between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates
Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
Weak Arithmetic Completeness of Object-Oriented Inductive Assertion Networks
Generalising and Unifying SLUR and Unit-refutation Completeness
On Structural Parameterizations for the 2-Club Problem: Classical & Parameterized Complexity
On Languages of One-dimensional Overlapping Tiles
An Exact Algorithm to Construct (Elementary) Paths and a Generalization of the Cut Problem in Graphs with Forbidden Transitions
Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
Permuted Pattern Matching on Multi-Track Strings
Online and Quasi-online Colorings of Wedges and Intervals
Logic Characterization of Invisibly Structured Languages: the Case of Floyd Languages
Incomplete Transition Complexity of some Basic Operations
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
Approximating the k-Splittable Capacitated Network Design Problem
Mixed Hypergraphs for Linear-time Construction of Denser Hashing-based Data Structures
Coalgebraic Bisimulation-Up-To
Software and Web Engineering
A Model Transformation Language Based on Logic Programming
Hypermodelling Reporting: Towards Cockpits for Code Structure
Search in Source Code Based on Identifying Popular Fragments
SimCo – Hybrid Simulator for Testing of Component Based Applications
Refinement Inference for Sequence Diagram
Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information
Utilizing Microblogs for Web Page Relevant Term Acquisition
State Coverage: An Empirical Analysis Based on a User Study
Data, Information and Knowledge Engineering
Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks
Computing Semantic Similarity Using Large Static Corpora
The Orchestra of Multiple Model Repositories
Ontology-Driven Fuzzy Workflow System
Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework
Social Computing and Human Factors
Tempo Adaptation within Interactive Music Instruments in Mobile Phone
Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?
Accepted for Student Research Forum
Recursive descent parsing for grammars with contexts
A Two Step Perspective for Kripke Structure Reduction
GPU Accelerating Band Matrix-Vector Multiplication based on Anti-diagonal Processing Order
On the State Complexity of Ultrametric Finite Automata
Quantum Queries on Permutations
Analysing Temporal Dynamics in Search Intent
Language-Neutral Aspect Oriented Programming
Scrum Adoption for Information System Development within Complex Environments
Dynamic Bigraphical Ontologies for Context-aware Service Models
Grouping Multiple RDF Graphs in the Collections