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.
9626 Publications
2022 |Published| Journal Article | IST-REx-ID: 10736 | 
Lagator, Mato, Srdjan Sarikas, Magdalena Steinrück, David Toledo-Aparicio, Jonathan P Bollback, Calin C Guet, and Gašper Tkačik. “Predicting Bacterial Promoter Function and Evolution from Random Sequences.” ELife. eLife Sciences Publications, 2022. https://doi.org/10.7554/eLife.64543.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17067 |
Stouffer, Melissa A, R. Khalaf-Nazzal, C. Cifuentes-Diaz, G. Albertini, E. Bandet, G. Grannec, V. Lavilla, et al. “Doublecortin Mutation Leads to Persistent Defects in the Golgi Apparatus and Mitochondria in Adult Hippocampal Pyramidal Cells.” Neurobiology of Disease. Elsevier, 2022. https://doi.org/10.1016/j.nbd.2022.105702.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17061 |
McAvoy, Alex, Julian Kates-Harbeck, Krishnendu Chatterjee, and Christian Hilbe. “Evolutionary Instability of Selfish Learning in Repeated Games.” PNAS Nexus. Oxford University Press, 2022. https://doi.org/10.1093/pnasnexus/pgac141.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17066 |
Sethi, Aditya, Hai Wei, Nikhil Mishra, Ioannis Segos, Eric J. Lambie, Esther Zanin, and Barbara Conradt. “A Caspase–RhoGEF Axis Contributes to the Cell Size Threshold for Apoptotic Death in Developing Caenorhabditis Elegans.” PLOS Biology. Public Library of Science, 2022. https://doi.org/10.1371/journal.pbio.3001786.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17065 |
Zhao, Haisen, Max Willsey, Amy Zhu, Chandrakana Nandi, Zachary Tatlock, Justin Solomon, and Adriana Schulz. “Co-Optimization of Design and Fabrication Plans for Carpentry.” ACM Transactions on Graphics. Association for Computing Machinery, 2022. https://doi.org/10.1145/3508499.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17063 |
Arnaud, Marie-Claude, Helmut W. Hofer, Michael Hutchings, and Vadim Kaloshin. “Dynamische Systeme.” Oberwolfach Reports. European Mathematical Society, 2022. https://doi.org/10.4171/owr/2021/33.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17058
Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” Acta Arithmetica. Institute of Mathematics, 2022. https://doi.org/10.4064/aa210430-1-7.
[Preprint]
View
| Files available
| DOI
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17084 |
Aichholzer, Oswin, Erik D. Demaine, Matias Korman, Anna Lubiw, Jayson Lynch, Zuzana Masárová, Mikhail Rudoy, Virginia Vassilevska Williams, and Nicole Wein. “Hardness of Token Swapping on Trees.” In 30th Annual European Symposium on Algorithms, Vol. 244. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.ESA.2022.3.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17383
Ren, Yingying, Uday Kusupati, Julian Panetta, Florin Isvoranu, Davide Pellis, Tian Chen, and Mark Pauly. “Umbrella Meshes: Elastic Mechanisms for Freeform Shape Deployment.” ACM Transactions on Graphics. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528223.3530089.
View
| DOI
2022 |Published| Journal Article | IST-REx-ID: 12231 |
Kogure, Yuki S., Hiromochi Muraoka, Wataru C. Koizumi, Raphaël Gelin-alessi, Benoit G Godard, Kotaro Oka, Carl-Philipp J Heisenberg, and Kohji Hotta. “Admp Regulates Tail Bending by Controlling Ventral Epidermal Cell Polarity via Phosphorylated Myosin Localization in Ciona.” Development. The Company of Biologists, 2022. https://doi.org/10.1242/dev.200215.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Conference Abstract | IST-REx-ID: 17062 |
Ibáñez, Maria, Yu Liu, and Mariano Calcabrini. “The Importance of Surface Adsorbates in Solution-Processed Thermoelectric Materials.” In Proceedings of the NanoGe Spring Meeting 2022. Fundació Scito, 2022. https://doi.org/10.29363/nanoge.nsm.2022.159.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 17060 |
Tiwari, Samarth, Michelle X Yeo, Zeta Avarikioti, Iosif Salem, Krzysztof Z Pietrzak, and Stefan Schmid. “Wiser: Increasing Throughput in Payment Channel Networks with Transaction Aggregation.” In Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 217–31. Association for Computing Machinery, 2022. https://doi.org/10.1145/3558535.3559775.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17059 |
Frantar, Elias, and Dan-Adrian Alistarh. “SPDY: Accurate Pruning with Speedup Guarantees.” In 39th International Conference on Machine Learning, 162:6726–43. ML Research Press, 2022.
[Published Version]
View
| Files available
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17502 |
Sammler, Michael Joachim, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 825–40. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519939.3523434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17504 |
Gäher, Lennard, Michael Joachim Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498689.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17501 |
Zhu, Fengmin, Michael Joachim Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3563345.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17503 |
Lepigre, Rodolphe, Michael Joachim Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, and Peter Sewell. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498681.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17526 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D. American Physical Society (APS), 2022. https://doi.org/10.1103/physrevd.105.103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 10752
Lampert, Jasmin, and Christoph Lampert. “Overcoming Rare-Language Discrimination in Multi-Lingual Sentiment Analysis.” In 2021 IEEE International Conference on Big Data, 5185–92. IEEE, 2022. https://doi.org/10.1109/bigdata52589.2021.9672003.
View
| DOI
| WoS