Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites
C. Veldkamp, E. Kiermaier, S. Gabel Eissens, M. Gillitzer, D. Lippner, F. Disilvio, C. Mueller, P. Wantuch, G. Chaffee, M. Famiglietti, D. Zgoba, A. Bailey, Y. Bah, S. Engebretson, D. Graupner, E. Lackner, V. Larosa, T. Medeiros, M. Olson, A. Phillips, H. Pyles, A. Richard, S. Schoeller, B. Touzeau, L. Williams, M.K. Sixt, F. Peterson, Biochemistry 54 (2015) 4163–4166.

Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.

Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).

Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, Institute of Science and Technology Austria, 2015.

Biological auctions with multiple rewards
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, K. Chatterjee, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).

Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkadik, PLoS Genetics 11 (2015).

Complete composition operators for IOCO-testing theory
N. Benes, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.

CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.

Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.

High-resolution brittle fracture simulation with boundary elements
D. Hahn, C. Wojtan, in:, ACM, 2015.

Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.

PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.

The local semicircle law for random matrices with a fourfold symmetry
J. Alt, Journal of Mathematical Physics 56 (2015).

Light-assisted small-molecule screening against protein kinases
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.

Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkadik, Physical Review Letters 115 (2015).

Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.