Time-space tradeoffs of truncation with preprocessing
K.Z. Pietrzak, P. Wang, in:, 6th Conference on Information-Theoretic Cryptography, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.

Global existence analysis of energy-reaction-diffusion systems
J.L. Fischer, K. Hopf, M. Kniely, A. Mielke, SIAM Journal on Mathematical Analysis 54 (2022) 220–267.

Sobolev-to-Lipschitz property on QCD- spaces and applications
L. Dello Schiavo, K. Suzuki, Mathematische Annalen 384 (2022) 1815–1832.

Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.

Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.

Trajectorial dissipation and gradient flow for the relative entropy in Markov chains
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.

Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.

Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.

The initial-value problem for the cubic-quintic NLS with nonvanishing boundary conditions
R. Killip, J. Murphy, M. Vifan, SIAM Journal on Mathematical Analysis 50 (2018) 2681–2739.

Behaviour of free boundaries in thin-film flow: The regime of strong slippage and the regime of very weak slippage
J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 33 (2016) 1301–1327.

Scheduling data transfers in a network and the set scheduling problem
A. Goel, M. Henzinger, S. Plotkin, E. Tardos, in:, Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–197.

Real-time system = discrete system + clock variables
R. Alur, T.A. Henzinger, in:, T. Rus, C. Rattray (Eds.), Theories and Experiences for Real-Time System Development, World Scientific Publishing, 1994, pp. 1–29.