| 2013 | 'Stored Program Concept' Considered Harmful: History and Historiography. Thomas Haigh |
| 2013 | A Compositional Semantics of Reaction Systems with Restriction. Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
| 2013 | A Note on the Sequential Version of Statements. Makoto Fujiwara, Keita Yokoyama |
| 2013 | A Note on ω-Jump Inversion of Degree Spectra of Structures. Ivan N. Soskov |
| 2013 | A Personal View of the P versus NP Problem. Lance Fortnow |
| 2013 | Aligning and Labeling Genomes under the Duplication-Loss Model. Riccardo Dondi, Nadia El-Mabrouk |
| 2013 | An Investigation on Genomic Repeats. Giuditta Franco, Alessio Milanese |
| 2013 | An Overview of Genomic Distances Modeled with Indels. Marília D. V. Braga |
| 2013 | Analytic Root Clustering: A Complete Algorithm Using Soft Zero Tests. Chee Yap, Michael Sagraloff, Vikram Sharma |
| 2013 | Another Jump Inversion Theorem for Structures. Stefan V. Vatev |
| 2013 | Beyond Rogers' Non-constructively Computable Function. John Case, Michael Ralston |
| 2013 | Cardinal-Recognizing Infinite Time Turing Machines. Miha E. Habic |
| 2013 | Closed Choice for Finite and for Convex Sets. Stéphane Le Roux, Arno Pauly |
| 2013 | Cluster Editing. Sebastian Böcker, Jan Baumbach |
| 2013 | Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems. Olivier Bournez, Daniel Silva Graça, Amaury Pouly, Ning Zhong |
| 2013 | Computing Game Strategies. Darko Stefanovic, Milan N. Stojanovic |
| 2013 | Computing K-Trivial Sets by Incomplete Random Sets. Noam Greenberg |
| 2013 | Constructing Continuous Systems from Discrete Cellular Automata. Julien Cervelle |
| 2013 | Determinant versus Permanent: Salvation via Generalization? Nicolas de Rugy-Altherre |
| 2013 | Discovering Hidden Repetitions in Words. Pawel Gawrychowski, Florin Manea, Dirk Nowotka |
| 2013 | Exploiting Co-evolution across Protein Families for Predicting Native Contacts and Protein-Protein Interaction Surfaces. Andrea Pagnani |
| 2013 | Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds. Jérôme Durand-Lose |
| 2013 | Language Forbidding-Enforcing Systems Defining DNA Codewords. Daniela Genova |
| 2013 | Latency-Bounded Target Set Selection in Social Networks. Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanic, Ugo Vaccaro |
| 2013 | Local Computability for Ordinals. Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon |
| 2013 | Negative Glues and Non-determinism in Nanocomputations by Self-assembly. Lila Kari |
| 2013 | Noise versus Computational Intractability in Dynamics. Mark Braverman |
| 2013 | On Algorithmic Strong Sufficient Statistics. Nikolay K. Vereshchagin |
| 2013 | On Conservative Learning of Recursively Enumerable Languages. Ziyuan Gao, Sanjay Jain, Frank Stephan |
| 2013 | On Decidable and Computable Models of Theories. Alexander Gavruskin, Bakhadyr Khoussainov |
| 2013 | On Processes and Structures. Alexey Stukachev |
| 2013 | On λ-Definable Functions on Ordinals. Tim Fischbach, Benjamin Seyfferth |
| 2013 | Processes Inspired by the Functioning of Living Cells: Natural Computing Approach. Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 2013 | Real Benefit of Promises and Advice. Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler |
| 2013 | Realizability Models Separating Various Fan Theorems. Robert S. Lubarsky, Michael Rathjen |
| 2013 | Recent Developments in Collective Decision Making in Combinatorial Domains. Ulle Endriss |
| 2013 | Software Streams: Big Data Challenges in Dynamic Program Analysis. Irene Finocchi |
| 2013 | Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems. Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir |
| 2013 | Structures without Scattered-Automatic Presentation. Alexander Kartzow, Philipp Schlicht |
| 2013 | Summary Data Structures for Massive Data. Graham Cormode |
| 2013 | The Burrows-Wheeler Transform between Data Compression and Combinatorics on Words. Giovanna Rosone, Marinella Sciortino |
| 2013 | The Classification Problem for Compact Computable Metric Spaces. Alexander G. Melnikov, André Nies |
| 2013 | The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games. Thomas Dueholm Hansen, Rasmus Ibsen-Jensen |
| 2013 | The Computation of Nature, Or: Does the Computer Drive Science and Technology? Ulf Hashagen |
| 2013 | The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings Paola Bonizzoni, Vasco Brattka, Benedikt Löwe |
| 2013 | The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models. Mikhail G. Peretyat'kin |
| 2013 | The Turing Universe in the Context of Enumeration Reducibility. Mariya Ivanova Soskova |
| 2013 | Three Debates about Computing. Matti Tedre |
| 2013 | Topology of Asymptotic Cones and Non-deterministic Polynomial Time Computations. Anthony Gasperin |
| 2013 | Towards a Theory of Homomorphic Compression. Andrew McGregor |
| 2013 | Using Random Graphs in Population Genomics. Laxmi Parida |
| 2013 | Various Regularity Lemmas in Graphs and Hypergraphs. Endre Szemerédi |