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, Konstantin, et al. “Into the Unknown: Active Monitoring of Neural Networks (Extended Version).” International Journal on Software Tools for Technology Transfer, vol. 25, Springer Nature, 2023, pp. 575–92, doi: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, Tamás, et al. “Arithmetic and Metric Aspects of Open de Rham Spaces.” Proceedings of the London Mathematical Society, vol. 127, no. 4, Wiley, 2023, pp. 958–1027, doi: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, Robert, and Jan Philip Solovej. “A Simple Approach to Lieb-Thirring Type Inequalities.” Journal of Functional Analysis, vol. 285, no. 10, 110129, Elsevier, 2023, doi: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, Margaret E., et al. “BAX Activation in Mouse Retinal Ganglion Cells Occurs in Two Temporally and Mechanistically Distinct Steps.” Molecular Neurodegeneration, vol. 18, 67, Springer Nature, 2023, doi: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, Lisa. The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival. Institute of Science and Technology Austria, 2023, doi: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, Lisa, et al. “Large Neutral Amino Acid Levels Tune Perinatal Neuronal Excitability and Survival.” Cell, vol. 186, no. 9, Elsevier, 2023, p. 1950–1967.e25, doi: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, Marco, et al. “Radio Frequency Driven Superconducting Diode and Parity Conserving Cooper Pair Transport in a Two-Dimensional Germanium Hole Gas.” ArXiv, 2306.07109, doi: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, Elena, et al. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” Journal of Fluid Mechanics, vol. 974, A21, Cambridge University Press, 2023, doi: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, Mathieu, et al. “Universal Functionals in Density Functional Theory.” Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi: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, Johann G. Research Data for the Publication “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Institute of Science and Technology Austria, 2023, doi: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, Zuzana, et al. Chiral and Nematic Phases of Flexible Active Filaments. Institute of Science and Technology Austria, 2023, doi: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, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi: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, Julia M., et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Nature Biotechnology, Springer Nature, 2023, doi: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, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi: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, Marco. 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, doi: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, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi: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, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi: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, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” 23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi: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, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi: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, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv