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.




6434 Publications

2017 | Published | Journal Article | IST-REx-ID: 734 | OA
Kennedy, P., Baron, G., Qiu, B., Freitak, D., Helantera, H., Hunt, E., … Sumner, S. (2017). Deconstructing superorganisms and societies to address big questions in biology. Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2017.08.004
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1198 | OA
Moser, T., & Seiringer, R. (2017). Triviality of a model of particles with point interactions in the thermodynamic limit. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-016-0915-x
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2017). Edit distance for pushdown automata. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.23638/LMCS-13(3:23)2017
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
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
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1066 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2017). Quantitative fair simulation games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2016.10.006
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1111 | OA
Heredia, J., Trubenova, B., Sudholt, D., & Paixao, T. (2017). Selection limits to adaptive walks on correlated landscapes. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.116.189340
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 1120 | OA
Li, X., Seiringer, R., & Lemeshko, M. (2017). Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.95.033608
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1161 | OA
Müller, J., & Sixt, M. K. (2017). Cell migration: Making the waves. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2016.11.035
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1433 | OA
Bauer, U., Kerber, M., Reininghaus, J., & Wagner, H. (2017). Phat - Persistent homology algorithms toolbox. Journal of Symbolic Computation. Academic Press. https://doi.org/10.1016/j.jsc.2016.03.008
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Thesis | PhD | IST-REx-ID: 961 | OA
Barone, V. (2017). Cell adhesion and cell fate: An effective feedback loop during zebrafish gastrulation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_825
[Published Version] View | Files available | DOI
 
2017 | Published | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, & R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek (pp. 407–447). Springer. https://doi.org/10.1007/978-3-319-44479-6_17
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2017 | Published | Thesis | PhD | IST-REx-ID: 837 | OA
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_858
[Published Version] View | Files available | DOI
 
2017 | Published | Thesis | PhD | IST-REx-ID: 202 | OA
Pleska, M. (2017). Biology of restriction-modification systems at the single-cell and population level. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_916
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 561 | OA
Pleska, M., & Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2017.0646
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Pleska, M., & Guet, C. C. (2017). Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification. The Royal Society. https://doi.org/10.6084/m9.figshare.5633917.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 671 | OA
Hilbe, C., Martinez, V., Chatterjee, K., & Nowak, M. (2017). Memory-n strategies of direct reciprocity. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1621239114
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Published | Conference Paper | IST-REx-ID: 941 | OA
Le, X., Chu, D. H., Lo, D., Le Goues, C., & Visser, W. (2017). JFIX: Semantics-based repair of Java programs via symbolic  PathFinder. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 376–379). Santa Barbara, CA, United States: ACM. https://doi.org/10.1145/3092703.3098225
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin, M., Landon, M., & Jajoo, R. (2017). Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0174066
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 735
Barone, V., Lang, M., Krens, G., Pradhan, S., Shamipour, S., Sako, K., … Heisenberg, C.-P. J. (2017). An effective feedback loop between cell-cell contact duration and morphogen signaling determines cell fate. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2017.09.014
View | Files available | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1028 | OA
Kainrath, S., Stadler, M., Gschaider-Reichhart, E., Distel, M., & Janovjak, H. L. (2017). Green-light-induced inactivation of receptor signaling using cobalamin-binding domains. Angewandte Chemie - International Edition. Wiley-Blackwell. https://doi.org/10.1002/anie.201611998
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

type<>software

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed