| 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 |
ＥＢ
