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.
2035 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10206 | 
Lukina A, Schilling C, Henzinger TA. 2021. Into the unknown: active monitoring of neural networks. 21st International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 12974, 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8544 |
Takeo YH, Shuster SA, Jiang L, Hu M, Luginbuhl DJ, Rülicke T, Contreras X, Hippenmeyer S, Wagner MJ, Ganguli S, Luo L. 2021. GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells. Neuron. 109(4), P629–644.E8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7939 |
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. 2021. Fast approximate shortest paths in the congested clique. Distributed Computing. 34, 463–487.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8248 |
Boissonnat J-D, Dyer R, Ghosh A, Lieutier A, Wintraecken M. 2021. Local conditions for triangulating submanifolds of Euclidean space. Discrete and Computational Geometry. 66, 666–686.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2021 |Published| Journal Article | IST-REx-ID: 9002
Fazeli A, Hassani H, Mondelli M, Vardy A. 2021. Binary linear codes with optimal scaling: Polar codes with large kernels. IEEE Transactions on Information Theory. 67(9), 5693–5710.
[Preprint]
View
| Files available
| DOI
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7925 |
Shehu Y, Gibali A. 2021. New inertial relaxed method for solving split feasibilities. Optimization Letters. 15, 2109–2126.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 15215 |
Yao Y, Kulkarni SR, Burdge KB, Caiazzo I, De K, Dong D, Fremling C, Kasliwal MM, Kupfer T, van Roestel J, Sollerman J, Bagdasaryan A, Bellm EC, Cenko SB, Drake AJ, Duev DA, Graham MJ, Kaye S, Masci FJ, Miranda N, Prince TA, Riddle R, Rusholme B, Soumagnac MT. 2021. Multi-wavelength observations of AT2019wey: A new candidate black hole low-mass X-ray binary. The Astrophysical Journal. 920(2), 120.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15219 |
Richer HB, Caiazzo I, Du H, Grondin S, Hegarty J, Heyl J, Kerr R, Miller DR, Thiele S. 2021. Massive white dwarfs in young star clusters. The Astrophysical Journal. 912(2), 165.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15259 |
Dubach G, Peled Y. 2021. On words of non-Hermitian random matrices. The Annals of Probability. 49(4), 1886–1916.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15275 |
Fox J, Pach J, Suk A. 2021. Bounded VC-dimension implies the Schur-Erdős conjecture. Combinatorica. 41(6), 803–813.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15269 |
Daguerre L, Medina Ramos RA, Solís M, Torroba G. 2021. Aspects of quantum information in finite density field theory. Journal of High Energy Physics. 2021(3), 79.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15267 |
Czumaj A, Davies P. 2021. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM. 68(2), 13.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10414 |
Chatterjee K, Goharshady EK, Novotný P, Zárevúcky J, Zikelic D. 2021. On lexicographic proof rules for probabilistic termination. 24th International Symposium on Formal Methods. FM: Formal Methods, LNCS, vol. 13047, 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 12077 |
Shute AL. On the leading constant in the Manin-type conjecture for Campana points. arXiv, 2104.14946.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 15141 |
Zhou Y, Bravo JPK, Taylor HN, Steens JA, Jackson RN, Staals RHJ, Taylor DW. 2021. Structure of a type IV CRISPR-Cas ribonucleoprotein complex. iScience. 24(3), 102201.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 10067 |
Medina Ramos RA, Vasseur R, Serbyn M. 2021. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 104(10), 104205.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 9592 |
Dvorak M, Nicholson S. 2021. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10816 |
Guzmán J, Schlögl A, Espinoza Martinez C, Zhang X, Suter B, Jonas PM. 2021. How connectivity rules and synaptic properties shape the efficacy of pattern separation in the entorhinal cortex–dentate gyrus–CA3 network. Nature Computational Science. 1(12), 830–842.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2021 |Published| Thesis | IST-REx-ID: 9623 |
Caballero Mancebo S. 2021. Fertilization-induced deformations are controlled by the actin cortex and a mitochondria-rich subcortical layer in ascidian oocytes. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI