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.
344 Publications
2024 | Research Data Reference | IST-REx-ID: 18895 |

Cadei R, Locatello F, Cremer S, Lindorfer L, Schmid C. ISTAnt. 2024. doi:10.6084/M9.FIGSHARE.26484934.V2
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 18917 |

Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. Eight-partitioning points in 3D, and efficiently too. In: 40th International Symposium on Computational Geometry. Vol 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024:8:1-8:15. doi:10.4230/LIPIcs.SoCG.2024.8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17634 |

Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18129
Janik M. Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. 2024. doi:10.15479/at:ista:18129
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18961 |

Günther CU, Pietrzak KZ. Deniability in automated contact tracing: Impossibilities and possibilities. Proceedings on Privacy Enhancing Technologies. 2024;2024(4):636-648. doi:10.56553/popets-2024-0134
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17426 |

Prach B, Brau F, Buttazzo G, Lampert C. 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. Computer Vision Foundation; 2024:24574-24583. doi:10.1109/CVPR52733.2024.02320
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17141 |

Zhang Z, Chen H, Peng S, Han H. Slow and rapid auxin responses in Arabidopsis. Journal of Experimental Botany. 2024;75(18). doi:10.1093/jxb/erae246
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18998 |

Draganov O, Skiena S. The shape of word embeddings: Quantifying non-isometry with topological data analysis. In: Findings of the Association for Computational Linguistics: EMNLP 2024. Association for Computational Linguistics; 2024:12080-12099. doi:10.18653/v1/2024.findings-emnlp.705
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 18999 |

Cultrera di Montesano S, Draganov O, Edelsbrunner H, Saghafian M. Chromatic topological data analysis. arXiv. doi:10.48550/ARXIV.2406.04102
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18104
Puglia D. Everyday electromechanics: Capacitive strong coupling to mechanical motion. 2024. doi:10.15479/at:ista:18104
[Published Version]
View
| Files available
| DOI
2024 | Published | Preprint | IST-REx-ID: 19063 |

Zverev E, Abdelnabi S, Tabesh S, Fritz M, Lampert C. Can LLMs separate instructions from data? And what do we even mean by that? arXiv. 2024. doi:10.48550/arXiv.2403.06833
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Thesis | IST-REx-ID: 18766 |

Datler J. Elucidating the structural determinants of the poxvirus core using multi-modal cryo-EM. 2024. doi:10.15479/at:ista:18766
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17488 |

Satapathy RK, Jösch MA, Symonova O, Pokusaeva V. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. 2024. doi:10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18521 |

Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In: 24th International Conference on Runtime Verification. Vol 15191. Springer Nature; 2024:282-301. doi:10.1007/978-3-031-74234-7_18
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 14543 |

Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2024. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. 147(4), 1436–1456.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17037
Attia L, Oliu-Barton M, Saona Urmeneta RJ. Marginal values of a stochastic game. Mathematics of Operations Research. 2024. doi:10.1287/moor.2023.0297
View
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 17136 |

Arkhipov P. Majority dynamics and internal partitions of random regular graphs: Experimental results. arXiv. doi:10.48550/arXiv.2406.07026
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17170 |

Attali D, Kourimska H, Fillmore CD, et al. Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds. In: 40th International Symposium on Computational Geometry. Vol 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024:11:1-11:19. doi:10.4230/LIPIcs.SoCG.2024.11
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17214 |

Chen Y-L, Ly M, Wojtan C. Primal-dual non-smooth friction for rigid body animation. In: Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Association for Computing Machinery; 2024. doi:10.1145/3641519.3657485
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 17225 |

Li V. Towards a quantum entanglement enhanced atom interferomter. 2024. doi:10.15479/at:ista:17225
[Published Version]
View
| Files available
| DOI