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.
5796 Publications
2021 | Conference Paper | IST-REx-ID: 10054 | 
Chatterjee K, Henzinger MH, Kale SS, Svozil A. Faster algorithms for bounded liveness in graphs and game graphs. In: 48th International Colloquium on Automata, Languages, and Programming. Vol 198. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.ICALP.2021.124
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10071 |
Adams H, Kourimska H, Heiss T, Percival S, Ziegelmeier L. How to tutorial-a-thon. Notices of the American Mathematical Society. 2021;68(9):1511-1514. doi:10.1090/noti2349
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 10072 |
Harris DG, Iliopoulos F, Kolmogorov V. A new notion of commutativity for the algorithmic Lovász Local Lemma. In: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques. Vol 207. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.APPROX/RANDOM.2021.31
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10075 |
Guha S, Jecker IR, Lehtinen K, Zimmermann M. A bit of nondeterminism makes pushdown automata expressive and succinct. In: 46th International Symposium on Mathematical Foundations of Computer Science. Vol 202. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.MFCS.2021.53
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Preprint | IST-REx-ID: 10080 |
Nardin M, Käfer K, Csicsvari JL. The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. doi:10.1101/2021.09.30.462269
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Journal Article | IST-REx-ID: 10124 |
Palaia I, Paraschiv A, Debets V, Storm C, Šarić A. Durotaxis of passive nanoparticles on elastic membranes. ACS Nano. 2021. doi:10.1021/acsnano.1c02777
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2021 | Preprint | IST-REx-ID: 10125 |
Harker-Kirschneck L, Hafner AE, Yao T, et al. Physical mechanisms of ESCRT-III-driven cell division in archaea. bioRxiv. doi:10.1101/2021.03.23.436559
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Journal Article | IST-REx-ID: 10144 |
Rauschendorfer T, Gurri S, Heggli I, et al. Acute and chronic effects of a light-activated FGF receptor in keratinocytes in vitro and in mice. Life Science Alliance. 2021;4(11). doi:10.26508/lsa.202101100
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10153 |
Mühlböck F, Tate R. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 2021;5. doi:10.1145/3485504
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10148 |
Degraen D, Piovarci M, Bickel B, Kruger A. Capturing tactile properties of real surfaces for haptic reproduction. In: 34th Annual ACM Symposium. Association for Computing Machinery; 2021:954-971. doi:10.1145/3472749.3474798
[Preprint]
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 10174 |
Clozeau N, Gloria A. Quantitative nonlinear homogenization: control of oscillations. arXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 10180 |
Hoefler T, Alistarh D-A, Ben-Nun T, Dryden N, Peste E-A. Sparsity in deep learning: Pruning and growth for efficient inference and training in neural networks. Journal of Machine Learning Research. 2021;22(241):1-124.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10218 |
Alistarh D-A, Gelashvili R, Rybicki J. Brief announcement: Fast graphical population protocols. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.43
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10217 |
Alistarh D-A, Gelashvili R, Nadiradze G. Lower bounds for shared-memory leader election under bounded write contention. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.4
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10216 |
Chatterjee B, Peri S, Sa M. Brief announcement: Non-blocking dynamic unbounded graphs with worst-case amortized bounds. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.52
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 10219 |
Korhonen J, Paz A, Rybicki J, Schmid S, Suomela J. Brief announcement: Sinkless orientation is hard also in the supported LOCAL model. In: 35th International Symposium on Distributed Computing. Vol 209. Schloss Dagstuhl - Leibniz Zentrum für Informatik; 2021. doi:10.4230/LIPIcs.DISC.2021.58
[Published Version]
View
| Files available
| DOI
| arXiv
2021 | Journal Article | IST-REx-ID: 10285 |
Dubach G. On eigenvector statistics in the spherical and truncated unitary ensembles. Electronic Journal of Probability. 2021;26. doi:10.1214/21-EJP686
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 10340 |
Paraschiv A, Lagny TJ, Campos CV, Coudrier E, Bassereau P, Šarić A. Influence of membrane-cortex linkers on the extrusion of membrane tubes. Biophysical Journal. 2021;120(4):598-606. doi:10.1016/j.bpj.2020.12.028
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10338 |
Davis LK, Šarić A, Hoogenboom BW, Zilman A. Physical modeling of multivalent interactions in the nuclear pore complex. Biophysical Journal. 2021;120(9):1565-1577. doi:10.1016/j.bpj.2021.01.039
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10339 |
Vanhille-Campos C, Šarić A. Modelling the dynamics of vesicle reshaping and scission under osmotic shocks. Soft Matter. 2021;17(14):3798-3806. doi:10.1039/d0sm02012e
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC