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.
5673 Publications
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, et al. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” Proceedings of the 34th International Conference on Computer Aided Verification, vol. 13371, Springer, 2022, pp. 55–78, doi: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, et al. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, Association for the Advancement of Artificial Intelligence, 2022, pp. 7326–36, doi:10.1609/aaai.v36i7.20695.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14600 |
Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, 2210.05308, doi:10.48550/ARXIV.2210.05308.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14601 |
Zikelic, Dorde, et al. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, 2205.11991, doi:10.48550/arXiv.2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12237 |
Fiedler, Christine, et al. “Solution-Processed Inorganic Thermoelectric Materials: Opportunities and Challenges ∇.” Chemistry of Materials, vol. 34, no. 19, American Chemical Society, 2022, pp. 8471–89, doi: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, et al. “The Solute Carrier MFSD1 Decreases Β1 Integrin’s Activation Status and Thus Tumor Metastasis.” Frontiers in Oncology, vol. 12, 777634, Frontiers, 2022, doi:10.3389/fonc.2022.777634.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10758 |
Dubini, Romeo C. A., et al. “1H NMR Chemical Exchange Techniques Reveal Local and Global Effects of Oxidized Cytosine Derivatives.” ACS Physical Chemistry Au, vol. 2, no. 3, American Chemical Society, 2022, pp. 237–46, doi:10.1021/acsphyschemau.1c00050.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 10211 |
Mondelli, Marco, et al. “Optimal Combination of Linear and Spectral Estimators for Generalized Linear Models.” Foundations of Computational Mathematics, vol. 22, no. 5, Springer, 2022, pp. 1513–66, doi: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, vol. 228, Springer Nature, 2022, pp. 893–989, doi:10.1007/s00222-021-01093-7.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10602 |
Kretinsky, Jan, et al. “Index Appearance Record with Preorders.” Acta Informatica, vol. 59, Springer Nature, 2022, pp. 585–618, doi:10.1007/s00236-021-00412-y.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 7791 |
Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1309–12, doi:10.1007/s40879-020-00405-0.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 8286 |
Alistarh, Dan-Adrian, Dynamic averaging load balancing on cycles. Algorithmica 84 (4). 2022
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Thesis | IST-REx-ID: 11473 |
Mysliwy, Krzysztof. Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11473.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10564 |
Mysliwy, Krzysztof, and Robert Seiringer. “Polaron Models with Regular Interactions at Strong Coupling.” Journal of Statistical Physics, vol. 186, no. 1, 5, Springer Nature, 2022, doi:10.1007/s10955-021-02851-w.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Abstract | IST-REx-ID: 17062 |
Ibáñez, Maria, et al. “The Importance of Surface Adsorbates in Solution-Processed Thermoelectric Materials.” Proceedings of the NanoGe Spring Meeting 2022, 159, Fundació Scito, 2022, doi:10.29363/nanoge.nsm.2022.159.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 10042 |
Liu, Yu, et al. “Defect Engineering in Solution-Processed Polycrystalline SnSe Leads to High Thermoelectric Performance.” ACS Nano, vol. 16, no. 1, American Chemical Society , 2022, pp. 78–88, doi:10.1021/acsnano.1c06720.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 9977 |
Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:10.1112/jlms.12506.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10797 |
Floreani, Simone, et al. “Orthogonal Polynomial Duality of Boundary Driven Particle Systems and Non-Equilibrium Correlations.” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 58, no. 1, Institute of Mathematical Statistics, 2022, pp. 220–47, doi:10.1214/21-AIHP1163.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv