Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4251 Publications
2017 | Journal Article | IST-REx-ID: 1026
Optogenetic methods in drug screening: Technologies and applications
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
View
| DOI
V. Agus, H.L. Janovjak, Current Opinion in Biotechnology 48 (2017) 8–14.
2017 | Journal Article | IST-REx-ID: 1025
Cell biology: Stretched divisions
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
View
| DOI
C.-P.J. Heisenberg, Nature 543 (2017) 43–44.
2017 | Journal Article | IST-REx-ID: 1030 |

Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library
M. Villányi, Informationspraxis 3 (2017).
View
| Files available
| DOI
M. Villányi, Informationspraxis 3 (2017).
2017 | Journal Article | IST-REx-ID: 10418 |

A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
View
| DOI
| Download Published Version (ext.)
| arXiv
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
2017 | Journal Article | IST-REx-ID: 1063 |

Evolutionary rescue in randomly mating, selfing, and clonal populations
H. Uecker, Evolution 71 (2017) 845–858.
View
| DOI
| Download Submitted Version (ext.)
H. Uecker, Evolution 71 (2017) 845–858.
2017 | Journal Article | IST-REx-ID: 1065 |

Pushdown reachability with constant treewidth
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
View
| Files available
| DOI
K. Chatterjee, G.F. Osang, Information Processing Letters 122 (2017) 25–29.
2017 | Journal Article | IST-REx-ID: 1067 |

The physical basis of coordinated tissue spreading in zebrafish gastrulation
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
View
| Files available
| DOI
H. Morita, S. Grigolon, M. Bock, G. Krens, G. Salbreux, C.-P.J. Heisenberg, Developmental Cell 40 (2017) 354–366.
2017 | Journal Article | IST-REx-ID: 1072 |

The Morse theory of Čech and delaunay complexes
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
View
| DOI
| Download Preprint (ext.)
| arXiv
U. Bauer, H. Edelsbrunner, Transactions of the American Mathematical Society 369 (2017) 3741–3762.
2017 | Journal Article | IST-REx-ID: 1073 |

Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
View
| DOI
| Download Submitted Version (ext.)
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
2017 | Journal Article | IST-REx-ID: 1076 |

Strong-field ionization via a high-order Coulomb-corrected strong-field approximation
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).
View
| DOI
| Download Submitted Version (ext.)
M. Klaiber, J. Daněk, E. Yakaboylu, K. Hatsagortsyan, C. Keitel, Physical Review A - Atomic, Molecular, and Optical Physics 95 (2017).