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.
1966 Publications
2024 | Published | Thesis | IST-REx-ID: 17336 | 
Pedrotti, F. (2024). Functional inequalities and convergence of stochastic processes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17336
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17402 |
Meggendorfer, T., & Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In 36th International Conference on Computer Aided Verification (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-65633-0_16
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17476
Lorenc, D., Zhumekenov, A., Bakr, O. M., & Alpichshev, Z. (2024). No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. American Physical Society. https://doi.org/10.1103/PhysRevMaterials.8.085403
View
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 17886 |
Zendrikov, D., & Paraskevov, A. (2024). The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. Elsevier. https://doi.org/10.1016/j.neunet.2024.106589
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17885 |
Kofler, L., Grundmann, L., Gerhalter, M., Prattes, M., Merl-Pham, J., Zisser, G., … Bergler, H. (2024). The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-51754-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17481 |
Fischer, J. L., & Marveggio, A. (2024). Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. EMS Press. https://doi.org/10.4171/AIHPC/109
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 17892 |
Olmeda, F., & Rulands, S. (2024). Field theory of enzyme-substrate systems with restricted long-range interactions. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.110.024404
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17888 |
Pocull Belles, G., Baskett, C., & Barton, N. H. (2024). Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects. Landscape Ecology. Springer Nature. https://doi.org/10.1007/s10980-024-01899-9
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen, J. F., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., & Pietrzak, K. Z. (2024). DeCAF: Decentralizable CGKA with fast healing. In C. Galdi & D. H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference (Vol. 14974, pp. 294–313). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-71073-5_14
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18065 |
Hou, X., Pan, Y., & Zhou, Q. (2024). Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.109943
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Chatterjee, K., Goharshady, A. K., Goharshady, E., Karrabi, M., & Zikelic, D. (2024). Sound and complete witnesses for template-based verification of LTL properties on polynomial programs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14933, pp. 600–619). Milan, Italy: Springer Nature. https://doi.org/10.1007/978-3-031-71162-6_31
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš, N., Brim, L., Huvar, O., Pastva, S., & Šafránek, D. (2024). BNClassifier: Classifying boolean models by dynamic properties. In Computational Methods in Systems Biology (Vol. 14971, pp. 19–26). Springer Nature. https://doi.org/10.1007/978-3-031-71671-3_2
View
| DOI
| WoS
2024 | Published | Thesis | IST-REx-ID: 18568 |
Satapathy, R. K. (2024). Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18568
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18493 |
Goovaerts, I., Thai, T. T., Pello, R., Tuan-Anh, P., Laporte, N., Matthee, J. J., … Pharo, J. (2024). Charting the Lyman-α escape fraction in the range 2.9 < z < 6.7 and consequences for the LAE reionisation contribution. Astronomy and Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202451432
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18492 |
Shenar T, Bodensteiner J, Sana H, Crowther PA, Lennon DJ, Abdul-Masih M, Almeida LA, Backs F, Berlanas SR, Bernini-Peron M, Bestenlehner JM, Bowman DM, Bronner VA, Britavskiy N, De Koter A, De Mink SE, Deshmukh K, Evans CJ, Fabry M, Gieles M, Gilkis A, González-Torà G, Gräfener G, Götberg YLL, Hawcroft C, Hénault-Brunet V, Herrero A, Holgado G, Janssens S, Johnston C, Josiek J, Justham S, Kalari VM, Katabi ZZ, Keszthelyi Z, Klencki J, Kubát J, Kubátová B, Langer N, Lefever RR, Ludwig B, Mackey J, Mahy L, Maíz Apellániz J, Mandel I, Maravelias G, Marchant P, Menon A, Najarro F, Oskinova LM, O’Grady AJG, Ovadia R, Patrick LR, Pauli D, Pawlak M, Ramachandran V, Renzo M, Rocha DF, Sander AAC, Sayada T, Schneider FRN, Schootemeijer A, Schösser EC, Schürmann C, Sen K, Shahaf S, Simón-Díaz S, Stoop M, Toonen S, Tramper F, Van Loon JT, Valli R, Van Son LAC, Vigna-Gómez A, Villaseñor JI, Vink JS, Wang C, Willcox R. 2024. Binarity at LOw Metallicity (BLOeM): A spectroscopic VLT monitoring survey of massive stars in the SMC. Astronomy and Astrophysics. 690, A289.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour, B., Momtaz, A., Nickovic, D., & Sarac, N. E. (2024). Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In 24th International Conference on Runtime Verification (Vol. 15191, pp. 282–301). Istanbul, Turkey: Springer Nature. https://doi.org/10.1007/978-3-031-74234-7_18
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18600 |
Andriushchenko R, Bork A, Budde CE, Češka M, Grover K, Hahn EM, Hartmanns A, Israelsen B, Jansen N, Jeppson J, Junges S, Köhl MA, Könighofer B, Kretinsky J, Meggendorfer T, Parker D, Pranger S, Quatmann T, Ruijters E, Taylor L, Volk M, Weininger M, Zhang Z. 2024. Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report. TOOLympics Challenge 2023. , LNCS, vol. 14550, 90–146.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18599
Chalupa, M., Henzinger, T. A., & Oliveira da Costa, A. (2024). Monitoring extended hypernode logic. In Integrated Formal Methods (Vol. 15234, pp. 151–171). Springer Nature. https://doi.org/10.1007/978-3-031-76554-4_9
View
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18617 |
Beďatš, D. (2024). Separation of variables for scalar-valued polynomials in the non-stable range. Journal of Algebra. Elsevier. https://doi.org/10.1016/j.jalgebra.2024.04.013
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv