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.
320 Publications
2021 | Conference Paper | IST-REx-ID: 10688 | 
Kragl, B., & Qadeer, S. (2021). The Civl verifier. In P. Ruzica & M. W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design (Vol. 2, pp. 143–152). Virtual: TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 11522 |
Gronke, M., Ocvirk, P., Mason, C., Matthee, J. J., Bosman, S. E. I., Sorce, J. G., … Yepes, G. (2021). Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stab2762
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11771 |
Henzinger, M. H., & Wu, X. (2021). Upper and lower bounds for fully retroactive graph problems. In 17th International Symposium on Algorithms and Data Structures (Vol. 12808, pp. 471–484). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-83508-8_34
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9097 |
Pandey, R., Al-Nuaimi, Y., Mishra, R. K., Spurgeon, S. K., & Goodfellow, M. (2021). Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-020-80507-7
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 12309 |
Verzobio, M. (2021). Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728. Acta Arithmetica. Institute of Mathematics, Polish Academy of Sciences. https://doi.org/10.4064/aa191016-30-7
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Abstract | IST-REx-ID: 12909 |
Schlögl, A., Elefante, S., Hornoiu, A., & Stadlbauer, S. (2021). Managing software on a heterogenous HPC cluster. In ASHPC21 – Austrian-Slovenian HPC Meeting 2021 (p. 5). Virtual: University of Ljubljana. https://doi.org/10.3359/2021hpc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 8602 |
Boocock, D. R., Hino, N., Ruzickova, N., Hirashima, T., & Hannezo, E. B. (2021). Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-020-01037-7
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
2021 | Journal Article | IST-REx-ID: 9333 |
Mitrouskas, D. J. (2021). A note on the Fröhlich dynamics in the strong coupling limit. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01380-7
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9910 |
Slavskii, S. A., Kuznetsov, I. A., Shashkova, T. I., Bazykin, G. A., Axenovich, T. I., Kondrashov, F., & Aulchenko, Y. S. (2021). The limits of normal approximation for adult height. European Journal of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-021-00836-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10033 |
Ho, Q. P. (2021). The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2021.107992
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10176 |
Runkel, I., & Szegedy, L. (2021). Topological field theory on r-spin surfaces and the Arf-invariant. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0037826
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10202 |
Pradhan, S. J., Reddy, P. C., Smutny, M., Sharma, A., Sako, K., Oak, M. S., … Galande, S. (2021). Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-021-26234-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10224 |
Feliciangeli, D., & Seiringer, R. (2021). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-021-01715-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10401 |
Barfknecht, R. E., Foerster, A., Zinner, N. T., & Volosniev, A. (2021). Generation of spin currents by a temperature gradient in a two-terminal device. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-021-00753-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10568 |
Goehlich, H., Sartoris, L., Wagner, K.-S., Wendling, C. C., & Roth, O. (2021). Pipefish locally adapted to low salinity in the Baltic Sea retain phenotypic plasticity to cope with ancestral salinity levels. Frontiers in Ecology and Evolution. Frontiers Media. https://doi.org/10.3389/fevo.2021.626442
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 13457 |
Bodensteiner, J., Sana, H., Wang, C., Langer, N., Mahy, L., Banyard, G., … Tramper, F. (2021). The young massive SMC cluster NGC 330 seen by MUSE. II. Multiplicity properties of the massive-star population. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202140507
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 8601 |
Cipolloni, G., Erdös, L., & Schröder, D. J. (2021). Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields. Springer Nature. https://doi.org/10.1007/s00440-020-01003-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Preprint | IST-REx-ID: 10066 |
Severin B, Lennon DT, Camenzind LC, Vigneau F, Fedele F, Jirovec D, Ballabio A, Chrastina D, Isella G, Kruijf M de, Carballido MJ, Svab S, Kuhlmann AV, Braakman FR, Geyer S, Froning FNM, Moon H, Osborne MA, Sejdinovic D, Katsaros G, Zumbühl DM, Briggs GAD, Ares N. Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning. arXiv, 2107.12975.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11513 |
Darvish, B., Scoville, N. Z., Martin, C., Sobral, D., Mobasher, B., Rettura, A., … Cucciati, O. (2020). Spectroscopic confirmation of a coma cluster progenitor at z ∼ 2.2. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ab75c3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11533 |
Santos, S., Sobral, D., Matthee, J. J., Calhau, J., da Cunha, E., Ribeiro, B., … Butterworth, J. (2020). The evolution of rest-frame UV properties, Ly α EWs, and the SFR–stellar mass relation at z ∼ 2–6 for SC4K LAEs. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/staa093
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv