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. Functional inequalities and convergence of stochastic processes. 2024. doi: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. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14739. Springer Nature; 2024:284-303. doi: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. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In: 36th International Conference on Computer Aided Verification. Vol 14683. Springer Nature; 2024:359-372. doi: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 OM, Alpichshev Z. No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. 2024;8(8). doi:10.1103/PhysRevMaterials.8.085403
View
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 17886 |
Zendrikov D, Paraskevov A. The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks. Neural Networks. 2024;180. doi: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, et al. The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation. Nature Communications. 2024;15. doi: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 JL, Marveggio A. Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. 2024;41(5):1117-1178. doi:10.4171/AIHPC/109
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 17892 |
Olmeda F, Rulands S. Field theory of enzyme-substrate systems with restricted long-range interactions. Physical Review E. 2024;110(2). doi: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 NH. Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects. Landscape Ecology. 2024;39(9). doi:10.1007/s10980-024-01899-9
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen JF, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ. DeCAF: Decentralizable CGKA with fast healing. In: Galdi C, Phan DH, eds. Security and Cryptography for Networks: 14th International Conference. Vol 14974. Cham: Springer Nature; 2024:294–313. doi: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. Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles. Advances in Mathematics. 2024;457. doi: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 AK, Goharshady E, Karrabi M, Zikelic D. 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. Springer Nature; 2024:600-619. doi: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. BNClassifier: Classifying boolean models by dynamic properties. In: Computational Methods in Systems Biology. Vol 14971. Springer Nature; 2024:19-26. doi:10.1007/978-3-031-71671-3_2
View
| DOI
| WoS
2024 | Published | Thesis | IST-REx-ID: 18568 |
Satapathy RK. Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster. 2024. doi:10.15479/at:ista:18568
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18493 |
Goovaerts I, Thai TT, Pello R, et al. Charting the Lyman-α escape fraction in the range 2.9 < z < 6.7 and consequences for the LAE reionisation contribution. Astronomy and Astrophysics. 2024;690. doi: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 NE. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In: 24th International Conference on Runtime Verification. Vol 15191. Springer Nature; 2024:282-301. doi: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 TA, Oliveira da Costa A. Monitoring extended hypernode logic. In: Integrated Formal Methods. Vol 15234. Springer Nature; 2024:151-171. doi:10.1007/978-3-031-76554-4_9
View
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18617 |
Beďatš D. Separation of variables for scalar-valued polynomials in the non-stable range. Journal of Algebra. 2024;651:281-304. doi:10.1016/j.jalgebra.2024.04.013
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv