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: 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 |Published| Journal Article | IST-REx-ID: 11448 |
Gonzalez Somermeyer, Louisa, Aubin Fleiss, Alexander S Mishin, Nina G Bozhanova, Anna A Igolkina, Jens Meiler, Maria-Elisenda Alaball Pujol, Ekaterina V Putintseva, Karen S Sarkisyan, and Fyodor Kondrashov. “Heterogeneity of the GFP Fitness Landscape and Data-Driven Protein Design.” ELife. eLife Sciences Publications, 2022. https://doi.org/10.7554/elife.75842.
[Published Version]
View
| Files available
| DOI
| 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
2022 |Published| Journal Article | IST-REx-ID: 17536 |
Samsing, J., I. Bartos, D. J. D’Orazio, Zoltán Haiman, B. Kocsis, N. W. C. Leigh, B. Liu, M. E. Pessah, and H. Tagawa. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature. Springer Science and Business Media LLC, 2022. https://doi.org/10.1038/s41586-021-04333-1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11420 |
Shevchenko, Aleksandr, Vyacheslav Kungurtsev, and Marco Mondelli. “Mean-Field Analysis of Piecewise Linear Solutions for Wide ReLU Networks.” Journal of Machine Learning Research. Journal of Machine Learning Research, 2022.
[Published Version]
View
| Files available
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12780 |
Markov, Ilia, Hamidreza Ramezanikebrya, and Dan-Adrian Alistarh. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.” In Proceedings of the 23rd ACM/IFIP International Middleware Conference, 241–54. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528535.3565248.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17547 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” Physical Review Letters. American Physical Society, 2022. https://doi.org/10.1103/physrevlett.128.191101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv