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.
522 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9969 | 
LightPIR: Privacy-preserving route discovery for payment channel networks
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
2021 | Published | Journal Article | IST-REx-ID: 19492 |
Kuroda’s formula and arithmetic statistics
S. Chan, D. Milovic, Mathematische Zeitschrift 300 (2021) 1509–1527.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Chan, D. Milovic, Mathematische Zeitschrift 300 (2021) 1509–1527.
2021 | Published | Journal Article | IST-REx-ID: 8757 |
Talking science, online
P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Bozelos, T.P. Vogels, Nature Reviews Neuroscience 22 (2021) 1–2.
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Stochastic processes with expected stopping time
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
2021 | Published | Journal Article | IST-REx-ID: 20619 |
WDVV-type relations for disk Gromov–Witten invariants in dimension 6
X. Chen, A. Zinger, Mathematische Annalen 379 (2021) 1231–1313.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
X. Chen, A. Zinger, Mathematische Annalen 379 (2021) 1231–1313.
2020 | Published | Journal Article | IST-REx-ID: 13466 |
The young massive SMC cluster NGC 330 seen by MUSE
J. Bodensteiner, H. Sana, L. Mahy, L.R. Patrick, A. de Koter, S.E. de Mink, C.J. Evans, Y.L.L. Götberg, N. Langer, D.J. Lennon, F.R.N. Schneider, F. Tramper, Astronomy & Astrophysics 634 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
J. Bodensteiner, H. Sana, L. Mahy, L.R. Patrick, A. de Koter, S.E. de Mink, C.J. Evans, Y.L.L. Götberg, N. Langer, D.J. Lennon, F.R.N. Schneider, F. Tramper, Astronomy & Astrophysics 634 (2020).
2020 | Published | 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 | Published | 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.
2020 | Published | Journal Article | IST-REx-ID: 11539 |
The X-ray and radio activity of typical and luminous Ly α emitters from z ∼ 2 to z ∼ 6: Evidence for a diverse, evolving population
J. Calhau, D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, A. Stroe, B. Simmons, C. Barlow-Hall, B. Adams, Monthly Notices of the Royal Astronomical Society 493 (2020) 3341–3362.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Calhau, D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, A. Stroe, B. Simmons, C. Barlow-Hall, B. Adams, Monthly Notices of the Royal Astronomical Society 493 (2020) 3341–3362.
2020 | Published | Journal Article | IST-REx-ID: 11610 |
The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7
Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Bugnet LA, Jones C, Hon M, Sharma S, Schönrich R, Warfield JT, Luger R, Pinsonneault MH, Johnson JA, Huber D, Aguirre VS, Chaplin WJ, Davies GR, Miglio A. 2020. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 251(2), 23.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Zinn JC, Stello D, Elsworth Y, García RA, Kallinger T, Mathur S, Mosser B, Bugnet LA, Jones C, Hon M, Sharma S, Schönrich R, Warfield JT, Luger R, Pinsonneault MH, Johnson JA, Huber D, Aguirre VS, Chaplin WJ, Davies GR, Miglio A. 2020. The K2 galactic archaeology program data release 2: Asteroseismic results from campaigns 4, 6, and 7. The Astrophysical Journal Supplement Series. 251(2), 23.
2020 | Published | Journal Article | IST-REx-ID: 11979 |
Overcoming limitations in dual photoredox/nickel-catalysed C–N cross-couplings due to catalyst deactivation
S. Gisbertz, S. Reischauer, B. Pieber, Nature Catalysis 3 (2020) 611–620.
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Gisbertz, S. Reischauer, B. Pieber, Nature Catalysis 3 (2020) 611–620.
2020 | Published | Journal Article | IST-REx-ID: 17542 |
Self-consistent semianalytic modeling of feedback during primordial star formation and reionization
E. Visbal, G.L. Bryan, Z. Haiman, The Astrophysical Journal 897 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Visbal, G.L. Bryan, Z. Haiman, The Astrophysical Journal 897 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 15071 |
Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T
V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, V. Shcherbakova, in:, Proceedings of 1st International Electronic Conference on Microbiology, MDPI, 2020.
[Published Version]
View
| Files available
| DOI
V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, V. Shcherbakova, in:, Proceedings of 1st International Electronic Conference on Microbiology, MDPI, 2020.
2020 | Published | Book (Editor) | IST-REx-ID: 7474 |
Austrian High-Performance-Computing meeting (AHPC2020)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
[Published Version]
View
| Files available
| DOI
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 7632 |
Action representation in the mouse parieto-frontal network
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
2020 | Published | Journal Article | IST-REx-ID: 8402 |
The mitochondrial carrier pathway transports non-canonical substrates with an odd number of transmembrane segments
H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou, M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Rampelt, I. Sucec, B. Bersch, P. Horten, I. Perschil, J.-C. Martinou, M. van der Laan, N. Wiedemann, P. Schanda, N. Pfanner, BMC Biology 18 (2020).
2020 | Research Data Reference | IST-REx-ID: 9885
MURL_Dataz
M.C. Ucar, R. Lipowsky, (2020).
[Published Version]
View
| Files available
| DOI
M.C. Ucar, R. Lipowsky, (2020).
2020 | Published | Journal Article | IST-REx-ID: 8973 |
Symmetric simple exclusion process in dynamic environment: Hydrodynamics
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
F. Redig, E. Saada, F. Sau, Electronic Journal of Probability 25 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 8571 |
ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.