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.
5373 Publications
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | 
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17098 |
Asadi, A., Chatterjee, K., Svoboda, J., & Saona Urmeneta, R. J. (2024). Deterministic sub-exponential algorithm for discounted-sum games with unary weights. In 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Tallinn, Estonia: Association for Computing Machinery. https://doi.org/10.1145/3661814.3662080
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17101 |
Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., & Ziliotto, B. (n.d.). Zero-sum random games on directed graphs. arXiv. https://doi.org/10.48550/arXiv.2401.16252
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17103 |
Jiang L, Zhang X, Zhao Y, Zhu H, Fu Q, Lu X, Huang W, Yang X, Zhou X, Wu L, Yang A, He X, Dong M, Peng Z, Yang J, Guo L, Wen J, Huang H, Xie Y, Zhu S, Li C, He X, Zhu Y, Friml J, Du Y. 2024. Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast. Nature Communications. 15, 3437.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17104 |
Krämer, J. C., Hannezo, E. B., Gompper, G., & Elgeti, J. (2024). Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.16.4.097
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17105 |
Sheng, J., Perego, J., Bracco, S., Cieciórski, P., Danowski, W., Comotti, A., & Feringa, B. L. (2024). Orthogonal photoswitching in a porous organic framework. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202404878
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17122 |
Ramming, H., Theuerkauf, L., Hoos, O., Lichter, K., & Kittel-Schneider, S. (2024). The association between maximal muscle strength, disease severity and psychopharmacotherapy among young to middle-aged inpatients with affective disorders – a prospective pilot study. BMC Psychiatry. Springer Nature. https://doi.org/10.1186/s12888-024-05849-2
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17123 |
Brückner, D., & Tkačik, G. (2024). Information content and optimization of self-organized developmental systems. PNAS. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2322326121
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17124
Fiedler, C., Liu, Y., & Ibáñez, M. (2024). Solution-processed, surface-engineered, polycrystalline CdSe-SnSe exhibiting low thermal conductivity. Journal of Visualized Experiments. MyJove Corporation. https://doi.org/10.3791/66278
View
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Tairi, E., & Ünal, A. (2024). Lower bounds for lattice-based compact functional encryption. In Advances in Cryptology – EUROCRYPT 2024 (Vol. 14652, pp. 249–279). Zurich, Switzerland: Springer Nature. https://doi.org/10.1007/978-3-031-58723-8_9
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2024 | Published | Journal Article | IST-REx-ID: 17127 |
Wang, V., & Xu, M. W. (2024). Paucity phenomena for polynomial products. Bulletin of the London Mathematical Society. London Mathematical Society. https://doi.org/10.1112/blms.13095
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17143 |
Dello Schiavo, L., Maas, J., & Pedrotti, F. (2024). Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/9156
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17144 |
Kourimska, H., Lieutier, A., & Wintraecken, M. (2024). The medial axis of any closed bounded set Is Lipschitz stable with respect to the Hausdorff distance Under ambient diffeomorphisms. In 40th International Symposium on Computational Geometry (Vol. 293). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.69
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17145 |
Rote, G., Rüber, M., & Saghafian, M. (2024). Grid peeling of parabolas. In 40th International Symposium on Computational Geometry (Vol. 293). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.76
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17146 |
Edelsbrunner, H., & Pach, J. (2024). Maximum Betti numbers of Čech complexes. In 40th International Symposium on Computational Geometry (Vol. 293). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.53
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17147
Depope, A., Mondelli, M., & Robinson, M. R. (2024). Inference of genetic effects via approximate message passing. In 2024 IEEE International Conference on Acoustics, Speech, and Signal Processing (pp. 13151–13155). Seoul, Korea: IEEE. https://doi.org/10.1109/ICASSP48485.2024.10447198
View
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17149 |
Edelsbrunner, H., & Nikitenko, A. (2024). Average and expected distortion of Voronoi paths and scapes. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-024-00660-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17161 |
Aebischer, K., Becker, L. M., Schanda, P., & Ernst, M. (2024). Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR. Magnetic Resonance. Copernicus Publications. https://doi.org/10.5194/mr-5-69-2024
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17162 |
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2024). Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3649824
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17170 |
Attali, D., Kourimska, H., Fillmore, C. D., Ghosh, I., Lieutier, A., Stephenson, E. R., & Wintraecken, M. (2024). Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds. In 40th International Symposium on Computational Geometry (Vol. 293, p. 11:1-11:19). Athens, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.11
[Published Version]
View
| Files available
| DOI
| arXiv