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