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, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces.” Formal Methods in System Design. Springer Nature, 2024. 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, Ali, Krishnendu Chatterjee, Jakub Svoboda, and Raimundo J Saona Urmeneta. “Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights.” In 39th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 2024. https://doi.org/10.1145/3661814.3662080.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17101 |
Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Zero-Sum Random Games on Directed Graphs.” ArXiv, n.d. 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, Johannes C., Edouard B Hannezo, Gerhard Gompper, and Jens Elgeti. “Mechanically-Driven Stem Cell Separation in Tissues Caused by Proliferating Daughter Cells.” SciPost Physics. SciPost Foundation, 2024. 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, Jinyu, Jacopo Perego, Silvia Bracco, Piotr Cieciórski, Wojciech Danowski, Angiolina Comotti, and Ben L. Feringa. “Orthogonal Photoswitching in a Porous Organic Framework.” Angewandte Chemie International Edition. Wiley, 2024. https://doi.org/10.1002/anie.202404878.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17122 |
Ramming, Hannah, Linda Theuerkauf, Olaf Hoos, Katharina Lichter, and Sarah Kittel-Schneider. “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, 2024. 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, David, and Gašper Tkačik. “Information Content and Optimization of Self-Organized Developmental Systems.” PNAS. Proceedings of the National Academy of Sciences, 2024. 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, Christine, Yu Liu, and Maria Ibáñez. “Solution-Processed, Surface-Engineered, Polycrystalline CdSe-SnSe Exhibiting Low Thermal Conductivity.” Journal of Visualized Experiments. MyJove Corporation, 2024. https://doi.org/10.3791/66278.
View
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Tairi, Erkan, and Akin Ünal. “Lower Bounds for Lattice-Based Compact Functional Encryption.” In Advances in Cryptology – EUROCRYPT 2024, 14652:249–79. Springer Nature, 2024. 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, Victor, and Max Wenqiang Xu. “Paucity Phenomena for Polynomial Products.” Bulletin of the London Mathematical Society. London Mathematical Society, 2024. 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, Lorenzo, Jan Maas, and Francesco Pedrotti. “Local Conditions for Global Convergence of Gradient Flows and Proximal Point Sequences in Metric Spaces.” Transactions of the American Mathematical Society. American Mathematical Society, 2024. 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, Hana, André Lieutier, and Mathijs Wintraecken. “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. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. 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ünter, Moritz Rüber, and Morteza Saghafian. “Grid Peeling of Parabolas.” In 40th International Symposium on Computational Geometry, Vol. 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. 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, Herbert, and János Pach. “Maximum Betti Numbers of Čech Complexes.” In 40th International Symposium on Computational Geometry, Vol. 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. 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, Al, Marco Mondelli, and Matthew Richard Robinson. “Inference of Genetic Effects via Approximate Message Passing.” In 2024 IEEE International Conference on Acoustics, Speech, and Signal Processing, 13151–55. IEEE, 2024. https://doi.org/10.1109/ICASSP48485.2024.10447198.
View
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17149 |
Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion of Voronoi Paths and Scapes.” Discrete and Computational Geometry. Springer Nature, 2024. 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, Kathrin, Lea Marie Becker, Paul Schanda, and Matthias Ernst. “Evaluating the Motional Timescales Contributing to Averaged Anisotropic Interactions in MAS Solid-State NMR.” Magnetic Resonance. Copernicus Publications, 2024. https://doi.org/10.5194/mr-5-69-2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17162 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Quantitative Bounds on Resource Usage of Probabilistic Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3649824.
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17170 |
Attali, Dominique, Hana Kourimska, Christopher D Fillmore, Ishika Ghosh, André Lieutier, Elizabeth R Stephenson, and Mathijs Wintraecken. “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, 293:11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. https://doi.org/10.4230/LIPIcs.SoCG.2024.11.
[Published Version]
View
| Files available
| DOI
| arXiv