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 | 
The Civl verifier
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
[Published Version]
View
| Files available
| DOI
B. Kragl, S. Qadeer, in:, P. Ruzica, M.W. Whalen (Eds.), Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2021, pp. 143–152.
2021 | Journal Article | IST-REx-ID: 11522 |
Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation
M. Gronke, P. Ocvirk, C. Mason, J.J. Matthee, S.E.I. Bosman, J.G. Sorce, J. Lewis, K. Ahn, D. Aubert, T. Dawoodbhoy, I.T. Iliev, P.R. Shapiro, G. Yepes, Monthly Notices of the Royal Astronomical Society 508 (2021) 3697–3709.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Gronke, P. Ocvirk, C. Mason, J.J. Matthee, S.E.I. Bosman, J.G. Sorce, J. Lewis, K. Ahn, D. Aubert, T. Dawoodbhoy, I.T. Iliev, P.R. Shapiro, G. Yepes, Monthly Notices of the Royal Astronomical Society 508 (2021) 3697–3709.
2021 | Conference Paper | IST-REx-ID: 11771 |
Upper and lower bounds for fully retroactive graph problems
M.H. Henzinger, X. Wu, in:, 17th International Symposium on Algorithms and Data Structures, Springer Nature, 2021, pp. 471–484.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, X. Wu, in:, 17th International Symposium on Algorithms and Data Structures, Springer Nature, 2021, pp. 471–484.
2021 | Journal Article | IST-REx-ID: 9097 |
Role of subnetworks mediated by TNF α, IL-23/IL-17 and IL-15 in a network involved in the pathogenesis of psoriasis
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
[Published Version]
View
| Files available
| DOI
R. Pandey, Y. Al-Nuaimi, R.K. Mishra, S.K. Spurgeon, M. Goodfellow, Scientific Reports 11 (2021).
2021 | Journal Article | IST-REx-ID: 12309 |
Primitive divisors of elliptic divisibility sequences for elliptic curves with j=1728
M. Verzobio, Acta Arithmetica 198 (2021) 129–168.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Verzobio, Acta Arithmetica 198 (2021) 129–168.
2021 | Conference Abstract | IST-REx-ID: 12909 |
Managing software on a heterogenous HPC cluster
A. Schlögl, S. Elefante, A. Hornoiu, S. Stadlbauer, in:, ASHPC21 – Austrian-Slovenian HPC Meeting 2021, University of Ljubljana, 2021, p. 5.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Schlögl, S. Elefante, A. Hornoiu, S. Stadlbauer, in:, ASHPC21 – Austrian-Slovenian HPC Meeting 2021, University of Ljubljana, 2021, p. 5.
2021 | Journal Article | IST-REx-ID: 8602 |
Theory of mechanochemical patterning and optimal migration in cell monolayers
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics 17 (2021) 267–274.
2021 | Journal Article | IST-REx-ID: 9333 |
A note on the Fröhlich dynamics in the strong coupling limit
D.J. Mitrouskas, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
D.J. Mitrouskas, Letters in Mathematical Physics 111 (2021).
2021 | Journal Article | IST-REx-ID: 9910 |
The limits of normal approximation for adult height
S.A. Slavskii, I.A. Kuznetsov, T.I. Shashkova, G.A. Bazykin, T.I. Axenovich, F. Kondrashov, Y.S. Aulchenko, European Journal of Human Genetics 29 (2021) 1082–1091.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S.A. Slavskii, I.A. Kuznetsov, T.I. Shashkova, G.A. Bazykin, T.I. Axenovich, F. Kondrashov, Y.S. Aulchenko, European Journal of Human Genetics 29 (2021) 1082–1091.
2021 | Journal Article | IST-REx-ID: 10033 |
The Atiyah-Bott formula and connectivity in chiral Koszul duality
Q.P. Ho, Advances in Mathematics 392 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Q.P. Ho, Advances in Mathematics 392 (2021).
2021 | Journal Article | IST-REx-ID: 10176 |
Topological field theory on r-spin surfaces and the Arf-invariant
I. Runkel, L. Szegedy, Journal of Mathematical Physics 62 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
I. Runkel, L. Szegedy, Journal of Mathematical Physics 62 (2021).
2021 | Journal Article | IST-REx-ID: 10202 |
Satb2 acts as a gatekeeper for major developmental transitions during early vertebrate embryogenesis
S.J. Pradhan, P.C. Reddy, M. Smutny, A. Sharma, K. Sako, M.S. Oak, R. Shah, M. Pal, O. Deshpande, G. Dsilva, Y. Tang, R. Mishra, G. Deshpande, A.J. Giraldez, M. Sonawane, C.-P.J. Heisenberg, S. Galande, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S.J. Pradhan, P.C. Reddy, M. Smutny, A. Sharma, K. Sako, M.S. Oak, R. Shah, M. Pal, O. Deshpande, G. Dsilva, Y. Tang, R. Mishra, G. Deshpande, A.J. Giraldez, M. Sonawane, C.-P.J. Heisenberg, S. Galande, Nature Communications 12 (2021).
2021 | Journal Article | IST-REx-ID: 10224 |
The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics
D. Feliciangeli, R. Seiringer, Archive for Rational Mechanics and Analysis 242 (2021) 1835–1906.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Feliciangeli, R. Seiringer, Archive for Rational Mechanics and Analysis 242 (2021) 1835–1906.
2021 | Journal Article | IST-REx-ID: 10401 |
Generation of spin currents by a temperature gradient in a two-terminal device
R.E. Barfknecht, A. Foerster, N.T. Zinner, A. Volosniev, Communications Physics 4 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R.E. Barfknecht, A. Foerster, N.T. Zinner, A. Volosniev, Communications Physics 4 (2021).
2021 | Journal Article | IST-REx-ID: 10568 |
Pipefish locally adapted to low salinity in the Baltic Sea retain phenotypic plasticity to cope with ancestral salinity levels
H. Goehlich, L. Sartoris, K.-S. Wagner, C.C. Wendling, O. Roth, Frontiers in Ecology and Evolution 9 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
H. Goehlich, L. Sartoris, K.-S. Wagner, C.C. Wendling, O. Roth, Frontiers in Ecology and Evolution 9 (2021).
2021 | Journal Article | IST-REx-ID: 13457 |
The young massive SMC cluster NGC 330 seen by MUSE. II. Multiplicity properties of the massive-star population
J. Bodensteiner, H. Sana, C. Wang, N. Langer, L. Mahy, G. Banyard, A. de Koter, S.E. de Mink, C.J. Evans, Y.L.L. Götberg, L.R. Patrick, F.R.N. Schneider, F. Tramper, Astronomy & Astrophysics 652 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
J. Bodensteiner, H. Sana, C. Wang, N. Langer, L. Mahy, G. Banyard, A. de Koter, S.E. de Mink, C.J. Evans, Y.L.L. Götberg, L.R. Patrick, F.R.N. Schneider, F. Tramper, Astronomy & Astrophysics 652 (2021).
2021 | Journal Article | IST-REx-ID: 8601 |
Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
2021 | Preprint | IST-REx-ID: 10066 |
Cross-architecture tuning of silicon and SiGe-based quantum devices using machine learning
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
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.
2020 | Journal Article | IST-REx-ID: 11513 |
Spectroscopic confirmation of a coma cluster progenitor at z ∼ 2.2
B. Darvish, N.Z. Scoville, C. Martin, D. Sobral, B. Mobasher, A. Rettura, J.J. Matthee, P. Capak, N. Chartab, S. Hemmati, D. Masters, H. Nayyeri, D. O’Sullivan, A. Paulino-Afonso, Z. Sattari, A. Shahidi, M. Salvato, B.C. Lemaux, O.L. Fèvre, O. Cucciati, The Astrophysical Journal 892 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Darvish, N.Z. Scoville, C. Martin, D. Sobral, B. Mobasher, A. Rettura, J.J. Matthee, P. Capak, N. Chartab, S. Hemmati, D. Masters, H. Nayyeri, D. O’Sullivan, A. Paulino-Afonso, Z. Sattari, A. Shahidi, M. Salvato, B.C. Lemaux, O.L. Fèvre, O. Cucciati, The Astrophysical Journal 892 (2020).
2020 | Journal Article | IST-REx-ID: 11533 |
The evolution of rest-frame UV properties, Ly α EWs, and the SFR–stellar mass relation at z ∼ 2–6 for SC4K LAEs
S. Santos, D. Sobral, J.J. Matthee, J. Calhau, E. da Cunha, B. Ribeiro, A. Paulino-Afonso, P. Arrabal Haro, J. Butterworth, Monthly Notices of the Royal Astronomical Society 493 (2020) 141–160.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Santos, D. Sobral, J.J. Matthee, J. Calhau, E. da Cunha, B. Ribeiro, A. Paulino-Afonso, P. Arrabal Haro, J. Butterworth, Monthly Notices of the Royal Astronomical Society 493 (2020) 141–160.