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.
4854 Publications
2020 | Published | Conference Paper | IST-REx-ID: 7505 | 
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
2020 | Published | Journal Article | IST-REx-ID: 7508 |
Higher order corrections to the mean-field description of the dynamics of interacting bosons
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics 178 (2020) 1362–1396.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics 178 (2020) 1362–1396.
2020 | Published | Journal Article | IST-REx-ID: 7509 |
From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
H. Zhang, Advances in Mathematics 365 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Zhang, Advances in Mathematics 365 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7511 |
Benchmarking tomographic acquisition schemes for high-resolution structural biology
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7512 |
Local laws for polynomials of Wigner matrices
L. Erdös, T.H. Krüger, Y. Nemish, Journal of Functional Analysis 278 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Erdös, T.H. Krüger, Y. Nemish, Journal of Functional Analysis 278 (2020).
2020 | Published | Thesis | IST-REx-ID: 7514 |
The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, Institute of Science and Technology Austria, 2020.
2020 | Published | Thesis | IST-REx-ID: 7525 |
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
2020 | Published | Journal Article | IST-REx-ID: 7534 |
Upper edge of chaos and the energetics of transition in pipe flow
N.B. Budanur, E. Marensi, A.P. Willis, B. Hof, Physical Review Fluids 5 (2020).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
N.B. Budanur, E. Marensi, A.P. Willis, B. Hof, Physical Review Fluids 5 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7540
In vitro shoot growth and adventitious rooting of Wikstroemia gemmata depends on light quality
I. Verstraeten, H. Buyle, S. Werbrouck, M.C. Van Labeke, D. Geelen, Israel Journal of Plant Sciences 67 (2020) 16–26.
View
| DOI
| WoS
I. Verstraeten, H. Buyle, S. Werbrouck, M.C. Van Labeke, D. Geelen, Israel Journal of Plant Sciences 67 (2020) 16–26.
2020 | Published | Journal Article | IST-REx-ID: 7541 |
Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Rančić, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials 32 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
F. Gao, J.-H. Wang, H. Watzinger, H. Hu, M.J. Rančić, J.-Y. Zhang, T. Wang, Y. Yao, G.-L. Wang, J. Kukucka, L. Vukušić, C. Kloeffel, D. Loss, F. Liu, G. Katsaros, J.-J. Zhang, Advanced Materials 32 (2020).
2020 | Submitted | Preprint | IST-REx-ID: 14096 |
Successful common envelope ejection and binary neutron star formation in 3D hydrodynamics
J.A.P.L.-S. Jamie A. P. Law-Smith, R.W. Everson, E.R.-R. Enrico Ramirez-Ruiz, S.E. de Mink, L.A.C. van Son, Y.L.L. Götberg, S. Zellmann, A.V.-G. Alejandro Vigna-Gómez, M. Renzo, S. Wu, S.L. Schrøder, R.J. Foley, T.H.-S. Tenley Hutchinson-Smith, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.A.P.L.-S. Jamie A. P. Law-Smith, R.W. Everson, E.R.-R. Enrico Ramirez-Ruiz, S.E. de Mink, L.A.C. van Son, Y.L.L. Götberg, S. Zellmann, A.V.-G. Alejandro Vigna-Gómez, M. Renzo, S. Wu, S.L. Schrøder, R.J. Foley, T.H.-S. Tenley Hutchinson-Smith, ArXiv (n.d.).
2020 | Published | Journal Article | IST-REx-ID: 14694 |
The Dyson equation with linear self-energy: Spectral bands, edges and cusps
J. Alt, L. Erdös, T.H. Krüger, Documenta Mathematica 25 (2020) 1421–1539.
[Published Version]
View
| Files available
| DOI
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Documenta Mathematica 25 (2020) 1421–1539.
2020 | Published | Journal Article | IST-REx-ID: 14891 |
The local density approximation in density functional theory
M. Lewin, E.H. Lieb, R. Seiringer, Pure and Applied Analysis 2 (2020) 35–73.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, Pure and Applied Analysis 2 (2020) 35–73.
2020 | Published | Journal Article | IST-REx-ID: 15036 |
Molecular recognition at septin interfaces: The switches hold the key
H.V.D. Rosa, D.A. Leonardo, G. Brognara, J. Brandão-Neto, H. D’Muniz Pereira, A.P.U. Araújo, R.C. Garratt, Journal of Molecular Biology 432 (2020) 5784–5801.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H.V.D. Rosa, D.A. Leonardo, G. Brognara, J. Brandão-Neto, H. D’Muniz Pereira, A.P.U. Araújo, R.C. Garratt, Journal of Molecular Biology 432 (2020) 5784–5801.
2020 | Published | Journal Article | IST-REx-ID: 15037 |
TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants
J. Moulinier-Anzola, M. Schwihla, L. De-Araújo, C. Artner, L. Jörg, N. Konstantinova, C. Luschnig, B. Korbei, Molecular Plant 13 (2020) 717–731.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Moulinier-Anzola, M. Schwihla, L. De-Araújo, C. Artner, L. Jörg, N. Konstantinova, C. Luschnig, B. Korbei, Molecular Plant 13 (2020) 717–731.
2020 | Published | Journal Article | IST-REx-ID: 15055 |
Reinforcement learning of risk-constrained policies in Markov decision processes
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brázdil, K. Chatterjee, P. Novotný, J. Vahala, Proceedings of the 34th AAAI Conference on Artificial Intelligence 34 (2020) 9794–9801.
2020 | Published | Journal Article | IST-REx-ID: 15057 |
VRK-1 extends life span by activation of AMPK via phosphorylation
S. Park, M. Artan, S.H. Han, H.-E.H. Park, Y. Jung, A.B. Hwang, W.S. Shin, K.-T. Kim, S.-J.V. Lee, Science Advances 6 (2020).
[Published Version]
View
| Files available
| DOI
S. Park, M. Artan, S.H. Han, H.-E.H. Park, Y. Jung, A.B. Hwang, W.S. Shin, K.-T. Kim, S.-J.V. Lee, Science Advances 6 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 15059
Compact millimeter and submillimeter-wave photonic radiometer for cubesats
M. Wasiak, G.S. Botello, K.A. Abdalmalak, F. Sedlmeir, A.R. Rueda Sanchez, D. Segovia-Vargas, H.G.L. Schwefel, L.E.G. Munoz, in:, 14th European Conference on Antennas and Propagation, IEEE, 2020.
View
| DOI
M. Wasiak, G.S. Botello, K.A. Abdalmalak, F. Sedlmeir, A.R. Rueda Sanchez, D. Segovia-Vargas, H.G.L. Schwefel, L.E.G. Munoz, in:, 14th European Conference on Antennas and Propagation, IEEE, 2020.
2020 | Published | Journal Article | IST-REx-ID: 15061 |
Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin
N. Pinotsis, K. Zielinska, M. Babuta, J.L. Arolas, J. Kostan, M.B. Khan, C. Schreiner, A.P. Testa Salmazo, L. Ciccarelli, M. Puchinger, E.A. Gkougkoulia, E. de A. Ribeiro, T.C. Marlovits, A. Bhattacharya, K. Djinovic-Carugo, Proceedings of the National Academy of Sciences 117 (2020) 22101–22112.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
N. Pinotsis, K. Zielinska, M. Babuta, J.L. Arolas, J. Kostan, M.B. Khan, C. Schreiner, A.P. Testa Salmazo, L. Ciccarelli, M. Puchinger, E.A. Gkougkoulia, E. de A. Ribeiro, T.C. Marlovits, A. Bhattacharya, K. Djinovic-Carugo, Proceedings of the National Academy of Sciences 117 (2020) 22101–22112.