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.
10945 Publications
2022 | Published | Journal Article | IST-REx-ID: 12118 | 
Valentini M, Borovkov M, Prada E, Martí-Sánchez S, Botifoll M, Hofmann AC, Arbiol J, Aguado R, San-Jose P, Katsaros G. 2022. Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. 612(7940), 442–447.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2022 | Research Data | IST-REx-ID: 12522 |
Valentini M, San-Jose P, Arbiol J, Marti-Sanchez S, Botifoll M. 2022. Data for ‘Majorana-like Coulomb spectroscopy in the absence of zero bias peaks’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:12102.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 10850 |
Roos B, Seiringer R. 2022. Two-particle bound states at interfaces and corners. Journal of Functional Analysis. 282(12), 109455.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 10791 |
Hansen AH, Pauler F, Riedl M, Streicher C, Heger A-M, Laukoter S, Sommer CM, Nicolas A, Hof B, Tsai LH, Rülicke T, Hippenmeyer S. 2022. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 1(1), kvac009.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 | Published | Conference Paper | IST-REx-ID: 12000 |
Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA. 2022. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 36(7), 7326–7336.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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