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. (2022). Sobolev-to-Lipschitz property on QCD- spaces and applications. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-021-02331-2
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10547 |
Fischer, J. L., Hopf, K., Kniely, M., & Mielke, A. (2022). Global existence analysis of energy-reaction-diffusion systems. SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/20M1387237
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10023 |
Karatzas, I., Maas, J., & Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press. https://doi.org/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, T. A. (2021). Differential monitoring. In International Conference on Runtime Verification (Vol. 12974, pp. 231–243). Cham: Springer Nature. https://doi.org/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, T. A. (2021). Differential monitoring. IST Austria. https://doi.org/10.15479/AT:ISTA:9946
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7369 |
Cubero, R. J., Marsili, M., & Roudi, Y. (2020). Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. Springer Nature. https://doi.org/10.1007/s10827-020-00740-x
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez, S. A. (2019). Estimating information flow in single cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6473
[Published Version]
View
| Files available
| DOI
1999 | Conference Paper | IST-REx-ID: 11691
Goel, A., Henzinger, M. H., Plotkin, S., & Tardos, E. (1999). Scheduling data transfers in a network and the set scheduling problem. In Proceedings of the 31st annual ACM symposium on Theory of computing (pp. 189–197). Atlanta, GA, United States: Association for Computing Machinery. https://doi.org/10.1145/301250.301300
View
| DOI
1994 | Book Chapter | IST-REx-ID: 4590
Alur, R., & Henzinger, T. A. (1994). Real-time system = discrete system + clock variables. In T. Rus & C. Rattray (Eds.), Theories and Experiences for Real-Time System Development (Vol. 2, pp. 1–29). World Scientific Publishing. https://doi.org/10.1142/9789812831583_0001
View
| DOI
| Download None (ext.)