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.
17 Publications
2025 | Published | Thesis | IST-REx-ID: 20357
Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
2023 | Published | Journal Article | IST-REx-ID: 12164 | 
Long-lived counters with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
2023 | Published | Thesis | IST-REx-ID: 13175 |
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 12900
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2022 | Published | Journal Article | IST-REx-ID: 10842
Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes
S. Köse, F. Özbudak, Cryptography and Communications 14 (2022) 933–948.
View
| DOI
| WoS
S. Köse, F. Özbudak, Cryptography and Communications 14 (2022) 933–948.
2022 | Published | Journal Article | IST-REx-ID: 12134 |
Explosive transitions in epidemic dynamics
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
[Published Version]
View
| Files available
| DOI
G. Börner, M. Schröder, D. Scarselli, N.B. Budanur, B. Hof, M. Timme, Journal of Physics: Complexity 3 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12147 |
Closed-form continuous-time neural networks
R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Rus, Nature Machine Intelligence 4 (2022) 992–1003.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Rus, Nature Machine Intelligence 4 (2022) 992–1003.
2022 | Published | Journal Article | IST-REx-ID: 10602 |
Index appearance record with preorders
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica 59 (2022) 585–618.
[Published Version]
View
| Files available
| DOI
| WoS
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica 59 (2022) 585–618.
2022 | Published | Thesis | IST-REx-ID: 11362 |
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
2021 | Published | Journal Article | IST-REx-ID: 10855 |
Input-dynamic distributed algorithms for communication networks
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K.-T. Foerster, J. Korhonen, A. Paz, J. Rybicki, S. Schmid, Proceedings of the ACM on Measurement and Analysis of Computing Systems 5 (2021) 1–33.
2021 | Published | Journal Article | IST-REx-ID: 9234 |
New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity
C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.
[Published Version]
View
| Files available
| DOI
| WoS
C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
2020 | Published | Journal Article | IST-REx-ID: 8765 |
A practical method for animating anisotropic elastoplastic materials
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
[Submitted Version]
View
| Files available
| DOI
| WoS
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.
2020 | Research Data | IST-REx-ID: 8951 |
Sequences of gene regulatory network permutations for the article "Local genetic context shapes the function of a gene regulatory network"
A.A. Nagy-Staron, (2020).
[Published Version]
View
| Files available
| DOI
A.A. Nagy-Staron, (2020).
2018 | Research Data | IST-REx-ID: 5587 |
Supporting materials "STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH"
D. De Martino, G. Tkačik, (2018).
[Published Version]
View
| Files available
| DOI
D. De Martino, G. Tkačik, (2018).
2018 | Research Data | IST-REx-ID: 5584 |
Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
[Published Version]
View
| Files available
| DOI
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
2013 | Published | Journal Article | IST-REx-ID: 11671
A comprehensive study of techniques for URL-based web page language classification
E. Baykan, I. Weber, M. Henzinger, ACM Transactions on the Web 7 (2013).
View
| DOI
E. Baykan, I. Weber, M. Henzinger, ACM Transactions on the Web 7 (2013).