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.
7036 Publications
2023 |Published| Journal Article | IST-REx-ID: 13234 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kueffner, K., Lukina, A., Schilling, C., & Henzinger, T. A. (2023). Into the unknown: Active monitoring of neural networks (extended version). International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-023-00711-4
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14244 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel, T., Wong, M. L., & Wyss, D. (2023). Arithmetic and metric aspects of open de Rham spaces. Proceedings of the London Mathematical Society. Wiley. https://doi.org/10.1112/plms.12555
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14254 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer, R., & Solovej, J. P. (2023). A simple approach to Lieb-Thirring type inequalities. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2023.110129
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Maes, M. E., Donahue, R. J., Schlamp, C. L., Marola, O. J., Libby, R. T., & Nickells, R. W. (2023). BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. Springer Nature. https://doi.org/10.1186/s13024-023-00659-8
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Thesis | IST-REx-ID: 13107 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Knaus, L. (2023). The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13107
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 12802 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Knaus, L., Basilico, B., Malzl, D., Gerykova Bujalkova, M., Smogavec, M., Schwarz, L. A., … Novarino, G. (2023). Large neutral amino acid levels tune perinatal neuronal excitability and survival. Cell. Elsevier. https://doi.org/10.1016/j.cell.2023.02.037
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Submitted| Preprint | IST-REx-ID: 13312 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Valentini, M., Sagi, O., Baghumyan, L., Gijsel, T. de, Jung, J., Calcaterra, S., … Katsaros, G. (n.d.). Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas. arXiv. https://doi.org/10.48550/arXiv.2306.07109
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14466 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Marensi, E., Yalniz, G., & Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2023.780
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Book Chapter | IST-REx-ID: 14992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lewin, M., Lieb, E. H., & Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances & G. Friesecke (Eds.), Density Functional Theory (1st ed., pp. 115–182). Springer. https://doi.org/10.1007/978-3-031-22340-2_3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Research Data | IST-REx-ID: 13126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danzl, J. G. (2023). Research data for the publication “Imaging brain tissue architecture across millimeter to nanometer scales.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13126
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13116 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:13116
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14257 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Michalska, J. M., Lyudchik, J., Velicky, P., Korinkova, H., Watson, J., Cenameri, A., … Danzl, J. G. (2023). Imaging brain tissue architecture across millimeter to nanometer scales. Nature Biotechnology. Springer Nature. https://doi.org/10.1038/s41587-023-01911-8
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 |Published| Thesis | IST-REx-ID: 14280
Radler, P. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14280
[Published Version]
View
| Files available
| DOI
2023 |Published| Thesis | IST-REx-ID: 13286 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13286
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. https://doi.org/10.5281/ZENODO.7877757
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14076 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. In 23nd International Conference on Runtime Verification (Vol. 14245, pp. 168–190). Thessaloniki, Greek: Springer Nature. https://doi.org/10.1007/978-3-031-44267-4_9
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 15035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. https://doi.org/10.5281/ZENODO.8191723
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Submitted| Preprint | IST-REx-ID: 15039 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv