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
Agus, V., & Janovjak, H. L. (2017). Optogenetic methods in drug screening: Technologies and applications. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.006
View
| DOI
2017 | Journal Article | IST-REx-ID: 1025
Heisenberg, C.-P. J. (2017). Cell biology: Stretched divisions. Nature. Nature Publishing Group. https://doi.org/10.1038/nature21502
View
| DOI
2017 | Journal Article | IST-REx-ID: 1030 | 
Villányi, M. (2017). Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library. Informationspraxis. Univ.-Bibliothek Heidelberg. https://doi.org/10.11588/ip.2017.1.35227
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10418 |
Mciver, A., Morgan, C., Kaminski, B. L., & Katoen, J. P. (2017). A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3158121
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1063 |
Uecker, H. (2017). Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. Wiley-Blackwell. https://doi.org/10.1111/evo.13191
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1065 |
Chatterjee, K., & Osang, G. F. (2017). Pushdown reachability with constant treewidth. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2017.02.003
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1067 |
Morita, H., Grigolon, S., Bock, M., Krens, G., Salbreux, G., & Heisenberg, C.-P. J. (2017). The physical basis of coordinated tissue spreading in zebrafish gastrulation. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.01.010
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1072 |
Bauer, U., & Edelsbrunner, H. (2017). The Morse theory of Čech and delaunay complexes. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/6991
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1073 |
Čadek, M., Krcál, M., & Vokřínek, L. (2017). Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-016-9855-6
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1076 |
Klaiber, M., Daněk, J., Yakaboylu, E., Hatsagortsyan, K., & Keitel, C. (2017). Strong-field ionization via a high-order Coulomb-corrected strong-field approximation. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.95.023403
View
| DOI
| Download Submitted Version (ext.)