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.
4188 Publications
2021 | Journal Article | IST-REx-ID: 9393 | 
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-021-00373-5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10365 |
Luciano, M., Xue, S., De Vos, W. H., Redondo-Morata, L., Surin, M., Lafont, F., … Gabriele, S. (2021). Cell monolayers sense curvature by exploiting active mechanics and nuclear mechanoadaptation. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-021-01374-1
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9298 |
Klionsky DJ et al. 2021. Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition). Autophagy. 17(1), 1–382.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 8742 |
Browning, T. D., & Heath-Brown, R. (2021). The geometric sieve for quadrics. Forum Mathematicum. De Gruyter. https://doi.org/10.1515/forum-2020-0074
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Thesis | IST-REx-ID: 10035 |
Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035
[Published Version]
View
| Files available
| DOI