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.
5672 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12000 | 
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. 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, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). 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. 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, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. 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, D., Lechner, M., Chatterjee, K., & Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv. 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, C., Kleinhanns, T., Garcia, M., Lee, S., Calcabrini, M., & Ibáñez, M. (2022). Solution-processed inorganic thermoelectric materials: Opportunities and challenges ∇. Chemistry of Materials. American Chemical Society. 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, M., Bicher, J., van Gogh, M., György, A., Seeböck, R., Szulc, B., … Siekhaus, D. E. (2022). The solute carrier MFSD1 decreases β1 integrin’s activation status and thus tumor metastasis. Frontiers in Oncology. Frontiers. https://doi.org/10.3389/fonc.2022.777634
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 10758 |
Dubini, R. C. A., Korytiaková, E., Schinkel, T., Heinrichs, P., Carell, T., & Rovo, P. (2022). 1H NMR chemical exchange techniques reveal local and global effects of oxidized cytosine derivatives. ACS Physical Chemistry Au. American Chemical Society. 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, M., Thrampoulidis, C., & Venkataramanan, R. (2022). Optimal combination of linear and spectral estimators for generalized linear models. Foundations of Computational Mathematics. Springer. 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, T., & Hitchin, N. (2022). Very stable Higgs bundles, equivariant multiplicity and mirror symmetry. Inventiones Mathematicae. Springer Nature. 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, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2022). Index appearance record with preorders. Acta Informatica. Springer Nature. https://doi.org/10.1007/s00236-021-00412-y
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 7791 |
Akopyan, A., & Karasev, R. (2022). When different norms lead to same billiard trajectories? European Journal of Mathematics. Springer Nature. https://doi.org/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, K. (2022). Polarons in Bose gases and polar crystals: Some rigorous energy estimates. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11473
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10564 |
Mysliwy, K., & Seiringer, R. (2022). Polaron models with regular interactions at strong coupling. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-021-02851-w
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Abstract | IST-REx-ID: 17062 |
Ibáñez, M., Liu, Y., & Calcabrini, M. (2022). The importance of surface adsorbates in solution-processed thermoelectric materials. In Proceedings of the nanoGe Spring Meeting 2022. Spain/Virtual: Fundació Scito. https://doi.org/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, Y., Calcabrini, M., Yu, Y., Lee, S., Chang, C., David, J., … Ibáñez, M. (2022). Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance. ACS Nano. American Chemical Society . https://doi.org/10.1021/acsnano.1c06720
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 9977 |
Mistegaard, W., & Andersen, J. E. (2022). Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12506
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10797 |
Floreani, S., Redig, F., & Sau, F. (2022). Orthogonal polynomial duality of boundary driven particle systems and non-equilibrium correlations. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/21-AIHP1163
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11344 |
Dranenko, N., Tutukina, M., Gelfand, M., Kondrashov, F., & Bochkareva, O. (2022). Chromosome-encoded IpaH ubiquitin ligases indicate non-human enteroinvasive Escherichia. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-022-10827-3
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC