Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

8978 Publications


2015 | Journal Article | IST-REx-ID: 1993 | OA
Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2015). Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society. https://doi.org/10.1098/rspb.2014.1976
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Research Data Reference | IST-REx-ID: 9742 | OA
Westhus, C., Ugelvig, L. V., 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. https://doi.org/10.5061/dryad.7kc79
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D. H., Toprak, E., & Bollenbach, M. T. (2015). Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002299.s008
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 12630
Ragettli, S., Pellicciotti, F., Immerzeel, W. W., Miles, E. S., Petersen, L., Heynen, M., … 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. Elsevier. https://doi.org/10.1016/j.advwatres.2015.01.013
View | DOI
 

2015 | Journal Article | IST-REx-ID: 12628 | OA
Pellicciotti, F., Stephan, C., Miles, E., Herreid, S., Immerzeel, W. W., & Bolch, T. (2015). Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. Journal of Glaciology. International Glaciological Society. https://doi.org/10.3189/2015jog13j237
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 12631
Ayala, A., Pellicciotti, F., & Shea, J. M. (2015). Modeling 2 m air temperatures over mountain glaciers: Exploring the influence of katabatic cooling and external warming. Journal of Geophysical Research: Atmospheres. American Geophysical Union. https://doi.org/10.1002/2015jd023137
[Published Version] View | DOI
 

2015 | Journal Article | IST-REx-ID: 12629 | OA
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
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 12626 | OA
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
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 12627 | OA
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
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1618 | OA
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 CCR7 and PSGL-1 binding sites. Biochemistry. 54(27), 4163–4166.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 12881 | OA
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
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 12196
Johnson, K. C. M., Xia, S., Feng, X., & Li, X. (2015). The chromatin remodeler SPLAYED negatively regulates SNC1-mediated immunity. Plant and Cell Physiology. Oxford University Press. https://doi.org/10.1093/pcp/pcv087
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 13392
Zhao, H., Sen, S., Udayabhaskararao, T., Sawczyk, M., Kučanda, K., Manna, D., … 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
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 13394
Kundu, P. K., Samanta, D., Leizrowice, R., Margulis, B., Zhao, H., Börner, M., … Klajn, R. (2015). Light-controlled self-assembly of non-photoresponsive nanoparticles. Nature Chemistry. Springer Nature. https://doi.org/10.1038/nchem.2303
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 13393
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
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 13395 | OA
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
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 13396
Moldt, T., Brete, D., Przyrembel, D., Das, S., Goldman, J. R., Kundu, P. K., … 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
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 13397 | OA
Singh, G., Chan, H., Udayabhaskararao, T., Gelman, E., Peddis, D., Baskin, A., … Klajn, R. (2015). Magnetic field-induced self-assembly of iron oxide nanocubes. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/c4fd00265b
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 13398
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.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 14017 | OA
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
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 14016 | OA
Kraus, P. M., Tolstikhin, O. I., Baykusheva, D. R., Rupenyan, A., Schneider, J., Bisgaard, C. Z., … 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
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 14013
Kraus, P. M., Mignolet, B., Baykusheva, D. R., Rupenyan, A., Horný, L., Penka, E. F., … 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
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 14015 | OA
Kraus, P. M., Mignolet, B., Baykusheva, D. R., Rupenyan, A., Horný, L., Penka, E. F., … 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
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 14014 | OA
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
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Research Data Reference | IST-REx-ID: 9719 | OA
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
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 | Thesis | IST-REx-ID: 1401 | OA
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
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
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
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, J. (2015). The subclonal evolution of cancer. Institute of Science and Technology Austria.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 1792
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
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, F. (2015). On the approximation of intrinsic volumes. Institute of Science and Technology Austria.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 1666 | OA
Tugrul, M., Paixao, T., Barton, N. H., & Tkačik, G. (2015). Dynamics of transcription factor binding site evolution. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005639
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš, 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
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1604
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
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1714
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
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
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
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., Sako, K., … 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
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
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
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1677 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1678 | OA
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
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez, S. A., Rieckh, G., & Tkačik, G. (2015). Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.115.248101
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, S., Mabillard, I., Skopenkov, A., & Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5441 | OA
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
[Published Version] View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria.
[Published Version] View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, 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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
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
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1835 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko, J., Lukacisinova, M., Bollenbach, M. T., & Friml, J. (2015). Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . F1000 Research. https://doi.org/10.12688/f1000research.7143.1
[Published Version] View | Files available | DOI
 

Search

Filter Publications