| 2013 | A Model Transformation Language Based on Logic Programming. Jesús Manuel Almendros-Jiménez, Luis Iribarne |
| 2013 | A Model of the Commit Size Distribution of Open Source. Carsten Kolassa, Dirk Riehle, Michel A. Salim |
| 2013 | A Multi-dimensional Comparison of Ontology Design Patterns for Representing Aldo Gangemi, Valentina Presutti |
| 2013 | Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs. George B. Mertzios, Paul G. Spirakis |
| 2013 | An Exact Algorithm to Check the Existence of (Elementary) Paths and a Generalisation of the Cut Problem in Graphs with Forbidden Transitions. Mamadou Moustapha Kanté, Christian Laforest, Benjamin Momège |
| 2013 | An Ontology-Driven Fuzzy Workflow System. Václav Slavícek |
| 2013 | Approximating the k-Splittable Capacitated Network Design Problem. Ehab Morsy |
| 2013 | Asymptotic Risk Analysis for Trust and Reputation Systems. Michele Boreale, Alessandro Celestini |
| 2013 | Being Caught between a Rock and a Hard Place in an Election - Voter Deterrence by Deletion of Candidates. Britta Dorn, Dominikus Krüger |
| 2013 | Coalgebraic Bisimulation-Up-To. Jurriaan Rot, Marcello M. Bonsangue, Jan J. M. M. Rutten |
| 2013 | Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence. Michael Beetz |
| 2013 | Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences. Feodor F. Dragan, Muad Abu-Ata |
| 2013 | Computing Semantic Similarity Using Large Static Corpora. András Dobó, János Csirik |
| 2013 | Constructs Replacing and Complexity Downgrading via a Generic OWL Ontology Transformation Framework. Ondrej Sváb-Zamazal, Anne Schlicht, Heiner Stuckenschmidt, Vojtech Svátek |
| 2013 | Core Stability in Hedonic Coalition Formation. Gerhard J. Woeginger |
| 2013 | Dynamic Voting Interface in Social Media: Does it Affect Individual Votes? Michail Tsikerdekis |
| 2013 | Engineering Algorithms for Large Data Sets. Peter Sanders |
| 2013 | Flow Decompositions in External Memory. Maxim A. Babenko |
| 2013 | Generalising and Unifying SLUR and Unit-Refutation Completeness. Matthew Gwynne, Oliver Kullmann |
| 2013 | Hypermodelling Reporting: Towards Cockpits for Code Structure. Tim Frey, Matthias Gräf |
| 2013 | ISICIL: Semantics and Social Networks for Business Intelligence. Michel Buffa, Nicolas Delaforge, Guillaume Erétéo, Fabien Gandon, Alain Giboin, Freddy Limpens |
| 2013 | Improved Approximations for Ordered TSP on Near-Metric Graphs, . Hans-Joachim Böckenhauer, Monika Steinová |
| 2013 | Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information. Milan Lucanský, Marián Simko |
| 2013 | Incomplete Transition Complexity of Some Basic Operations. Eva Maia, Nelma Moreira, Rogério Reis |
| 2013 | Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages. Violetta Lonati, Dino Mandrioli, Matteo Pradella |
| 2013 | Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures. Michael Rink |
| 2013 | On Languages of One-Dimensional Overlapping Tiles. David Janin |
| 2013 | On Structural Parameterizations for the 2-Club Problem. Sepp Hartung, Christian Komusiewicz, André Nichterlein |
| 2013 | Online and Quasi-online Colorings of Wedges and Intervals. Balázs Keszegh, Nathan Lemons, Dömötör Pálvölgyi |
| 2013 | Permuted Pattern Matching on Multi-track Strings. Takashi Katsura, Kazuyuki Narisawa, Ayumi Shinohara, Hideo Bannai, Shunsuke Inenaga |
| 2013 | Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs. Mamadou Moustapha Kanté, Lhouari Nourine |
| 2013 | Refinement Inference for Sequence Diagrams. Lunjin Lu, Dae-Kyoo Kim |
| 2013 | SOFSEM 2013: Theory and Practice of Computer Science, 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy R. Nawrocki, Harald Sack |
| 2013 | SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
| 2013 | Search in Source Code Based on Identifying Popular Fragments. Eduard Kuric, Mária Bieliková |
| 2013 | Searching Things in Large Sets of Images. Arnold W. M. Smeulders |
| 2013 | SimCo - Hybrid Simulator for Testing of Component Based Applications. Richard Lipka, Tomas Potuzak, Premek Brada, Pavel Herout |
| 2013 | Software Components in Computer Assisted Living? Frantisek Plásil, Tomás Bures |
| 2013 | Software Production: A New Paradigm for Software Engineering Research. Sjaak Brinkkemper |
| 2013 | State Coverage: An Empirical Analysis Based on a User Study. Dries Vanoverberghe, Emma Eyckmans, Frank Piessens |
| 2013 | Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks. Lukás Bajer, Martin Holena |
| 2013 | Tempo Adaptation within Interactive Music Instruments in Mobile Phone. Marek Takác, Alena Kovárová |
| 2013 | The Orchestra of Multiple Model Repositories. Sergejs Kozlovics |
| 2013 | Theory of Multi Core Hypervisor Verification. Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz |
| 2013 | Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory. Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2013 | Utilizing Microblogs for Web Page Relevant Term Acquisition. Tomás Uhercík, Marián Simko, Mária Bieliková |
| 2013 | Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
| 2013 | Worst Case Analysis of Non-local Games. Andris Ambainis, Arturs Backurs, Kaspars Balodis, Agnis Skuskovniks, Juris Smotrovs, Madars Virza |