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: 8602 |
Boocock DR, Hino N, Ruzickova N, Hirashima T, Hannezo EB. 2021. Theory of mechanochemical patterning and optimal migration in cell monolayers. Nature Physics. 17, 267–274.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
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
2021 | Journal Article | IST-REx-ID: 10202 |
Pradhan SJ, Reddy PC, Smutny M, Sharma A, Sako K, Oak MS, Shah R, Pal M, Deshpande O, Dsilva G, Tang Y, Mishra R, Deshpande G, Giraldez AJ, Sonawane M, Heisenberg C-PJ, Galande S. 2021. Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis. Nature Communications. 12(1), 6094.
[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. 242(3), 1835–1906.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10401 |
Barfknecht RE, Foerster A, Zinner NT, Volosniev A. 2021. Generation of spin currents by a temperature gradient in a two-terminal device. Communications Physics. 4(1), 252.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10568 |
Goehlich H, Sartoris L, Wagner K-S, Wendling CC, 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. 9, 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, de Koter A, de Mink SE, Evans CJ, Götberg YLL, Patrick LR, Schneider FRN, Tramper F. 2021. The young massive SMC cluster NGC 330 seen by MUSE. II. Multiplicity properties of the massive-star population. Astronomy & Astrophysics. 652, A70.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 8601 |
Cipolloni G, Erdös L, Schröder DJ. 2021. Edge universality for non-Hermitian random matrices. Probability Theory and Related Fields.
[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 NZ, Martin C, Sobral D, Mobasher B, Rettura A, Matthee JJ, Capak P, Chartab N, Hemmati S, Masters D, Nayyeri H, O’Sullivan D, Paulino-Afonso A, Sattari Z, Shahidi A, Salvato M, Lemaux BC, Fèvre OL, Cucciati O. 2020. Spectroscopic confirmation of a coma cluster progenitor at z ∼ 2.2. The Astrophysical Journal. 892(1), 8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11533 |
Santos S, Sobral D, Matthee JJ, Calhau J, da Cunha E, Ribeiro B, Paulino-Afonso A, Arrabal Haro P, 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. 493(1), 141–160.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv