ISTA Research Explorer

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.

6067 Publications

2025 | Published | Conference Paper | IST-REx-ID: 20684 |

Kurtic E, Marques A, Pandit S, Kurtz M, Alistarh D-A. “Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization. In: Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics; 2025:26872-26886.

[Published Version] View | Files available | arXiv

2025 | Published | Thesis | IST-REx-ID: 20357

Ruzickova N. Effect propagation in biological networks. 2025. doi:10.15479/AT-ISTA-20357

[Published Version] View | Files available | DOI

Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. 2025;646(8085):601–605. doi:10.1038/s41586-025-09587-7

2025 | Published | Thesis | IST-REx-ID: 20556 |

Hoffmann C. Theory and applications of verifiable delay functions. 2025. doi:10.15479/AT-ISTA-20556

[Published Version] View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 19778 |

Hoffmann C, Pietrzak KZ. Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. In: 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. Vol 15674. Springer Nature; 2025:36-66. doi:10.1007/978-3-031-91820-9_2

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2025 | In Press | Journal Article | IST-REx-ID: 19507 |

Andersen MS, Ulyanchenko S, Schweiger PJ, Hannezo EB, Simons BD, Jensen KB. Spatiotemporal switches in progenitor cell fate govern upper hair follicle growth and maintenance. Journal of Investigative Dermatology. doi:10.1016/j.jid.2025.01.034

Jikko Y, Deguchi E, Matsuda K, et al. Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. 2025;138(15). doi:10.1242/jcs.263779

Zhang Z, Todeschini TC, Wu Y, et al. Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites. Cell. doi:10.1016/j.cell.2025.07.002

Vedula S, Bronstein AM, Marx A. Improving prediction accuracy in chimeric proteins with windowed multiple sequence alignment. Computational and Structural Biotechnology Journal. 2025;27:3292-3298. doi:10.1016/j.csbj.2025.07.039

[Published Version] View | Files available | DOI | WoS

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20182 |

Toups MA, Vicoso B. Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation. Current Opinion in Insect Science. 2025;72. doi:10.1016/j.cois.2025.101411

[Published Version] View | DOI | Download Published Version (ext.) | WoS

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20043 |

Groechenig M, Shen S. Complex K-theory of moduli spaces of Higgs bundles. Journal of the European Mathematical Society. 2025. doi:10.4171/jems/1601

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

2025 | Research Data Reference | IST-REx-ID: 20103 |

Vedula S, Bronstein AM, Marx A. Replication Data for: “Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment.” 2025. doi:10.7910/DVN/DYEBVM

[Published Version] View | Files available | DOI | Download Published Version (ext.)

Stöllner A, Lenton IC, Volosniev A, et al. Using optical tweezers to simultaneously trap, charge, and measure the charge of a microparticle in air. Physical Review Letters. 2025;135(21). doi:10.1103/5xd9-4tjj

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20707 |

Gahtan B, Vedula S, Samuelly Leichtag G, Kodesh E, Bronstein AM. From lab to wrist: Bridging metabolic monitoring and consumer wearables for heart rate and oxygen consumption modeling. In: Proceedings of the 27th International Conference on Multimodal Interaction. Association for Computing Machinery; 2025:60-77. doi:10.1145/3716553.3750815

[Published Version] View | Files available | DOI | arXiv

Martinet Q, Li YI, Aubret A, Hannezo EB, Palacci JA. Emergent dynamics of active elastic microbeams. Physical Review X. 2025;15(4). doi:10.1103/rjk2-q2wh

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Journal Article | IST-REx-ID: 20702 |

King DS, Grzenda D, Zhu R, et al. Cartesian equivariant representations for learning and understanding molecular orbitals. Proceedings of the National Academy of Sciences of the United States of America. 2025;122(48). doi:10.1073/pnas.2510235122

[Published Version] View | Files available | DOI | PubMed | Europe PMC

Brighi P, Ljubotina M, Roccati F, Balducci F. Finite steady-state current defies non-Hermitian many-body localization. Physical Review Research. 2025;7(4). doi:10.1103/crwj-x7j8

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20253 |

Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Quantitative language automata. In: 36th International Conference on Concurrency Theory. Vol 348. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.CONCUR.2025.21

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20225 |

Henzinger TA, Mallik K, Sadeghi P, Zikelic D. Supermartingale certificates for quantitative omega-regular verification and control. In: 37th International Conference on Computer Aided Verification. Vol 15932. Springer Nature; 2025:29-55. doi:10.1007/978-3-031-98679-6_2

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20189 |

Froleyks N, Yu E, Preiner M, Biere A, Heljanko K. Introducing certificates to the hardware model checking competition. In: 37th International Conference on Computer Aided Verification. Vol 15931. Springer Nature; 2025:281-295. doi:10.1007/978-3-031-98668-0_14

[Published Version] View | Files available | DOI | WoS

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6067 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6067 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options