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 M, Sarikas S, Steinrück M, Toledo-Aparicio D, Bollback JP, Guet CC, Tkačik G. 2022. Predicting bacterial promoter function and evolution from random sequences. eLife. 11, e64543.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17067 |
Stouffer MA, Khalaf-Nazzal R, Cifuentes-Diaz C, Albertini G, Bandet E, Grannec G, Lavilla V, Deleuze J-F, Olaso R, Nosten-Bertrand M, Francis F. 2022. Doublecortin mutation leads to persistent defects in the Golgi apparatus and mitochondria in adult hippocampal pyramidal cells. Neurobiology of Disease. 168, 105702.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17061 |
McAvoy A, Kates-Harbeck J, Chatterjee K, Hilbe C. 2022. Evolutionary instability of selfish learning in repeated games. PNAS Nexus. 1(4), pgac141.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17066 |
Sethi A, Wei H, Mishra N, Segos I, Lambie EJ, Zanin E, Conradt B. 2022. A caspase–RhoGEF axis contributes to the cell size threshold for apoptotic death in developing Caenorhabditis elegans. PLOS Biology. 20(10), e3001786.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 17065 |
Zhao H, Willsey M, Zhu A, Nandi C, Tatlock Z, Solomon J, Schulz A. 2022. Co-optimization of design and fabrication plans for carpentry. ACM Transactions on Graphics. 41(3), 32.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17063 |
Arnaud M-C, Hofer HW, Hutchings M, Kaloshin V. 2022. Dynamische Systeme. Oberwolfach Reports. 18(3), 1735–1803.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17058
Shute AL. 2022. On the leading constant in the Manin-type conjecture for Campana points. Acta Arithmetica. 204(4), 317–346.
[Preprint]
View
| Files available
| DOI
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17084 |
Aichholzer O, Demaine ED, Korman M, Lubiw A, Lynch J, Masárová Z, Rudoy M, Vassilevska Williams V, Wein N. 2022. Hardness of token swapping on trees. 30th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LIPIcs, vol. 244, 3.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 12231 |
Kogure YS, Muraoka H, Koizumi WC, Gelin-alessi R, Godard BG, Oka K, Heisenberg C-PJ, Hotta K. 2022. Admp regulates tail bending by controlling ventral epidermal cell polarity via phosphorylated myosin localization in Ciona. Development. 149(21), dev200215.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Conference Abstract | IST-REx-ID: 17062 |
Ibáñez M, Liu Y, Calcabrini M. 2022. The importance of surface adsorbates in solution-processed thermoelectric materials. Proceedings of the nanoGe Spring Meeting 2022. SNI: Semiconductor Nanocrystals, 159.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 17060 |
Tiwari S, Yeo MX, Avarikioti Z, Salem I, Pietrzak KZ, Schmid S. 2022. Wiser: Increasing throughput in payment channel networks with transaction aggregation. Proceedings of the 4th ACM Conference on Advances in Financial Technologies. AFT: Conference on Advances in Financial Technologies, 217–231.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17059 |
Frantar E, Alistarh D-A. 2022. SPDY: Accurate pruning with speedup guarantees. 39th International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 162, 6726–6743.
[Published Version]
View
| Files available
| WoS
2022 |Published| Journal Article | IST-REx-ID: 11448 |
Gonzalez Somermeyer L, Fleiss A, Mishin AS, Bozhanova NG, Igolkina AA, Meiler J, Alaball Pujol M-E, Putintseva EV, Sarkisyan KS, Kondrashov F. 2022. Heterogeneity of the GFP fitness landscape and data-driven protein design. eLife. 11, 75842.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 10.48550/ARXIV.2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17502 |
Sammler MJ, Hammond A, Lepigre R, Campbell B, Pichon-Pharabod J, Dreyer D, Garg D, Sewell P. 2022. Islaris: Verification of machine code against authoritative ISA semantics. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Conference on Programming Language Design and Implementation, 825–840.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17504 |
Gäher L, Sammler MJ, Spies S, Jung R, Dang H-H, Krebbers R, Kang J, Dreyer D. 2022. Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. 6(POPL), 1–31.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17501 |
Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. 2022. BFF: Foundational and automated verification of bitfield-manipulating programs. Proceedings of the ACM on Programming Languages. 6(OOPSLA2), 1613–1638.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17503 |
Lepigre R, Sammler MJ, Memarian K, Krebbers R, Dreyer D, Sewell P. 2022. VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming Languages. 6(POPL), 1–32.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17526 |
Davelaar J, Haiman Z. 2022. Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. Physical Review D. 105(10), 103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)