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 | 
Functional inequalities and convergence of stochastic processes
F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17413 |
Certifying phase abstraction
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.
2024 | Published | Conference Paper | IST-REx-ID: 17402 |
Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
2024 | Published | Journal Article | IST-REx-ID: 17476
No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry
D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).
View
| DOI
| WoS
D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17886 |
The vitals for steady nucleation maps of spontaneous spiking coherence in autonomous two-dimensional neuronal networks
D. Zendrikov, A. Paraskevov, Neural Networks 180 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Zendrikov, A. Paraskevov, Neural Networks 180 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17885 |
The novel ribosome biogenesis inhibitor usnic acid blocks nucleolar pre-60S maturation
L. Kofler, L. Grundmann, M. Gerhalter, M. Prattes, J. Merl-Pham, G. Zisser, I. Grishkovskaya, V.-V. Hodirnau, M. Vareka, R. Breinbauer, S.M. Hauck, D. Haselbach, H. Bergler, Nature Communications 15 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Kofler, L. Grundmann, M. Gerhalter, M. Prattes, J. Merl-Pham, G. Zisser, I. Grishkovskaya, V.-V. Hodirnau, M. Vareka, R. Breinbauer, S.M. Hauck, D. Haselbach, H. Bergler, Nature Communications 15 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17481 |
Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
[Published Version]
View
| Files available
| DOI
| WoS
J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.
2024 | Published | Journal Article | IST-REx-ID: 17892 |
Field theory of enzyme-substrate systems with restricted long-range interactions
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17888 |
Multiscale spatial analysis of two plant–insect interactions: Effects of landscape, resource distribution, and other insects
G. Pocull Belles, C. Baskett, N.H. Barton, Landscape Ecology 39 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
G. Pocull Belles, C. Baskett, N.H. Barton, Landscape Ecology 39 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View
| Files available
| DOI
| WoS
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
2024 | Published | Journal Article | IST-REx-ID: 18065 |
Dynamical classification of analytic one-frequency quasi-periodic SO(3,R)-cocycles
X. Hou, Y. Pan, Q. Zhou, Advances in Mathematics 457 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
X. Hou, Y. Pan, Q. Zhou, Advances in Mathematics 457 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18155 |
Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, D. Zikelic, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 600–619.
2024 | Published | Conference Paper | IST-REx-ID: 18177
BNClassifier: Classifying boolean models by dynamic properties
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.
View
| DOI
| WoS
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.
2024 | Published | Thesis | IST-REx-ID: 18568 |
Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster
R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18493 |
Charting the Lyman-α escape fraction in the range 2.9 < z < 6.7 and consequences for the LAE reionisation contribution
I. Goovaerts, T.T. Thai, R. Pello, P. Tuan-Anh, N. Laporte, J.J. Matthee, T. Nanayakkara, J. Pharo, Astronomy and Astrophysics 690 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
I. Goovaerts, T.T. Thai, R. Pello, P. Tuan-Anh, N. Laporte, J.J. Matthee, T. Nanayakkara, J. Pharo, Astronomy and Astrophysics 690 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18492 |
Binarity at LOw Metallicity (BLOeM): A spectroscopic VLT monitoring survey of massive stars in the SMC
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
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.
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
2024 | Published | Conference Paper | IST-REx-ID: 18600 |
Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report
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
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.
2024 | Published | Conference Paper | IST-REx-ID: 18599
Monitoring extended hypernode logic
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
View
| DOI
| WoS
M. Chalupa, T.A. Henzinger, A. Oliveira da Costa, in:, Integrated Formal Methods, Springer Nature, 2024, pp. 151–171.
2024 | Published | Journal Article | IST-REx-ID: 18617 |
Separation of variables for scalar-valued polynomials in the non-stable range
D. Beďatš, Journal of Algebra 651 (2024) 281–304.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Beďatš, Journal of Algebra 651 (2024) 281–304.