| 2014 | A New Asymptotic Approximation Algorithm for 3-Dimensional Strip Packing. Klaus Jansen, Lars Prädel |
| 2014 | A New Plane-Sweep Algorithm for the K-Closest-Pairs Query. George Roumelis, Michael Vassilakopoulos, Antonio Corral, Yannis Manolopoulos |
| 2014 | A Stronger Square Conjecture on Binary Words. Natasa Jonoska, Florin Manea, Shinnosuke Seki |
| 2014 | Active Learning of Recursive Functions by Ultrametric Algorithms. Rusins Freivalds, Thomas Zeugmann |
| 2014 | Advice Complexity: Quantitative Approach to A-Priori Information - (Extended Abstract). Rastislav Královic |
| 2014 | Agile Requirements Engineering: A Research Perspective. Jerzy R. Nawrocki, Miroslaw Ochodek, Jakub Jurkiewicz, Sylwia Kopczynska, Bartosz Alchimowicz |
| 2014 | An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos |
| 2014 | Aspect-Driven Design of Information Systems. Karel Cemus, Tomás Cerný |
| 2014 | Attack against a Pairing Based Anonymous Authentication Protocol. Lucjan Hanzlik, Kamil Kluczniak |
| 2014 | Bidimensionality of Geometric Intersection Graphs. Alexander Grigoriev, Athanassios Koutsonas, Dimitrios M. Thilikos |
| 2014 | Bounded Occurrence Edit Distance: A New Metric for String Similarity Joins with Edit Distance Constraints. Tomoki Komatsu, Ryosuke Okuta, Kazuyuki Narisawa, Ayumi Shinohara |
| 2014 | Comparison of Genetic Algorithms for Trading Strategies. Petr Kroha, Matthias Friedrich |
| 2014 | DSL Based Platform for Business Process Management. Audris Kalnins, Lelde Lace, Elina Kalnina, Agris Sostaks |
| 2014 | Deciding the Value 1 Problem for $\sharp$ -acyclic Partially Observable Markov Decision Processes. Hugo Gimbert, Youssouf Oualhadj |
| 2014 | Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. Ivan Korec, Jirí Wiedermann |
| 2014 | Efficient Error-Correcting Codes for Sliding Windows. Ran Gelles, Rafail Ostrovsky, Alan Roytman |
| 2014 | Error-Pruning in Interface Automata. Ferenc Bujtor, Walter Vogler |
| 2014 | Exact Algorithms to Clique-Colour Graphs. Manfred Cochefert, Dieter Kratsch |
| 2014 | Finding Disjoint Paths in Split Graphs. Pinar Heggernes, Pim van 't Hof, Erik Jan van Leeuwen, Reza Saei |
| 2014 | Fitting Planar Graphs on Planar Maps. Md. Jawaherul Alam, Michael Kaufmann, Stephen G. Kobourov, Tamara Mchedlidze |
| 2014 | Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001. Kristian Beckers |
| 2014 | Graph Clustering with Surprise: Complexity and Exact Solutions. Tobias Fleck, Andrea Kappes, Dorothea Wagner |
| 2014 | Integrating UML Composite Structures and fUML. Alessandro Gerlinger Romero, Klaus Schneider, Maurício Gonçalves Vieira Ferreira |
| 2014 | Mastering Erosion of Software Architecture in Automotive Software Product Lines. Arthur Strasser, Benjamin Cool, Christoph Gernert, Christoph Knieke, Marco Körner, Dirk Niebuhr, Henrik Peters, Andreas Rausch, Oliver Brox, Stefanie Jauns-Seyfried, Hanno Jelden, Stefan Klie, Michael Krämer |
| 2014 | Matching of Images of Non-planar Objects with View Synthesis. Dmytro Mishkin, Jiri Matas |
| 2014 | Minimum Activation Cost Node-Disjoint Paths in Graphs with Bounded Treewidth. Hasna Mohsen Alqahtani, Thomas Erlebach |
| 2014 | On Lower Bounds for the Time and the Bit Complexity of Some Probabilistic Distributed Graph Algorithms - (Extended Abstract). Allyx Fontaine, Yves Métivier, John Michael Robson, Akka Zemmari |
| 2014 | On the Power of Advice and Randomization for the Disjoint Path Allocation Problem. Kfir Barhum, Hans-Joachim Böckenhauer, Michal Forisek, Heidi Gebauer, Juraj Hromkovic, Sacha Krug, Jasmin Smula, Björn Steffen |
| 2014 | Open Services for Software Process Compliance Engineering. Miklós Biró |
| 2014 | Oracle Pushdown Automata, Nondeterministic Reducibilities, and the Hierarchy over the Family of Context-Free Languages. Tomoyuki Yamakami |
| 2014 | Ordered Restarting Automata for Picture Languages. Frantisek Mráz, Friedrich Otto |
| 2014 | Parameterized Complexity of the Sparsest k-Subgraph Problem in Chordal Graphs. Marin Bougeret, Nicolas Bousquet, Rodolphe Giroudeau, Rémi Watrigant |
| 2014 | Parameterized Prefix Distance between Regular Languages. Martin Kutrib, Katja Meckel, Matthias Wendlandt |
| 2014 | Platform Independent Software Development Monitoring: Design of an Architecture. Mária Bieliková, Ivan Polásek, Michal Barla, Eduard Kuric, Karol Rástocný, Jozef Tvarozek, Peter Lacko |
| 2014 | Probabilistic Admissible Encoding on Elliptic Curves - Towards PACE with Generalized Integrated Mapping. Lukasz Krzywiecki, Przemyslaw Kubiak, Miroslaw Kutylowski |
| 2014 | ProofBook: An Online Social Network Based on Proof-of-Work and Friend-Propagation. Sebastian Biedermann, Nikolaos P. Karvelas, Stefan Katzenbeisser, Thorsten Strufe, Andreas Peter |
| 2014 | Recommending for Disloyal Customers with Low Consumption Rate. Ladislav Peska, Peter Vojtás |
| 2014 | SOFSEM 2014: Theory and Practice of Computer Science - 40th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 26-29, 2014, Proceedings Viliam Geffert, Bart Preneel, Branislav Rovan, Julius Stuller, A Min Tjoa |
| 2014 | Safety Contracts for Timed Reactive Components in SysML. Iulia Dragomir, Iulian Ober, Christian Percebois |
| 2014 | Security Constraints in Modeling of Access Control Rules for Dynamic Information Systems. Aneta Poniszewska-Maranda |
| 2014 | Shortest Unique Substrings Queries in Optimal Time. Kazuya Tsuruta, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
| 2014 | Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. Valeria de Castro, Martin A. Musicante, Umberto Souza da Costa, Plácido A. Souza Neto, Genoveva Vargas-Solar |
| 2014 | Tight Bounds for the Advice Complexity of the Online Minimum Steiner Tree Problem. Kfir Barhum |
| 2014 | Towards Unlocking the Full Potential of Multileaf Collimators. Guillaume Blin, Paul Morel, Romeo Rizzi, Stéphane Vialette |
| 2014 | Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems. David Janin |
| 2014 | Unary NFAs with Limited Nondeterminism. Alexandros Palioudakis, Kai Salomaa, Selim G. Akl |