Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
674 Publications
2024 | Draft | Preprint | IST-REx-ID: 18981 | 
Discrete microlocal Morse theory
A. Brown, O. Draganov, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Brown, O. Draganov, ArXiv (n.d.).
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
| WoS
| 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: 17490 |
Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18088 |
On the efficiency and security of secure group messaging
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 17302 |
Cryosphere–groundwater connectivity is a missing link in the mountain water cycle
van Tiel M, Aubry-Wake C, Somers L, Andermann C, Avanzi F, Baraer M, Chiogna G, Daigre C, Das S, Drenkhan F, Farinotti D, Fyffe CL, de Graaf I, Hanus S, Immerzeel W, Koch F, McKenzie JM, Müller T, Popp AL, Saidaliyeva Z, Schaefli B, Schilling OS, Teagai K, Thornton JM, Yapiyev V. 2024. Cryosphere–groundwater connectivity is a missing link in the mountain water cycle. Nature Water. 2, 624–637.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
van Tiel M, Aubry-Wake C, Somers L, Andermann C, Avanzi F, Baraer M, Chiogna G, Daigre C, Das S, Drenkhan F, Farinotti D, Fyffe CL, de Graaf I, Hanus S, Immerzeel W, Koch F, McKenzie JM, Müller T, Popp AL, Saidaliyeva Z, Schaefli B, Schilling OS, Teagai K, Thornton JM, Yapiyev V. 2024. Cryosphere–groundwater connectivity is a missing link in the mountain water cycle. Nature Water. 2, 624–637.
2024 | Published | Conference Paper | IST-REx-ID: 15168 |
Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
M. Filakovský, T.V. Nakajima, J. Opršal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Filakovský, T.V. Nakajima, J. Opršal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 14820 |
Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
S. Schmid, J. Svoboda, M.X. Yeo, Theoretical Computer Science 989 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17112 |
Type III-B CRISPR-Cas cascade of proteolytic cleavages
J.A. Steens, J.P.K. Bravo, C.R.P. Salazar, C. Yildiz, A.M. Amieiro, S. Köstlbacher, S.H.P. Prinsen, C. Patinios, A. Bardis, A. Barendregt, R.A. Scheltema, T.J.G. Ettema, J. van der Oost, D.W. Taylor, R.H.J. Staals, Science 383 (2024) 512–519.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
J.A. Steens, J.P.K. Bravo, C.R.P. Salazar, C. Yildiz, A.M. Amieiro, S. Köstlbacher, S.H.P. Prinsen, C. Patinios, A. Bardis, A. Barendregt, R.A. Scheltema, T.J.G. Ettema, J. van der Oost, D.W. Taylor, R.H.J. Staals, Science 383 (2024) 512–519.
2024 | Published | Thesis | IST-REx-ID: 18135 |
Energies of dilute Fermi gases and universalities in BCS theory
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
2024 | Research Data | IST-REx-ID: 18579 |
A thalamic hub-and-spoke network enables visual perception during action by coordinating visuomotor dynamics
T.A. Vega Zuniga, A.L. Sumser, O. Symonova, P. Koppensteiner, F. Schmidt, M.A. Jösch, (2024).
[Published Version]
View
| Files available
| DOI
T.A. Vega Zuniga, A.L. Sumser, O. Symonova, P. Koppensteiner, F. Schmidt, M.A. Jösch, (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18758 |
Linear-time MaxCut in multigraphs parameterized above the Poljak-Turzík bound
J. Lill, K.H. Petrova, S. Weber, in:, 19th International Symposium on Parameterized and Exact Computation, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
J. Lill, K.H. Petrova, S. Weber, in:, 19th International Symposium on Parameterized and Exact Computation, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Draft | Preprint | IST-REx-ID: 18677 |
Light-microscopy based dense connectomic reconstruction of mammalian brain tissue
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, BioRxiv (n.d.).
2024 | Research Data Reference | IST-REx-ID: 19800 |
Mapping the attractor landscape of Boolean networks
V.G. trinh, K.H. Park, S. Pastva, J. Rozum, (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
V.G. trinh, K.H. Park, S. Pastva, J. Rozum, (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 | Research Data Reference | IST-REx-ID: 19884 |
MARLIN: Mixed-precision auto-regressive parallel inference on Large Language Models
E. Frantar, R. Castro, J. Chen, T. Hoefler, D.-A. Alistarh, (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Frantar, R. Castro, J. Chen, T. Hoefler, D.-A. Alistarh, (2024).
2024 | Draft | Preprint | IST-REx-ID: 17352 |
L∞-optimal transport of anisotropic log-concave measures and exponential convergence in Fisher's infinitesimal model
K. Khudiakova, J. Maas, F. Pedrotti, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Khudiakova, J. Maas, F. Pedrotti, ArXiv (n.d.).
2024 | Research Data Reference | IST-REx-ID: 20121 |
PyDaddy: A Python Package for Discovering SDEs from Time Series Data
A. Nabeel, A. Karichannavar, S. Palathingal, J. Jhawar, D. Brückner, M. Danny Raj, V. Guttal, (2024).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Nabeel, A. Karichannavar, S. Palathingal, J. Jhawar, D. Brückner, M. Danny Raj, V. Guttal, (2024).
2024 | Draft | Preprint | IST-REx-ID: 18688 |
Human hippocampal CA3 uses specific functional connectivity rules for efficient associative memory
J.F. Watson, V. Vargas-Barroso, R.J. Morse-Mora, A. Navas-Olive, M. Tavakoli, J.G. Danzl, M. Tomschik, K. Rössler, P.M. Jonas, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
J.F. Watson, V. Vargas-Barroso, R.J. Morse-Mora, A. Navas-Olive, M. Tavakoli, J.G. Danzl, M. Tomschik, K. Rössler, P.M. Jonas, BioRxiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 18481 |
Dynamics of morphogen source formation in a growing tissue
R.D.J.G. Ho, K. Kishi, M. Majka, A. Kicheva, M.P. Zagórski, PLoS Computational Biology 20 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R.D.J.G. Ho, K. Kishi, M. Majka, A. Kicheva, M.P. Zagórski, PLoS Computational Biology 20 (2024).
2024 | Draft | Preprint | IST-REx-ID: 18689 |
Super-resolution expansion microscopy in plant roots
M.C. Gallei, S.M. Truckenbrodt, C. Kreuzinger, S. Inumella, V. Vistunou, C.M. Sommer, M. Tavakoli, N. Agudelo Duenas, J. Vorlaufer, W. Jahr, M. Randuch, A.J. Johnson, E. Benková, J. Friml, J.G. Danzl, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
M.C. Gallei, S.M. Truckenbrodt, C. Kreuzinger, S. Inumella, V. Vistunou, C.M. Sommer, M. Tavakoli, N. Agudelo Duenas, J. Vorlaufer, W. Jahr, M. Randuch, A.J. Johnson, E. Benková, J. Friml, J.G. Danzl, BioRxiv (n.d.).