ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2021 | Conference Paper | IST-REx-ID: 9441 |

Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations
J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry (SoCG 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.

[Published Version] View | Files available | DOI

2021 | Journal Article | IST-REx-ID: 9393 |

Faster algorithms for quantitative verification in bounded treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, Formal Methods in System Design 57 (2021) 401–428.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2021 | Journal Article | IST-REx-ID: 10365 |

Cell monolayers sense curvature by exploiting active mechanics and nuclear mechanoadaptation
M. Luciano, S. Xue, W.H. De Vos, L. Redondo-Morata, M. Surin, F. Lafont, E.B. Hannezo, S. Gabriele, Nature Physics 17 (2021) 1382–1390.

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

2021 | Journal Article | IST-REx-ID: 9298 |

Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition)
Klionsky DJ et al. 2021. Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition). Autophagy. 17(1), 1–382.

2021 | Journal Article | IST-REx-ID: 8742 |

The geometric sieve for quadrics
T.D. Browning, R. Heath-Brown, Forum Mathematicum 33 (2021) 147–165.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv