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.
5779 Publications
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
| 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: 17447 |
Special cubic zeros and the dual variety
V. Wang, Journal of the London Mathematical Society 110 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
V. Wang, Journal of the London Mathematical Society 110 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18528 |
Unveiling complex magnetic field configurations in red giant stars
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S.B. Das, L. Einramhof, L.A. Bugnet, Astronomy and Astrophysics 690 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15359 |
Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials
H. Dong, Y. Shi, P. Ying, K. Xu, T. Liang, Y. Wang, Z. Zeng, X. Wu, W. Zhou, S. Xiong, S. Chen, Z. Fan, Journal of Applied Physics 135 (2024).
[Preprint]
View
| Files available
| DOI
| arXiv
H. Dong, Y. Shi, P. Ying, K. Xu, T. Liang, Y. Wang, Z. Zeng, X. Wu, W. Zhou, S. Xiong, S. Chen, Z. Fan, Journal of Applied Physics 135 (2024).
2024 | Published | Journal Article | IST-REx-ID: 15024 |
Correlation-induced viscous dissipation in concentrated electrolytes
P. Robin, Journal of Chemical Physics 160 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
P. Robin, Journal of Chemical Physics 160 (2024).
2024 | Published | Journal Article | IST-REx-ID: 14986 |
Tamely ramified geometric Langlands correspondence in positive characteristic
S. Shen, International Mathematics Research Notices 2024 (2024) 6176–6208.
[Published Version]
View
| Files available
| DOI
| arXiv
S. Shen, International Mathematics Research Notices 2024 (2024) 6176–6208.
2024 | Published | Conference Paper | IST-REx-ID: 15321 |
Scalable enumeration of trap spaces in boolean networks via answer set programming
G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.
[Published Version]
View
| DOI
| Download Published Version (ext.)
G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 12311 |
Common valuations of division polynomials
B. Naskręcki, M. Verzobio, Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
B. Naskręcki, M. Verzobio, Proceedings of the Royal Society of Edinburgh Section A: Mathematics (2024).
2024 | Published | Journal Article | IST-REx-ID: 15052
Impact of strain-insensitive low-frequency phonon modes on lattice thermal transport in AxXB6-type perovskites
R. Cheng, Z. Zeng, C. Wang, N. Ouyang, Y. Chen, Physical Review B 109 (2024).
View
| DOI
R. Cheng, Z. Zeng, C. Wang, N. Ouyang, Y. Chen, Physical Review B 109 (2024).
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17437 |
Rational singularities for moment maps of totally negative quivers
T. Vernet, Transformation Groups (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Vernet, Transformation Groups (2024).
2024 | Published | Journal Article | IST-REx-ID: 18479 |
Reconciling theories of dominance with the relative rates of adaptive substitution on sex chromosomes and autosomes
Y. Mcdonough, F. Ruzicka, T. Connallon, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Mcdonough, F. Ruzicka, T. Connallon, Proceedings of the National Academy of Sciences of the United States of America 121 (2024).
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
| PubMed | Europe PMC
F. Olmeda, S. Rulands, Physical Review E 110 (2024).
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18074 |
Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition
M. Fialova, Annales Henri Poincare (2024).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
M. Fialova, Annales Henri Poincare (2024).
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
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 | Journal Article | IST-REx-ID: 18627 |
Enhanced many-body quantum scars from the non-hermitian fock skin effect
R. Shen, F. Qin, J.-Y.M. Desaules, Z. Papić, C.H. Lee, Physical Review Letters 133 (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
R. Shen, F. Qin, J.-Y.M. Desaules, Z. Papić, C.H. Lee, Physical Review Letters 133 (2024).
2024 | Research Data | IST-REx-ID: 17471 |
Data for "Enhanced many-body quantum scars from the non-Hermitian Fock skin effect"
J.-Y.M. Desaules, (2024).
View
| Files available
| DOI
J.-Y.M. Desaules, (2024).
2024 | Published | Conference Paper | IST-REx-ID: 15168 |
Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
M. Filakovský, T.V. Nakajima, J. Opršal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Filakovský, T.V. Nakajima, J. Opršal, G. Tasinato, U. Wagner, in:, 41st International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15313 |
Dynamics and scaling of internally cooled convection
L.N. Agasthya, C.J. Muller, Communications in Nonlinear Science and Numerical Simulation 134 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
L.N. Agasthya, C.J. Muller, Communications in Nonlinear Science and Numerical Simulation 134 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17052 |
Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials
C. Fiedler, M. Calcabrini, Y. Liu, M. Ibáñez, Angewandte Chemie - International Edition 63 (2024).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Fiedler, M. Calcabrini, Y. Liu, M. Ibáñez, Angewandte Chemie - International Edition 63 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17235 |
Effect of ion irradiation on superconducting thin films
K. Kohopää, A. Ronzani, R.N. Jabdaraghi, A. Bera, M. Ribeiro, D. Hazra, J.L. Senior, M. Prunnila, J. Govenius, J.S. Lehtinen, A. Kemppinen, APL Materials 12 (2024).
[Published Version]
View
| Files available
| DOI
K. Kohopää, A. Ronzani, R.N. Jabdaraghi, A. Bera, M. Ribeiro, D. Hazra, J.L. Senior, M. Prunnila, J. Govenius, J.S. Lehtinen, A. Kemppinen, APL Materials 12 (2024).