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 | 
J. Slovakova et al., “Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion,” bioRxiv. Cold Spring Harbor Laboratory, 2020.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7426 |
M. Garcia Soto and P. Prabhakar, “Abstraction based verification of stability of polyhedral switched systems,” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5. Elsevier, 2020.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7885
A. Reversat et al., “Cellular locomotion using environmental topography,” Nature, vol. 582. Springer Nature, pp. 582–585, 2020.
View
| Files available
| DOI
| WoS
2020 | Thesis | IST-REx-ID: 8983 |
S. Emtenani, “Metabolic regulation of Drosophila macrophage tissue invasion,” Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
2020 | Preprint | IST-REx-ID: 8557 |
V. Belyaeva et al., “Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance,” bioRxiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2020 | Preprint | IST-REx-ID: 8831 |
K. Aggarwal et al., “Enhancement of proximity induced superconductivity in planar Germanium,” arXiv. .
[Submitted Version]
View
| Files available
| arXiv
2020 | Journal Article | IST-REx-ID: 8532 |
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M. J. Case, Y. Fukazawa, and R. Shigemoto, “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, vol. 21, no. 18. MDPI, 2020.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 7810 |
K. Chatterjee, A. K. Goharshady, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal and perfectly parallel algorithms for on-demand data-flow analysis,” in European Symposium on Programming, Dublin, Ireland, 2020, vol. 12075, pp. 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8728 |
A. Asadi, K. Chatterjee, A. K. Goharshady, K. Mohammadi, and A. Pavlogiannis, “Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth,” in Automated Technology for Verification and Analysis, Hanoi, Vietnam, 2020, vol. 12302, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8089 |
K. Chatterjee, H. Fu, A. K. Goharshady, and E. K. Goharshady, “Polynomial invariant generation for non-deterministic recursive programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv