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 | OA
Dello Schiavo L, Suzuki K. 2022. Sobolev-to-Lipschitz property on QCD- spaces and applications. Mathematische Annalen. 384, 1815–1832.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Journal Article | IST-REx-ID: 10547 | OA
Fischer JL, Hopf K, Kniely M, Mielke A. 2022. Global existence analysis of energy-reaction-diffusion systems. SIAM Journal on Mathematical Analysis. 54(1), 220–267.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2021 | Journal Article | IST-REx-ID: 10023 | OA
Karatzas I, Maas J, Schachermayer W. 2021. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 21(4), 481–536.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2021 | Conference Paper | IST-REx-ID: 10108 | OA
Mühlböck F, Henzinger TA. 2021. Differential monitoring. International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 12974, 231–243.
[Preprint] View | Files available | DOI | WoS
 

2021 | Technical Report | IST-REx-ID: 9946 | OA
Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 7369 | OA
Cubero RJ, Marsili M, Roudi Y. 2020. Multiscale relevance and informative encoding in neuronal spike trains. Journal of Computational Neuroscience. 48, 85–102.
[Published Version] View | Files available | DOI | WoS
 

2019 | Thesis | IST-REx-ID: 6473 | OA
Cepeda Humerez SA. 2019. Estimating information flow in single cells. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

1999 | Conference Paper | IST-REx-ID: 11691
Goel A, Henzinger MH, Plotkin S, Tardos E. 1999. Scheduling data transfers in a network and the set scheduling problem. Proceedings of the 31st annual ACM symposium on Theory of computing. STOC: Symposium on Theory of Computing, 189–197.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. 1994.Real-time system = discrete system + clock variables. In: Theories and Experiences for Real-Time System Development. AMAST Series in Computing, vol. 2, 1–29.
View | DOI | Download None (ext.)
 

Filters and Search Terms

keyword="Time-series"

Search

Filter Publications