Aspect-oriented linearizability proofs
T.A. Henzinger, A. Sezgin, V. Vafeiadis, 8052 (2013) 242–256.

Homological reconstruction and simplification in 
D. Attali, U. Bauer, O. Devillers, M. Glisse, A. Lieutier, in:, Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–125.

Strategy complexity of finite-horizon Markov decision processes and simple stochastic games
K. Chatterjee, R. Ibsen-Jensen, in:, Mathematical and Engineering Methods in Computer Science, Springer Nature, 2013, pp. 106–117.

Looking at mean-payoff and total-payoff through windows
K. Chatterjee, L. Doyen, M. Randour, J. Raskin, 8172 (2013) 118–132.

Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.

Proofs of Space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, Proofs of Space, IST Austria, 2013.

The power of linear programming for finite-valued CSPs: A constructive characterization
V. Kolmogorov, in:, Springer, 2013, pp. 625–636.

Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, in:, 17th IAPR International Conference on Discrete Geometry for Computer Imagery, Springer, 2013, pp. XV–XIX.

Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).

Positional information, in bits
J. Dubuis, G. Tkadik, E. Wieschaus, T. Gregor, W. Bialek, PNAS 110 (2013) 16301–16308.

Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. 
S. Aeschbacher, A. Futschik, M. Beaumont, Molecular Ecology 22 (2013) 987–1002.

Code aware resource management
K. Chatterjee, L. De Alfaro, M. Faella, R. Majumdar, V. Raman, Formal Methods in System Design 42 (2013) 142–174.

Coalescent simulation in continuous space
J. Kelleher, N.H. Barton, A. Etheridge, Bioinformatics 29 (2013) 955–956.

Modelling evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Journal of Statistical Mechanics Theory and Experiment 2013 (2013).

Statistical thermodynamics of natural images
G. Stephens, T. Mora, G. Tkadik, W. Bialek, Physical Review Letters 110 (2013).

SCF^TI AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism
P. Baster, S. Robert, J. Kleine Vehn, S. Vanneste, U. Kania, W. Grunewald, B. De Rybel, T. Beeckman, J. Friml, EMBO Journal 32 (2013) 260–274.

Neurulation coordinating cell polarisation and lumen formation
J. Compagnon, C.-P.J. Heisenberg, EMBO Journal 32 (2013) 1–3.

Retinal metric: a stimulus distance measure derived from population neural responses
G. Tkadik, E. Granot Atedgi, R. Segev, E. Schneidman, Physical Review Letters 110 (2013).

An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, Computational Geometry: Theory and Applications 46 (2013) 435–447.

Stimulus-dependent maximum entropy models of neural population codes
E. Granot Atedgi, G. Tkadik, R. Segev, E. Schneidman, PLoS Computational Biology 9 (2013).