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.

5760 Publications

Search / Filter

2017 | Journal Article | IST-REx-ID: 513 |

Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence
L. Klotz, G.M. Lemoult, I. Frontczak, L. Tuckerman, J. Wesfreid, Physical Review Fluids 2 (2017).

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

2017 | Journal Article | IST-REx-ID: 521 |

Higson compactification and dimension raising
K. Austin, Z. Virk, Topology and Its Applications 215 (2017) 45–57.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2017 | Journal Article | IST-REx-ID: 525 |

Plant biology: Building barriers… in roots
D. von Wangenheim, T. Goh, D. Dietrich, M. Bennett, Current Biology 27 (2017) R172–R174.

View | Files available | DOI | Download (ext.)

2017 | Journal Article | IST-REx-ID: 534 |

Finding non-orientable surfaces in 3-Manifolds
B. Burton, A.N. de Mesmay, U. Wagner, Discrete & Computational Geometry 58 (2017) 871–888.

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

2017 | Journal Article | IST-REx-ID: 538 |

Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie 129 (2017) 4679–4682.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 540 |

Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein
K. Khamina, A. Lercher, M. Caldera, C. Schliehe, B. Vilagos, M. Sahin, L. Kosack, A. Bhattacharya, P. Májek, A. Stukalov, R. Sacco, L. James, D. Pinschewer, K. Bennett, J. Menche, A. Bergthaler, PLoS Pathogens 13 (2017).

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 466 |

Unifying two views on multiple mean-payoff objectives in Markov decision processes
K. Chatterjee, Z. Křetínská, J. Kretinsky, Logical Methods in Computer Science 13 (2017).

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 467 |

Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, ACM Transactions on Computational Logic (TOCL) 18 (2017).

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

2017 | Journal Article | IST-REx-ID: 465 |

Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Logical Methods in Computer Science 13 (2017).

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 512 |

Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Scientific Reports 7 (2017).

[Published Version] View | Files available | DOI