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.
5125 Publications
2024 | 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
| arXiv
2024 | Journal Article | IST-REx-ID: 17037
Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2024. https://doi.org/10.1287/moor.2023.0297.
View
| DOI
2024 | Preprint | IST-REx-ID: 17098 | 
Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2405.02479.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Preprint | IST-REx-ID: 17099 |
Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Concurrent Stochastic Games with Stateful-Discounted and Parity Objectives: Complexity and Algorithms.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2405.02486.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | 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 | 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 | 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 | 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 | Journal Article | IST-REx-ID: 10018 |
Derenthal, Ulrich, and Florian Alexander Wilsch. “Integral Points on Singular Del Pezzo Surfaces.” Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2024. https://doi.org/10.1017/S1474748022000482.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Conference Paper | IST-REx-ID: 17053
Froleyks, Nils, Zhengqi Yu, and Armin Biere. “Ternary Simulation as Abstract Interpretation (Work in Progress).” In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 148–51, n.d.
View
2024 | 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 | 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 | Journal Article | IST-REx-ID: 17125
Bassani CL, Van Anders G, Banin U, Baranov D, Chen Q, Dijkstra M, Dimitriyev MS, Efrati E, Faraudo J, Gang O, Gaston N, Golestanian R, Guerrero-Garcia GI, Gruenwald M, Haji-Akbari A, Ibáñez M, Karg M, Kraus T, Lee B, Van Lehn RC, Macfarlane RJ, Mognetti BM, Nikoubashman A, Osat S, Prezhdo OV, Rotskoff GM, Saiz L, Shi AC, Skrabalak S, Smalyukh II, Tagliazucchi M, Talapin DV, Tkachenko AV, Tretiak S, Vaknin D, Widmer-Cooper A, Wong GCL, Ye X, Zhou S, Rabani E, Engel M, Travesset A. 2024. Nanocrystal assemblies: Current advances and open problems. ACS Nano.
View
| DOI
2024 | 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 | Journal Article | IST-REx-ID: 17128
Lemoult, Grégoire M, Mukund Vasudevan, Hong Yan Shih, Gaute Linga, Joachim Mathiesen, Nigel Goldenfeld, and Björn Hof. “Directed Percolation and Puff Jamming near the Transition to Pipe Turbulence.” Nature Physics. Springer Nature, 2024. https://doi.org/10.1038/s41567-024-02513-0.
View
| DOI
2024 | 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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | 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 | Journal Article | IST-REx-ID: 14843
Chen, JingJing, Walter Kaufmann, Chong Chen, itaru Arai, Olena Kim, Ryuichi Shigemoto, and Peter M Jonas. “Developmental Transformation of Ca2+ Channel-Vesicle Nanotopography at a Central GABAergic Synapse.” Neuron. Elsevier, 2024. https://doi.org/10.1016/j.neuron.2023.12.002.
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Thesis | IST-REx-ID: 15101 |
Chen, JingJing. “Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15101.
[Published Version]
View
| Files available
| DOI
2023 | Book Chapter | IST-REx-ID: 12428 |
Hannezo, Edouard B, and Colinda L.G.J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” In Cell Migration in Three Dimensions, edited by Coert Margadant, 2608:183–205. MIMB. Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-2887-4_12.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC