Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5471 Publications
2022 | Published | Conference Abstract | IST-REx-ID: 17062 | 
The importance of surface adsorbates in solution-processed thermoelectric materials
M. Ibáñez, Y. Liu, M. Calcabrini, in:, Proceedings of the NanoGe Spring Meeting 2022, Fundació Scito, 2022.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Ibáñez, Y. Liu, M. Calcabrini, in:, Proceedings of the NanoGe Spring Meeting 2022, Fundació Scito, 2022.
2022 | Published | Thesis | IST-REx-ID: 11362 |
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12072 |
Existence and density problems in Diophantine geometry: From norm forms to Campana points
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
2022 | Published | Journal Article | IST-REx-ID: 10802 |
Fairness-aware PAC learning from corrupted data
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.
[Published Version]
View
| Files available
| arXiv
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.
2022 | Published | Journal Article | IST-REx-ID: 10787 |
The response of a metapopulation to a changing environment
N.H. Barton, O.O. Olusanya, Philosophical Transactions of the Royal Society B: Biological Sciences 377 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
N.H. Barton, O.O. Olusanya, Philosophical Transactions of the Royal Society B: Biological Sciences 377 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10658 |
Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity
H. Sachdeva, O.O. Olusanya, N.H. Barton, Philosophical Transactions of the Royal Society B 377 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
H. Sachdeva, O.O. Olusanya, N.H. Barton, Philosophical Transactions of the Royal Society B 377 (2022).
2022 | Draft | Preprint | IST-REx-ID: 14600 |
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
2022 | Draft | Preprint | IST-REx-ID: 14601 |
Learning stabilizing policies in stochastic control systems
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).
2022 | Published | Thesis | IST-REx-ID: 11777 |
High-dimensional expansion and crossing numbers of simplicial complexes
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
[Published Version]
View
| Files available
| DOI
P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology, 2022.
2022 | Published | Thesis | IST-REx-ID: 11473 |
Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
2022 | Published | Journal Article | IST-REx-ID: 11998 |
A simple model for high rotational excitations of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, H. Stapelfeldt, M. Lemeshko, New Journal of Physics 24 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, H. Stapelfeldt, M. Lemeshko, New Journal of Physics 24 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10564 |
Polaron models with regular interactions at strong coupling
K. Mysliwy, R. Seiringer, Journal of Statistical Physics 186 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
K. Mysliwy, R. Seiringer, Journal of Statistical Physics 186 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Algorithms and hardness results for computing cores of Markov chains
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12000 |
Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
2022 | Published | Journal Article | IST-REx-ID: 11448 |
Heterogeneity of the GFP fitness landscape and data-driven protein design
L. Gonzalez Somermeyer, A. Fleiss, A.S. Mishin, N.G. Bozhanova, A.A. Igolkina, J. Meiler, M.-E. Alaball Pujol, E.V. Putintseva, K.S. Sarkisyan, F. Kondrashov, ELife 11 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
L. Gonzalez Somermeyer, A. Fleiss, A.S. Mishin, N.G. Bozhanova, A.A. Igolkina, J. Meiler, M.-E. Alaball Pujol, E.V. Putintseva, K.S. Sarkisyan, F. Kondrashov, ELife 11 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12226 |
Strand asymmetry influences mismatch resolution during single-strand annealing
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12150 |
Artificial neural network states for nonadditive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, Physical Review B 106 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
W. Rzadkowski, M. Lemeshko, J.H. Mentink, Physical Review B 106 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
2022 | Published | Journal Article | IST-REx-ID: 12257 |
Social balance on networks: Local minima and best-edge dynamics
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, J. Tkadlec, Physical Review E 106 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, J. Svoboda, D. Zikelic, A. Pavlogiannis, J. Tkadlec, Physical Review E 106 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10042 |
Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.