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