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.
146 Publications
2021 | Thesis | IST-REx-ID: 9992 |

Hörmayer L. Wound healing in the Arabidopsis root meristem. 2021. doi:10.15479/at:ista:9992
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 9397 |

Huljev K. Coordinated spatiotemporal reorganization of interstitial fluid is required for axial mesendoderm migration in zebrafish gastrulation. 2021. doi:10.15479/at:ista:9397
View
| Files available
| DOI
2021 | Thesis | IST-REx-ID: 8934 |

Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7896 |

Kamath Hosdurg C. On the average-case hardness of total search problems. 2020. doi:10.15479/AT:ISTA:7896
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7944 |

Masárová Z. Reconfiguration problems. 2020. doi:10.15479/AT:ISTA:7944
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 7996 |

Kukucka J. Implementation of a hole spin qubit in Ge hut wires and dispersive spin sensing. 2020. doi:10.15479/AT:ISTA:7996
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8032 |

Huszár K. Combinatorial width parameters for 3-dimensional manifolds. 2020. doi:10.15479/AT:ISTA:8032
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8155 |

Grah R. Gene regulation across scales – how biophysical constraints shape evolution. 2020. doi:10.15479/AT:ISTA:8155
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8156 |

Avvakumov S. Topological methods in geometry and discrete mathematics. 2020. doi:10.15479/AT:ISTA:8156
View
| Files available
| DOI
2020 | Thesis | IST-REx-ID: 8332 |

Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332
View
| Files available
| DOI