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. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 11522 |
Gronke M, Ocvirk P, Mason C, Matthee JJ, Bosman SEI, Sorce JG, Lewis J, Ahn K, Aubert D, Dawoodbhoy T, Iliev IT, Shapiro PR, Yepes G. 2021. Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation. Monthly Notices of the Royal Astronomical Society. 508(3), 3697–3709.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11771 |
Henzinger MH, Wu X. 2021. Upper and lower bounds for fully retroactive graph problems. 17th International Symposium on Algorithms and Data Structures. WADS: Workshop on Algorithms and Data Structures, LNCS, vol. 12808, 471–484.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9097 |
Pandey R, Al-Nuaimi Y, Mishra RK, Spurgeon SK, 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. 11, 2204.
[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. 198(2), 129–168.
[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. ASHPC21 – Austrian-Slovenian HPC Meeting 2021. ASHPC - Austrian-Slovenian HPC Meeting, 5.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 9333 |
Mitrouskas DJ. 2021. A note on the Fröhlich dynamics in the strong coupling limit. Letters in Mathematical Physics. 111, 45.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9910 |
Slavskii SA, Kuznetsov IA, Shashkova TI, Bazykin GA, Axenovich TI, Kondrashov F, Aulchenko YS. 2021. The limits of normal approximation for adult height. European Journal of Human Genetics. 29(7), 1082–1091.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10033 |
Ho QP. 2021. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 392, 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. 62(10), 102302.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv