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.
513 Publications
2015 | Published | Conference Paper | IST-REx-ID: 1502 | 
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
| WoS
2015 | Published | Journal Article | IST-REx-ID: 2085 |
Nam P, Seiringer R. 2015. Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis. 215(2), 381–417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2015 | Published | Book Chapter | IST-REx-ID: 1549 |
Mckenzie C, Sanchez-Romero I, Janovjak HL. 2015.Flipping the photoswitch: Ion channels under light control. In: Novel chemical tools to study ion channel biology. vol. 869, 101–117.
[Submitted Version]
View
| Files available
| DOI
| WoS
2015 | Published | Journal Article | IST-REx-ID: 1834 |
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
| WoS
2014 | Published | Journal Article | IST-REx-ID: 11967
Moghaddam MM, Pieber B, Glasnov T, Kappe CO. 2014. Immobilized iron oxide nanoparticles as stable and reusable catalysts for hydrazine-mediated nitro reductions in continuous flow. ChemSusChem. 7(11), 3122–3131.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 17642 |
Fernandez R, Bryan GL, Haiman Z, Li M. 2014. H2 suppression with shocking inflows: Testing a pathway for supermassive black hole formation. Monthly Notices of the Royal Astronomical Society. 439(4), 3798–3807.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 17643 |
Visbal E, Haiman Z, Bryan GL. 2014. A no-go theorem for direct collapse black holes without a strong ultraviolet background. Monthly Notices of the Royal Astronomical Society: Letters. 442(1), L100–L104.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 17645 |
Dijkstra M, Wyithe S, Haiman Z, Mesinger A, Pentericci L. 2014. Evolution in the escape fraction of ionizing photons and the decline in strong Lyα emission from z > 6 galaxies. Monthly Notices of the Royal Astronomical Society. 440(4), 3309–3316.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 17650 |
Visbal E, Haiman Z, Bryan GL. 2014. Direct collapse black hole formation from synchronized pairs of atomic cooling haloes. Monthly Notices of the Royal Astronomical Society. 445(1), 1056–1063.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 17689 |
McGreer ID, Fan X, Strauss MA, Haiman Z, Richards GT, Jiang L, Bian F, Schneider DP. 2014. Close companions to two high-redshift quasars. The Astronomical Journal. 148(4), 73.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Thesis | IST-REx-ID: 1404
Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
2014 | Published | Journal Article | IST-REx-ID: 17983
Capozzi B, Dell EJ, Berkelbach TC, Reichman DR, Venkataraman L, Campos LM. 2014. Length-dependent conductance of oligothiophenes. Journal of the American Chemical Society. 136(29), 10486–10492.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 2178 |
Haws D, Martin del Campo Sanchez A, Takemura A, Yoshida R. 2014. Markov degree of the three-state toric homogeneous Markov chain model. Beitrage zur Algebra und Geometrie. 55(1), 161–188.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2028 |
Bodova K, Paydarfar D, Forger D. 2014. Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. 365, 40–54.
[Published Version]
View
| Files available
| DOI
| WoS
2014 | Published | Journal Article | IST-REx-ID: 2716 |
Chatterjee K, Randour M, Raskin J. 2014. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 51(3–4), 129–163.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 2227
Cires Rodriguez E, Baltisberger M, Cuesta C, Vargas P, Prieto J. 2014. Allopolyploid origin of the Balkan endemic Ranunculus wettsteinii (Ranunculaceae) inferred from nuclear and plastid DNA sequences. Organisms Diversity and Evolution. 14(1), 1–10.
View
| DOI
| WoS