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.
4999 Publications
2024 | Conference Paper | IST-REx-ID: 15376 | 
Avni, Guy, Kaushik Mallik, and Suman Sadhukhan. “Auction-Based Scheduling.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:153–72. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_8.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Conference Paper | IST-REx-ID: 15377 |
Majumdar, Rupak, Irmak Sağlam, and K. S. Thejaswini. “Rabin Games and Colourful Universal Trees.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:213–31. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_11.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15301 |
Hörmayer, Lukas, Juan C Montesinos López, N Trozzi, Leonhard Spona, Saiko Yoshida, Petra Marhavá, Silvia Caballero Mancebo, et al. “Mechanical Forces in Plant Tissue Matrix Orient Cell Divisions via Microtubule Stabilization.” Dev Cell. Elsevier, 2024. https://doi.org/10.1016/j.devcel.2024.03.009.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Research Data | IST-REx-ID: 17042 |
Schanda, Paul. “Raw Data to ‘MAS NMR Experiments of Corynebacterial Cell Walls: Complementary 1H- and CPMAS CryoProbe-Enhanced 13C-Detected Experiments.’” ISTA, 2024. https://doi.org/10.15479/AT:ISTA:17042.
View
| Files available
| DOI
2024 | Conference Paper | IST-REx-ID: 17051 |
Auerbach, Benedikt, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Trapdoor Memory-Hard Functions.” In 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 14653:315–44. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-58734-4_11.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2024 | Journal Article | IST-REx-ID: 17050 |
Panoukidou, Maria, Simon Weir, Valerio Sorichetti, Yair Gutierrez Fosado, Martin Lenz, and Davide Michieletto. “Runaway Transition in Irreversible Polymer Condensation with Cyclization.” Physical Review Research. American Physical Society, 2024. https://doi.org/10.1103/PhysRevResearch.6.023189.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 17048 |
Rajappa, Sivamathini, Pannaga Krishnamurthy, Hua Huang, Dejie Yu, Jiří Friml, Jian Xu, and Prakash P. Kumar. “The Translocation of a Chloride Channel from the Golgi to the Plasma Membrane Helps Plants Adapt to Salt Stress.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-48234-z.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17052 |
Fiedler, Christine, Mariano Calcabrini, Yu Liu, and Maria Ibáñez. “Unveiling Crucial Chemical Processing Parameters Influencing the Performance of Solution-Processed Inorganic Thermoelectric Materials.” Angewandte Chemie - International Edition. Wiley, 2024. https://doi.org/10.1002/anie.202402628.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17049 |
Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Dominik J Schröder. “Optimal Lower Bound on Eigenvector Overlaps for Non-Hermitian Random Matrices.” Journal of Functional Analysis. Elsevier, n.d. https://doi.org/10.1016/j.jfa.2024.110495.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 17054 |
Shan, Yahan, Jinyu Sheng, Qi Zhang, Marc C.A. Stuart, Da Hui Qu, and Ben L. Feringa. “Multi-State Photoluminescent Properties of an Overcrowded Alkene-Based Molecular Motor in Aggregates.” Aggregate. Wiley, 2024. https://doi.org/10.1002/agt2.584.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 | Journal Article | IST-REx-ID: 17047 |
Dubach, Guillaume, and Jana Reker. “Dynamics of a Rank-One Multiplicative Perturbation of a Unitary Matrix.” Random Matrices: Theory and Applications. World Scientific Publishing, 2024. https://doi.org/10.1142/s2010326324500072.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 17092 |
Delamare, Geoffroy, Douglas Feitosa Tomé, and Claudia Clopath. “Intrinsic Neural Excitability Biases Allocation and Overlap of Memory Engrams.” Journal of Neuroscience. Society of Neuroscience, 2024. https://doi.org/10.1523/JNEUROSCI.0846-23.2024.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17091
Novarino, Gaia, and Christoph Bock. “Mapping the Brain’s Gene-Regulatory Maze.” Science. AAAS, 2024. https://doi.org/10.1126/science.adp4663.
View
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 17089 |
Ku, Shih Pi, Erika Atucha, Nico Alavi, Halla Mulla-Osman, Rukhshona Kayumova, Motoharu Yoshida, Jozsef L Csicsvari, and Magdalena M. Sauvage. “Phase Locking of Hippocampal CA3 Neurons to Distal CA1 Theta Oscillations Selectively Predicts Memory Performance.” Cell Reports. Elsevier, 2024. https://doi.org/10.1016/j.celrep.2024.114276.
[Published Version]
View
| Files available
| DOI
2024 | Conference Paper | IST-REx-ID: 17093 |
Zakerinia, Hossein, Shayan Talaei, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Communication-Efficient Federated Learning with Data and Client Heterogeneity.” In Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, 238:3448–56. ML Research Press, 2024.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 17090
Heintz KE, Watson D, Brammer G, Vejlgaard S, Hutter A, Strait VB, Matthee JJ, Oesch PA, Jakobsson P, Tanvir NR, Laursen P, Naidu RP, Mason CA, Killi M, Jung I, Hsiao TYY, Abdurro’Uf U, Coe D, Haro PA, Finkelstein SL, Toft S. 2024. Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11. Science. 384(6698), 890–894.
View
| DOI
| PubMed | Europe PMC
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