Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.

Long-lived counters with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.

Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.

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.

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).

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.

Index appearance record with preorders
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, Acta Informatica 59 (2022) 585–618.

Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.

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.

New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity
C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.

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.

A practical method for animating anisotropic elastoplastic materials
C. Schreck, C. Wojtan, Computer Graphics Forum 39 (2020) 89–99.

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).

Supporting materials "STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH"
D. De Martino, G. Tkadik, (2018).

Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkadik, (2018).

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).