| 2013 | On Structural Parameterizations for the 2-Club Problem. | Sepp Hartung, Christian Komusiewicz, Andr Nichterlein |
| 2013 | Generalising and Unifying SLUR and Unit-Refutation Completeness. | Matthew Gwynne, Oliver Kullmann |
| 2013 | Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
| 2013 | A Multi-dimensional Comparison of Ontology Design Patterns for Representing | Aldo Gangemi, Valentina Presutti |
| 2013 | Hypermodelling Reporting: Towards Cockpits for Code Structure. | Tim Frey, Matthias Grf |
| 2013 | Collective Additive Tree Spanners of Bounded Tree-Breadth Graphs with Generalizations and Consequences. | Feodor F. Dragan, Muad Abu-Ata |
| 2013 | Being Caught between a Rock and a Hard Place in an Election - Voter Deterrence by Deletion of Candidates. | Britta Dorn, Dominikus Krger |
| 2013 | Computing Semantic Similarity Using Large Static Corpora. | Andrs Dob, Jnos Csirik |
| 2013 | Theory of Multi Core Hypervisor Verification. | Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz |
| 2013 | ISICIL: Semantics and Social Networks for Business Intelligence. | Michel Buffa, Nicolas Delaforge, Guillaume Erto, Fabien Gandon, Alain Giboin, Freddy Limpens |
| 2013 | Software Production: A New Paradigm for Software Engineering Research. | Sjaak Brinkkemper |
| 2013 | Asymptotic Risk Analysis for Trust and Reputation Systems. | Michele Boreale, Alessandro Celestini |
| 2013 | Improved Approximations for Ordered TSP on Near-Metric Graphs, . | Hans-Joachim Bckenhauer, Monika Steinov |
| 2013 | Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence. | Michael Beetz |
| 2013 | Surrogate Model for Mixed-Variables Evolutionary Optimization Based on GLM and RBF Networks. | Luks Bajer, Martin Holena |
| 2013 | Flow Decompositions in External Memory. | Maxim A. Babenko |
| 2013 | Two-Dimensional Rational Automata: A Bridge Unifying One- and Two-Dimensional Language Theory. | Marcella Anselmo, Dora Giammarresi, Maria Madonia |
| 2013 | Worst Case Analysis of Non-local Games. | Andris Ambainis, Arturs Backurs, Kaspars Balodis, Agnis Skuskovniks, Juris Smotrovs, Madars Virza |
| 2013 | A Model Transformation Language Based on Logic Programming. | Jess Manuel Almendros-Jimnez, Luis Iribarne |
| 2013 | SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators. | Luca Aceto, Eugen-Ioan Goriac, Anna Inglfsdttir |
| 2012 | An Algorithm for Probabilistic Alternating Simulation. | Chenyi Zhang, Jun Pang |
| 2012 | Multi Feature Indexing Network MUFIN for Similarity Search Applications. | Pavel Zezula |
| 2012 | Complete Problem for Perfect Zero-Knowledge Quantum Proof. | Jun Yan |
| 2012 | Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test. | Jir Wiedermann |
| 2012 | Not Another Look at the Turing Test! | Kevin Warwick |