Invited Talks |
Forcing Monotonicity in Parameterized Verification: From Multisets to Words / Parosk Aziz Abdulla |
Research Issues in the Automated Testing of Ajax Applications / Arie van Deursen ; Ali Mesbah |
Essential Performance Drivers in Native XML DBMSs / Theo Härder ; Christian Mathis ; Sebastian Bächle ; Karsten Schmidt ; Andreas M. Weiner |
Continuous Processing of Preference Queries in Data Streams / Maria Kontaki ; Apostolos N. Papadopoulos ; Yannis Manolopoulos |
Clock Synchronization: Open Problems in Theory and Practice / Christoph Lenzen ; Thomas Locher ; Philipp Sommer ; Roger Wattenhofer |
Regret Minimization and Job Scheduling / Yishay Mansour |
Lessons in Software Evolution Learned by Listening to Smalltalk / Oscar Nierstrasz ; Tudor Gîrba |
The Web of Things: Extending the Web into the Real World / Dave Raggett |
Web Science: The Digital-Heritage Case / Guus Schreiber |
Model-Driven Software Product Line Testing: An Integrated Approach / Andy Schürr ; Sebastian Oster ; Florian Markert |
Taming the Complexity of Inductive Logic Programming / Filip Železný ; Ondřej Kuželka |
Regular Papers |
A Rule Format for Unit Elements / Luca Aceto ; Anna Ingolfsdottir ; MohammadReza Mousavi ; Michel A. Reniers |
Approximability of Edge Matching Puzzles / Antonios Antoniadis ; Andrzej Lingas |
A Linear Time Algorithm for Finding Three Edge-Disjoint Paths in Eulerian Networks / Maxim A. Babenko ; Ignat I. Kolesnichenko ; Ilya P. Razenshteyn |
R-Programs: A Framework for Distributing XML Structural Joins across Function Calls / David Bednárek |
Fast Arc-Annotated Subsequence Matching in Linear Space / Philip Bille ; Inge Li Gørtz |
Automated, Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs / Frank S. de Boer ; Immo Grabe |
A Kernel for Convex Recoloring of Weighted Forests / Hans L. Bodlaender ; Marc Comas |
Symbolic OBDD-Based Reachability Analysis Needs Exponential Space / Beate Bollig |
A Social Vision of Knowledge Representation and Reasoning / François Bry ; Jakub Kotowski |
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki / Klara Weiand |
On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances / Silvio Capobianco |
On a Labeled Vehicle Routing Problem / Hatem Chatti ; Laurent Gourvès ; Jérôme Monnot |
Improved Matrix Interpretation / Pierre Courtieu ; Gladys Gbedo ; Olivier Pons |
Efficient Algorithms for Two Extensions of LPF Table: The Power of Suffix Arrays / Maxime Crochemore ; Costas S. Iliopoulos ; Marcin Kubica ; Wojciech Rytter ; Tomasz Waleń |
Query Optimization through Cached Queries for Object-Oriented Query Language SBQL / Piotr Cybula ; Kazimierz Subieta |
Perfect Matching for Biconnected Cubic Graphs in 0(n log2 n) Time / Krzysztof Diks ; Piotr Stanczyk |
Destructive Rule-Based Properties and First-Order Logic / David Duris |
Learning User Preferences for 2CP-Regression for a Recommender System / Alan Eckhardt ; Peter Vojtáš |
Parallel Randomized Load Balancing: A Lower Bound for a More General Model / Guy Even ; Moti Medina |
Ant-CSP: An Ant Colony Optimization Algorithm for the Closest String Problem / Simone Faro ; Elisa Pappalardo |
Linear Complementarity Algorithms for Infinite Games / John Fearnley ; Marcin Jurdziński ; Rahul Savani |
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test / Alain Finkel ; Arnaud Sangnier |
Practically Applicable Formal Methods / J&ecedil;drzej Fulara ; Krzysztof Jakubczyk |
Fast and Compact Prefix Codes / Travis Gagie ; Gonzalo Navarro ; Yakov Nekrich |
New Results on the Complexity of Oriented Colouring on Restricted Digraph Classes / Robert Ganian ; Petr Hliněný |
Smooth Optimal Decision Strategies for Static Team Optimization Problems and Their Approximations / Giorgio Gnecco ; Marcello Sanguineti |
Algorithms for the Minimum Edge Cover of H-Subgraphs of a Graph / Alexander Grigoriev ; Bert Marchal ; Natalya Usotskaya |
On the Complexity of the Highway Pricing Problem / Joyce van Loon ; Marc Uetz |
Accelerating Smart Play-Out / David Harel ; Hillel Kugler ; Shahar Maoz ; Itai Segall |
Optimum Broadcasting in Complete Weighted-Vertex Graphs / Hovhannes Harutyunyan ; Shahin Kamali |
On Contracting Graphs to Fixed Pattern Graphs / Pirn van 't Hof ; Martin Kamiński ; Daniël Paulusma ; Stefan Szeider ; Diraitrios M. Thilikos |
Dynamic Edit Distance Table under a General Weighted Cost Function / Heikki Hyyrö ; Kazuyuki Narisawa ; Shunsuke Inenaga |
How to Complete an Interactive Configuration Process? Configuring as Shopping / Mikoláš Janota ; Goetz Botterweck ; Radu Grigore ; Joao Marques-Silva |
Design Patterns Instantiation Based on Semantics and Model Transformations / Peter Kajsa ; L'ubomír Majtás |
A Complete Symbolic Bisimulation for Full Applied Pi Calculus / Jia Liu ; Huimin Lin |
OTwig: An Optimised Twig Pattern Matching Approach for XML Databases / Jun Liu ; Mark Roantree |
Picture Recognizability with Automata Based on Wang Tiles / Violetta Lonati ; Matteo Pradella |
Unilateral Orientation of Mixed Graphs / Tamara Mchedlidze ; Antonios Symvonis |
Maintaining XML Data Integrity in Programs: An Abstract Datatype Approach / Patrick Michel ; Arnd Poetzsch-Heffter |
Improving Classification Performance with Focus on the Complex Areas / Seyed Zeinolabedin Moussavi ; Kambiz Zarei ; Reza Ebrahimpour |
CD-Systems of Restarting Automata Governed by Explicit Enable and Disable Conditions / Friedrich Otto |
Source Code Rejuvenation Is Not Refactoring / Peter Pirkelbauer ; Damian Dechev ; Bjarne Stroustrup |
Empirical Evaluation of Strategies to Detect Logical Change Dependencies / Guenter Pirklbauer |
Efficient Testing of Equivalence of Words in a Free Idempotent Semigroup / Jakub Radoszewski |
An Amortized Search Tree Analysis for k-Leaf Spanning Tree / Daniel Raible ; Henning Fernau |
Approximate Structural Consistency / Michel de Rougemont ; Adrien Vieilleribiére |
Comprehensive System for Systematic Case-Driven Software Reuse / Micha&lstoke; Śmia&lstoke;ek ; Audris Kalnins ; Elina Kalnina ; Albert Ambroziewicz ; Tomasz Straszak ; Katharina Wolter |
Comparison of Scoring and Order Approach in Description Logic EL(D) / Veronika Vaneková |
Homophily of Neighborhood in Graph Relational Classifier / Peter Vojtek ; Mária Bieliková |
Multilanguage Debugger Architecture / Jan Vraný ; Michal Píše |
Student Groups Modeling by Integrating Cluster Representation and Association Rules Mining / Danuta Zakrzewska |
Finding and Certifying Loops / Harold Zankl ; Christian Sternagel ; Dieter Hofbauer ; Aart Middeldorp |
Vertex Ranking with Capacity / Ruben van der Zwaan |
Author Index |
Invited Talks |
Forcing Monotonicity in Parameterized Verification: From Multisets to Words / Parosk Aziz Abdulla |
Research Issues in the Automated Testing of Ajax Applications / Arie van Deursen ; Ali Mesbah |