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
Ruzickova N. 2025. Effect propagation in biological networks. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12164 | 
Baig MA, Hendler D, Milani A, Travers C. 2023. Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing. 36, 29–43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2023 | Published | Thesis | IST-REx-ID: 13175 |
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Published | Thesis | IST-REx-ID: 12900
Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12134 |
Börner G, Schröder M, Scarselli D, Budanur NB, Hof B, Timme M. 2022. Explosive transitions in epidemic dynamics. Journal of Physics: Complexity. 3(4), 04LT02.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12147 |
Hasani R, Lechner M, Amini A, Liebenwein L, Ray A, Tschaikowski M, Teschl G, Rus D. 2022. Closed-form continuous-time neural networks. Nature Machine Intelligence. 4(11), 992–1003.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10602 |
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2022. Index appearance record with preorders. Acta Informatica. 59, 585–618.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11362 |
Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 10855 |
Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. 2021. Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems. 5(1), 1–33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9234 |
Izuchukwu C, Shehu Y. 2021. New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity. Networks and Spatial Economics. 21(2), 291–323.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Lukina A, Schilling C, Henzinger TA. 2021. Into the unknown: active monitoring of neural networks. 21st International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 12974, 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Published | Journal Article | IST-REx-ID: 8765 |
Schreck C, Wojtan C. 2020. A practical method for animating anisotropic elastoplastic materials. Computer Graphics Forum. 39(2), 89–99.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Research Data | IST-REx-ID: 8951 |
Nagy-Staron AA. 2020. 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, 10.15479/AT:ISTA:8951.
[Published Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5587 |
De Martino D, Tkačik G. 2018. Supporting materials ‘STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:62.
[Published Version]
View
| Files available
| DOI
2018 | Research Data | IST-REx-ID: 5584 |
Deny S, Marre O, Botella-Soler V, Martius GS, Tkačik G. 2018. Nonlinear decoding of a complex movie from the mammalian retina, Institute of Science and Technology Austria, 10.15479/AT:ISTA:98.
[Published Version]
View
| Files available
| DOI