SOFSEM 2015 := Speakers Presentations
Invited Speakers
Regular Speakers
- Peter Kostolányi: Two Grammatical Equivalents of Flip-Pushdown Automata
- Alberto Bertoni, Massimiliano Goldwurm and Jianyi Lin: Exact Algorithms for 2-Clustering with Size Constraints in the Euclidean Plane
- Paweł Rzążewski, Konstanty Junosza-Szaniawski and Mathieu Liedloff: Fixing Improper Colorings of Graphs
- Ralf Rothenberger, Sascha Grau and Michael Rossberg: Dominating an s-t-Cut in a Network
- Ronald de Haan and Stefan Szeider: Machine Characterizations for Parameterized Complexity Classes beyond para-NP
- Ragnar Nevries and Christian Rosenke: Towards a Characterization of Leaf Powers by Clique Arrangements
- Prosenjit Bose, Stephane Durocher, Debajyoti Mondal, Maxime Peabody, Matthew Skala and Mohammad Abdul Wahid: Local Routing in Convex Subdivisions
- Kei Uchizawa and Eiji Takimoto: Lower Bounds for Linear Decision Trees with Bounded Weights
- Friedrich Otto: On Visibly Pushdown Trace Languages
- Falk Hüffner, Christian Komusiewicz and Manuel Sorge: Finding Highly Connected Subgraphs
- Benjamin Momège and Christian Laforest: Nash-Williams and Chvátal Conditions in One-Conflict Graphs
- Masaki Nakanishi: Quantum Pushdown Automata with a Garbage Tape
- Nelma Moreira, Giovanni Pighizzini and Rogério Reis: Optimal State Reductions of Automata with Partially Specified Behaviors
- Armin Fuegenschuh, Konstanty Junosza-Szaniawski, Torsten Klug, Sławomir Kwasiborski and Thomas Schlechte: Fastest, Average and Quantile Schedule
- Ferenc Bujtor, Sascha Fendrich, Gerald Luettgen and Walter Vogler: Nondeterministic Modal Interfaces
- Allan van Hulst, Michel Reniers and Wan Fokkink: Maximally Permissive Controlled System Synthesis for Modal Logic
- Ashley Farrugia, Leszek Gasieniec, Lukasz Kuszner and Eduardo Pacheco: Deterministic Rendezvous in Restricted Graphs
- Guillaume Blin, Thomas Hume, Macha Nikolski and Hayssam Soueidan: Algorithmic Progress on the Cross-species Conserved Active Modules Detection Problem
- Dmitry Kosolobov, Mikhail Rubinchik and Arseny Shur: Palk Is Linear Recognizable Online Best Paper Award
![Best Paper Award Best Paper Award](./files/img/award.jpg)
- Marek Chrobak, Leszek Gasieniec, Thomas Gorry and Russell Martin: Group Search on the Line
- Shahin Kamali and Alejandro Lopez-Ortiz: Efficient Online Strategies for Renting Servers in the Cloud
- Rihards Krišlauks and Kaspars Balodis: On the Hierarchy Classes of Finite Ultrametric Automata
- Taisuke Izumi and Hiroaki Ookawa: Filling Logarithmic Gaps in Distributed Complexity for Global Problems
- Michael Bekos, Stephen Kobourov, Michael Kaufmann and Sankar Veeramoni: The Maximum k-Differential Coloring Problem
- Alessandro Aloisio and Alfredo Navarra: Balancing Energy Consumption for the Establishment of Multi-Interface Networks
- Jérôme Dohrau: Online Makespan Scheduling with Sublinear Advice Best Student Paper Award
![Best Student Paper Award Best Student Paper Award](./files/img/award.jpg)
- Lotte Romijn, Breanndán Ó. Nualláin and Leen Torenvliet: Discovering Motifs in Real-World Social Networks
- Valerio Cosentino, Massimo Tisi and Javier Luis Cánovas Izquierdo: A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs
- Florian Himmler: Function Based Requirements Engineering and Design – Towards Efficient and Transparent Plant Engineering
- Martin Konopka and Mária Bieliková: Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies
- Carlos R. Valencio, Diogo L. Guimaraes, Geraldo F. D. Zafalon and Angelo C. Colombini: OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms Using Ontologies
- Nieves R. Brisaboa, Ana Cerdeira-Pena, Veronica Gil Costa, Mauricio Marin and Oscar Pedreira: Efficient Similarity Search by Combining Indexing and Caching Strategies
- Seyed Amin Mirlohi Falavarjani and Gholamreza Ghassem-Sani: Advantages of Dependency Parsing for Free Word Order Natural Languages
- Andreas Bögl, Michael Karlinger, Michael Schrefl and Gustav Pomberger: Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities
- Vladimir Catão, Marcus C. Sampaio and Ulrich Schiel: Retrieving Documents Related to Database Queries
- Michal Holub, Ondrej Proksa and Mária Bieliková: Detecting Identical Entities in the Semantic Web Data
- Pavel Labath and Joachim Niehren: A Uniform Programming Language for Implementing XML Standards
- Martin Labaj and Mária Bieliková: Conducting Web Browsing Study – an Educational Scenario
- Maciej Zielenkiewicz, Jacek Chrząszcz and Aleksy Schubert: Java Loops are Mainly Polynomial
- Máté Horváth: Attribute-Based Encryption Optimized for Cloud Computing
- Mads Dam, Roberto Guanciale and Hamed Nemati: Trustworthy Virtualization of the ARMv7 Memory Subsystem
Student Research Forum