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 | Published | Journal Article | IST-REx-ID: 10547 | 
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J.L. Fischer, K. Hopf, M. Kniely, A. Mielke, SIAM Journal on Mathematical Analysis 54 (2022) 220–267.
2022 | Published | Journal Article | IST-REx-ID: 10588 |
Sobolev-to-Lipschitz property on QCD- spaces and applications
L. Dello Schiavo, K. Suzuki, Mathematische Annalen 384 (2022) 1815–1832.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Dello Schiavo, K. Suzuki, Mathematische Annalen 384 (2022) 1815–1832.
2021 | Published | Technical Report | IST-REx-ID: 9946 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
[Published Version]
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 10023 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.
2021 | Published | Conference Paper | IST-REx-ID: 10108 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
[Preprint]
View
| Files available
| DOI
| WoS
F. Mühlböck, T.A. Henzinger, in:, International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 231–243.
2020 | Published | Journal Article | IST-REx-ID: 7369 |
Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.
[Published Version]
View
| Files available
| DOI
| WoS
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.
2019 | Published | Thesis | IST-REx-ID: 6473 |
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, Institute of Science and Technology Austria, 2019.
1999 | Published | Conference Paper | IST-REx-ID: 11691
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.
View
| DOI
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.
1994 | Published | Book Chapter | IST-REx-ID: 4590
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.
View
| DOI
| Download None (ext.)
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.