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
2018 | Published | Journal Article | IST-REx-ID: 410 | 
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M. A. Jösch, and D. Cox, “A micro-CT-based method for quantitative brain lesion characterization and electrode localization,” Scientific Reports, vol. 8, no. 1. Nature Publishing Group, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 692 |
A. Akopyan, “3-Webs generated by confocal conics and circles,” Geometriae Dedicata, vol. 194, no. 1. Springer, pp. 55–64, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 76 |
C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Technical Report | IST-REx-ID: 5457 |
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, 5 Anonymous, and 6 Anonymous, Cost analysis of nondeterministic probabilistic programs. IST Austria, 2018.
[Published Version]
View
| Files available
2018 | Published | Conference Paper | IST-REx-ID: 78 |
A. Bakhirkin, T. Ferrere, D. Nickovic, O. Maler, and E. Asarin, “Online timed pattern matching using automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Bejing, China, 2018, vol. 11022, pp. 215–232.
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6002 |
M. M. Napiórkowski, R. Reuvers, and J. P. Solovej, “The Bogoliubov free energy functional I: Existence of minimizers and phase diagram,” Archive for Rational Mechanics and Analysis, vol. 229, no. 3. Springer Nature, pp. 1037–1090, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 19494 |
S. Chan, “Rational right triangles of a given area,” The American Mathematical Monthly, vol. 125, no. 8. Taylor & Francis, pp. 689–703, 2018.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 14007 |
D. R. Baykusheva and H. J. Wörner, “Comment on ‘Time delays in molecular photoionization,’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7. IOP Publishing, 2017.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 11572 |
J. J. Matthee et al., “Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population,” Monthly Notices of the Royal Astronomical Society, vol. 472, no. 1. Oxford University Press, pp. 772–787, 2017.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Journal Article | IST-REx-ID: 1168 |
E. Perrone, A. Rappold, and W. Müller, “D inf s optimality in copula models,” Statistical Methods and Applications, vol. 26, no. 3. Springer, pp. 403–418, 2017.
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 17696 |
E. Visbal, G. L. Bryan, and Z. Haiman, “What is the maximum mass of a Population III galaxy?,” Monthly Notices of the Royal Astronomical Society, vol. 469, no. 2. Oxford University Press, pp. 1456–1465, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 17698 |
Y. Tang, A. MacFadyen, and Z. Haiman, “On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs,” Monthly Notices of the Royal Astronomical Society, vol. 469, no. 4. Oxford University Press, pp. 4258–4267, 2017.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 | Published | Journal Article | IST-REx-ID: 6117 |
C. Chen et al., “IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses,” Nature, vol. 542, no. 7639. Springer Nature, pp. 43–48, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2017 | Published | Journal Article | IST-REx-ID: 751 |
Y. Matsubayashi et al., “A moving source of matrix components is essential for De Novo basement membrane formation,” Current Biology, vol. 27, no. 22. Cell Press, p. 3526–3534e.4, 2017.
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Conference Paper | IST-REx-ID: 8306 |
E. Syta et al., “Scalable bias-resistant distributed randomness,” in 2017 IEEE Symposium on Security and Privacy, San Jose, CA, United States, 2017, pp. 444–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 | Published | Journal Article | IST-REx-ID: 7064 |
K. A. Modic et al., “Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates,” Nature Communications, vol. 8, no. 1. Springer Nature, 2017.
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 17949 |
X. Yin et al., “A reversible single-molecule switch based on activated antiaromaticity,” Science Advances, vol. 3, no. 10. American Association for the Advancement of Science, 2017.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)