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.
5805 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14317 | 
Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_5.
[Published Version]
View
| Files available
| DOI
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Bidding Graph Games with Partially-Observable Budgets.” In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:5464–71, 2023. https://doi.org/10.1609/aaai.v37i5.25679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14425 |
Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter, Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41865-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Beneš, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In 21st International Conference on Computational Methods in Systems Biology, 14137:18–35. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-42697-1_2.
[Submitted Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 14239 |
Mauri, Mirko, and Evgeny Shinder. “Homological Bondal-Orlov Localization Conjecture for Rational Singularities.” Forum of Mathematics, Sigma. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.65.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14658 |
Becker, J. M., Georgios Koutentakis, and P. Schmelcher. “Spin-Charge Correlations in Finite One-Dimensional Multiband Fermi Systems.” Physical Review Research. American Physical Society, 2023. https://doi.org/10.1103/PhysRevResearch.5.043039.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14319 |
Anastos, Michael, David Fabian, Alp Müyesser, and Tibor Szabó. “Splitting Matchings and the Ryser-Brualdi-Stein Conjecture for Multisets.” Electronic Journal of Combinatorics. Electronic Journal of Combinatorics, 2023. https://doi.org/10.37236/11714.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12313 |
Verzobio, Matteo. “Some Effectivity Results for Primitive Divisors of Elliptic Divisibility Sequences.” Pacific Journal of Mathematics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pjm.2023.325.331.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14605
Ouyang, Niuchang, Zezhu Zeng, Chen Wang, Qi Wang, and Yue Chen. “Role of High-Order Lattice Anharmonicity in the Phonon Thermal Transport of Silver Halide AgX (X=Cl,Br, I).” Physical Review B. American Physical Society, 2023. https://doi.org/10.1103/PhysRevB.108.174302.
View
| DOI
2023 | Published | Journal Article | IST-REx-ID: 13268 |
Huybrechts, D., and Mirko Mauri. “On Type II Degenerations of Hyperkähler Manifolds.” Mathematical Research Letters. International Press, 2023. https://doi.org/10.4310/mrl.2023.v30.n1.a6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14867 |
Anastos, Michael. “Constructing Hamilton Cycles and Perfect Matchings Efficiently.” In Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, 36–41. Masaryk University Press, 2023. https://doi.org/10.5817/cz.muni.eurocomb23-005.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 15363 |
Safaryan, Mher, Alexandra Krumes, and Dan-Adrian Alistarh. “Knowledge Distillation Performs Partial Variance Reduction.” In 36th Conference on Neural Information Processing Systems, Vol. 36, 2023.
[Published Version]
View
| Files available
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14486 |
Koutentakis, Georgios, Areg Ghazaryan, and Mikhail Lemeshko. “Rotor Lattice Model of Ferroelectric Large Polarons.” Physical Review Research. American Physical Society, 2023. https://doi.org/10.1103/PhysRevResearch.5.043016.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14654 |
Hwong, Yi-Ling, M. Colin, Philipp Aglas, Caroline J Muller, and S. C. Sherwood. “Assessing Memory in Convection Schemes Using Idealized Tests.” Journal of Advances in Modeling Earth Systems. Wiley, 2023. https://doi.org/10.1029/2023MS003726.
[Published Version]
View
| Files available
| DOI
2023 | Research Data Reference | IST-REx-ID: 14991 |
Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7757041.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14279 |
Ucar, Mehmet C. “Source Data for the Manuscript ‘CCR7 Acts as Both a Sensor and a Sink for CCL19 to Coordinate Collective Leukocyte Migration.’” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8133960.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Journal Article | IST-REx-ID: 10770 |
Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications. Springer Nature, 2023. https://doi.org/10.1007/s13235-022-00425-3.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Published | Journal Article | IST-REx-ID: 13277 |
Tucci, Gennaro, Stefano De Nicola, Sascha Wald, and Andrea Gambassi. “Stochastic Representation of the Quantum Quartic Oscillator.” SciPost Physics Core. SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscore.6.2.029.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 11999 |
Arroyo Guevara, Alan M, Fabian Klute, Irene Parada, Birgit Vogtenhuber, Raimund Seidel, and Tilo Wiedera. “Inserting One Edge into a Simple Drawing Is Hard.” Discrete and Computational Geometry. Springer Nature, 2023. https://doi.org/10.1007/s00454-022-00394-9.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 13276 |
Rammelmüller, Lukas, David Huber, and Artem Volosniev. “A Modular Implementation of an Effective Interaction Approach for Harmonically Trapped Fermions in 1D.” SciPost Physics Codebases. SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscodeb.12.
[Published Version]
View
| Files available
| DOI
| arXiv