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.
363 Publications
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 | 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 | Conference Paper | IST-REx-ID: 7952 |
The topological correctness of PL-approximations of isomanifolds
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
[Published Version]
View
| Files available
| DOI
J.-D. Boissonnat, M. Wintraecken, in:, 36th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 7792
Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation
J. Taboada-Gutiérrez, G. Álvarez-Pérez, J. Duan, W. Ma, K. Crowley, I. Prieto Gonzalez, A. Bylinkin, M. Autore, H. Volkova, K. Kimura, T. Kimura, M.H. Berger, S. Li, Q. Bao, X.P.A. Gao, I. Errea, A.Y. Nikitin, R. Hillenbrand, J. Martín-Sánchez, P. Alonso-González, Nature Materials 19 (2020) 964–968.
View
| DOI
| WoS
| PubMed | Europe PMC
J. Taboada-Gutiérrez, G. Álvarez-Pérez, J. Duan, W. Ma, K. Crowley, I. Prieto Gonzalez, A. Bylinkin, M. Autore, H. Volkova, K. Kimura, T. Kimura, M.H. Berger, S. Li, Q. Bao, X.P.A. Gao, I. Errea, A.Y. Nikitin, R. Hillenbrand, J. Martín-Sánchez, P. Alonso-González, Nature Materials 19 (2020) 964–968.
2020 | Journal Article | IST-REx-ID: 7940 |
The PBW theorem for affine Yangians
Y. Yang, G. Zhao, Transformation Groups 25 (2020) 1371–1385.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Yang, G. Zhao, Transformation Groups 25 (2020) 1371–1385.
2020 | Journal Article | IST-REx-ID: 8091 |
Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
2020 | Journal Article | IST-REx-ID: 8568 |
Persistent and reversible solid iodine electrodeposition in nanoporous carbons
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 7207 |
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.
2020 | 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 | 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 | Journal Article | IST-REx-ID: 7161 |
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
[Submitted Version]
View
| Files available
| DOI
| WoS
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
2019 | Journal Article | IST-REx-ID: 11505 |
Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
2019 | Journal Article | IST-REx-ID: 11535 |
The clustering of typical Ly α emitters from z ∼ 2.5–6: Host halo masses depend on Ly α and UV luminosities
A.A. Khostovan, D. Sobral, B. Mobasher, J.J. Matthee, R.K. Cochrane, N. Chartab, M. Jafariyazani, A. Paulino-Afonso, S. Santos, J. Calhau, Monthly Notices of the Royal Astronomical Society 489 (2019) 555–573.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A.A. Khostovan, D. Sobral, B. Mobasher, J.J. Matthee, R.K. Cochrane, N. Chartab, M. Jafariyazani, A. Paulino-Afonso, S. Santos, J. Calhau, Monthly Notices of the Royal Astronomical Society 489 (2019) 555–573.
2019 | Conference Paper | IST-REx-ID: 11850 |
Efficient distributed workload (re-)embedding
M.H. Henzinger, S. Neumann, S. Schmid, in:, SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2019, pp. 43–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Neumann, S. Schmid, in:, SIGMETRICS’19: International Conference on Measurement and Modeling of Computer Systems, Association for Computing Machinery, 2019, pp. 43–44.
2019 | Conference Paper | IST-REx-ID: 11851
Shared-memory exact minimum cuts
M.H. Henzinger, A. Noe, C. Schulz, in:, 33rd International Parallel and Distributed Processing Symposium, Institute of Electrical and Electronics Engineers, 2019.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, A. Noe, C. Schulz, in:, 33rd International Parallel and Distributed Processing Symposium, Institute of Electrical and Electronics Engineers, 2019.
2019 | Journal Article | IST-REx-ID: 170 |
Counting rational points on quartic del Pezzo surfaces with a rational conic
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
[Published Version]
View
| Files available
| DOI
| arXiv
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
2019 | Book Chapter | IST-REx-ID: 5793
Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids
Y. Asaoka, H. Morita, H. Furumoto, C.-P.J. Heisenberg, M. Furutani-Seiki, in:, A. Hergovich (Ed.), The Hippo Pathway, Springer, 2019, pp. 167–181.
View
| DOI
Y. Asaoka, H. Morita, H. Furumoto, C.-P.J. Heisenberg, M. Furutani-Seiki, in:, A. Hergovich (Ed.), The Hippo Pathway, Springer, 2019, pp. 167–181.