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.
5485 Publications
2014 | Published | Conference Paper | IST-REx-ID: 10793
Fulek, R., Kynčl, J., Malinović, I., & Pálvölgyi, D. (2014). Clustered planarity testing revisited. In International Symposium on Graph Drawing (Vol. 8871, pp. 428–436). Cham: Springer Nature. https://doi.org/10.1007/978-3-662-45803-7_36
[Preprint]
View
| Files available
| DOI
| arXiv
2014 | Published | Book (Editor) | IST-REx-ID: 10811
Zažímalová, E., Petrášek, J., & Benková, E. (Eds.). (2014). Auxin and Its Role in Plant Development (1st ed.). Vienna: Springer Nature. https://doi.org/10.1007/978-3-7091-1526-8
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 10814
Seiringer, R. (2014). The excitation spectrum for Bose fluids with weak interactions. Jahresbericht Der Deutschen Mathematiker-Vereinigung. Springer Nature. https://doi.org/10.1365/s13291-014-0083-9
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 10815 | 
Hashimoto, M., Morita, H., & Ueno, N. (2014). Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. Wiley. https://doi.org/10.1111/cga.12039
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 9479 |
Mérai, Z., Chumak, N., García-Aguilar, M., Hsieh, T.-F., Nishimura, T., Schoft, V. K., … Tamaru, H. (2014). The AAA-ATPase molecular chaperone Cdc48/p97 disassembles sumoylated centromeres, decondenses heterochromatin, and activates ribosomal RNA genes. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1418564111
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 9519
Kim, M. Y., & Zilberman, D. (2014). DNA methylation as a system of plant genomic immunity. Trends in Plant Science. Elsevier. https://doi.org/10.1016/j.tplants.2014.01.014
View
| DOI
| PubMed | Europe PMC
2014 | Research Data Reference | IST-REx-ID: 9722
Lovrics, A., Gao, Y., Juhász, B., Bock, I., Byrne, H. M., Dinnyés, A., & Kovács, K. (2014). Transition probability between TF expression states when Dbx2 inhibits Nkx2.2. Public Library of Science. https://doi.org/10.1371/journal.pone.0111430.s006
[Published Version]
View
| Files available
| DOI
2014 | Research Data Reference | IST-REx-ID: 9739
Chatterjee, K., Pavlogiannis, A., Adlam, B., & Novak, M. (2014). Detailed proofs for “The time scale of evolutionary innovation.” Public Library of Science. https://doi.org/10.1371/journal.pcbi.1003818.s001
[Published Version]
View
| Files available
| DOI
2014 | Research Data Reference | IST-REx-ID: 9740 |
Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2014). Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Dryad. https://doi.org/10.5061/dryad.vm0vc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9741 |
Lagator, M., Colegrave, N., & Neve, P. (2014). Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Dryad. https://doi.org/10.5061/dryad.85dn7
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9747 |
Lagator, M., Morgan, A., Neve, P., & Colegrave, N. (2014). Data from: Role of sex and migration in adaptation to sink environments. Dryad. https://doi.org/10.5061/dryad.s42n1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9752 |
Simmons, K., Prentice, J., Tkačik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2014). Data from: Transformation of stimulus correlations by the retina. Dryad. https://doi.org/10.5061/dryad.246qg
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9753 |
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2014). Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. Dryad. https://doi.org/10.5061/dryad.nc0gc
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9888
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). Supporting information. Public Library of Science. https://doi.org/10.1371/journal.pone.0103989.s003
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 9931
Dhar, R., Bergmiller, T., & Wagner, A. (2014). Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Evolution. Wiley. https://doi.org/10.1111/evo.12373
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Research Data Reference | IST-REx-ID: 9932 |
Dhar, R., Bergmiller, T., & Wagner, A. (2014). Data from: Increased gene dosage plays a predominant role in the initial stages of evolution of duplicate TEM-1 beta lactamase genes. Dryad. https://doi.org/10.5061/dryad.jc402
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 9458 |
Huff, J. T., & Zilberman, D. (2014). Dnmt1-independent CG methylation contributes to nucleosome positioning in diverse eukaryotes. Cell. Elsevier. https://doi.org/10.1016/j.cell.2014.01.029
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1375 |
Chatterjee, K., Henzinger, M., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 1392 |
Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1393 |
Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900
[Published Version]
View
| DOI
| Download Published Version (ext.)