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, Lorenzo, and Kohei Suzuki. “Sobolev-to-Lipschitz Property on QCD- Spaces and Applications.” Mathematische Annalen, vol. 384, Springer Nature, 2022, pp. 1815–32, doi:10.1007/s00208-021-02331-2.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10547 |
Fischer, Julian L., et al. “Global Existence Analysis of Energy-Reaction-Diffusion Systems.” SIAM Journal on Mathematical Analysis, vol. 54, no. 1, Society for Industrial and Applied Mathematics, 2022, pp. 220–67, doi:10.1137/20M1387237.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10023 |
Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” Communications in Information and Systems, vol. 21, no. 4, International Press, 2021, pp. 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, Fabian, and Thomas A. Henzinger. “Differential Monitoring.” International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 231–43, 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, Fabian, and Thomas A. Henzinger. 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, Ryan J., et al. “Multiscale Relevance and Informative Encoding in Neuronal Spike Trains.” Journal of Computational Neuroscience, vol. 48, Springer Nature, 2020, pp. 85–102, doi:10.1007/s10827-020-00740-x.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Thesis | IST-REx-ID: 6473 |
Cepeda Humerez, Sarah A. Estimating Information Flow in Single Cells. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6473.
[Published Version]
View
| Files available
| DOI
1999 | Conference Paper | IST-REx-ID: 11691
Goel, Ashish, et al. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–97, doi:10.1145/301250.301300.
View
| DOI
1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29, doi:10.1142/9789812831583_0001.
View
| DOI
| Download None (ext.)