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.
692 Publications
2023 | Published | Conference Paper | IST-REx-ID: 14317 | 
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
2023 | Published | Conference Paper | IST-REx-ID: 14490 |
Lightning creation games
Z. Avarikioti, T. Lizurej, T. Michalak, M.X. Yeo, in:, 43rd International Conference on Distributed Computing Systems, IEEE, 2023, pp. 603–613.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
Z. Avarikioti, T. Lizurej, T. Michalak, M.X. Yeo, in:, 43rd International Conference on Distributed Computing Systems, IEEE, 2023, pp. 603–613.
2023 | Published | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint]
View
| Files available
| DOI
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
2023 | Research Data | IST-REx-ID: 13173 |
Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals
R. Shigemoto, (2023).
[Published Version]
View
| Files available
| DOI
R. Shigemoto, (2023).
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).