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.
12 Publications
2025 |
Published |
Conference Paper |
IST-REx-ID: 22007 |
Pietrzak, Krzysztof Z., and Pengxiang Wang. “Time-Space Tradeoffs of Truncation with Preprocessing.” 6th Conference on Information-Theoretic Cryptography, vol. 343, 4:1-4:10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.ITC.2025.4.
[Published Version]
View
| Files available
| DOI
| Cryptology ePrint
2022 |
Published |
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
2022 |
Published |
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
2021 |
Published |
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 |
Published |
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
2021 |
Published |
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 of Boston, 2021, pp. 481–536, doi:10.4310/CIS.2021.v21.n4.a1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 |
Published |
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 |
Published |
Thesis | PhD |
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
2018 |
Published |
Journal Article |
IST-REx-ID: 22045 |
Killip, Rowan, et al. “The Initial-Value Problem for the Cubic-Quintic NLS with Nonvanishing Boundary Conditions.” SIAM Journal on Mathematical Analysis, vol. 50, no. 3, Society for Industrial & Applied Mathematics, 2018, pp. 2681–739, doi:10.1137/17m1116702.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |
Published |
Journal Article |
IST-REx-ID: 1317
Fischer, Julian L. “Behaviour of Free Boundaries in Thin-Film Flow: The Regime of Strong Slippage and the Regime of Very Weak Slippage.” Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 33, no. 5, EMS Press, 2016, pp. 1301–27, doi:10.1016/j.anihpc.2015.05.001.
View
| DOI
1999 |
Published |
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 |
Published |
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.)