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.

12142 Publications


2022 | Published | Journal Article | IST-REx-ID: 10813 | OA
Cao, Deqing, et al. “Threshold Potentials for Fast Kinetics during Mediated Redox Catalysis of Insulators in Li–O2 and Li–S Batteries.” Nature Catalysis, vol. 5, Springer Nature, 2022, pp. 193–201, doi:10.1038/s41929-022-00752-z.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 7791 | OA
Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” European Journal of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1309–12, doi:10.1007/s40879-020-00405-0.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8286 | OA
Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.” Algorithmica, vol. 84, no. 4, Springer Nature, 2022, pp. 1007–29, doi:10.1007/s00453-021-00905-9.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 8538 | OA
Akopyan, Arseniy, et al. “Billiards in Ellipses Revisited.” European Journal of Mathematics, vol. 8, no. 4, Springer Nature, 2022, pp. 1313–27, doi:10.1007/s40879-020-00426-9.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 9336 | OA
Sarabipour, Sarvenaz, et al. “Building and Sustaining Mentor Interactions as a Mentee.” FEBS Journal, vol. 289, no. 6, Wiley, 2022, pp. 1374–84, doi:10.1111/febs.15823.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9649 | OA
Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” Foundations of Computational Mathematics , vol. 22, Springer Nature, 2022, pp. 967–1012, doi:10.1007/s10208-021-09520-0.
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 9794 | OA
Assen, Frank P., et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” Nature Immunology, vol. 23, Springer Nature, 2022, pp. 1246–55, doi:10.1038/s41590-022-01257-4.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9955
Reyes‐Pinto, Rosana, et al. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology, vol. 530, no. 2, Wiley, 2022, pp. 553–73, doi:10.1002/cne.25229.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 9977 | OA
Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:10.1112/jlms.12506.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 17383
Ren, Yingying, et al. “Umbrella Meshes: Elastic Mechanisms for Freeform Shape Deployment.” ACM Transactions on Graphics, vol. 41, no. 4, Association for Computing Machinery, 2022, pp. 1–15, doi:10.1145/3528223.3530089.
View | DOI
 

2022 | Published | Journal Article | IST-REx-ID: 17501 | OA
Zhu, Fengmin, et al. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages, vol. 6, no. OOPSLA2, Association for Computing Machinery, 2022, pp. 1613–38, doi:10.1145/3563345.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Conference Paper | IST-REx-ID: 17502 | OA
Sammler, Michael Joachim, et al. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–40, doi:10.1145/3519939.3523434.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17503 | OA
Lepigre, Rodolphe, et al. “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, 2022, pp. 1–32, doi:10.1145/3498681.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17504 | OA
Gäher, Lennard, 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, 2022, pp. 1–31, doi:10.1145/3498689.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17526 | OA
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D, vol. 105, no. 10, 103010, American Physical Society (APS), 2022, doi:10.1103/physrevd.105.103010.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17536 | OA
Samsing, J., et al. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature, vol. 603, no. 7900, Springer Science and Business Media LLC, 2022, pp. 237–40, doi:10.1038/s41586-021-04333-1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 17547 | OA
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” Physical Review Letters, vol. 128, no. 19, 191101, American Physical Society, 2022, doi:10.1103/physrevlett.128.191101.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 17553 | OA
Tiede, Christopher, et al. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.” The Astrophysical Journal, vol. 932, no. 1, 24, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac6c2b.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17560 | OA
Hu, Haojie, et al. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” The Astrophysical Journal, vol. 935, no. 2, 140, American Astronomical Society, 2022, doi:10.3847/1538-4357/ac7daa.
[Published Version] View | DOI | Download Published Version (ext.)
 

2022 | Published | Journal Article | IST-REx-ID: 17561 | OA
Yang, Y., et al. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters, vol. 933, no. 2, L28, American Astronomical Society, 2022, doi:10.3847/2041-8213/ac7c0b.
[Published Version] View | DOI | Download Published Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed