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 | 
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17098 |
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.
2024 | Submitted | Preprint | IST-REx-ID: 17101 |
Zero-sum random games on directed graphs
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, ArXiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 17103 |
Phytoalexin sakuranetin attenuates endocytosis and enhances resistance to rice blast
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
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.
2024 | Published | Journal Article | IST-REx-ID: 17104 |
Mechanically-driven stem cell separation in tissues caused by proliferating daughter cells
J.C. Krämer, E.B. Hannezo, G. Gompper, J. Elgeti, SciPost Physics 16 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
J.C. Krämer, E.B. Hannezo, G. Gompper, J. Elgeti, SciPost Physics 16 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17105 |
Orthogonal photoswitching in a porous organic framework
J. Sheng, J. Perego, S. Bracco, P. Cieciórski, W. Danowski, A. Comotti, B.L. Feringa, Angewandte Chemie International Edition 63 (2024).
[Published Version]
View
| Files available
| DOI
J. Sheng, J. Perego, S. Bracco, P. Cieciórski, W. Danowski, A. Comotti, B.L. Feringa, Angewandte Chemie International Edition 63 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17122 |
The association between maximal muscle strength, disease severity and psychopharmacotherapy among young to middle-aged inpatients with affective disorders – a prospective pilot study
H. Ramming, L. Theuerkauf, O. Hoos, K. Lichter, S. Kittel-Schneider, BMC Psychiatry 24 (2024).
[Published Version]
View
| Files available
| DOI
H. Ramming, L. Theuerkauf, O. Hoos, K. Lichter, S. Kittel-Schneider, BMC Psychiatry 24 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17123 |
Information content and optimization of self-organized developmental systems
D. Brückner, G. Tkačik, PNAS 121 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Brückner, G. Tkačik, PNAS 121 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17124
Solution-processed, surface-engineered, polycrystalline CdSe-SnSe exhibiting low thermal conductivity
C. Fiedler, Y. Liu, M. Ibáñez, Journal of Visualized Experiments 2024 (2024).
View
| DOI
C. Fiedler, Y. Liu, M. Ibáñez, Journal of Visualized Experiments 2024 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17126 |
Lower bounds for lattice-based compact functional encryption
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
E. Tairi, A. Ünal, in:, Advances in Cryptology – EUROCRYPT 2024, Springer Nature, 2024, pp. 249–279.
2024 | Published | Journal Article | IST-REx-ID: 17127 |
Paucity phenomena for polynomial products
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society 56 (2024) 2718–2726.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
V. Wang, M.W. Xu, Bulletin of the London Mathematical Society 56 (2024) 2718–2726.
2024 | Published | Journal Article | IST-REx-ID: 17143 |
Local conditions for global convergence of gradient flows and proximal point sequences in metric spaces
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
L. Dello Schiavo, J. Maas, F. Pedrotti, Transactions of the American Mathematical Society 377 (2024) 3779–3804.
2024 | Published | Conference Paper | IST-REx-ID: 17144 |
The medial axis of any closed bounded set Is Lipschitz stable with respect to the Hausdorff distance Under ambient diffeomorphisms
H. Kourimska, A. Lieutier, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Kourimska, A. Lieutier, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17145 |
Grid peeling of parabolas
G. Rote, M. Rüber, M. Saghafian, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Rote, M. Rüber, M. Saghafian, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17146 |
Maximum Betti numbers of Čech complexes
H. Edelsbrunner, J. Pach, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
H. Edelsbrunner, J. Pach, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17147
Inference of genetic effects via approximate message passing
A. Depope, M. Mondelli, M.R. Robinson, in:, 2024 IEEE International Conference on Acoustics, Speech, and Signal Processing, IEEE, 2024, pp. 13151–13155.
View
| DOI
A. Depope, M. Mondelli, M.R. Robinson, in:, 2024 IEEE International Conference on Acoustics, Speech, and Signal Processing, IEEE, 2024, pp. 13151–13155.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17149 |
Average and expected distortion of Voronoi paths and scapes
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
H. Edelsbrunner, A. Nikitenko, Discrete and Computational Geometry (2024).
2024 | Published | Journal Article | IST-REx-ID: 17161 |
Evaluating the motional timescales contributing to averaged anisotropic interactions in MAS solid-state NMR
K. Aebischer, L.M. Becker, P. Schanda, M. Ernst, Magnetic Resonance 5 (2024) 69–86.
[Published Version]
View
| Files available
| DOI
K. Aebischer, L.M. Becker, P. Schanda, M. Ernst, Magnetic Resonance 5 (2024) 69–86.
2024 | Published | Journal Article | IST-REx-ID: 17162 |
Quantitative bounds on resource usage of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
[Published Version]
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17170 |
Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
[Published Version]
View
| Files available
| DOI
| arXiv
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.