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.
538 Publications
2021 | Journal Article | IST-REx-ID: 9121 | 
Lauritsen, A. B. (2021). The BCS energy gap at low density. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01358-5
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9541 |
Czumaj, A., Davies, P., & Parter, M. (2021). Graph sparsification for derandomizing massively parallel computation with low space. ACM Transactions on Algorithms. Association for Computing Machinery. https://doi.org/10.1145/3451992
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 8286 |
Alistarh, D.-A., Nadiradze, G., & Sabour, A. (2021). Dynamic averaging load balancing on cycles. Algorithmica. Virtual, Online; Germany: Springer Nature. https://doi.org/10.1007/s00453-021-00905-9
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9002
Fazeli, A., Hassani, H., Mondelli, M., & Vardy, A. (2021). Binary linear codes with optimal scaling: Polar codes with large kernels. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2020.3038806
[Preprint]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10414 |
Chatterjee, K., Goharshady, E. K., Novotný, P., Zárevúcky, J., & Zikelic, D. (2021). On lexicographic proof rules for probabilistic termination. In 24th International Symposium on Formal Methods (Vol. 13047, pp. 619–639). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-90870-6_33
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 9438 |
Vandael, D. H., Okamoto, Y., Borges Merjane, C., Vargas Barroso, V. M., Suter, B., & Jonas, P. M. (2021). Subcellular patch-clamp techniques for single-bouton stimulation and simultaneous pre- and postsynaptic recording at cortical synapses. Nature Protocols. Springer Nature. https://doi.org/10.1038/s41596-021-00526-0
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 10350 |
Dear, A. J., Meisl, G., Šarić, A., Michaels, T. C. T., Kjaergaard, M., Linse, S., & Knowles, T. P. J. (2020). Identification of on- and off-pathway oligomers in amyloid fibril formation. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/c9sc06501f
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 10693 |
Zhou, H., Polshyn, H., Tanaguchi, T., Watanabe, K., & Young, A. (2020). Sublattice resolved spin wave transport through graphene fractional quantum Hall states as a probe of isospin order. In APS March Meeting 2020 (Vol. 65). Denver, CO, United States: American Physical Society.
[Published Version]
View
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 11513 |
Darvish, B., Scoville, N. Z., Martin, C., Sobral, D., Mobasher, B., Rettura, A., … Cucciati, O. (2020). Spectroscopic confirmation of a coma cluster progenitor at z ∼ 2.2. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ab75c3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11818 |
Henzinger, M. H., & Kale, S. (2020). Fully-dynamic coresets. In 28th Annual European Symposium on Algorithms (Vol. 173). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ESA.2020.57
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11824 |
Henzinger, M. H., Neumann, S., & Wiese, A. (2020). Dynamic approximate maximum independent set of intervals, hypercubes and hyperrectangles. In 36th International Symposium on Computational Geometry (Vol. 164). Zurich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.51
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2020 | Conference Paper | IST-REx-ID: 11852 |
Chen, L., Goranci, G., Henzinger, M. H., Peng, R., & Saranurak, T. (2020). Fast dynamic cuts, distances and effective resistances via vertex sparsifiers. In 61st Annual Symposium on Foundations of Computer Science (pp. 1135–1146). Durham, NC, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/focs46700.2020.00109
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 11980 |
Mazzanti, S., Kurpil, B., Pieber, B., Antonietti, M., & Savateev, A. (2020). Dichloromethylation of enones by carbon nitride photocatalysis. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-15131-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Journal Article | IST-REx-ID: 7530 |
Senior, J. L., Gubaydullin, A., Karimi, B., Peltonen, J. T., Ankerhold, J., & Pekola, J. P. (2020). Heat rectification via a superconducting artificial atom. Communications Physics. Springer Nature. https://doi.org/10.1038/s42005-020-0307-5
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7707 |
Sulc, J., Mounier, N., Günther, F., Winkler, T., Wood, A. R., Frayling, T. M., … Kutalik, Z. (2020). Quantification of the overall contribution of gene-environment interaction for obesity-related traits. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-15107-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 7989 |
Patakova, Z. (2020). Bounding radon number via Betti numbers. In 36th International Symposium on Computational Geometry (Vol. 164). Zürich, Switzerland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2020.61
[Published Version]
View
| Files available
| DOI
| arXiv
2020 | Conference Paper | IST-REx-ID: 9040 |
Alamdari, P. A., Avni, G., Henzinger, T. A., & Lukina, A. (2020). Formal methods with a touch of magic. In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (pp. 138–147). Online Conference: TU Wien Academic Press. https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 9059
Hueckel, T., Hocky, G. M., Palacci, J. A., & Sacanna, S. (2020). Ionic solids from common colloids. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2205-0
View
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 9299 |
Pach, J., Tardos, G., & Tóth, G. (2020). Crossings between non-homotopic edges. In 28th International Symposium on Graph Drawing and Network Visualization (Vol. 12590, pp. 359–371). Virtual, Online: Springer Nature. https://doi.org/10.1007/978-3-030-68766-3_28
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9573 |
He, X., & Kwan, M. A. (2020). Universality of random permutations. Bulletin of the London Mathematical Society. Wiley. https://doi.org/10.1112/blms.12345
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv