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: 14318 | 
Sun Y, Fu H, Chatterjee K, Goharshady AK. 2023. Automated tail bound analysis for probabilistic recurrence relations. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13966, 16–39.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14319 |
Anastos M, Fabian D, Müyesser A, Szabó T. 2023. Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets. Electronic Journal of Combinatorics. 30(3), P3.10.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14320 |
Henderson PM, Ghazaryan A, Zibrov AA, Young AF, Serbyn M. 2023. Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene. Physical Review B. 108(12), 125411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14321 |
Al Hyder R, Cappellaro A, Lemeshko M, Volosniev A. 2023. Achiral dipoles on a ferromagnet can affect its magnetization direction. The Journal of Chemical Physics. 159(10), 104103.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14342 |
Lorenc D, Alpichshev Z. 2023. Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam. Applied Physics Letters. 123(9), 091104.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14343 |
Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. 2023. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 11, e74.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14344 |
Anastos M. 2023. Fast algorithms for solving the Hamilton cycle problem with high probability. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 2023, 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14360 |
Sitarska E, Almeida SD, Beckwith MS, Stopp JA, Czuchnowski J, Siggel M, Roessner R, Tschanz A, Ejsing C, Schwab Y, Kosinski J, Sixt MK, Kreshuk A, Erzberger A, Diz-Muñoz A. 2023. Sensing their plasma membrane curvature allows migrating cells to circumvent obstacles. Nature Communications. 14, 5644.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14362 |
Castellano I, Giordano Bruno A, Zava N. 2023. Weakly weighted generalised quasi-metric spaces and semilattices. Theoretical Computer Science. 977, 114129.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14363 |
Maes ME, Colombo G, Schoot Uiterkamp FE, Sternberg F, Venturino A, Pohl EE, Siegert S. 2023. Mitochondrial network adaptations of microglia reveal sex-specific stress response after injury and UCP2 knockout. iScience. 26(10), 107780.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14364 |
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2023. Why extension-based proofs fail. SIAM Journal on Computing. 52(4), 913–944.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14378 |
Ucar MC, Hannezo EB, Tiilikainen E, Liaqat I, Jakobsson E, Nurmi H, Vaahtomeri K. 2023. Self-organized and directed branching results in optimal coverage in developing dermal lymphatic networks. Nature Communications. 14, 5878.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14401 |
Maes ME, Donahue RJ, Schlamp CL, Marola OJ, Libby RT, Nickells RW. 2023. BAX activation in mouse retinal ganglion cells occurs in two temporally and mechanistically distinct steps. Molecular Neurodegeneration. 18, 67.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14402 |
Lombardi F, Herrmann HJ, Parrino L, Plenz D, Scarpetta S, Vaudano AE, De Arcangelis L, Shriki O. 2023. Beyond pulsed inhibition: Alpha oscillations modulate attenuation and amplification of neural activity in the awake resting state. Cell Reports. 42(10), 113162.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14404
Balazs D, Ibáñez M. 2023. Widening the use of 3D printing. Science. 381(6665), 1413–1414.
View
| DOI
| PubMed | Europe PMC
2023 | Published | Conference Paper | IST-REx-ID: 14405 |
Bartocci E, Henzinger TA, Nickovic D, Oliveira da Costa A. 2023. Hypernode automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 21.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14406 |
Babkin S, Karcher JF, Burmistrov IS, Mirlin AD. 2023. Generalized surface multifractality in two-dimensional disordered systems. Physical Review B. 108(10), 104205.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14409 |
Baunis H, Pieber B. 2023. Formal radical deoxyfluorination of oxalate-activated alcohols triggered by the selectfluor-DMAP charge-transfer complex. European Journal of Organic Chemistry. 26(42), e202300769.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Conference Paper | IST-REx-ID: 14410
Tomaszewska P, Lampert C. 2023. On the implementation of baselines and lightweight conditional model extrapolation (LIMES) under class-prior shift. International Workshop on Reproducible Research in Pattern Recognition. RRPR: Reproducible Research in Pattern Recognition, LNCS, vol. 14068, 67–73.
View
| DOI