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.
5250 Publications
2023 |Published| Conference Paper | IST-REx-ID: 14318 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sun Y, Fu H, Chatterjee K, Goharshady AK. 2023. Automated tail bound analysis for probabilistic recurrence relations. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 16–39.
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 14317 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. 2023. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 86–112.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14316 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nagano M, Aoshima K, Shimamura H, Siekhaus DE, Toshima JY, Toshima J. 2023. Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway. Journal of Cell Science. 136(17), jcs261448.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 14320 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henderson PM, Ghazaryan A, Zibrov AA, Young AF, Serbyn M. 2023. Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene. Physical Review B. 108(12), 125411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Thesis | IST-REx-ID: 12732 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brighi P. 2023. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria.
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 14334 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Brighi P, Ljubotina M, Serbyn M. 2023. Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. SciPost Physics. 15(3), 093.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14321 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Al Hyder R, Cappellaro A, Lemeshko M, Volosniev A. 2023. Achiral dipoles on a ferromagnet can affect its magnetization direction. The Journal of Chemical Physics. 159(10), 104103.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14342 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lorenc D, Alpichshev Z. 2023. Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam. Applied Physics Letters. 123(9), 091104.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: International Conference on Interactive Theorem Proving, LIPIcs, vol. 268, 15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 13969 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Arroyo Guevara AM, Felsner S. 2023. Approximating the bundled crossing number. Journal of Graph Algorithms and Applications. 27(6), 433–457.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14344 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Anastos M. 2023. Fast algorithms for solving the Hamilton cycle problem with high probability. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2023, 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12710 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 13340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gemen J, Church JR, Ruoko T-P, Durandin N, Białek MJ, Weissenfels M, Feller M, Kazes M, Borin VA, Odaybat M, Kalepu R, Diskin-Posner Y, Oron D, Fuchter MJ, Priimagi A, Schapiro I, Klajn R. 2023. Disequilibrating azoarenes by visible-light sensitization under confinement. Science. 381(6664), 1357–1363.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 |Published| Journal Article | IST-REx-ID: 12705 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sorichetti V, Ninarello A, Ruiz-Franco J, Hugouvieux V, Zaccarelli E, Micheletti C, Kob W, Rovigatti L. 2023. Structure and elasticity of model disordered, polydisperse, and defect-free polymer networks. Journal of Chemical Physics. 158(7), 074905.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 12738 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Katoen JP, Mohr S, Weininger M, Winkler T. 2023. Stochastic games with lexicographic objectives. Formal Methods in System Design.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
2023 | Research Data Reference | IST-REx-ID: 14279 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ucar MC. 2023. Source data for the manuscript ‘CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration’, Zenodo, 10.5281/ZENODO.8133960.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 10405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cipolloni G, Erdös L, Schröder DJ. 2023. Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 76(5), 946–1034.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 10770 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Graham T, Kleshnina M, Filar JA. 2023. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 13, 231–264.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |Published| Journal Article | IST-REx-ID: 10145 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dello Schiavo L. 2023. Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. 58, 573–615.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12669 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Manavella PA, Godoy Herz MA, Kornblihtt AR, Sorenson R, Sieburth LE, Nakaminami K, Seki M, Ding Y, Sun Q, Kang H, Ariel FD, Crespi M, Giudicatti AJ, Cai Q, Jin H, Feng X, Qi Y, Pikaard CS. 2023. Beyond transcription: compelling open questions in plant RNA biology. The Plant Cell. 35(6), koac346.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC