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.

5757 Publications


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

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

2015 | Journal Article | IST-REx-ID: 12626 | OA
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.
[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. 61(227), 524–536.
[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 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.
[Published Version] View | Files available | DOI
 

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. 51(11), 2036–2039.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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

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

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

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

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

2015 | Journal Article | IST-REx-ID: 1666 | OA
Tugrul M, Paixao T, Barton NH, Tkačik G. 2015. Dynamics of transcription factor binding site evolution. PLoS Genetics. 11(11).
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1502 | OA
Beneš 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.
[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. 47(2), 230–264.
[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. 50(1), 97–109.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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. CAV: Computer Aided Verification, LNCS, vol. 9206, 140–157.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
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.
[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, 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.
[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. 27(1), 20–32.
[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. 56(10), 103301.
[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 HL. 2015. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 11(12), 952–954.
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez SA, Rieckh G, Tkačik G. 2015. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 115(24), 248101.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

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

2015 | Technical Report | IST-REx-ID: 5441 | OA
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.
[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, 22p.
[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. Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, 259–268.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. 2015. Model checking gene regulatory networks. 9035, 469–483.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509 | OA
Michalko J, Lukacisinova M, Bollenbach MT, Friml J. 2015. Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene. F1000 Research . 4.
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil T, Chatterjee K. 2015. Evolution of decisions in population games with sequentially searching individuals. Games. 6(4), 413–437.
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655 | OA
Martius GS, Olbrich E. 2015. Quantifying emergent behavior of autonomous robots. Entropy. 17(10), 7266–7297.
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1834 | OA
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. 7(2).
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1635 | OA
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. 24(4), 781–800.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 14303 | OA
Kick B, Praetorius FM, Dietz H, Weuster-Botz D. 2015. Efficient production of single-stranded phage DNA as scaffolds for DNA origami. Nano Letters. 15(7), 4672–4676.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. 2015. Counterexample explanation by learning small strategies in Markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 9206, 158–177.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Research Data | IST-REx-ID: 5549 | OA
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, 10.15479/AT:ISTA:28.
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2015. Bounding Helly numbers via Betti numbers. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 507–521.
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 271 | OA
Browning TD, Prendiville S. Improvements in Birch’s theorem on forms in many variables. Journal fur die Reine und Angewandte Mathematik. 2017(731), 203–234.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1675 | OA
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2015. Proofs of space. 35th Annual Cryptology Conference. CRYPTO: International Cryptology Conference, LNCS, vol. 9216, 585–605.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 15160 | OA
Michael AK, Harvey SL, Sammons PJ, Anderson AP, Kopalle HM, Banham AH, Partch CL. 2015. Cancer/Testis antigen PASD1 silences the circadian clock. Molecular Cell. 58(5), 743–754.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan D, Toprak E, Bollenbach MT. 2015. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 13(11), e1002299.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 10382 | OA
Šarić A, Chebaro YC, Knowles TPJ, Frenkel D. 2014. Crucial role of nonspecific interactions in amyloid nucleation. Proceedings of the National Academy of Sciences. 111(50), 17869–17874.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 10383 | OA
Mallory SA, Šarić A, Valeriani C, Cacciuto A. 2014. Anomalous thermomechanical properties of a self-propelled colloidal fluid. Physical Review E. 89(5), 052303.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2014 | Journal Article | IST-REx-ID: 10815 | OA
Hashimoto M, Morita H, Ueno N. 2014. Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. 54(1), 1–7.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 10884 | OA
Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking of token-passing systems. Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 262–281.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 11080 | OA
Buchwalter A, Hetzer M. 2014. Nuclear pores set the speed limit for mitosis. Cell. 156(5), 868–869.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 11082 | OA
Buchwalter AL, Liang Y, Hetzer M. 2014. Nup50 is required for cell differentiation and exhibits transcription-dependent dynamics. Molecular Biology of the Cell. 25(16), 2472–2484.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications