Accepted Papers

Accepted for Springer LNCS

Foundations of Computer Science

Luca Aceto, Eugen-Ioan Goriac and Anna Ingolfsdottir: SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators
Andris Ambainis, Artūrs Bačkurs, Kaspars Balodis, Juris Smotrovs, Agnis Škuškovniks and Madars Virza: Worst Case Analysis of Non-local Games
Marcella Anselmo, Dora Giammarresi and Maria Madonia: Two-dimensional Rational Automata: A Bridge Unifying One- and Two-dimensional Language Theory
Maxim Babenko. Flow Decompositions in External Memory
Hans-Joachim Boeckenhauer and Monika Steinová: Improved Approximations for Ordered TSP on Near-Metric Graphs
Michele Boreale and Alessandro Celestini: Asymptotic Risk Analysis for Trust and Reputation Systems
Britta Dorn and Dominikus Krüger: Being Caught Between a Rock and a Hard Place in an Election – Voter Deterrence by Deletion of Candidates
Feodor Dragan and Muad Abu-Ata: Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences
Stijn De Gouw, Frank S. De Boer, Wolfgang Ahrendt and Richard Bubel: Weak Arithmetic Completeness of Object-Oriented Inductive Assertion Networks
Matthew Gwynne and Oliver Kullmann: Generalising and Unifying SLUR and Unit-refutation Completeness
Sepp Hartung, Christian Komusiewicz and André Nichterlein: On Structural Parameterizations for the 2-Club Problem: Classical & Parameterized Complexity
David Janin. On Languages of One-dimensional Overlapping Tiles
Mamadou Moustapha Kante, Laforest Christian and Momege Benjamin: An Exact Algorithm to Construct (Elementary) Paths and a Generalization of the Cut Problem in Graphs with Forbidden Transitions
Mamadou Moustapha Kanté and Lhouari Nourine: Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs
Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai and Shunsuke Inenaga: Permuted Pattern Matching on Multi-Track Strings
Balázs Keszegh, Dömötör Pálvölgyi and Nathan Lemons: Online and Quasi-online Colorings of Wedges and Intervals
Violetta Lonati, Dino Mandrioli and Matteo Pradella: Logic Characterization of Invisibly Structured Languages: the Case of Floyd Languages
Eva Maia, Nelma Moreira and Rogério Reis: Incomplete Transition Complexity of some Basic Operations
George Mertzios and Paul Spirakis: Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
Ehab Morsy. Approximating the k-Splittable Capacitated Network Design Problem
Michael Rink. Mixed Hypergraphs for Linear-time Construction of Denser Hashing-based Data Structures
Jurriaan Rot, Marcello Bonsangue and Jan Rutten: Coalgebraic Bisimulation-Up-To

Software and Web Engineering

Jesus M. Almendros-Jimenez and Luis Iribarne: A Model Transformation Language Based on Logic Programming
Tim Frey and Matthias Gräf: Hypermodelling Reporting: Towards Cockpits for Code Structure
Eduard Kuric and Mária Bieliková: Search in Source Code Based on Identifying Popular Fragments
Richard Lipka, Tomas Potuzak, Premek Brada and Pavel Herout: SimCo – Hybrid Simulator for Testing of Component Based Applications
Lunjin Lu and Dae-Kyoo Kim: Refinement Inference for Sequence Diagram
Milan Lučanský and Marián Šimko: Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information
Tomáš Uherčík, Marián Šimko and Mária Bieliková: Utilizing Microblogs for Web Page Relevant Term Acquisition
Emma Eyckmans, Dries Vanoverberghe and Frank Piessens: State Coverage: An Empirical Analysis Based on a User Study

Data, Information and Knowledge Engineering

Lukáš Bajer and Martin Holeňa: Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks
András Dobó and János Csirik: Computing Semantic Similarity Using Large Static Corpora
Sergejs Kozlovics. The Orchestra of Multiple Model Repositories
Václav Slavíček. Ontology-Driven Fuzzy Workflow System
Ondřej Šváb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt and Vojtěch Svátek: Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework

Social Computing and Human Factors

Marek Takáč and Alena Kovarova: Tempo Adaptation within Interactive Music Instruments in Mobile Phone
Michail Tsikerdekis. Dynamic Voting Interface in Social Media: Does it Affect Individual Votes?

Accepted for Student Research Forum

Mikhail Barash. Recursive descent parsing for grammars with contexts
Arpit Sharma. A Two Step Perspective for Kripke Structure Reduction
Keliang Zhang and Baifeng Wu: GPU Accelerating Band Matrix-Vector Multiplication based on Anti-diagonal Processing Order
Kaspars Balodis, Anda Berina, Kristīne Cīpola, Maksims Dimitrijevs, Jānis Iraids, Kārlis Jēriņš, Vladimirs Kacs, Jānis Kalējs, Rihards Krišlauks, Kārlis Lukstiņš, Reinholds Raumanis, Irina Scegulnaja, Natālija Somova, Anna Vanaga and Rūsiņš Freivalds: On the State Complexity of Ultrametric Finite Automata
Taisia Mischenko-Slatenkova, Agnis Skuskovniks, Alina Vasilieva, Ruslans Tarasovs and Rusins Freivalds: Quantum Queries on Permutations
Tomáš Kramár and Mária Bieliková: Analysing Temporal Dynamics in Search Intent
Jan Tichava, Ondřej Rohlík and Jan Pikl: Language-Neutral Aspect Oriented Programming
Jakub Balada. Scrum Adoption for Information System Development within Complex Environments
Wusheng Wang and Thomas Hildebrandt: Dynamic Bigraphical Ontologies for Context-aware Service Models
Dominik Tomaszuk and Henryk Rybinski: Grouping Multiple RDF Graphs in the Collections