SOFSEM B

51 papers

YearTitle / Authors
2015A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs.
Valerio Cosentino, Massimo Tisi, Javier Luis Cánovas Izquierdo
2015A Uniform Programmning Language for Implementing XML Standards.
Pavel Labath, Joachim Niehren
2015Adaptively Approximate Techniques in Distributed Architectures.
Barbara Catania, Giovanna Guerrini
2015Advantages of Dependency Parsing for Free Word Order Natural Languages.
Seyed Amin Mirlohi Falavarjani, Gholamreza Ghassem-Sani
2015Approximation Hardness of the Cross-Species Conserved Active Modules Detection Problem.
Thomas Hume, Hayssam Soueidan, Macha Nikolski, Guillaume Blin
2015Attribute-Based Encryption Optimized for Cloud Computing.
Máté Horváth
2015Back to the Future - Should SQL Surrender to SPARQL?
Rainer Manthey
2015Balancing Energy Consumption for the Establishment of Multi-interface Networks.
Alessandro Aloisio, Alfredo Navarra
2015Conducting a Web Browsing Behaviour Study - An Educational Scenario.
Martin Labaj, Mária Bieliková
2015Detecting Identical Entities in the Semantic Web Data.
Michal Holub, Ondrej Proksa, Mária Bieliková
2015Deterministic Rendezvous in Restricted Graphs.
Ashley Farrugia, Leszek Gasieniec, Lukasz Kuszner, Eduardo Pacheco
2015Discovering Motifs in Real-World Social Networks.
Lotte B. Romijn, Breanndán Ó Nualláin, Leen Torenvliet
2015Dominating an s-t-Cut in a Network.
Ralf Rothenberger, Sascha Grau, Michael Rossberg
2015Efficient Online Strategies for Renting Servers in the Cloud.
Shahin Kamali, Alejandro López-Ortiz
2015Efficient Similarity Search by Combining Indexing and Caching Strategies.
Nieves R. Brisaboa, Ana Cerdeira-Pena, Veronica Gil-Costa, Mauricio Marín, Oscar Pedreira
2015Exact Algorithms for 2-Clustering with Size Constraints in the Euclidean Plane.
Alberto Bertoni, Massimiliano Goldwurm, Jianyi Lin
2015Exploiting Semantic Activity Labels to Facilitate Consistent Specialization of Abstract Process Activities.
Andreas Bögl, Michael Karlinger, Christoph G. Schütz, Michael Schrefl, Gustav Pomberger
2015Fastest, Average and Quantile Schedule.
Armin Fügenschuh, Konstanty Junosza-Szaniawski, Torsten Klug, Slawomir Kwasiborski, Thomas Schlechte
2015Filling Logarithmic Gaps in Distributed Complexity for Global Problems.
Hiroaki Ookawa, Taisuke Izumi
2015Finding Highly Connected Subgraphs.
Falk Hüffner, Christian Komusiewicz, Manuel Sorge
2015Fixing Improper Colorings of Graphs.
Konstanty Junosza-Szaniawski, Mathieu Liedloff, Pawel Rzazewski
2015Function Based Requirements Engineering and Design -Towards Efficient and Transparent Plant Engineering.
Florian Himmler
2015Group Search on the Line.
Marek Chrobak, Leszek Gasieniec, Thomas Gorry, Russell Martin
2015Java Loops Are Mainly Polynomial.
Maciej Zielenkiewicz, Jacek Chrzaszcz, Aleksy Schubert
2015Local Routing in Convex Subdivisions.
Prosenjit Bose, Stephane Durocher, Debajyoti Mondal, Maxime Peabody, Matthew Skala, Mohammad Abdul Wahid
2015Lower Bounds for Linear Decision Trees with Bounded Weights.
Kei Uchizawa, Eiji Takimoto
2015Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP.
Ronald de Haan, Stefan Szeider
2015Maximally Permissive Controlled System Synthesis for Modal Logic.
Allan van Hulst, Michel A. Reniers, Wan J. Fokkink
2015Nash-Williams-type and Chvátal-type Conditions in One-Conflict Graphs.
Christian Laforest, Benjamin Momège
2015Nondeterministic Modal Interfaces.
Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler
2015On Visibly Pushdown Trace Languages.
Friedrich Otto
2015On the Hierarchy Classes of Finite Ultrametric Automata.
Rihards Krislauks, Kaspars Balodis
2015Online Bipartite Matching in Offline Time (Abstract).
Piotr Sankowski
2015Online Makespan Scheduling with Sublinear Advice.
Jérôme Dohrau
2015OntoSDM: An Approach to Improve Quality on Spatial Data Mining Algorithms.
Carlos Roberto Valêncio, Diogo Lemos Guimaraes, Geraldo F. D. Zafalon, Leandro Alves Neves, Angelo Cesar Colombini
2015Optimal State Reductions of Automata with Partially Specified Behaviors.
Nelma Moreira, Giovanni Pighizzini, Rogério Reis
2015Pal k is Linear Recognizable Online.
Dmitry Kosolobov, Mikhail Rubinchik, Arseny M. Shur
2015Progress (and Lack Thereof) for Graph Coloring Approximation Problems.
Magnús M. Halldórsson
2015Quantum Pushdown Automata with a Garbage Tape.
Masaki Nakanishi
2015Quo Vadis Explicit-State Model Checking.
Jiri Barnat
2015Recent Results in Scalable Multi-Party Computation.
Jared Saia, Mahdi Zamani
2015Retrieving Documents Related to Database Queries.
Vladimir Soares Catão, Marcus Costa Sampaio, Ulrich Schiel
2015SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015. Proceedings
Giuseppe F. Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer
2015Software Developer Activity as a Source for Identifying Hidden Source Code Dependencies.
Martin Konopka, Mária Bieliková
2015The Dos and Dont's of Crowdsourcing Software Development.
Brian Fitzgerald, Klaas-Jan Stol
2015The Maximum k-Differential Coloring Problem.
Michael A. Bekos, Michael Kaufmann, Stephen G. Kobourov, Sankar Veeramoni
2015Towards a Characterization of Leaf Powers by Clique Arrangements.
Ragnar Nevries, Christian Rosenke
2015True Random Number Generators Secure in a Changing Environment: Improved Security Bounds.
Maciej Skorski
2015Trustworthy Virtualization of the ARMv7 Memory Subsystem.
Hamed Nemati, Roberto Guanciale, Mads Dam
2015Two Grammatical Equivalents of Flip-Pushdown Automata.
Peter Kostolányi
2015What is Computation: An Epistemic Approach.
Jirí Wiedermann, Jan van Leeuwen