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 | 
Henzinger, T. A., Lukina, A., & Schilling, C. (2020). Outside the box: Abstraction-based monitoring of neural networks. In 24th European Conference on Artificial Intelligence (Vol. 325, pp. 2433–2440). Santiago de Compostela, Spain: IOS Press. https://doi.org/10.3233/FAIA200375
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7508 |
Bossmann, L., Pavlović, N., Pickl, P., & Soffer, A. (2020). Higher order corrections to the mean-field description of the dynamics of interacting bosons. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-020-02500-8
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7509 |
Zhang, H. (2020). From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2020.107053
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7511 |
Turoňová, B., Hagen, W. J. H., Obr, M., Mosalaganti, S., Beugelink, J. W., Zimmerli, C. E., … Beck, M. (2020). Benchmarking tomographic acquisition schemes for high-resolution structural biology. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-14535-2
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7512 |
Erdös, L., Krüger, T. H., & Nemish, Y. (2020). Local laws for polynomials of Wigner matrices. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2020.108507
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Thesis | IST-REx-ID: 7514 |
Mayer, S. (2020). The free energy of a dilute two-dimensional Bose gas. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7514
[Published Version]
View
| Files available
| DOI
2020 | Published | Thesis | IST-REx-ID: 7525 |
Bhandari, P. (2020). Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:7525
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 7534 |
Budanur, N. B., Marensi, E., Willis, A. P., & Hof, B. (2020). Upper edge of chaos and the energetics of transition in pipe flow. Physical Review Fluids. American Physical Society. https://doi.org/10.1103/physrevfluids.5.023903
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 7540
Verstraeten, I., Buyle, H., Werbrouck, S., Van Labeke, M. C., & Geelen, D. (2020). In vitro shoot growth and adventitious rooting of Wikstroemia gemmata depends on light quality. Israel Journal of Plant Sciences. Brill. https://doi.org/10.1163/22238980-20191110
View
| DOI
| WoS
2020 | Published | Journal Article | IST-REx-ID: 7541 |
Gao, F., Wang, J.-H., Watzinger, H., Hu, H., Rančić, M. J., Zhang, J.-Y., … Zhang, J.-J. (2020). Site-controlled uniform Ge/Si hut wires with electrically tunable spin-orbit coupling. Advanced Materials. Wiley. https://doi.org/10.1002/adma.201906523
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Submitted | Preprint | IST-REx-ID: 14096 |
Jamie A. P. Law-Smith, J. A. P. L.-S., Everson, R. W., Enrico Ramirez-Ruiz, E. R.-R., Mink, S. E. de, Son, L. A. C. van, Götberg, Y. L. L., … Tenley Hutchinson-Smith, T. H.-S. (n.d.). Successful common envelope ejection and binary neutron star formation in 3D hydrodynamics. arXiv. https://doi.org/10.48550/arXiv.2011.06630
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Research Data | IST-REx-ID: 14592 |
Schur, F. K. (2020). STL-files for 3D-printed grid holders described in Fäßler F, Zens B, et al.; 3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14592
[Published Version]
View
| Files available
| DOI
2020 | Published | Journal Article | IST-REx-ID: 14694 |
Alt, J., Erdös, L., & Krüger, T. H. (2020). The Dyson equation with linear self-energy: Spectral bands, edges and cusps. Documenta Mathematica. EMS Press. https://doi.org/10.4171/dm/780
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 14891 |
Lewin, M., Lieb, E. H., & Seiringer, R. (2020). The local density approximation in density functional theory. Pure and Applied Analysis. Mathematical Sciences Publishers. https://doi.org/10.2140/paa.2020.2.35
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 15036 |
Rosa, H. V. D., Leonardo, D. A., Brognara, G., Brandão-Neto, J., D’Muniz Pereira, H., Araújo, A. P. U., & Garratt, R. C. (2020). Molecular recognition at septin interfaces: The switches hold the key. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2020.09.001
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 15037 |
Moulinier-Anzola, J., Schwihla, M., De-Araújo, L., Artner, C., Jörg, L., Konstantinova, N., … Korbei, B. (2020). TOLs function as ubiquitin receptors in the early steps of the ESCRT pathway in higher plants. Molecular Plant. Elsevier. https://doi.org/10.1016/j.molp.2020.02.012
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2020 | Published | Journal Article | IST-REx-ID: 15055 |
Brázdil, T., Chatterjee, K., Novotný, P., & Vahala, J. (2020). Reinforcement learning of risk-constrained policies in Markov decision processes. Proceedings of the 34th AAAI Conference on Artificial Intelligence. New York, NY, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v34i06.6531
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 15057 |
Park, S., Artan, M., Han, S. H., Park, H.-E. H., Jung, Y., Hwang, A. B., … Lee, S.-J. V. (2020). VRK-1 extends life span by activation of AMPK via phosphorylation. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aaw7824
[Published Version]
View
| Files available
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 15059
Wasiak, M., Botello, G. S., Abdalmalak, K. A., Sedlmeir, F., Rueda Sanchez, A. R., Segovia-Vargas, D., … Munoz, L. E. G. (2020). Compact millimeter and submillimeter-wave photonic radiometer for cubesats. In 14th European Conference on Antennas and Propagation. Copenhagen, Denmark: IEEE. https://doi.org/10.23919/eucap48036.2020.9135962
View
| DOI
2020 | Published | Journal Article | IST-REx-ID: 15061 |
Pinotsis, N., Zielinska, K., Babuta, M., Arolas, J. L., Kostan, J., Khan, M. B., … Djinovic-Carugo, K. (2020). Calcium modulates the domain flexibility and function of an α-actinin similar to the ancestral α-actinin. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.1917269117
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC