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.
5258 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13141 | 
Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13142 |
Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 13143 |
Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo L, Lytvynov E. 2023. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 28, 1–12.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13164 |
Gert KRB, Panser K, Surm J, Steinmetz BS, Schleiffer A, Jovine L, Moran Y, Kondrashov F, Pauli A. 2023. Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. 14, 3506.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13165 |
Fang L, Huang H, Pach J, Tardos G, Zuo J. 2023. Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. 199(10), 105776.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13168 |
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13177 |
Hua B, Keller M, Schwarz M, Wirth M. 2023. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. 151(8), 3401–3414.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13178 |
Mitrouskas DJ, Mysliwy K, Seiringer R. 2023. Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Mathematics. 11, 1–52.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13179 |
Koval N, Khalanskiy D, Alistarh D-A. 2023. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 7, 116.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13180 |
Browning TD, Lyczak J, Sarapin R. 2023. Local solubility for a family of quadrics over a split quadric surface. Involve. 16(2), 331–342.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13200 |
Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. 2023. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. 14, 3784.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 11434
GOSWAMI BB. 2023. Role of the eastern equatorial Indian Ocean warming in the Indian summer monsoon rainfall trend. Climate Dynamics. 60, 427–442.
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11479 |
De Jode A, Le Moan A, Johannesson K, Faria R, Stankowski S, Westram AM, Butlin RK, Rafajlović M, Fraisse C. 2023. Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. 16(2), 542–559.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11706 |
Liebenau A, Mattos L, Mendonca dos Santos W, Skokan J. 2023. Asymmetric Ramsey properties of random graphs involving cliques and cycles. Random Structures and Algorithms. 62(4), 1035–1055.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 11741 |
Cipolloni G, Erdös L, Schröder DJ. 2023. Quenched universality for deformed Wigner matrices. Probability Theory and Related Fields. 185, 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 11999 |
Arroyo Guevara AM, Klute F, Parada I, Vogtenhuber B, Seidel R, Wiedera T. 2023. Inserting one edge into a simple drawing is hard. Discrete and Computational Geometry. 69, 745–770.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Submitted | Preprint | IST-REx-ID: 14644 |
Tluckova K, Testa Salmazo AP, Bernecky C. Mechanism of mammalian transcriptional repression by noncoding RNA. 10.15479/AT:ISTA:14644.
[Submitted Version]
View
| Files available
| DOI
2023 | Submitted | Preprint | IST-REx-ID: 14647 |
Bose M, Suresh V, Mishra U, Talwar I, Yadav A, Biswas S, Hippenmeyer S, Tole S. Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway. bioRxiv, 10.1101/2023.11.30.569337.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Published | Journal Article | IST-REx-ID: 14654 |
Hwong Y-L, Colin M, Aglas P, Muller CJ, Sherwood SC. 2023. Assessing memory in convection schemes using idealized tests. Journal of Advances in Modeling Earth Systems. 15(12), e2023MS003726.
[Published Version]
View
| Files available
| DOI