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.
6907 Publications
2022 | Published | Conference Paper | IST-REx-ID: 11355 | 
Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Information-Flow Interfaces.” In Fundamental Approaches to Software Engineering, 13241:3–22. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-99429-7_1.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 12072 |
Shute, Alec L. “Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12072.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12226 |
Pokusaeva, Victoria, Aránzazu Rosado Diez, Lorena Espinar, Albert Torelló Pérez, and Guillaume J. Filion. “Strand Asymmetry Influences Mismatch Resolution during Single-Strand Annealing.” Genome Biology. Springer Nature, 2022. https://doi.org/10.1186/s13059-022-02665-3.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 11777 |
Wild, Pascal, High-dimensional expansion and crossing numbers of simplicial complexes. 2022
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11552 |
Qiang, Junjie, Lianrong Zhou, Peifen Lu, Kang Lin, Yongzhe Ma, Shengzhe Pan, Chenxu Lu, et al. “Femtosecond Rotational Dynamics of D2 Molecules in Superfluid Helium Nanodroplets.” Physical Review Letters. American Physical Society, 2022. https://doi.org/10.1103/PhysRevLett.128.243201.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11998 |
Cherepanov, Igor, A simple model for high rotational excitations of molecules in a superfluid. New Journal of Physics 24 (7). 2022
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12150 |
Rzadkowski, Wojciech, Mikhail Lemeshko, and Johan H. Mentink. “Artificial Neural Network States for Nonadditive Systems.” Physical Review B. American Physical Society, 2022. https://doi.org/10.1103/physrevb.106.155127.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11448 |
Gonzalez Somermeyer, Louisa, Aubin Fleiss, Alexander S Mishin, Nina G Bozhanova, Anna A Igolkina, Jens Meiler, Maria-Elisenda Alaball Pujol, Ekaterina V Putintseva, Karen S Sarkisyan, and Fyodor Kondrashov. “Heterogeneity of the GFP Fitness Landscape and Data-Driven Protein Design.” ELife. eLife Sciences Publications, 2022. https://doi.org/10.7554/elife.75842.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10802 |
Konstantinov, Nikola H, and Christoph Lampert. “Fairness-Aware PAC Learning from Corrupted Data.” Journal of Machine Learning Research. ML Research Press, 2022.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Ahmadi, Ali, Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12000 |
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1_4.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14601 |
Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12237 |
Fiedler, Christine, Tobias Kleinhanns, Maria Garcia, Seungho Lee, Mariano Calcabrini, and Maria Ibáñez. “Solution-Processed Inorganic Thermoelectric Materials: Opportunities and Challenges ∇.” Chemistry of Materials. American Chemical Society, 2022. https://doi.org/10.1021/acs.chemmater.2c01967.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10712 |
Roblek, Marko, Julia Bicher, Merel van Gogh, Attila György, Rita Seeböck, Bozena Szulc, Markus Damme, Mariusz Olczak, Lubor Borsig, and Daria E Siekhaus. “The Solute Carrier MFSD1 Decreases Β1 Integrin’s Activation Status and Thus Tumor Metastasis.” Frontiers in Oncology. Frontiers, 2022. https://doi.org/10.3389/fonc.2022.777634.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10758 |
Dubini, Romeo C. A., Eva Korytiaková, Thea Schinkel, Pia Heinrichs, Thomas Carell, and Petra Rovo. “1H NMR Chemical Exchange Techniques Reveal Local and Global Effects of Oxidized Cytosine Derivatives.” ACS Physical Chemistry Au. American Chemical Society, 2022. https://doi.org/10.1021/acsphyschemau.1c00050.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10211 |
Mondelli, Marco, Christos Thrampoulidis, and Ramji Venkataramanan. “Optimal Combination of Linear and Spectral Estimators for Generalized Linear Models.” Foundations of Computational Mathematics. Springer, 2022. https://doi.org/10.1007/s10208-021-09531-x.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10704 |
Hausel, Tamás, and Nigel Hitchin. “Very Stable Higgs Bundles, Equivariant Multiplicity and Mirror Symmetry.” Inventiones Mathematicae. Springer Nature, 2022. https://doi.org/10.1007/s00222-021-01093-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10602 |
Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record with Preorders.” Acta Informatica. Springer Nature, 2022. https://doi.org/10.1007/s00236-021-00412-y.
[Published Version]
View
| Files available
| DOI
| WoS