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.
9 Publications
2022 | Journal Article | IST-REx-ID: 10588 | 
Dello Schiavo L, Suzuki K. Sobolev-to-Lipschitz property on QCD- spaces and applications. Mathematische Annalen. 2022;384:1815-1832. doi:10.1007/s00208-021-02331-2
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10547 |
Fischer JL, Hopf K, Kniely M, Mielke A. Global existence analysis of energy-reaction-diffusion systems. SIAM Journal on Mathematical Analysis. 2022;54(1):220-267. doi:10.1137/20M1387237
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10023 |
Karatzas I, Maas J, Schachermayer W. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 2021;21(4):481-536. doi:10.4310/CIS.2021.v21.n4.a1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10108 |
Mühlböck F, Henzinger TA. Differential monitoring. In: International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:231-243. doi:10.1007/978-3-030-88494-9_12
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Technical Report | IST-REx-ID: 9946 |
Mühlböck F, Henzinger TA. Differential Monitoring. IST Austria; 2021. doi:10.15479/AT:ISTA:9946
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7369 |
Cubero RJ, Marsili M, Roudi Y. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. 2020;48:85-102. doi:10.1007/s10827-020-00740-x
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez SA. Estimating information flow in single cells. 2019. doi:10.15479/AT:ISTA:6473
[Published Version]
View
| Files available
| DOI
1999 | Conference Paper | IST-REx-ID: 11691
Goel A, Henzinger MH, Plotkin S, Tardos E. Scheduling data transfers in a network and the set scheduling problem. In: Proceedings of the 31st Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 1999:189-197. doi:10.1145/301250.301300
View
| DOI
1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development. Vol 2. AMAST Series in Computing. World Scientific Publishing; 1994:1-29. doi:10.1142/9789812831583_0001
View
| DOI
| Download None (ext.)