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.
9078 Publications
2014 | Journal Article | IST-REx-ID: 13403
Zdobinsky T, Sankar Maiti P, Klajn R. 2014. Support curvature and conformational freedom control chemical reactivity of immobilized species. Journal of the American Chemical Society. 136(7), 2711–2714.
View
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 14018
Baykusheva DR, Kraus PM, Zhang SB, Rohringer N, Wörner HJ. 2014. The sensitivities of high-harmonic generation and strong-field ionization to coupled electronic and nuclear dynamics. Faraday Discussions. 171, 113–132.
View
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 14019
Vasilatou K, Michaud JM, Baykusheva DR, Grassi G, Merkt F. 2014. The cyclopropene radical cation: Rovibrational level structure at low energies from high-resolution photoelectron spectra. The Journal of Chemical Physics. 141(6), 064317.
View
| DOI
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 14021 |
Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules. Journal of Physics B: Atomic, Molecular and Optical Physics. 47(12), 124030.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 14020 |
Kraus PM, Baykusheva DR, Wörner HJ. 2014. Two-pulse field-free orientation reveals anisotropy of molecular shape resonance. Physical Review Letters. 113(2), 023001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2014 | Journal Article | IST-REx-ID: 535 |
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2014. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 10886
Zobel V, Reininghaus J, Hotz I. 2014. Visualization of two-dimensional symmetric positive definite tensor fields using the heat kernel signature. Topological Methods in Data Analysis and Visualization III . , Mathematics and Visualization, , 249–262.
View
| DOI
2014 | Book Chapter | IST-REx-ID: 6178
Smutny M, Behrndt M, Campinho P, Ruprecht V, Heisenberg C-PJ. 2014.UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo. In: Tissue Morphogenesis. vol. 1189, 219–235.
View
| DOI
| PubMed | Europe PMC
2014 | Thesis | IST-REx-ID: 1395
Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
View
2014 | Journal Article | IST-REx-ID: 2255 |
Edelsbrunner H, Pausinger F. 2014. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 50(1), 164–177.
[Submitted Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2159 |
Mabillard I, Wagner U. 2014. Eliminating Tverberg points, I. An analogue of the Whitney trick. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 171–180.
[Submitted Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2023 |
Novak S. 2014. Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. 4(24), 4589–4597.
[Published Version]
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2218 |
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2014. Regression-free synthesis for concurrency. CAV: Computer Aided Verification, LNCS, vol. 8559, 568–584.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2167 |
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing. IEEE 7th International Conference on Software Testing, Verification and Validation. ICST: International Conference on Software Testing, Verification and Validation, 6823899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 2063
Chatterjee K, Chmelik M, Daca P. 2014. CEGAR for qualitative analysis of probabilistic systems. CAV: Computer Aided Verification, LNCS, vol. 8559, 473–490.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2001
Mitosch K, Bollenbach MT. 2014. Bacterial responses to antibiotics and their combinations. Environmental Microbiology Reports. 6(6), 545–557.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2082 |
Gazi P, Pietrzak KZ, Rybar M. 2014. The exact PRF-security of NMAC and HMAC. CRYPTO: International Cryptology Conference, LNCS, vol. 8616, 113–130.
[Submitted Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1912 |
Compagnon J, Barone V, Rajshekar S, Kottmeier R, Pranjic-Ferscha K, Behrndt M, Heisenberg C-PJ. 2014. The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ. Developmental Cell. 31(6), 774–783.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 2084 |
Grusch M, Schelch K, Riedler R, Gschaider-Reichhart E, Differ C, Berger W, Inglés Prieto Á, Janovjak HL. 2014. Spatio-temporally precise activation of engineered receptor tyrosine kinases by light. EMBO Journal. 33(15), 1713–1726.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2157 |
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2014. Embeddability in the 3 sphere is decidable. Proceedings of the Annual Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, 78–84.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 10894
Bauer U, Kerber M, Reininghaus J, Wagner H. 2014. PHAT – Persistent Homology Algorithms Toolbox. ICMS 2014: International Congress on Mathematical Software. ICMS: International Congress on Mathematical SoftwareLNCS vol. 8592, 137–143.
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5428 |
Chatterjee K, Henzinger TA, Otop J, Velner Y. 2014. Quantitative fair simulation games, IST Austria, 26p.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1887 |
Cremer S. 2014. Gemeinsame Krankheitsabwehr in Ameisengesellschaften. Zoologie., 23–30.
[Published Version]
View
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 2175 |
Postiglione MP, Hippenmeyer S. 2014. Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology. 9(3), 323–340.
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1913 |
Milenković I, Petrov T, Kovács G. 2014. Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders. 38(5–6), 375–388.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Conference Paper | IST-REx-ID: 1507 |
Erdös L. 2014. Random matrices, log-gases and Hölder regularity. Proceedings of the International Congress of Mathematicians. ICM: International Congress of Mathematicians vol. 3, 214–236.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 8044 |
Seiringer R. 2014. Structure of the excitation spectrum for many-body quantum systems. Proceeding of the International Congress of Mathematicans. ICM: International Congress of Mathematicans vol. 3, 1175–1194.
[Published Version]
View
| Download Published Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2160 |
Pentina A, Lampert C. 2014. A PAC-Bayesian bound for Lifelong Learning. ICML: International Conference on Machine Learning vol. 32, 991–999.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2014 | Book Chapter | IST-REx-ID: 1888
Cremer S. 2014.Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften. In: Soziale Insekten in einer sich wandelnden Welt. Rundgespräche der Kommission für Ökologie, vol. 43, 65–72.
View
2014 | Preprint | IST-REx-ID: 2012 |
Iglesias Ham M, Kerber M, Uhler C. Sphere packing with limited overlap. arXiv, 1401.0468.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 14301 |
Stahl E, Martin T, Praetorius FM, Dietz H. 2014. Facile and scalable preparation of pure and dense DNA origami solutions. Angewandte Chemie International Edition. 126(47), 12949–12954.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Journal Article | IST-REx-ID: 2281 |
Guo Y, Seiringer R. 2014. On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. 104(2), 141–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 2257 |
Tkačik G, Marre O, Amodei D, Schneidman E, Bialek W, Berry M. 2014. Searching for collective behavior in a large network of sensory neurons. PLoS Computational Biology. 10(1), e1003408.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 15161 |
Guan W, Michael AK, McIntosh ML, Koren-Selfridge L, Scott JP, Clark TB. 2014. Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters. The Journal of Organic Chemistry. 79(15), 7199–7204.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Journal Article | IST-REx-ID: 1999
Stroeymeyt N, Casillas Perez BE, Cremer S. 2014. Organisational immunity in social insects. Current Opinion in Insect Science. 5(1), 1–15.
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 10384 |
Mognetti BM, Šarić A, Angioletti-Uberti S, Cacciuto A, Valeriani C, Frenkel D. 2013. Living clusters and crystals from low-density suspensions of active colloids. Physical Review Letters. 111(24), 245702.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2013 | Journal Article | IST-REx-ID: 10386
Šarić A, Cacciuto A. 2013. Self-assembly of nanoparticles adsorbed on fluid and elastic membranes. Soft Matter. 9(29), 6677.
View
| DOI
| Download None (ext.)
2013 | Journal Article | IST-REx-ID: 10396 |
Schlögl A, Jonas PM, Schmidt-Hieber C, Guzman SJ. 2013. Stimfit: A fast visualization and analysis environment for cellular neurophysiology. Biomedical Engineering / Biomedizinische Technik. 58(SI-1-Track-G), 000010151520134181.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 10749 |
Polshyn H, Budakian R, Gu G. 2013. Cantilever micro-susceptometry of mesoscopic Bi2212 samples. APS March Meeting 2013. APS: American Physical Society, Bulletin of the American Physical Society, vol. 58, N36.00001.
[Published Version]
View
| Download Published Version (ext.)
2013 | Journal Article | IST-REx-ID: 10895 |
Vanneste S, Friml J. 2013. Calcium: The missing link in auxin action. Plants. 2(4), 650–675.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 10898
Haas A, Lippautz M, Henzinger TA, Payer H, Sokolova A, Kirsch CM, Sezgin A. 2013. Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation. Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. CF: Conference on Computing Frontiers, 17.
View
| DOI
2013 | Journal Article | IST-REx-ID: 11086 |
Liang Y, Franks TM, Marchetto MC, Gage FH, Hetzer M. 2013. Dynamic association of NUP98 with the human genome. PLoS Genetics. 9(2), e1003308.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 11087 |
Toyama BH, Savas JN, Park SK, Harris MS, Ingolia NT, Yates JR, Hetzer M. 2013. Identification of long-lived proteins reveals exceptional stability of essential cellular structures. Cell. 154(5), 971–982.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC