Shea, J. M., Wagnon, P., Immerzeel, W. W., Biron, R., Brun, F., &; Pellicciotti, F. (2015). A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya. International Journal of Water Resources Development. Taylor &; Francis.https://doi.org/10.1080/07900627.2015.1020417 

Steiner, J. F., Pellicciotti, F., Buri, P., Miles, E. S., Immerzeel, W. W., &; Reid, T. D. (2015). Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. Journal of Glaciology. International Glaciological Society.https://doi.org/10.3189/2015jog14j194 

Herreid, S., Pellicciotti, F., Ayala, A., Chesnokova, A., Kienholz, C., Shea, J., &; Shrestha, A. (2015). Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014. Journal of Glaciology. International Glaciological Society.https://doi.org/10.3189/2015jog14j227 

Veldkamp, C., Kiermaier, E., Gabel Eissens, S., Gillitzer, M., Lippner, D., Disilvio, F.,https://doi.org/10.1021/acs.biochem.5b00560__Peterson, F. (2015). Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. American Chemical Society.https://doi.org/10.1021/acs.biochem.5b00560 

Martius, G. S., &; Olbrich, E. (2015). Quantifying self-organizing behavior of autonomous robots. In Proceedings of the 13th European Conference on Artificial Life (p. 78). York, United Kingdom: MIT Press.https://doi.org/10.7551/978-0-262-33027-5-ch018 

Johnson, K. C. M., Xia, S., Feng, X., &; Li, X. (2015). The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity. Plant and Cell Physiology. Oxford University Press.https://doi.org/10.1093/pcp/pcv087 

Zhao, H., Sen, S., Udayabhaskararao, T., Sawczyk, M., Kudanda, K., Manna, D.,https://doi.org/10.1038/nnano.2015.256__Klajn, R. (2015). Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks. Nature Nanotechnology. Springer Nature.https://doi.org/10.1038/nnano.2015.256 

Kundu, P. K., Samanta, D., Leizrowice, R., Margulis, B., Zhao, H., Börner, M.,https://doi.org/10.1038/nchem.2303__Klajn, R. (2015). Light-controlled self-assembly of non-photoresponsive nanoparticles. Nature Chemistry. Springer Nature.https://doi.org/10.1038/nchem.2303 

Manna, D., Udayabhaskararao, T., Zhao, H., &; Klajn, R. (2015). Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201502419 

Lee, J.-W., &; Klajn, R. (2015). Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2. Chemical Communications. Royal Society of Chemistry.https://doi.org/10.1039/c4cc08541h 

Moldt, T., Brete, D., Przyrembel, D., Das, S., Goldman, J. R., Kundu, P. K.,https://doi.org/10.1021/la504291n__Weinelt, M. (2015). Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature. Langmuir. American Chemical Society.https://doi.org/10.1021/la504291n 

Singh, G., Chan, H., Udayabhaskararao, T., Gelman, E., Peddis, D., Baskin, A.,https://doi.org/10.1039/c4fd00265b__Klajn, R. (2015). Magnetic field-induced self-assembly of iron oxide nanocubes. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/c4fd00265b 

Sun, Y., Scarabelli, L., Kotov, N., Tebbe, M., Lin, X.-M., Brullot, W.,https://doi.org/10.1039/c5fd90041g__Ghosh, S. (2015). Field-assisted self-assembly process: General discussion. Faraday Discussions. Royal Society of Chemistry.https://doi.org/10.1039/c5fd90041g 

Zhang, S. B., Baykusheva, D. R., Kraus, P. M., Wörner, H. J., &; Rohringer, N. (2015). Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation. Physical Review A. American Physical Society.https://doi.org/10.1103/physreva.91.023421 

Kraus, P. M., Tolstikhin, O. I., Baykusheva, D. R., Rupenyan, A., Schneider, J., Bisgaard, C. Z.,https://doi.org/10.1038/ncomms8039__Wörner, H. J. (2015). Observation of laser-induced electronic structure in oriented polyatomic molecules. Nature Communications. Springer Nature.https://doi.org/10.1038/ncomms8039 

Kraus, P. M., Mignolet, B., Baykusheva, D. R., Rupenyan, A., Horný, L., Penka, E. F.,https://doi.org/10.1126/science.aab2160__Wörner, H. J. (2015). Measurement and laser control of attosecond charge migration in ionized iodoacetylene. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.aab2160 

Kraus, P. M., Mignolet, B., Baykusheva, D. R., Rupenyan, A., Horný, L., Penka, E. F.,https://doi.org/10.1088/1742-6596/635/11/112136__Wörner, H. J. (2015). Attosecond charge migration and its laser control. Journal of Physics: Conference Series. IOP Publishing.https://doi.org/10.1088/1742-6596/635/11/112136 

Walt, S. G., Ram, N. B., von Conta, A., Baykusheva, D. R., Atala, M., &; Wörner, H. J. (2015). Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography. Journal of Physics: Conference Series. IOP Publishing.https://doi.org/10.1088/1742-6596/635/11/112135 

Wielgoss, S., Bergmiller, T., Bischofberger, A. M., &; Hall, A. R. (2015). Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria. Dryad.https://doi.org/10.5061/dryad.cj910 

Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:1401 

Reiter, J., Kanodia, A., Gupta, R., Nowak, M., &; Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society.https://doi.org/10.1098/rspb.2015.1041 

Reiter, J. (2015). The subclonal evolution of cancer. Institute of Science and Technology Austria.

Pausinger, F., &; Svane, A. (2015). A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. Academic Press.https://doi.org/10.1016/j.jco.2015.06.002 

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

Tugrul, M., Paixao, T., Barton, N. H., &; Tkadik, G. (2015). Dynamics of transcription factor binding site evolution. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1005639 

Benes, N., Daca, P., Henzinger, T. A., Kretinsky, J., &; Nickovic, D. (2015). Complete composition operators for IOCO-testing theory (pp. 101–110). Presented at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada: ACM.https://doi.org/10.1145/2737166.2737175 

Chatterjee, K., Chmelik, M., &; Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-015-0235-2 

Chatterjee, K., Ibsen-Jensen, R., Pavlogiannis, A., &; Goyal, P. (2015). Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. Mumbai, India: ACM.https://doi.org/10.1145/2676726.2676979 

Chatterjee, K., Pavlogiannis, A., &; Velner, Y. (2015). Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . Mumbai, India: ACM.https://doi.org/10.1145/2676726.2676968 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer.https://doi.org/10.1007/978-3-319-21690-4_9 

Chatterjee, K., Pavlogiannis, A., Kößler, A., &; Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE.https://doi.org/10.1109/RTSS.2014.9 

Hahn, D., &; Wojtan, C. (2015). High-resolution brittle fracture simulation with boundary elements (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM.https://doi.org/10.1145/2766896 

Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., Sako, K.,https://doi.org/10.1016/j.cell.2015.01.008__Heisenberg, C.-P. J. (2015). Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. Cell Press.https://doi.org/10.1016/j.cell.2015.01.008 

Adamowski, M., &; Friml, J. (2015). PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. American Society of Plant Biologists.https://doi.org/10.1105/tpc.114.134874 

Alt, J. (2015). The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. American Institute of Physics.https://doi.org/10.1063/1.4932606 

Inglés Prieto, Á., Gschaider-Reichhart, E., Muellner, M., Nowak, M., Nijman, S., Grusch, M., &; Janovjak, H. L. (2015). Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. Nature Publishing Group.https://doi.org/10.1038/nchembio.1933 

Cepeda Humerez, S. A., Rieckh, G., &; Tkadik, G. (2015). Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.115.248101 

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

Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., &; Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.https://doi.org/10.15479/AT:IST-2015-340-v1-1 

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

Svoreová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cbrná, I., &; Belta, C. (2015). 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 (pp. 259–268). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728608 

Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., &; Tarrach, T. (2015). From non-preemptive to preemptive scheduling using synchronization synthesis. Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21668-3_11 

Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &; Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_47 

Michalko, J., Lukacisinova, M., Bollenbach, M. T., &; Friml, J. (2015). Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 00 Research.https://doi.org/10.12688/f1000research.7143.1 

Priklopil, T., &; Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games. MDPI.https://doi.org/10.3390/g6040413 

Martius, G. S., &; Olbrich, E. (2015). Quantifying emergent behavior of autonomous robots. Entropy. MDPI.https://doi.org/10.3390/e17107266 

Chen, C., Wang, C., Zhao, X., Zhou, T., Xu, D., Wang, Z., &; Wang, Y. (2015). Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. SAGE Publications.https://doi.org/10.1177/1759091415575845 

Erbar, M., Maas, J., &; Tetali, P. (2015). Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de La Faculté Des Sciences de Toulouse. Faculté des sciences de Toulouse.https://doi.org/10.5802/afst.1464 

Kick, B., Praetorius, F. M., Dietz, H., &; Weuster-Botz, D. (2015). Efficient production of single-stranded phage DNA as scaffolds for DNA origami. Nano Letters. ACS Publications.https://doi.org/10.1021/acs.nanolett.5b01461 

Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., &; Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21690-4_10 

Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:28 

Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SOCG.2015.507 

Browning, T. D., &; Prendiville, S. (n.d.). Improvements in Birch’s theorem on forms in many variables. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter.https://doi.org/10.1515/crelle-2014-0122 

Dziembowski, S., Faust, S., Kolmogorov, V., &; Pietrzak, K. Z. (2015). Proofs of space. In 35th Annual Cryptology Conference (Vol. 9216, pp. 585–605). Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-48000-7_29 

Michael, A. K., Harvey, S. L., Sammons, P. J., Anderson, A. P., Kopalle, H. M., Banham, A. H., &; Partch, C. L. (2015). Cancer/Testis antigen PAS silences the circadian clock. Molecular Cell. Elsevier.https://doi.org/10.1016/j.molcel.2015.03.031 

Michael, A. K., Asimgil, H., &; Partch, C. L. (2015). Cytosolic BMAL1 moonlights as a translation factor. Trends in Biochemical Sciences. Elsevier.https://doi.org/10.1016/j.tibs.2015.07.006 

Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D., Toprak, E., &; Bollenbach, M. T. (2015). Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002299