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.
5058 Publications
2023 |Published| Journal Article | IST-REx-ID: 14985 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
[Published Version]
View
| Files available
| DOI
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
2023 |Published| Conference Paper | IST-REx-ID: 14989 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Parakeet: Practical key transparency for end-to-end eEncrypted messaging
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 14411 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
2023 |Published| Book Chapter | IST-REx-ID: 14992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
2023 |Published| Journal Article | IST-REx-ID: 12675 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L.M. Becker, M. Berbon, A. Vallet, A. Grelard, E. Morvan, B. Bardiaux, R. Lichtenecker, M. Ernst, A. Loquet, P. Schanda, Angewandte Chemie International Edition 62 (2023).
2023 |Published| Journal Article | IST-REx-ID: 13314 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chiral and nematic phases of flexible active filaments
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.
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)
Imaging brain tissue architecture across millimeter to nanometer scales
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
J.M. Michalska, J. Lyudchik, P. Velicky, H. Korinkova, J. Watson, A. Cenameri, C.M. Sommer, N. Amberg, A. Venturino, K. Roessler, T. Czech, R. Höftberger, S. Siegert, G. Novarino, P.M. Jonas, J.G. Danzl, Nature Biotechnology (2023).
2023 |Published| Thesis | IST-REx-ID: 14280
Spatiotemporal signaling during assembly of the bacterial divisome
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
P. Radler, Spatiotemporal Signaling during Assembly of the Bacterial Divisome, Institute of Science and Technology Austria, 2023.
2023 |Published| Thesis | IST-REx-ID: 13286 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
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
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.
2023 | Research Data Reference | IST-REx-ID: 15027 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
aggregation_data
S. Curk, (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Curk, (2023).
2023 |Published| Conference Paper | IST-REx-ID: 14758 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 |Published| Journal Article | IST-REx-ID: 14654 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version]
View
| Files available
| DOI
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
2023 |Published| Conference Paper | IST-REx-ID: 13139 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Correct approximation of stationary distributions
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
[Published Version]
View
| Files available
| DOI
| arXiv
T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.
2023 | Research Data Reference | IST-REx-ID: 14991 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
2023 | Research Data Reference | IST-REx-ID: 14990 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Meggendorfer, (2023).
2023 |Published| Conference Paper | IST-REx-ID: 14260 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
[Published Version]
View
| Files available
| DOI
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.
2023 | Research Data Reference | IST-REx-ID: 14995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 | Research Data Reference | IST-REx-ID: 14994 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
2023 |Epub ahead of print| Conference Paper | IST-REx-ID: 15023 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 14993 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version]
View
| Download Published Version (ext.)
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.