J. M. Shea, P. Wagnon, W. W. Immerzeel, R. Biron, F. Brun, and F. Pellicciotti, “A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya,” International Journal of Water Resources Development, vol. 31, no. 2. Taylor &; Francis, pp. 174–200, 2015.

J. F. Steiner, F. Pellicciotti, P. Buri, E. S. Miles, W. W. Immerzeel, and T. D. Reid, “Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya,” Journal of Glaciology, vol. 61, no. 229. International Glaciological Society, pp. 889–907, 2015.

S. Herreid et al., “Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014,” Journal of Glaciology, vol. 61, no. 227. International Glaciological Society, pp. 524–536, 2015.

C. Veldkamp et al., “Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites,” Biochemistry, vol. 54, no. 27. American Chemical Society, pp. 4163–4166, 2015.

G. S. Martius and E. Olbrich, “Quantifying self-organizing behavior of autonomous robots,” in Proceedings of the 13th European Conference on Artificial Life, York, United Kingdom, 2015, p. 78.

K. C. M. Johnson, S. Xia, X. Feng, and X. Li, “The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity,” Plant and Cell Physiology, vol. 56, no. 8. Oxford University Press, pp. 1616–1623, 2015.

H. Zhao et al., “Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks,” Nature Nanotechnology, vol. 11. Springer Nature, pp. 82–88, 2015.

P. K. Kundu et al., “Light-controlled self-assembly of non-photoresponsive nanoparticles,” Nature Chemistry, vol. 7. Springer Nature, pp. 646–652, 2015.

D. Manna, T. Udayabhaskararao, H. Zhao, and R. Klajn, “Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes,” Angewandte Chemie International Edition, vol. 54, no. 42. Wiley, pp. 12394–12397, 2015.

J.-W. Lee and R. Klajn, “Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2,” Chemical Communications, vol. 51, no. 11. Royal Society of Chemistry, pp. 2036–2039, 2015.

T. Moldt et al., “Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature,” Langmuir, vol. 31, no. 3. American Chemical Society, pp. 1048–1057, 2015.

G. Singh et al., “Magnetic field-induced self-assembly of iron oxide nanocubes,” Faraday Discussions, vol. 181. Royal Society of Chemistry, pp. 403–421, 2015.

Y. Sun et al., “Field-assisted self-assembly process: General discussion,” Faraday Discussions, vol. 181. Royal Society of Chemistry, pp. 463–479, 2015.

S. B. Zhang, D. R. Baykusheva, P. M. Kraus, H. J. Wörner, and N. Rohringer, “Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation,” Physical Review A, vol. 91, no. 2. American Physical Society, 2015.

P. M. Kraus et al., “Observation of laser-induced electronic structure in oriented polyatomic molecules,” Nature Communications, vol. 6. Springer Nature, 2015.

P. M. Kraus et al., “Measurement and laser control of attosecond charge migration in ionized iodoacetylene,” Science, vol. 350, no. 6262. American Association for the Advancement of Science, pp. 790–795, 2015.

P. M. Kraus et al., “Attosecond charge migration and its laser control,” Journal of Physics: Conference Series, vol. 635, no. 11. IOP Publishing, 2015.

S. G. Walt, N. B. Ram, A. von Conta, D. R. Baykusheva, M. Atala, and H. J. Wörner, “Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography,” Journal of Physics: Conference Series, vol. 635, no. 11. IOP Publishing, 2015.

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

V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” Institute of Science and Technology Austria, 2015.

J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812. Royal Society, 2015.

J. Reiter, “The subclonal evolution of cancer,” Institute of Science and Technology Austria, 2015.

F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” Journal of Complexity, vol. 31, no. 6. Academic Press, pp. 773–797, 2015.

F. Pausinger, “On the approximation of intrinsic volumes,” Institute of Science and Technology Austria, 2015.

M. Tugrul, T. Paixao, N. H. Barton, and G. Tkadik, “Dynamics of transcription factor binding site evolution,” PLoS Genetics, vol. 11, no. 11. Public Library of Science, 2015.

N. Benes, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.

K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for compositional analysis of qualitative properties in Markov decision processes,” Formal Methods in System Design, vol. 47, no. 2. Springer, pp. 230–264, 2015.

K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, and P. Goyal, “Faster algorithms for algebraic path properties in recursive state machines with constant treewidth,” ACM SIGPLAN Notices, vol. 50, no. 1. ACM, pp. 97–109, 2015.

K. Chatterjee, A. Pavlogiannis, and Y. Velner, “Quantitative interprocedural analysis,” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1. ACM, pp. 539–551, 2015.

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for quantitative verification in constant treewidth graphs,” presented at the CAV: Computer Aided Verification, San Francisco, CA, USA, 2015, vol. 9206, pp. 140–157.

K. Chatterjee, A. Pavlogiannis, A. Kößler, and U. Schmid, “A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks,” in Real-Time Systems Symposium, Rome, Italy, 2015, vol. 2015, no. January, pp. 118–127.

D. Hahn and C. Wojtan, “High-resolution brittle fracture simulation with boundary elements,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.

V. Ruprecht et al., “Cortical contractility triggers a stochastic switch to fast amoeboid cell motility,” Cell, vol. 160, no. 4. Cell Press, pp. 673–685, 2015.

M. Adamowski and J. Friml, “PIN-dependent auxin transport: Action, regulation, and evolution,” Plant Cell, vol. 27, no. 1. American Society of Plant Biologists, pp. 20–32, 2015.

J. Alt, “The local semicircle law for random matrices with a fourfold symmetry,” Journal of Mathematical Physics, vol. 56, no. 10. American Institute of Physics, 2015.

Á. Inglés Prieto et al., “Light-assisted small-molecule screening against protein kinases,” Nature Chemical Biology, vol. 11, no. 12. Nature Publishing Group, pp. 952–954, 2015.

S. A. Cepeda Humerez, G. Rieckh, and G. Tkadik, “Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation,” Physical Review Letters, vol. 115, no. 24. American Physical Society, 2015.

S. Avvakumov, I. Mabillard, A. Skopenkov, and U. Wagner, “Eliminating higher-multiplicity intersections, III. Codimension 2,” arXiv. .

K. Chatterjee, R. Ibsen-Jensen, A. K. Goharshady, and A. Pavlogiannis, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.

1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.

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

P. Cerny et al., “From non-preemptive to preemptive scheduling using synchronization synthesis,” vol. 9207. Springer, pp. 180–197, 2015.

M. Giacobbe, C. C. Guet, A. Gupta, T. A. Henzinger, T. Paixao, and T. Petrov, “Model checking gene regulatory networks,” vol. 9035. Springer, pp. 469–483, 2015.

J. Michalko, M. Lukacisinova, M. T. Bollenbach, and J. Friml, “Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene,” 00 Research , vol. 4. 00 Research, 2015.

T. Priklopil and K. Chatterjee, “Evolution of decisions in population games with sequentially searching individuals,” Games, vol. 6, no. 4. MDPI, pp. 413–437, 2015.

G. S. Martius and E. Olbrich, “Quantifying emergent behavior of autonomous robots,” Entropy, vol. 17, no. 10. MDPI, pp. 7266–7297, 2015.

C. Chen et al., “Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats,” ASN Neuro, vol. 7, no. 2. SAGE Publications, 2015.

M. Erbar, J. Maas, and P. Tetali, “Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models,” Annales de la faculté des sciences de Toulouse, vol. 24, no. 4. Faculté des sciences de Toulouse, pp. 781–800, 2015.

B. Kick, F. M. Praetorius, H. Dietz, and D. Weuster-Botz, “Efficient production of single-stranded phage DNA as scaffolds for DNA origami,” Nano Letters, vol. 15, no. 7. ACS Publications, pp. 4672–4676, 2015.

T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.

A. Fellner, “Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.” Institute of Science and Technology Austria, 2015.

X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding Helly numbers via Betti numbers,” presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands, 2015, vol. 34, pp. 507–521.

T. D. Browning and S. Prendiville, “Improvements in Birch’s theorem on forms in many variables,” Journal fur die Reine und Angewandte Mathematik, vol. 2017, no. 731. Walter de Gruyter, pp. 203–234.

S. Dziembowski, S. Faust, V. Kolmogorov, and K. Z. Pietrzak, “Proofs of space,” in 35th Annual Cryptology Conference, Santa Barbara, CA, United States, 2015, vol. 9216, pp. 585–605.

A. K. Michael et al., “Cancer/Testis antigen PAS silences the circadian clock,” Molecular Cell, vol. 58, no. 5. Elsevier, pp. 743–754, 2015.

A. K. Michael, H. Asimgil, and C. L. Partch, “Cytosolic BMAL1 moonlights as a translation factor,” Trends in Biochemical Sciences, vol. 40, no. 9. Elsevier, pp. 489–490, 2015.

G. Chevereau et al., “Quantifying the determinants of evolutionary dynamics leading to drug resistance,” PLoS Biology, vol. 13, no. 11. Public Library of Science, 2015.