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.
5507 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14317 | 
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2023). MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In International Conference on Computer Aided Verification (Vol. 13966, pp. 86–112). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_5
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14318 |
Sun, Y., Fu, H., Chatterjee, K., & Goharshady, A. K. (2023). Automated tail bound analysis for probabilistic recurrence relations. In Computer Aided Verification (Vol. 13966, pp. 16–39). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_2
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14319 |
Anastos, M., Fabian, D., Müyesser, A., & Szabó, T. (2023). Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/11714
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14320 |
Henderson, P. M., Ghazaryan, A., Zibrov, A. A., Young, A. F., & Serbyn, M. (2023). Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.108.125411
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14321 |
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. AIP Publishing. https://doi.org/10.1063/5.0165806
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14323
[Published Version]
View
| Files available
| DOI
2023 | Submitted | Preprint | IST-REx-ID: 14333 |
Faller, P. M., Vankadara, L. C., Mastakouri, A. A., Locatello, F., & Janzing, D. (n.d.). Self-compatibility: Evaluating causal discovery without ground truth. arXiv. https://doi.org/10.48550/arXiv.2307.09552
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14334 |
Brighi, P., Ljubotina, M., & Serbyn, M. (2023). Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.15.3.093
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14339 |
Roychoudhry, S., Sageman-Furnas, K., Wolverton, C., Grones, P., Tan, S., Molnar, G., … Kepinski, S. (2023). Antigravitropic PIN polarization maintains non-vertical growth in lateral roots. Nature Plants. Springer Nature. https://doi.org/10.1038/s41477-023-01478-x
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14341 |
Scarselli, D., Lopez Alonso, J. M., Varshney, A., & Hof, B. (2023). Turbulence suppression by cardiac-cycle-inspired driving of pipe flow. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06399-5
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14342 |
Lorenc, D., & Alpichshev, Z. (2023). Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam. Applied Physics Letters. AIP Publishing. https://doi.org/10.1063/5.0161713
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14343 |
Cipolloni, G., Erdös, L., Henheik, S. J., & Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.70
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14344 |
Anastos, M. (2023). Fast algorithms for solving the Hamilton cycle problem with high probability. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2023, pp. 2286–2323). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch88
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14361 |
Riedl, M., Mayer, I. D., Merrin, J., Sixt, M. K., & Hof, B. (2023). Synchronization in collectively moving inanimate and living active matter. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41432-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14362 |
Castellano, I., Giordano Bruno, A., & Zava, N. (2023). Weakly weighted generalised quasi-metric spaces and semilattices. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2023.114129
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14363 |
Maes, M. E., Colombo, G., Schoot Uiterkamp, F. E., Sternberg, F., Venturino, A., Pohl, E. E., & Siegert, S. (2023). Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout. IScience. Elsevier. https://doi.org/10.1016/j.isci.2023.107780
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14364 |
Alistarh, D.-A., Aspnes, J., Ellen, F., Gelashvili, R., & Zhu, L. (2023). Why extension-based proofs fail. SIAM Journal on Computing. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1375851
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Thesis | IST-REx-ID: 14374 |
Roos, B. (2023). Boundary superconductivity in BCS theory. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14374
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14378 |
Ucar, M. C., Hannezo, E. B., Tiilikainen, E., Liaqat, I., Jakobsson, E., Nurmi, H., & Vaahtomeri, K. (2023). Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41456-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14379
Mahato, N., Singh, S., Faisal, M., Sreekanth, T. V. M., Majumder, S., Yoo, K., & Kim, J. (2023). Polycrystalline phases grown in-situ engendering unique mechanism of charge storage in polyaniline-graphite composite. Synthetic Metals. Elsevier. https://doi.org/10.1016/j.synthmet.2023.117463
View
| DOI
| WoS