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 |

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

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

QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
2024 | Published | Thesis | IST-REx-ID: 18129
Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18961 |

Deniability in automated contact tracing: Impossibilities and possibilities
C.U. Günther, K.Z. Pietrzak, Proceedings on Privacy Enhancing Technologies 2024 (2024) 636–648.
[Published Version]
View
| Files available
| DOI
C.U. Günther, K.Z. Pietrzak, Proceedings on Privacy Enhancing Technologies 2024 (2024) 636–648.
2024 | Published | Conference Paper | IST-REx-ID: 17426 |

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

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

The shape of word embeddings: Quantifying non-isometry with topological data analysis
O. Draganov, S. Skiena, in:, Findings of the Association for Computational Linguistics: EMNLP 2024, Association for Computational Linguistics, 2024, pp. 12080–12099.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Draganov, S. Skiena, in:, Findings of the Association for Computational Linguistics: EMNLP 2024, Association for Computational Linguistics, 2024, pp. 12080–12099.
2024 | Submitted | Preprint | IST-REx-ID: 18999 |

Chromatic topological data analysis
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Cultrera di Montesano, O. Draganov, H. Edelsbrunner, M. Saghafian, ArXiv (n.d.).
2024 | Published | Thesis | IST-REx-ID: 18104
Everyday electromechanics: Capacitive strong coupling to mechanical motion
D. Puglia, Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
D. Puglia, Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion, Institute of Science and Technology Austria, 2024.
2024 | Published | Preprint | IST-REx-ID: 19063 |

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

Elucidating the structural determinants of the poxvirus core using multi-modal cryo-EM
J. Datler, Elucidating the Structural Determinants of the Poxvirus Core Using Multi-Modal Cryo-EM, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Datler, Elucidating the Structural Determinants of the Poxvirus Core Using Multi-Modal Cryo-EM, Institute of Science and Technology Austria, 2024.
2024 | Research Data | IST-REx-ID: 17488 |

Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
View
| Files available
| DOI
R.K. Satapathy, M.A. Jösch, O. Symonova, V. Pokusaeva, (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18521 |

Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
2024 | Published | Journal Article | IST-REx-ID: 14543 |

Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders
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
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.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View
| DOI
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
2024 | Submitted | Preprint | IST-REx-ID: 17136 |

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

Tight bounds for the learning of homotopy à la Niyogi, Smale, and Weinberger for subsets of euclidean spaces and of Riemannian manifolds
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
[Published Version]
View
| Files available
| DOI
| arXiv
D. Attali, H. Kourimska, C.D. Fillmore, I. Ghosh, A. Lieutier, E.R. Stephenson, M. Wintraecken, in:, 40th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, p. 11:1-11:19.
2024 | Published | Conference Paper | IST-REx-ID: 17214 |

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

Towards a quantum entanglement enhanced atom interferomter
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024.