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.
6978 Publications
2023 |Published| Journal Article | IST-REx-ID: 14254 | 
R. Seiringer and J. P. Solovej, “A simple approach to Lieb-Thirring type inequalities,” Journal of Functional Analysis, vol. 285, no. 10. Elsevier, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14401 |
M. E. Maes, R. J. Donahue, C. L. Schlamp, O. J. Marola, R. T. Libby, and R. W. Nickells, “BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps,” Molecular Neurodegeneration, vol. 18. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |In Press| Conference Paper | IST-REx-ID: 14921 |
P. Súkeník, M. Mondelli, and C. Lampert, “Deep neural collapse is provably optimal for the deep unconstrained features model,” in 37th Annual Conference on Neural Information Processing Systems, New Orleans, LA, United States.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |Published| Thesis | IST-REx-ID: 13107 |
L. Knaus, “The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12802 |
L. Knaus et al., “Large neutral amino acid levels tune perinatal neuronal excitability and survival,” Cell, vol. 186, no. 9. Elsevier, p. 1950–1967.e25, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Submitted| Preprint | IST-REx-ID: 13312 |
M. Valentini et al., “Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14466 |
E. Marensi, G. Yalniz, and B. Hof, “Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows,” Journal of Fluid Mechanics, vol. 974. Cambridge University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Book Chapter | IST-REx-ID: 14992 |
M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in Density Functional Theory, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 13126 |
J. G. Danzl, “Research data for the publication ‘Imaging brain tissue architecture across millimeter to nanometer scales.’” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13314 |
Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments,” Nature Physics, vol. 19. Springer Nature, pp. 1916–1926, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14257 |
J. M. Michalska et al., “Imaging brain tissue architecture across millimeter to nanometer scales,” Nature Biotechnology. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Thesis | IST-REx-ID: 14280
P. Radler, “Spatiotemporal signaling during assembly of the bacterial divisome,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 13286 |
M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14260 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 156–169.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Epub ahead of print| Conference Paper | IST-REx-ID: 15023 |
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers,” in 23nd International Conference on Runtime Verification, Thessaloniki, Greek, 2023, vol. 14245, pp. 168–190.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Abstract | IST-REx-ID: 14748
Y.-L. Chen, M. Ly, and C. Wojtan, “Unified treatment of contact, friction and shock-propagation in rigid body animation,” in Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation, Los Angeles, CA, United States, 2023.
View
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)