Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. 2015. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant, Dryad,10.5061/dryad.7kc79 .
LibreCat: https://research-explorer.ista.ac.at/record/9742
DOI: 10.5061/dryad.7kc79

Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs, Public Library of Science,10.1371/journal.pbio.1002299.s008 .
LibreCat: https://research-explorer.ista.ac.at/record/9765
DOI: 10.1371/journal.pbio.1002299.s008

Ragettli S, Pellicciotti F, Immerzeel WW, Miles ES, Petersen L, Heynen M, Shea JM, Stumm D, Joshi S, Shrestha A. 2015. Unraveling the hydrology of a Himalayan catchment through integration of high resolution in situ data and remote sensing with an advanced simulation model. Advances in Water Resources. 78(4), 94–111.
LibreCat: https://research-explorer.ista.ac.at/record/12630
DOI: 10.1016/j.advwatres.2015.01.013

Pellicciotti F, Stephan C, Miles E, Herreid S, Immerzeel WW, Bolch T. 2015. Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. Journal of Glaciology. 61(226), 373–386.
LibreCat: https://research-explorer.ista.ac.at/record/12628
DOI: 10.3189/2015jog13j237

Ayala A, Pellicciotti F, Shea JM. 2015. Modeling 2m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming. Journal of Geophysical Research: Atmospheres. 120(8), 3139–3157.
LibreCat: https://research-explorer.ista.ac.at/record/12631
DOI: 10.1002/2015jd023137

Shea JM, Wagnon P, Immerzeel WW, 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. 31(2), 174–200.
LibreCat: https://research-explorer.ista.ac.at/record/12629
DOI: 10.1080/07900627.2015.1020417

Steiner JF, Pellicciotti F, Buri P, Miles ES, Immerzeel WW, Reid TD. 2015. Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. Journal of Glaciology. 61(229), 889–907.
LibreCat: https://research-explorer.ista.ac.at/record/12626
DOI: 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. 61(227), 524–536.
LibreCat: https://research-explorer.ista.ac.at/record/12627
DOI: 10.3189/2015jog14j227

Veldkamp C, Kiermaier E, Gabel Eissens S, Gillitzer M, Lippner D, Disilvio F, Mueller C, Wantuch P, Chaffee G, Famiglietti M, Zgoba D, Bailey A, Bah Y, Engebretson S, Graupner D, Lackner E, Larosa V, Medeiros T, Olson M, Phillips A, Pyles H, Richard A, Schoeller S, Touzeau B, Williams L, Sixt MK, Peterson F. 2015. Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
LibreCat: https://research-explorer.ista.ac.at/record/1618
DOI: 10.1021/acs.biochem.5b00560
PMID: 26115234

Martius GS, Olbrich E. 2015. Quantifying self-organizing behavior of autonomous robots. Proceedings of the 13th European Conference on Artificial Life. ECAL: European Conference on Artificial Life, 78.
LibreCat: https://research-explorer.ista.ac.at/record/12881
DOI: 10.7551/978-0-262-33027-5-ch018

Johnson KCM, Xia S, Feng X, Li X. 2015. The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity. Plant and Cell Physiology. 56(8), 1616–1623.
LibreCat: https://research-explorer.ista.ac.at/record/12196
DOI: 10.1093/pcp/pcv087
PMID: 26063389

Zhao H, Sen S, Udayabhaskararao T, Sawczyk M, Kudanda K, Manna D, Kundu PK, Lee J-W, Král P, Klajn R. 2015. Reversible trapping and reaction acceleration within dynamically self-assembling nanoflasks. Nature Nanotechnology. 11, 82–88.
LibreCat: https://research-explorer.ista.ac.at/record/13392
DOI: 10.1038/nnano.2015.256
PMID: 26595335

Kundu PK, Samanta D, Leizrowice R, Margulis B, Zhao H, Börner M, Udayabhaskararao T, Manna D, Klajn R. 2015. Light-controlled self-assembly of non-photoresponsive nanoparticles. Nature Chemistry. 7, 646–652.
LibreCat: https://research-explorer.ista.ac.at/record/13394
DOI: 10.1038/nchem.2303
PMID: 26201741

Manna D, Udayabhaskararao T, Zhao H, Klajn R. 2015. Orthogonal light-induced self-assembly of nanoparticles using differently substituted azobenzenes. Angewandte Chemie International Edition. 54(42), 12394–12397.
LibreCat: https://research-explorer.ista.ac.at/record/13393
DOI: 10.1002/anie.201502419
PMID: 25959725

Lee J-W, Klajn R. 2015. Dual-responsive nanoparticles that aggregate under the simultaneous action of light and CO2. Chemical Communications. 51(11), 2036–2039.
LibreCat: https://research-explorer.ista.ac.at/record/13395
DOI: 10.1039/c4cc08541h
PMID: 25417754

Moldt T, Brete D, Przyrembel D, Das S, Goldman JR, Kundu PK, Gahl C, Klajn R, Weinelt M. 2015. Tailoring the properties of surface-immobilized azobenzenes by monolayer dilution and surface curvature. Langmuir. 31(3), 1048–1057.
LibreCat: https://research-explorer.ista.ac.at/record/13396
DOI: 10.1021/la504291n
PMID: 25544061

Singh G, Chan H, Udayabhaskararao T, Gelman E, Peddis D, Baskin A, Leitus G, Král P, Klajn R. 2015. Magnetic field-induced self-assembly of iron oxide nanocubes. Faraday Discussions. 181, 403–421.
LibreCat: https://research-explorer.ista.ac.at/record/13397
DOI: 10.1039/c4fd00265b
PMID: 25920522

Sun Y, Scarabelli L, Kotov N, Tebbe M, Lin X-M, Brullot W, Isa L, Schurtenberger P, Moehwald H, Fedin I, Velev O, Faivre D, Sorensen C, Perzynski R, Chanana M, Li Z, Bresme F, Král P, Firlar E, Schiffrin D, Souza Junior JB, Fery A, Shevchenko E, Tarhan O, Alivisatos AP, Disch S, Klajn R, Ghosh S. 2015. Field-assisted self-assembly process: General discussion. Faraday Discussions. 181, 463–479.
LibreCat: https://research-explorer.ista.ac.at/record/13398
DOI: 10.1039/c5fd90041g
PMID: 26149295

Zhang SB, Baykusheva DR, Kraus PM, Wörner HJ, Rohringer N. 2015. Theoretical study of molecular electronic and rotational coherences by high-order-harmonic generation. Physical Review A. 91(2), 023421.
LibreCat: https://research-explorer.ista.ac.at/record/14017
DOI: 10.1103/physreva.91.023421
arXiv: 1504.03933

Kraus PM, Tolstikhin OI, Baykusheva DR, Rupenyan A, Schneider J, Bisgaard CZ, Morishita T, Jensen F, Madsen LB, Wörner HJ. 2015. Observation of laser-induced electronic structure in oriented polyatomic molecules. Nature Communications. 6, 7039.
LibreCat: https://research-explorer.ista.ac.at/record/14016
DOI: 10.1038/ncomms8039
PMID: 25940229

Kraus PM, Mignolet B, Baykusheva DR, Rupenyan A, Horný L, Penka EF, Grassi G, Tolstikhin OI, Schneider J, Jensen F, Madsen LB, Bandrauk AD, Remacle F, Wörner HJ. 2015. Measurement and laser control of attosecond charge migration in ionized iodoacetylene. Science. 350(6262), 790–795.
LibreCat: https://research-explorer.ista.ac.at/record/14013
DOI: 10.1126/science.aab2160
PMID: 26494175

Kraus PM, Mignolet B, Baykusheva DR, Rupenyan A, Horný L, Penka EF, Tolstikhin OI, Schneider J, Jensen F, Madsen LB, Bandrauk AD, Remacle F, Wörner HJ. 2015. Attosecond charge migration and its laser control. Journal of Physics: Conference Series. 635(11), 112136.
LibreCat: https://research-explorer.ista.ac.at/record/14015
DOI: 10.1088/1742-6596/635/11/112136

Walt SG, Ram NB, von Conta A, Baykusheva DR, Atala M, Wörner HJ. 2015. Resolving the dynamics of valence-shell electrons and nuclei through laser-induced diffraction and holography. Journal of Physics: Conference Series. 635(11), 112135.
LibreCat: https://research-explorer.ista.ac.at/record/14014
DOI: 10.1088/1742-6596/635/11/112135

Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. 2015. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria, Dryad,10.5061/dryad.cj910 .
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Sharmanska V. 2015. Learning with attributes for object recognition: Parametric and non-parametrics views. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 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. 282(1812).
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

Reiter J. 2015. The subclonal evolution of cancer. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1400

Pausinger F, Svane A. 2015. A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. 31(6), 773–797.
LibreCat: https://research-explorer.ista.ac.at/record/1792
DOI: 10.1016/j.jco.2015.06.002

Pausinger F. 2015. On the approximation of intrinsic volumes. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/1399

Tugrul M, Paixao T, Barton NH, Tkadik G. 2015. Dynamics of transcription factor binding site evolution. PLoS Genetics. 11(11).
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Benes N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. 2015. Complete composition operators for IOCO-testing theory. CBSE: Component-Based Software Engineering , Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , , 101–110.
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 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. 47(2), 230–264.
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 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. 50(1), 97–109.
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

Chatterjee K, Pavlogiannis A, Velner Y. 2015. Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . 50(1), 539–551.
LibreCat: https://research-explorer.ista.ac.at/record/1604
DOI: 10.1145/2676726.2676968

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs. CAV: Computer Aided Verification, LNCS, vol. 9206, 140–157.
LibreCat: https://research-explorer.ista.ac.at/record/1607
DOI: 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. Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium vol. 2015, 118–127.
LibreCat: https://research-explorer.ista.ac.at/record/1714
DOI: 10.1109/RTSS.2014.9

Hahn D, Wojtan C. 2015. High-resolution brittle fracture simulation with boundary elements. SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques vol. 34, 151.
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Ruprecht V, Wieser S, Callan Jones A, Smutny M, Morita H, Sako K, Barone V, Ritsch Marte M, Sixt MK, Voituriez R, Heisenberg C-PJ. 2015. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 160(4), 673–685.
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

Adamowski M, Friml J. 2015. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 27(1), 20–32.
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

Alt J. 2015. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 56(10), 103301.
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, Nowak M, Nijman S, Grusch M, Janovjak HL. 2015. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 11(12), 952–954.
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Cepeda Humerez SA, Rieckh G, Tkadik G. 2015. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 115(24), 248101.
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

Avvakumov S, Mabillard I, Skopenkov A, Wagner U. Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv, 1511.03501.
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2015. Algorithms for algebraic path properties in concurrent systems of constant treewidth components, IST Austria, 24p.
LibreCat: https://research-explorer.ista.ac.at/record/5441
DOI: 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, 22p.
LibreCat: https://research-explorer.ista.ac.at/record/5442

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. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 259–268.
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

Cerny P, Clarke E, Henzinger TA, Radhakrishna A, Ryzhyk L, Samanta R, Tarrach T. 2015. From non-preemptive to preemptive scheduling using synchronization synthesis. 9207, 180–197.
LibreCat: https://research-explorer.ista.ac.at/record/1729
DOI: 10.1007/978-3-319-21668-3_11

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2015. Model checking gene regulatory networks. 9035, 469–483.
LibreCat: https://research-explorer.ista.ac.at/record/1835
DOI: 10.1007/978-3-662-46681-0_47

Michalko J, Lukacisinova M, Bollenbach MT, Friml J. 2015. Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 4.
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

Priklopil T, Chatterjee K. 2015. Evolution of decisions in population games with sequentially searching individuals. Games. 6(4), 413–437.
LibreCat: https://research-explorer.ista.ac.at/record/1681
DOI: 10.3390/g6040413