Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5373 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 | 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 | Published | Journal Article | IST-REx-ID: 7546 |
Natural variation in a dendritic scaffold protein remodels experience-dependent plasticity by altering neuropeptide expression
I. Beets, G. Zhang, L.A. Fenk, C. Chen, G.M. Nelson, M.-A. Félix, M. de Bono, Neuron 105 (2020) 106–121.e10.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Beets, G. Zhang, L.A. Fenk, C. Chen, G.M. Nelson, M.-A. Félix, M. de Bono, Neuron 105 (2020) 106–121.e10.
2020 | Published | Journal Article | IST-REx-ID: 7554 |
Weighted Poisson–Delaunay mosaics
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
H. Edelsbrunner, A. Nikitenko, Theory of Probability and Its Applications 64 (2020) 595–614.
2020 | Published | Journal Article | IST-REx-ID: 7563 |
Inferring symbolic dynamics of chaotic flows from persistence
G. Yalniz, N.B. Budanur, Chaos 30 (2020).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
G. Yalniz, N.B. Budanur, Chaos 30 (2020).
2020 | Published | 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 | Published | Journal Article | IST-REx-ID: 7570 |
Slow quantum thermalization and many-body revivals from mixed phase space
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review X 10 (2020).
2020 | Published | Book Chapter | IST-REx-ID: 7572 |
Computational analysis of filament polymerization dynamics in cytoskeletal networks
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
P.R. Dos Santos Caldas, P. Radler, C.M. Sommer, M. Loose, in:, P. Tran (Ed.), Methods in Cell Biology, Elsevier, 2020, pp. 145–161.
2020 | Published | Journal Article | IST-REx-ID: 7573 |
Homogenisation of one-dimensional discrete optimal transport
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Journal de Mathematiques Pures et Appliquees 139 (2020) 204–234.
2020 | Published | Journal Article | IST-REx-ID: 7580 |
Stochastic activation and bistability in a Rab GTPase regulatory network
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
U. Bezeljak, H. Loya, B.M. Kaczmarek, T.E. Saunders, M. Loose, Proceedings of the National Academy of Sciences 117 (2020) 6504–6549.
2020 | Published | Journal Article | IST-REx-ID: 7582 |
Molecular evolution and diversification of proteins involved in miRNA maturation pathway
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7586 |
Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7593 |
LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020).