Sobolev-to-Lipschitz property on QCD- spaces and applications
L. Dello Schiavo, K. Suzuki, Mathematische Annalen 384 (2022) 1815–1832.
LibreCat: https://research-explorer.ista.ac.at/record/10588
DOI: 10.1007/s00208-021-02331-2
WoS: 000734150200001
arXiv: 2110.05137

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.
LibreCat: https://research-explorer.ista.ac.at/record/10547
DOI: 10.1137/20M1387237
WoS: 000762768000006
arXiv: 2012.03792 

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.
LibreCat: https://research-explorer.ista.ac.at/record/10023
DOI: 10.4310/CIS.2021.v21.n4.a1
arXiv: 2005.14177

Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
LibreCat: https://research-explorer.ista.ac.at/record/10108
DOI: 10.1007/978-3-030-88494-9_12
WoS: 000719383800012

Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9946
DOI: 10.15479/AT:ISTA:9946

Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.
LibreCat: https://research-explorer.ista.ac.at/record/7369
DOI: 10.1007/s10827-020-00740-x
WoS: 000515321800006

Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6473
DOI: 10.15479/AT:ISTA:6473

Scheduling data transfers in a network and the set scheduling problem
A. Goel, M.H. 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.
LibreCat: https://research-explorer.ista.ac.at/record/11691
DOI: 10.1145/301250.301300

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.
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001