SOFSEM 2016 := Speakers Presentations
Invited Speakers
Regular Speakers
- Liyu Zhang, Chen Yuan and Haibin Kan: Probabilistic Autoreductions
- Maria Paola Bianchi, Hans-Joachim Boeckenhauer, Tatjana Bruelisauer, Dennis Komm and Beatrice Palano: Online Minimum Spanning Tree with Advice
- Stefan Dobrev, Juraj Hromkovic, Dennis Komm, Richard Kralovic, Rastislav Kralovic and Tobias Mömke: The Complexity of Paging under a Probabilistic Adversary
- Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne and Marek Zaionc: A Natural Counting of Lambda Terms
- Da-Jung Cho, Yo-Sub Han, Timothy Ng and Kai Salomaa: Pseudoknot-Generating Operation
- Maksims Dimitrijevs: Capabilities of Ultrametric Automata with One, Two and Three States
- Oleksiy Kurganskyy and Igor Potapov: Reachability Problems for PAMs
- Kent Kwee and Friedrich Otto: On the Effects of Nondeterminism on Ordered Restarting Automata
- Frank De Boer and Stijn De Gouw: Run-Time Checking Multi-threaded Java Programs
- Harout Aydinian, Ferdinando Cicalese, Christian Deppe and Vladimir Lebedev: A Combinatorial Model of Two-sided Search
- Chao Wang, Yi Lv and Peng Wu: Bounded TSO-to-SC Linearizability is Decidable
- Roman Barták: Using Attribute Grammars to Model Nested Workflows with Extra Constraints
- Jan Clemens Gehrke, Klaus Jansen, Stefan Kraft and Jakob Schikowski: A PTAS for Scheduling Unrelated Machines of Few Different Types
- Philip Bille, Inge Li Gørtz and Frederik Rye Skjoldjensen: Subsequence Automata with Default Transitions
- Xavier Muñoz, Walter Unger, Elisabet Burjons and Juraj Hromkovic: Online Graph Coloring with Advice and Randomized Adversary (Extended Abstract)
- Maciej Gazda and Tim Willemse: On Parity Game Preorders and the Logic of Matching Plays
- Nikolajs Nahimovs and Alexander Rivosh: Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations
- Dmitry Kravchenko, Nikolajs Nahimovs and Alexander Rivosh: Grover's Search with Faults on Some Marked Elements
- Kfir Barhum and Juraj Hromkovic: On the Power of Laconic Advice in Communication Complexity
- Klaus Jansen, Felix Land and Maren Kaluza: Precedence Scheduling with Unit Execution Time is Equivalent to Parametrized Biclique
- Patrizio Angelini, Giordano Da Lozzo, Marco Di Bartolomeo, Valentino Di Donato, Maurizio Patrignani, Vincenzo Roselli and Ioannis Tollis:
L-Drawings of Directed Graphs Best Paper Award
- Muhammad Jawaherul Alam, Michael Kaufmann and Stephen Kobourov: On Contact Graphs with Cubes and Proportional Boxes
- Marjan Van Den Akker, Hans L. Bodlaender, Thomas C. Van Dijk, Han Hoogeveen and Erik van Ommeren: Robust Recoverable Path using Backup Nodes
- David Janin: Walking Automata in Free Inverse Monoids
- Md. Jawaherul Alam, Stephen G. Kobourov and Debajyoti Mondal: Orthogonal Layout with Optimal Face Complexity
- Heikki Hyyrö and Shunsuke Inenaga: Compacting a Dynamic Edit Distance Table by RLE Compression
- Luis Llana, María-Emilia Cambronero and Gregorio Díaz: A Simulation Relation for Formal e-Contracts
- Nikolaos Bezirgiannis and Frank De Boer: ABS: A High-level Modeling Language for Cloud-Aware Programming
- Adel Hassan and Mourad Oussalah: Meta-Evolution Style for Software Architecture Evolution
- Peter Kubán, Maria Lucká and Tomáš Farkaš: Effective Parallel Multicore-optimized K-mers Counting Algorithm
- Jakub Daněk and Přemek Brada: Finding Optimal Compatible Set of Software Components Using Integer Linear Programming Best Student Paper Award
- Karel Cemus, Tomáš Černý, Luboš Matl and Jeff Donahoo: Evaluation of Aspect-driven Design for Enteprise Information Systems
- Roberto Solar, Verónica Gil-Costa and Mauricio Marín: Evaluation of Static/Dynamic Cache for Similarity Search Engines
- Veronica Carvalho, Renan Padua and Solange Rezende:
Solving the Problem of Selecting Suitable Objective Measures by Clustering Association Rules through the Measures Themselves
- Tomáš Černý and Jeff Donahoo: Survey On Concern Separation in Service Integration
- Azam Sheikh Muhammad, Peter Damaschke and Olof Mogren: Summarizing Online User Reviews using Bicliques
- Krzysztof Rychlicki-Kicior, Bartlomiej Stasiak and Mykhaylo Yatsymirskyy:
Application of Multiple Sound Representations in Multipitch Estimation Using Shift-invariant Probabilistic Latent Component Analysis
- Robert Moro, Mate Vangel and Maria Bielikova: Identification of Navigation Lead Candidates Using Citation and Co-Citation Analysis
- Renan Padua, Veronica Carvalho and Solange Rezende: Post-Processing Association Rules: A Network based Label Propagation Approach
- Tom Sebastian and Joachim Niehren: Projection for Nested Word Automata Speeds up XPath Evaluation on XML Streams
- Matúš Košút and Marián Šimko: Analyzing Temporal Properties in Movie Subtitles to Improve Keyword Extraction
- Ladislav Gallay and Marián Šimko: Utilizing Vector Models for Automatic Text Lemmatization
Student Research Forum