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.
5000 Publications
2017 | Journal Article | IST-REx-ID: 696 |
Lukacisinova, M., Novak, S., & Paixao, T. (2017). Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005609
[Published Version]
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1027 |
Lukacisinova, M., & Bollenbach, M. T. (2017). Toward a quantitative understanding of antibiotic resistance evolution. Current Opinion in Biotechnology. Elsevier. https://doi.org/10.1016/j.copbio.2017.02.013
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Conference Paper | IST-REx-ID: 639 |
Chatterjee, K., Fu, H., & Goharshady, A. K. (2017). Non-polynomial worst case analysis of recursive programs. In R. Majumdar & V. Kunčak (Eds.) (Vol. 10427, pp. 41–63). Presented at the CAV: Computer Aided Verification, Heidelberg, Germany: Springer. https://doi.org/10.1007/978-3-319-63390-9_3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 949 |
Chatterjee, K., Goharshady, A. K., & Pavlogiannis, A. (2017). JTDec: A tool for tree decompositions in soot. In D. D’Souza (Ed.) (Vol. 10482, pp. 59–66). Presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India: Springer. https://doi.org/10.1007/978-3-319-68167-2_4
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 | Journal Article | IST-REx-ID: 661 |
Smutny, M., Ákos, Z., Grigolon, S., Shamipour, S., Ruprecht, V., Capek, D., … Heisenberg, C.-P. J. (2017). Friction forces position the neural anlage. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3492
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC