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.
1941 Publications
2020 | Journal Article | IST-REx-ID: 8163 | 
G. Vegter and M. Wintraecken, “Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes,” Studia Scientiarum Mathematicarum Hungarica, vol. 57, no. 2. Akadémiai Kiadó, pp. 193–199, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Thesis | IST-REx-ID: 8390 |
A. Royer, “Leveraging structure in Computer Vision tasks for flexible Deep Learning models,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8186 |
P. M. Henderson, V. Tsiminaki, and C. Lampert, “Leveraging 2D data to learn textured 3D mesh generation,” in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Virtual, 2020, pp. 7498–7507.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9157 |
A. Akopyan and H. Edelsbrunner, “The weighted mean curvature derivative of a space-filling diagram,” Computational and Mathematical Biophysics, vol. 8, no. 1. De Gruyter, pp. 51–67, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8973 |
F. Redig, E. Saada, and F. Sau, “Symmetric simple exclusion process in dynamic environment: Hydrodynamics,” Electronic Journal of Probability, vol. 25. Institute of Mathematical Statistics, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 14694 |
J. Alt, L. Erdös, and T. H. Krüger, “The Dyson equation with linear self-energy: Spectral bands, edges and cusps,” Documenta Mathematica, vol. 25. EMS Press, pp. 1421–1539, 2020.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Thesis | IST-REx-ID: 8366 |
R. Guseinov, “Computational design of curved thin shells: From glass façades to programmable matter,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 7213 |
S. Bhatia, B. Chatterjee, D. Nathani, and M. Kaul, “A persistent homology perspective to the link prediction problem,” in Complex Networks and their applications VIII, Lisbon, Portugal, 2020, vol. 881, pp. 27–39.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 6906 |
C. Boccato, C. Brennecke, S. Cenatiempo, and B. Schlein, “Optimal rate for Bose-Einstein condensation in the Gross-Pitaevskii regime,” Communications in Mathematical Physics, vol. 376. Springer, pp. 1311–1395, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 6944 |
R. Sun and C. Lampert, “KS(conf): A light-weight test if a multiclass classifier operates outside of its specifications,” International Journal of Computer Vision, vol. 128, no. 4. Springer Nature, pp. 970–995, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8324 |
P. Wang, H. Fu, K. Chatterjee, Y. Deng, and M. Xu, “Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time,” in Proceedings of the ACM on Programming Languages, 2020, vol. 4, no. POPL.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Journal Article | IST-REx-ID: 8319 |
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B. K. Malia, O. Hosten, and M. A. Kasevich, “Retrieval of cavity-generated atomic spin squeezing after free-space release,” Physical Review A, vol. 102, no. 1. American Physical Society, 2020.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Conference Paper | IST-REx-ID: 15071 |
V. Oshurkova, O. Troshina, V. Trubitsyn, Y. Ryzhmanova, O. Bochkareva, and V. Shcherbakova, “Characterization of methanosarcina mazei JL01 isolated from holocene arctic permafrost and study of the archaeon cooperation with bacterium Sphaerochaeta associata GLS2T,” in Proceedings of 1st International Electronic Conference on Microbiology, Virtual, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8657 |
B. Kavcic, “Perturbations of protein synthesis: from antibiotics to genetics and physiology,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8620 |
J. Morandell, “Illuminating the role of Cul3 in autism spectrum disorder pathogenesis,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8340 |
D. Kampjut, “Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes,” Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 8434 |
G. A. Dimchev et al., “Lamellipodin tunes cell migration by stabilizing protrusions and promoting adhesion formation,” Journal of Cell Science, vol. 133, no. 7. The Company of Biologists, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8532 |
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M. J. Case, Y. Fukazawa, and R. Shigemoto, “Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses,” International Journal of Molecular Sciences, vol. 21, no. 18. MDPI, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 7810 |
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal and perfectly parallel algorithms for on-demand data-flow analysis,” in European Symposium on Programming, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8728 |
A. Asadi, K. Chatterjee, A. K. Goharshady, K. Mohammadi, and A. Pavlogiannis, “Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth,” in Automated Technology for Verification and Analysis, Hanoi, Vietnam, 2020, vol. 12302, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS