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.
253 Publications
2022 |Published| Journal Article | IST-REx-ID: 10889 | 
Shigemoto R. 2022. Electron microscopic visualization of single molecules by tag-mediated metal particle labeling. Microscopy. 71(Supplement_1), i72–i80.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11332 |
Schnelli K, Xu Y. 2022. Convergence rate to the Tracy–Widom laws for the largest Eigenvalue of Wigner matrices. Communications in Mathematical Physics. 393, 839–907.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11330 |
Wirth M. 2022. A dual formula for the noncommutative transport distance. Journal of Statistical Physics. 187(2), 19.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 12054 |
Yang Z, Xia J, Hong J, Zhang C, Wei H, Ying W, Sun C, Sun L, Mao Y, Gao Y, Tan S, Friml J, Li D, Liu X, Sun L. 2022. Structural insights into auxin recognition and efflux by Arabidopsis PIN1. Nature. 609(7927), 611–615.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12131 |
Byazrova MG, Astakhova EA, Minnegalieva A, Sukhova MM, Mikhailov AA, Prilipov AG, Gorchakov AA, Filatov AV. 2022. Anti-Ad26 humoral immunity does not compromise SARS-COV-2 neutralizing antibody responses following Gam-COVID-Vac booster vaccination. npj Vaccines. 7, 145.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 12245 |
Soto X, Burton J, Manning CS, Minchington T, Lea R, Lee J, Kursawe J, Rattray M, Papalopulu N. 2022. Sequential and additive expression of miR-9 precursors control timing of neurogenesis. Development. 149(19), dev200474.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 13355 |
Huang RH, Nayeem N, He Y, Morales J, Graham D, Klajn R, Contel M, O’Brien S, Ulijn RV. 2022. Self‐complementary zwitterionic peptides direct nanoparticle assembly and enable enzymatic selection of endocytic pathways. Advanced Materials. 34(1), 2104962.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 |Published| Journal Article | IST-REx-ID: 11732 |
Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Published| Conference Paper | IST-REx-ID: 12175 |
Bose S, Henzinger TA, Lehtinen K, Schewe S, Totzke P. 2022. History-deterministic timed automata are not determinizable. 16th International Conference on Reachability Problems. RC: Reachability Problems, LNCS, vol. 13608, 67–76.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2022 |Published| Journal Article | IST-REx-ID: 8538 |
Akopyan A, Schwartz R, Tabachnikov S. 2022. Billiards in ellipses revisited. European Journal of Mathematics. 8(4), 1313–1327.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 8286 |
Alistarh D-A, Nadiradze G, Sabour A. 2022. Dynamic averaging load balancing on cycles. Algorithmica. 84(4), 1007–1029.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10218 |
Alistarh D-A, Gelashvili R, Rybicki J. 2021. Brief announcement: Fast graphical population protocols. 35th International Symposium on Distributed Computing. DISC: Distributed Computing , LIPIcs, vol. 209, 43.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10217 |
Alistarh D-A, Gelashvili R, Nadiradze G. 2021. Lower bounds for shared-memory leader election under bounded write contention. 35th International Symposium on Distributed Computing. DISC: Distributed Computing, LIPIcs, vol. 209, 4.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 10216 |
Chatterjee B, Peri S, Sa M. 2021. Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds. 35th International Symposium on Distributed Computing. DISC: Distributed Computing, LIPIcs, vol. 209, 52.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10219 |
Korhonen J, Paz A, Rybicki J, Schmid S, Suomela J. 2021. Brief announcement: Sinkless orientation is hard also in the supported LOCAL model. 35th International Symposium on Distributed Computing. DISC: Distributed Computing , LIPIcs, vol. 209, 58.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10367 |
Ilharco C, Shirazi A, Gopalan A, Nagrani A, Bratanič B, Bregler C, Liu C, Ferreira F, Barcik G, Ilharco G, Osang GF, Bulian J, Frank J, Smaira L, Cao Q, Marino R, Patel R, Leung T, Imbrasaite V. 2021. Recognizing multimodal entailment. 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, Tutorial Abstracts. ACL: Association for Computational Linguistics ; IJCNLP: International Joint Conference on Natural Language Processing, 29–30.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10688 |
Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 11463 |
Frantar E, Kurtic E, Alistarh D-A. 2021. M-FAC: Efficient matrix-free approximations of second-order information. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 34, 14873–14886.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11512 |
Boogaard LA, Bouwens RJ, Riechers D, van der Werf P, Bacon R, Matthee JJ, Stefanon M, Feltre A, Maseda M, Inami H, Aravena M, Brinchmann J, Carilli C, Contini T, Decarli R, González-López J, Nanayakkara T, Walter F. 2021. Measuring the average molecular gas content of star-forming galaxies at z = 3–4. The Astrophysical Journal. 916(1), 12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11663 |
Bernstein A, Forster S, Henzinger MH. 2021. A deamortization approach for dynamic spanner and dynamic maximal matching. ACM Transactions on Algorithms. 17(4), 29.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv