| 2013 | The Computation of Nature, Or: Does the Computer Drive Science and Technology? | Ulf Hashagen |
| 2013 | The Complexity of Interior Point Methods for Solving Discounted Turn-Based Stochastic Games. | Thomas Dueholm Hansen, Rasmus Ibsen-Jensen |
| 2013 | 'Stored Program Concept' Considered Harmful: History and Historiography. | Thomas Haigh |
| 2013 | Cardinal-Recognizing Infinite Time Turing Machines. | Miha E. Habic |
| 2013 | Computing K-Trivial Sets by Incomplete Random Sets. | Noam Greenberg |
| 2013 | Language Forbidding-Enforcing Systems Defining DNA Codewords. | Daniela Genova |
| 2013 | Discovering Hidden Repetitions in Words. | Pawel Gawrychowski, Florin Manea, Dirk Nowotka |
| 2013 | On Decidable and Computable Models of Theories. | Alexander Gavruskin, Bakhadyr Khoussainov |
| 2013 | Topology of Asymptotic Cones and Non-deterministic Polynomial Time Computations. | Anthony Gasperin |
| 2013 | On Conservative Learning of Recursively Enumerable Languages. | Ziyuan Gao, Sanjay Jain, Frank Stephan |
| 2013 | A Note on the Sequential Version of Statements. | Makoto Fujiwara, Keita Yokoyama |
| 2013 | Local Computability for Ordinals. | Johanna N. Y. Franklin, Asher M. Kach, Russell G. Miller, Reed Solomon |
| 2013 | An Investigation on Genomic Repeats. | Giuditta Franco, Alessio Milanese |
| 2013 | A Personal View of the P versus NP Problem. | Lance Fortnow |
| 2013 | On λ-Definable Functions on Ordinals. | Tim Fischbach, Benjamin Seyfferth |
| 2013 | Software Streams: Big Data Challenges in Dynamic Program Analysis. | Irene Finocchi |
| 2013 | Recent Developments in Collective Decision Making in Combinatorial Domains. | Ulle Endriss |
| 2013 | Processes Inspired by the Functioning of Living Cells: Natural Computing Approach. | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 2013 | Irrationality Is Needed to Compute with Signal Machines with Only Three Speeds. | Jrme Durand-Lose |
| 2013 | Aligning and Labeling Genomes under the Duplication-Loss Model. | Riccardo Dondi, Nadia El-Mabrouk |
| 2013 | Summary Data Structures for Massive Data. | Graham Cormode |
| 2013 | Latency-Bounded Target Set Selection in Social Networks. | Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanic, Ugo Vaccaro |
| 2013 | Constructing Continuous Systems from Discrete Cellular Automata. | Julien Cervelle |
| 2013 | Beyond Rogers' Non-constructively Computable Function. | John Case, Michael Ralston |
| 2013 | Noise versus Computational Intractability in Dynamics. | Mark Braverman |