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.
10572 Publications
2023 | Published | Journal Article | IST-REx-ID: 14425 | 
Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14411 |
Phenotype control of partially specified boolean networks
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
[Submitted Version]
View
| Files available
| DOI
N. Beneš, L. Brim, S. Pastva, D. Šafránek, E. Šmijáková, in:, 21st International Conference on Computational Methods in Systems Biology, Springer Nature, 2023, pp. 18–35.
2023 | Published | Journal Article | IST-REx-ID: 14239 |
Homological Bondal-Orlov localization conjecture for rational singularities
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14658 |
Spin-charge correlations in finite one-dimensional multiband Fermi systems
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
J.M. Becker, G. Koutentakis, P. Schmelcher, Physical Review Research 5 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14319 |
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12313 |
Some effectivity results for primitive divisors of elliptic divisibility sequences
M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Verzobio, Pacific Journal of Mathematics 325 (2023) 331–351.
2023 | Published | Journal Article | IST-REx-ID: 14605
Role of high-order lattice anharmonicity in the phonon thermal transport of silver halide AgX (X=Cl,Br, I)
N. Ouyang, Z. Zeng, C. Wang, Q. Wang, Y. Chen, Physical Review B 108 (2023).
View
| DOI
N. Ouyang, Z. Zeng, C. Wang, Q. Wang, Y. Chen, Physical Review B 108 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13268 |
On type II degenerations of hyperkähler manifolds
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Huybrechts, M. Mauri, Mathematical Research Letters 30 (2023) 125–141.
2023 | Published | Conference Paper | IST-REx-ID: 14867 |
Constructing Hamilton cycles and perfect matchings efficiently
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, in:, Proceedings of the 12th European Conference on Combinatorics, Graph Theory and Applications, Masaryk University Press, 2023, pp. 36–41.
2023 | Published | Conference Paper | IST-REx-ID: 15363 |
Knowledge distillation performs partial variance reduction
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12876 |
Boolean network sketches: A unifying framework for logical model inference
Beneš, Nikola, Boolean network sketches: A unifying framework for logical model inference. Bioinformatics 39 (4). 2023
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Beneš, Nikola, Boolean network sketches: A unifying framework for logical model inference. Bioinformatics 39 (4). 2023
2023 | Published | Journal Article | IST-REx-ID: 13263 |
Trap spaces of multi-valued networks: Definition, computation, and applications
Trinh, Van Giang, Trap spaces of multi-valued networks: Definition, computation, and applications. Bioinformatics 39 (Supplement_1). 2023
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Trinh, Van Giang, Trap spaces of multi-valued networks: Definition, computation, and applications. Bioinformatics 39 (Supplement_1). 2023
2023 | Published | Journal Article | IST-REx-ID: 12563 |
Topology and adjunction in promise constraint satisfaction
Krokhin, Andrei, Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing 52 (1). 2023
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Krokhin, Andrei, Topology and adjunction in promise constraint satisfaction. SIAM Journal on Computing 52 (1). 2023
2023 | Published | Journal Article | IST-REx-ID: 14486 |
Rotor lattice model of ferroelectric large polarons
G. Koutentakis, A. Ghazaryan, M. Lemeshko, Physical Review Research 5 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
G. Koutentakis, A. Ghazaryan, M. Lemeshko, Physical Review Research 5 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14654 |
Assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
[Published Version]
View
| Files available
| DOI
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, Journal of Advances in Modeling Earth Systems 15 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14718 |
Binary decision diagrams on modern hardware
Pastva, Samuel, Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. 2023
[Published Version]
View
| Files available
| DOI
Pastva, Samuel, Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. 2023
2023 | Research Data Reference | IST-REx-ID: 14991 |
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
2023 | Research Data Reference | IST-REx-ID: 14279 |
Source data for the manuscript "CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.C. Ucar, (2023).
2023 | Published | Thesis | IST-REx-ID: 12885 |
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 10770 |
Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
[Published Version]
View
| Files available
| DOI
| WoS
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.