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.
9087 Publications
2020 | Preprint | IST-REx-ID: 9750 | 
Slovakova, J., Sikora, M. K., Caballero Mancebo, S., Krens, G., Kaufmann, W., Huljev, K., & Heisenberg, C.-P. J. (2020). Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2020.11.20.391284
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7426 |
Garcia Soto, M., & Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2020.100856
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7885
Reversat, A., Gärtner, F. R., Merrin, J., Stopp, J. A., Tasciyan, S., Aguilera Servin, J. L., … Sixt, M. K. (2020). Cellular locomotion using environmental topography. Nature. Springer Nature. https://doi.org/10.1038/s41586-020-2283-z
View
| Files available
| DOI
| WoS
2020 | Thesis | IST-REx-ID: 8983 |
Emtenani, S. (2020). Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8983
[Published Version]
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8557 |
Belyaeva, V., Wachner, S., Gridchyn, I., Linder, M., Emtenani, S., György, A., … Siekhaus, D. E. (n.d.). Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. https://doi.org/10.1101/2020.09.18.301481
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8831 |
Aggarwal, K., Hofmann, A. C., Jirovec, D., Prieto Gonzalez, I., Sammak, A., Botifoll, M., … Katsaros, G. (n.d.). Enhancement of proximity induced superconductivity in planar Germanium. arXiv.
[Submitted Version]
View
| Files available
| arXiv
2020 | Journal Article | IST-REx-ID: 8532 |
Kleindienst, D., Montanaro-Punzengruber, J.-C., Bhandari, P., Case, M. J., Fukazawa, Y., & Shigemoto, R. (2020). Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses. International Journal of Molecular Sciences. MDPI. https://doi.org/10.3390/ijms21186737
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 7810 |
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2020). Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In European Symposium on Programming (Vol. 12075, pp. 112–140). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-44914-8_5
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8728 |
Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K., & Pavlogiannis, A. (2020). Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In Automated Technology for Verification and Analysis (Vol. 12302, pp. 253–270). Hanoi, Vietnam: Springer Nature. https://doi.org/10.1007/978-3-030-59152-6_14
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8089 |
Chatterjee, K., Fu, H., Goharshady, A. K., & Goharshady, E. K. (2020). Polynomial invariant generation for non-deterministic recursive programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 672–687). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385969
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv