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.
11103 Publications
2022 | Draft | Preprint | IST-REx-ID: 14600 | 
Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. 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 TA. Learning stabilizing policies in stochastic control systems. arXiv, 2205.11991.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11411 |
Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2022. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 221(3), iyac083.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11842 |
Hensel S, Marveggio A. 2022. Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. 24(3), 93.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 18876 |
Kocsis P, Súkeník P, Brasó G, Niessner M, Leal-Taixé L, Elezi I. 2022. The unreasonable effectiveness of fully-connected layers for low-data regimes. 36th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 35, 1896–1908.
[Published Version]
View
| Files available
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 19491 |
Chan S, Koymans P, Milovic D, Pagano C. 2022. The 8-rank of the narrow class group and the negative Pell equation. Forum of Mathematics, Sigma. 10, e46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 19490 |
Chan S. 2022. Integral points on the congruent number curve. Transactions of the American Mathematical Society. 375(9), 6675–6700.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11402 |
Chatterjee K, Doyen L. 2022. Graph planning with expected finite horizon. Journal of Computer and System Sciences. 129, 1–21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12129 |
Wagner U, Welzl E. 2022. Connectivity of triangulation flip graphs in the plane. Discrete & Computational Geometry. 68(4), 1227–1284.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 8286 |
Alistarh D-A, Nadiradze G, Sabour A. 2022. Dynamic averaging load balancing on cycles. Algorithmica. 84(4), 1007–1029.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Thesis | IST-REx-ID: 10759 |
Rzadkowski W. 2022. Analytic and machine learning approaches to composite quantum impurities. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11478 |
Bartalska K, Hübschmann V, Korkut M, Cubero RJ, Venturino A, Rössler K, Czech T, Siegert S. 2022. A systematic characterization of microglia-like cell occurrence during retinal organoid differentiation. iScience. 25(7), 104580.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 12101 |
Chatterjee K, Ibsen-Jensen R, Jecker IR, Svoboda J. 2022. Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Foundations of Software Technology and Theoretical Computer Science vol. 250, 11:1-11:14.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12257 |
Chatterjee K, Svoboda J, Zikelic D, Pavlogiannis A, Tkadlec J. 2022. Social balance on networks: Local minima and best-edge dynamics. Physical Review E. 106(3), 034321.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 9311 |
Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12109 |
Pertl F, Sobarzo Ponce JCA, Shafeek LB, Cramer T, Waitukaitis SR. 2022. Quantifying nanoscale charge density features of contact-charged surfaces with an FEM/KPFM-hybrid approach. Physical Review Materials. 6(12), 125605.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Draft | Preprint | IST-REx-ID: 14597 |
Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12508 |
Henzinger TA, Lehtinen K, Totzke P. 2022. History-deterministic timed automata. 33rd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 243, 14:1-14:21.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11336 |
Amberg N, Pauler F, Streicher C, Hippenmeyer S. 2022. Tissue-wide genetic and cellular landscape shapes the execution of sequential PRC2 functions in neural stem cell lineage progression. Science Advances. 8(44), abq1263.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC