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.
5046 Publications
2023 | Journal Article | IST-REx-ID: 12668 | 
Dynamic chromatin regulatory programs during embryogenesis of hexaploid wheat
L. Zhao, Y. Yang, J. Chen, X. Lin, H. Zhang, H. Wang, H. Wang, X. Bie, J. Jiang, X. Feng, X. Fu, X. Zhang, Z. Du, J. Xiao, Genome Biology 24 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
L. Zhao, Y. Yang, J. Chen, X. Lin, H. Zhang, H. Wang, H. Wang, X. Bie, J. Jiang, X. Feng, X. Fu, X. Zhang, Z. Du, J. Xiao, Genome Biology 24 (2023).
2023 | Conference Paper | IST-REx-ID: 13048 |
Hausdorff and Gromov-Hausdorff stable subsets of the medial axis
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Lieutier, M. Wintraecken, in:, Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–1776.
2023 | Conference Paper | IST-REx-ID: 13053 |
CrAM: A Compression-Aware Minimizer
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
E.-A. Peste, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , n.d.
2023 | Conference Paper | IST-REx-ID: 13143 |
Certifying giant nonprimes
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.
2023 | Conference Paper | IST-REx-ID: 13142 |
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
2023 | Conference Paper | IST-REx-ID: 13141 |
Computing adequately permissive assumptions for synthesis
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
[Published Version]
View
| Files available
| DOI
A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.
2023 | Thesis | IST-REx-ID: 12826 |
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 12086 |
A simple algorithm for higher-order Delaunay mosaics and alpha shapes
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
[Published Version]
View
| Files available
| DOI
| WoS
H. Edelsbrunner, G.F. Osang, Algorithmica 85 (2023) 277–295.
2023 | Journal Article | IST-REx-ID: 12104 |
Ergodic decompositions of Dirichlet forms under order isomorphisms
L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
L. Dello Schiavo, M. Wirth, Journal of Evolution Equations 23 (2023).
2023 | Journal Article | IST-REx-ID: 11434
Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.
View
| Files available
| DOI
| WoS
B.B. GOSWAMI, Climate Dynamics 60 (2023) 427–442.