On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.

Searching for collective behavior in a large network of sensory neurons
G. Tkadik, O. Marre, D. Amodei, E. Schneidman, W. Bialek, M. Berry, PLoS Computational Biology 10 (2014).

Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.

Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).

Calcium: The missing link in auxin action
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.

Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
A. Haas, M. Lippautz, T.A. Henzinger, H. Payer, A. Sokolova, C.M. Kirsch, A. Sezgin, in:, Proceedings of the ACM International Conference on Computing Frontiers - CF ’13, ACM Press, 2013.

Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.

Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.

Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.

Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.

Geometry of the faithfulness assumption in causal inference
C. Uhler, G. Raskutti, P. Bühlmann, B. Yu, The Annals of Statistics 41 (2013) 436–463.

Privacy-preserving data sharing for genome-wide association studies
C. Uhler, A. Slavkovic, S. Fienberg, Journal of Privacy and Confidentiality  5 (2013) 137–166.

Quantitative relaxation of concurrent data structures
T.A. Henzinger, C. Kirsch, H. Payer, A. Sezgin, A. Sokolova, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–328.

Quantitative abstraction refinement
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–128.

Recognizing straight skeletons and Voronoi diagrams and reconstructing their input
T. Biedl, M. Held, S. Huber, in:, IEEE, 2013, pp. 37–46.

Reconstructing polygons from embedded straight skeletons
T. Biedl, M. Held, S. Huber, in:, 29th European Workshop on Computational Geometry, TU Braunschweig, 2013, pp. 95–98.

Tree interpolation in Vampire
R. Blanc, A. Gupta, L. Kovács, B. Kragl, 8312 (2013) 173–181.

Multi-objective discounted reward verification in graphs and MDPs
K. Chatterjee, V. Forejt, D. Wojtczak, 8312 (2013) 228–242.

Elementary modal logics over transitive structures
J. Michaliszyn, J. Otop, 23 (2013) 563–577.

Untangling two systems of noncrossing curves
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, 8242 (2013) 472–483.