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.
6092 Publications
2022 |Published| Conference Paper | IST-REx-ID: 17086 | 
Y. Zhang and N. Weinberger, “Mean estimation in high-dimensional binary Markov Gaussian mixture models,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2022, vol. 35.
[Published Version]
View
| Files available
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17068 |
F. Navarrete et al., “TOPLESS promotes plant immunity by repressing auxin signaling and is targeted by the fungal effector Naked1,” Plant Communications, vol. 3, no. 2. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 10736 |
M. Lagator et al., “Predicting bacterial promoter function and evolution from random sequences,” eLife, vol. 11. eLife Sciences Publications, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17067 |
M. A. Stouffer et al., “Doublecortin mutation leads to persistent defects in the Golgi apparatus and mitochondria in adult hippocampal pyramidal cells,” Neurobiology of Disease, vol. 168. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17061 |
A. McAvoy, J. Kates-Harbeck, K. Chatterjee, and C. Hilbe, “Evolutionary instability of selfish learning in repeated games,” PNAS Nexus, vol. 1, no. 4. Oxford University Press, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17066 |
A. Sethi et al., “A caspase–RhoGEF axis contributes to the cell size threshold for apoptotic death in developing Caenorhabditis elegans,” PLOS Biology, vol. 20, no. 10. Public Library of Science, 2022.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17065 |
H. Zhao et al., “Co-optimization of design and fabrication plans for carpentry,” ACM Transactions on Graphics, vol. 41, no. 3. Association for Computing Machinery, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17063 |
M.-C. Arnaud, H. W. Hofer, M. Hutchings, and V. Kaloshin, “Dynamische Systeme,” Oberwolfach Reports, vol. 18, no. 3. European Mathematical Society, pp. 1735–1803, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 17084 |
O. Aichholzer et al., “Hardness of token swapping on trees,” in 30th Annual European Symposium on Algorithms, Berlin/Potsdam, Germany, 2022, vol. 244.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12231 |
Y. S. Kogure et al., “Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona,” Development, vol. 149, no. 21. The Company of Biologists, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Conference Abstract | IST-REx-ID: 17062 |
M. Ibáñez, Y. Liu, and M. Calcabrini, “The importance of surface adsorbates in solution-processed thermoelectric materials,” in Proceedings of the nanoGe Spring Meeting 2022, Spain/Virtual, 2022.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 17060 |
S. Tiwari, M. X. Yeo, Z. Avarikioti, I. Salem, K. Z. Pietrzak, and S. Schmid, “Wiser: Increasing throughput in payment channel networks with transaction aggregation,” in Proceedings of the 4th ACM Conference on Advances in Financial Technologies, Cambridge, MA, United States, 2022, pp. 217–231.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17059 |
E. Frantar and D.-A. Alistarh, “SPDY: Accurate pruning with speedup guarantees,” in 39th International Conference on Machine Learning, Baltimore, MD, United States, 2022, vol. 162, pp. 6726–6743.
[Published Version]
View
| Files available
| WoS
2022 |Published| Journal Article | IST-REx-ID: 11448 |
L. Gonzalez Somermeyer et al., “Heterogeneity of the GFP fitness landscape and data-driven protein design,” eLife, vol. 11. eLife Sciences Publications, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17502 |
M. J. Sammler et al., “Islaris: Verification of machine code against authoritative ISA semantics,” in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, United States, 2022, pp. 825–840.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17504 |
L. Gäher et al., “Simuliris: A separation logic framework for verifying concurrent program optimizations,” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL. Association for Computing Machinery, pp. 1–31, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17501 |
F. Zhu, M. J. Sammler, R. Lepigre, D. Dreyer, and D. Garg, “BFF: Foundational and automated verification of bitfield-manipulating programs,” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2. Association for Computing Machinery, pp. 1613–1638, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17503 |
R. Lepigre, M. J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, and P. Sewell, “VIP: Verifying real-world C idioms with integer-pointer casts,” Proceedings of the ACM on Programming Languages, vol. 6, no. POPL. Association for Computing Machinery, pp. 1–32, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17526 |
J. Davelaar and Z. Haiman, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries,” Physical Review D, vol. 105, no. 10. American Physical Society (APS), 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)