ISTA Research Explorer

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.

11357 Publications

2019 | Published | Journal Article | IST-REx-ID: 6508 |

Shamipour, Shayan, et al. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.” Cell, vol. 177, no. 6, Elsevier, 2019, p. 1463–1479.e18, doi:10.1016/j.cell.2019.04.030.

2019 | Published | Journal Article | IST-REx-ID: 7001 |

Schwayer, Cornelia, et al. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.” Cell, vol. 179, no. 4, Cell Press, 2019, p. 937–952.e18, doi:10.1016/j.cell.2019.10.006.

2019 | Published | Journal Article | IST-REx-ID: 6260 |

Oochi, A., et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.” Plant Physiology, vol. 180, no. 2, ASPB, 2019, pp. 1152–65, doi:10.1104/pp.19.00201.

2019 | Published | Conference Paper | IST-REx-ID: 6780 |

Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , vol. 3, 129, ACM, 2019, doi:10.1145/3360555.

[Published Version] View | Files available | DOI | arXiv

2019 | Published | Conference Paper | IST-REx-ID: 6490 |

Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019, pp. 400–08, doi:10.1145/3297280.3297322.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Conference Paper | IST-REx-ID: 6378 |

Chatterjee, Krishnendu, et al. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, 2019, pp. 374–81, doi:10.1145/3297280.3297319.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Conference Paper | IST-REx-ID: 6175 |

Wang, Peixin, et al. “Cost Analysis of Nondeterministic Probabilistic Programs.” PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2019, pp. 204–20, doi:10.1145/3314221.3314581.

[Submitted Version] View | Files available | DOI | WoS | arXiv

2019 | Published | Journal Article | IST-REx-ID: 7158 |

Chatterjee, Krishnendu, et al. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 23, ACM, 2019, doi:10.1145/3363525.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Journal Article | IST-REx-ID: 7014 |

Chatterjee, Krishnendu, et al. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4, 20, ACM, 2019, doi:10.1145/3339984.

2019 | Published | Journal Article | IST-REx-ID: 6380 |

Chatterjee, Krishnendu, et al. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, 53, ACM, 2019, doi:10.1145/3290366.