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.
5128 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14989 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
H. Malvai et al., “Parakeet: Practical key transparency for end-to-end eEncrypted messaging,” in Proceedings of the 2023 Network and Distributed System Security Symposium, San Diego, CA, United States, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14411 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
N. Beneš, L. Brim, S. Pastva, D. Šafránek, and E. Šmijáková, “Phenotype control of partially specified boolean networks,” in 21st International Conference on Computational Methods in Systems Biology, Luxembourg City, Luxembourg, 2023, vol. 14137, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
2023 |Published| Book Chapter | IST-REx-ID: 14992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |Published| Journal Article | IST-REx-ID: 12675 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. M. Becker et al., “The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues,” Angewandte Chemie International Edition, vol. 62, no. 19. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12497 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. M. Becker and P. Schanda, “Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 13126 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 | Research Data Reference | IST-REx-ID: 15027 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
S. Curk, “aggregation_data.” Figshare, 2023.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14758 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties,” in 35th International Conference on Computer Aided Verification, Paris, France, 2023, vol. 13966, pp. 3–15.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14654 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Assessing memory in convection schemes using idealized tests,” Journal of Advances in Modeling Earth Systems, vol. 15, no. 12. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13139 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Research Data Reference | IST-REx-ID: 14991 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing memory in convection schemes using idealized tests.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14990 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Conference Paper | IST-REx-ID: 14260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 | Research Data Reference | IST-REx-ID: 14994 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)