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.
539 Publications
2021 | Conference Paper | IST-REx-ID: 10553 | 
Gelashvili, Rati, et al. “Brief Announcement: Be Prepared When Network Goes Bad: An Asynchronous View-Change Protocol.” Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2021, pp. 187–90, doi:10.1145/3465084.3467941.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9121 |
Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” Letters in Mathematical Physics, vol. 111, 20, Springer Nature, 2021, doi:10.1007/s11005-021-01358-5.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9541 |
Czumaj, Artur, et al. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” ACM Transactions on Algorithms, vol. 17, no. 2, 16, Association for Computing Machinery, 2021, doi:10.1145/3451992.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9002
Fazeli, Arman, et al. “Binary Linear Codes with Optimal Scaling: Polar Codes with Large Kernels.” IEEE Transactions on Information Theory, vol. 67, no. 9, IEEE, 2021, pp. 5693–710, doi:10.1109/TIT.2020.3038806.
[Preprint]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10414 |
Chatterjee, Krishnendu, et al. “On Lexicographic Proof Rules for Probabilistic Termination.” 24th International Symposium on Formal Methods, vol. 13047, Springer Nature, 2021, pp. 619–39, doi:10.1007/978-3-030-90870-6_33.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Preprint | IST-REx-ID: 12077 |
Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” ArXiv, 2104.14946, doi:10.48550/arXiv.2104.14946.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9438 |
Vandael, David H., et al. “Subcellular Patch-Clamp Techniques for Single-Bouton Stimulation and Simultaneous Pre- and Postsynaptic Recording at Cortical Synapses.” Nature Protocols, vol. 16, no. 6, Springer Nature, 2021, pp. 2947–2967, doi:10.1038/s41596-021-00526-0.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 10350 |
Dear, Alexander J., et al. “Identification of On- and off-Pathway Oligomers in Amyloid Fibril Formation.” Chemical Science, vol. 11, no. 24, Royal Society of Chemistry, 2020, pp. 6236–47, doi:10.1039/c9sc06501f.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 10693 |
Zhou, Haoxin, et al. “Sublattice Resolved Spin Wave Transport through Graphene Fractional Quantum Hall States as a Probe of Isospin Order.” APS March Meeting 2020, vol. 65, no. 1, B54. 00007, American Physical Society, 2020.
[Published Version]
View
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 11513 |
Darvish, Behnam, et al. “Spectroscopic Confirmation of a Coma Cluster Progenitor at z ∼ 2.2.” The Astrophysical Journal, vol. 892, no. 1, 8, IOP Publishing, 2020, doi:10.3847/1538-4357/ab75c3.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11818 |
Henzinger, Monika H., and Sagar Kale. “Fully-Dynamic Coresets.” 28th Annual European Symposium on Algorithms, vol. 173, 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.ESA.2020.57.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11824 |
Henzinger, Monika H., et al. “Dynamic Approximate Maximum Independent Set of Intervals, Hypercubes and Hyperrectangles.” 36th International Symposium on Computational Geometry, vol. 164, 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.51.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11852 |
Chen, Li, et al. “Fast Dynamic Cuts, Distances and Effective Resistances via Vertex Sparsifiers.” 61st Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2020, pp. 1135–46, doi:10.1109/focs46700.2020.00109.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11980 |
Mazzanti, Stefano, et al. “Dichloromethylation of Enones by Carbon Nitride Photocatalysis.” Nature Communications, vol. 11, 1387, Springer Nature, 2020, doi:10.1038/s41467-020-15131-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 7530 |
Senior, Jorden L., et al. “Heat Rectification via a Superconducting Artificial Atom.” Communications Physics, vol. 3, no. 1, 40, Springer Nature, 2020, doi:10.1038/s42005-020-0307-5.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7707 |
Sulc, Jonathan, et al. “Quantification of the Overall Contribution of Gene-Environment Interaction for Obesity-Related Traits.” Nature Communications, vol. 11, 1385, Springer Nature, 2020, doi:10.1038/s41467-020-15107-0.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 7989 |
Patakova, Zuzana. “Bounding Radon Number via Betti Numbers.” 36th International Symposium on Computational Geometry, vol. 164, 61:1-61:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, doi:10.4230/LIPIcs.SoCG.2020.61.
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 9040 |
Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–47, doi:10.34727/2020/isbn.978-3-85448-042-6_21.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 9059
Hueckel, Theodore, et al. “Ionic Solids from Common Colloids.” Nature, vol. 580, no. 7804, Springer Nature, 2020, pp. 487–90, doi:10.1038/s41586-020-2205-0.
View
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 9299 |
Pach, János, et al. “Crossings between Non-Homotopic Edges.” 28th International Symposium on Graph Drawing and Network Visualization, vol. 12590, Springer Nature, 2020, pp. 359–71, doi:10.1007/978-3-030-68766-3_28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv