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: 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).
2021 | Book Chapter | IST-REx-ID: 9245
Quantifying tissue tension in the granulosa layer after laser surgery
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
View
| DOI
| PubMed | Europe PMC
P. Xia, C.-P.J. Heisenberg, in:, R. Dosch (Ed.), Germline Development in the Zebrafish, Humana, 2021, pp. 117–128.
2021 | Book Chapter | IST-REx-ID: 9403 |
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 | Journal Article | IST-REx-ID: 9572 |
Acyclic subgraphs of tournaments with high chromatic number
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Fox, M.A. Kwan, B. Sudakov, Bulletin of the London Mathematical Society 53 (2021) 619–630.
2021 | Journal Article | IST-REx-ID: 12308 |
Primitive divisors of sequences associated to elliptic curves with complex multiplication
M. Verzobio, Research in Number Theory 7 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Verzobio, Research in Number Theory 7 (2021).
2021 | Journal Article | IST-REx-ID: 13357 |
Electrostatic co-assembly of nanoparticles with oppositely charged small molecules into static and dynamic superstructures
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T. Bian, A. Gardin, J. Gemen, L. Houben, C. Perego, B. Lee, N. Elad, Z. Chu, G.M. Pavan, R. Klajn, Nature Chemistry 13 (2021) 940–949.