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.
508 Publications
2021 | Journal Article | IST-REx-ID: 9121 | 
The BCS energy gap at low density
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).
2021 | Journal Article | IST-REx-ID: 9225 |
Persistence of the spectral gap for the Landau–Pekar equations
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).
2021 | Thesis | IST-REx-ID: 10030 |
Discrete-to-continuum limits of transport problems and gradient flows in the space of measures
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.
2021 | Journal Article | IST-REx-ID: 9393 |
Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.
2021 | Conference Paper | IST-REx-ID: 9678 |
Efficient load-balancing through distributed token dropping
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.
2021 | Journal Article | IST-REx-ID: 8196 |
New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering 22 (2021) 2627–2653.
[Published Version]
View
| Files available
| DOI
| WoS
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering 22 (2021) 2627–2653.
2021 | Journal Article | IST-REx-ID: 7939 |
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing 34 (2021) 463–487.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, Distributed Computing 34 (2021) 463–487.
2021 | Thesis | IST-REx-ID: 9992 |
Wound healing in the Arabidopsis root meristem
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
L. Hörmayer, Wound Healing in the Arabidopsis Root Meristem, Institute of Science and Technology Austria, 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.
2021 | Journal Article | IST-REx-ID: 9913 |
Nitrate triggered phosphoproteome changes and a PIN2 phosphosite modulating root system architecture
A. Vega, I. Fredes, J. O’Brien, Z. Shen, K. Ötvös, R. Abualia, E. Benková, S.P. Briggs, R.A. Gutiérrez, EMBO Reports 22 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Vega, I. Fredes, J. O’Brien, Z. Shen, K. Ötvös, R. Abualia, E. Benková, S.P. Briggs, R.A. Gutiérrez, EMBO Reports 22 (2021).
2021 | Thesis | IST-REx-ID: 10135 |
Molecular mechanisms of the cytokinin-regulated endomembrane trafficking to coordinate plant organogenesis
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
H. Semerádová, Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis, Institute of Science and Technology Austria, 2021.
2020 | Journal Article | IST-REx-ID: 11503 |
The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Lyα emitter fraction from z = 3 to z = 6
Kusakabe H, Blaizot J, Garel T, Verhamme A, Bacon R, Richard J, Hashimoto T, Inami H, Conseil S, Guiderdoni B, Drake AB, Christian Herenz E, Schaye J, Oesch P, Matthee JJ, Anna Marino R, Borello Schmidt K, Pelló R, Maseda M, Leclercq F, Kerutt J, Mahler G. 2020. The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Lyα emitter fraction from z = 3 to z = 6. Astronomy & Astrophysics. 638, A12.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Kusakabe H, Blaizot J, Garel T, Verhamme A, Bacon R, Richard J, Hashimoto T, Inami H, Conseil S, Guiderdoni B, Drake AB, Christian Herenz E, Schaye J, Oesch P, Matthee JJ, Anna Marino R, Borello Schmidt K, Pelló R, Maseda M, Leclercq F, Kerutt J, Mahler G. 2020. The MUSE Hubble Ultra Deep Field Survey: XIV. Evolution of the Lyα emitter fraction from z = 3 to z = 6. Astronomy & Astrophysics. 638, A12.
2020 | Journal Article | IST-REx-ID: 11529 |
The nature of CR7 revealed with MUSE: A young starburst powering extended Ly α emission at z = 6.6
J.J. Matthee, G. Pezzulli, R. Mackenzie, S. Cantalupo, H. Kusakabe, F. Leclercq, D. Sobral, J. Richard, L. Wisotzki, S. Lilly, L. Boogaard, R. Marino, M. Maseda, T. Nanayakkara, Monthly Notices of the Royal Astronomical Society 498 (2020) 3043–3059.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, G. Pezzulli, R. Mackenzie, S. Cantalupo, H. Kusakabe, F. Leclercq, D. Sobral, J. Richard, L. Wisotzki, S. Lilly, L. Boogaard, R. Marino, M. Maseda, T. Nanayakkara, Monthly Notices of the Royal Astronomical Society 498 (2020) 3043–3059.
2020 | Journal Article | IST-REx-ID: 11531 |
Elevated ionizing photon production efficiency in faint high-equivalent-width Lyman-α emitters
M.V. Maseda, R. Bacon, D. Lam, J.J. Matthee, J. Brinchmann, J. Schaye, I. Labbe, K.B. Schmidt, L. Boogaard, R. Bouwens, S. Cantalupo, M. Franx, T. Hashimoto, H. Inami, H. Kusakabe, G. Mahler, T. Nanayakkara, J. Richard, L. Wisotzki, Monthly Notices of the Royal Astronomical Society 493 (2020) 5120–5130.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M.V. Maseda, R. Bacon, D. Lam, J.J. Matthee, J. Brinchmann, J. Schaye, I. Labbe, K.B. Schmidt, L. Boogaard, R. Bouwens, S. Cantalupo, M. Franx, T. Hashimoto, H. Inami, H. Kusakabe, G. Mahler, T. Nanayakkara, J. Richard, L. Wisotzki, Monthly Notices of the Royal Astronomical Society 493 (2020) 5120–5130.
2020 | Journal Article | IST-REx-ID: 11612 |
Detection and characterization of oscillating red giants: First results from the TESS satellite
Aguirre VS, Stello D, Stokholm A, Mosumgaard JR, Ball WH, Basu S, Bossini D, Bugnet LA, Buzasi D, Campante TL, Carboneau L, Chaplin WJ, Corsaro E, Davies GR, Elsworth Y, García RA, Gaulme P, Hall OJ, Handberg R, Hon M, Kallinger T, Kang L, Lund MN, Mathur S, Mints A, Mosser B, Çelik Orhan Z, Rodrigues TS, Vrard M, Yıldız M, Zinn JC, Örtel S, Beck PG, Bell KJ, Guo Z, Jiang C, Kuszlewicz JS, Kuehn CA, Li T, Lundkvist MS, Pinsonneault M, Tayar J, Cunha MS, Hekker S, Huber D, Miglio A, F. G. Monteiro MJP, Slumstrup D, Winther ML, Angelou G, Benomar O, Bódi A, De Moura BL, Deheuvels S, Derekas A, Di Mauro MP, Dupret M-A, Jiménez A, Lebreton Y, Matthews J, Nardetto N, do Nascimento JD, Pereira F, Rodríguez Díaz LF, Serenelli AM, Spitoni E, Stonkutė E, Suárez JC, Szabó R, Van Eylen V, Ventura R, Verma K, Weiss A, Wu T, Barclay T, Christensen-Dalsgaard J, Jenkins JM, Kjeldsen H, Ricker GR, Seager S, Vanderspek R. 2020. Detection and characterization of oscillating red giants: First results from the TESS satellite. The Astrophysical Journal Letters. 889(2), L34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Aguirre VS, Stello D, Stokholm A, Mosumgaard JR, Ball WH, Basu S, Bossini D, Bugnet LA, Buzasi D, Campante TL, Carboneau L, Chaplin WJ, Corsaro E, Davies GR, Elsworth Y, García RA, Gaulme P, Hall OJ, Handberg R, Hon M, Kallinger T, Kang L, Lund MN, Mathur S, Mints A, Mosser B, Çelik Orhan Z, Rodrigues TS, Vrard M, Yıldız M, Zinn JC, Örtel S, Beck PG, Bell KJ, Guo Z, Jiang C, Kuszlewicz JS, Kuehn CA, Li T, Lundkvist MS, Pinsonneault M, Tayar J, Cunha MS, Hekker S, Huber D, Miglio A, F. G. Monteiro MJP, Slumstrup D, Winther ML, Angelou G, Benomar O, Bódi A, De Moura BL, Deheuvels S, Derekas A, Di Mauro MP, Dupret M-A, Jiménez A, Lebreton Y, Matthews J, Nardetto N, do Nascimento JD, Pereira F, Rodríguez Díaz LF, Serenelli AM, Spitoni E, Stonkutė E, Suárez JC, Szabó R, Van Eylen V, Ventura R, Verma K, Weiss A, Wu T, Barclay T, Christensen-Dalsgaard J, Jenkins JM, Kjeldsen H, Ricker GR, Seager S, Vanderspek R. 2020. Detection and characterization of oscillating red giants: First results from the TESS satellite. The Astrophysical Journal Letters. 889(2), L34.
2020 | Journal Article | IST-REx-ID: 7530 |
Heat rectification via a superconducting artificial atom
J.L. Senior, A. Gubaydullin, B. Karimi, J.T. Peltonen, J. Ankerhold, J.P. Pekola, Communications Physics 3 (2020).
[Published Version]
View
| Files available
| DOI
J.L. Senior, A. Gubaydullin, B. Karimi, J.T. Peltonen, J. Ankerhold, J.P. Pekola, Communications Physics 3 (2020).
2020 | Journal Article | IST-REx-ID: 7567 |
Coxeter triangulations have good quality
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.
[Published Version]
View
| Files available
| DOI
A. Choudhary, S. Kachanovich, M. Wintraecken, Mathematics in Computer Science 14 (2020) 141–176.
2020 | Conference Paper | IST-REx-ID: 9040 |
Formal methods with a touch of magic
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
[Published Version]
View
| Files available
| DOI
P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.
2020 | Journal Article | IST-REx-ID: 9129
How do ocean warm anomalies favor the aggregation of deep convective clouds?
S. Shamekh, C.J. Muller, J.-P. Duvel, F. D’Andrea, Journal of the Atmospheric Sciences 77 (2020) 3733–3745.
View
| DOI
S. Shamekh, C.J. Muller, J.-P. Duvel, F. D’Andrea, Journal of the Atmospheric Sciences 77 (2020) 3733–3745.
2020 | Journal Article | IST-REx-ID: 9685 |
Evidence for supercritical behaviour of high-pressure liquid hydrogen
B. Cheng, G. Mazzola, C.J. Pickard, M. Ceriotti, Nature 585 (2020) 217–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B. Cheng, G. Mazzola, C.J. Pickard, M. Ceriotti, Nature 585 (2020) 217–220.