Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
7006 Publications
2012 |Published| Journal Article | IST-REx-ID: 858
Povolotskaya, I., Kondrashov, F., Ledda, A., & Vlasov, P. (2012). Stop codons in bacteria are not selectively equivalent. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-7-30
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 900
Breen, M., Kemena, C., Vlasov, P., Notredame, C., & Kondrashov, F. (2012). Epistasis as the primary factor in molecular evolution. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11510
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 91
Higginbotham, A. P., Cole, J., Blood Forsythe, M., & Hickstein, D. (2012). Identifying and evaluating organic nonlinear optical materials via molecular moments. Journal of Applied Physics. American Institute of Physics. https://doi.org/10.1063/1.3678593
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 3242 | 
Konrad, M., Vyleta, M., Theis, F., Stock, M., Tragust, S., Klatt, M., … Cremer, S. (2012). Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1001300
[Published Version]
View
| Files available
| DOI
2012 | Research Data Reference | IST-REx-ID: 9755 |
Konrad, M., Vyleta, M., Theis, F., Stock, M., Klatt, M., Drescher, V., … Cremer, S. (2012). Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies. Dryad. https://doi.org/10.5061/dryad.sv37s
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Research Data Reference | IST-REx-ID: 9758 |
Aeschbacher, S., Futschik, A., & Beaumont, M. (2012). Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates. Dryad. https://doi.org/10.5061/dryad.274b1
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Research Data Reference | IST-REx-ID: 9757 |
Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2012). Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Dryad. https://doi.org/10.5061/dryad.61649
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |Published| Journal Article | IST-REx-ID: 887
Kondrashov, F. (2012). Gene duplication as a mechanism of genomic adaptation to a changing environment. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2012.1108
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 922 |
Hannezo, E. B., Prost, J., & Joanny, J. (2012). Mechanical instabilities of biological tubes. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.018101
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Journal Article | IST-REx-ID: 966 |
Bieri, S., Serbyn, M., Senthil, T., & Lee, P. (2012). Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.86.224409
View
| DOI
| Download (ext.)
2012 |Published| Journal Article | IST-REx-ID: 2968 |
Lohse, K., Barton, N. H., Melika, G., & Stone, G. (2012). A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2012.05700.x
[Submitted Version]
View
| Files available
| DOI
2012 | Research Data Reference | IST-REx-ID: 13075 |
Lohse, K., Barton, N. H., Stone, G., & Melika, G. (2012). Data from: A likelihood-based comparison of population histories in a parasitoid guild. Dryad. https://doi.org/10.5061/DRYAD.0G0FS
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 10903
Bouajjani, A., Dragoi, C., Enea, C., & Sighireanu, M. (2012). Accurate invariant checking for programs manipulating lists and arrays with infinite data. In Automated Technology for Verification and Analysis (Vol. 7561, pp. 167–182). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-33386-6_14
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 10905 |
Chatterjee, K., Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2012). Polynomial-time algorithms for energy games with special weight structures. In Algorithms – ESA 2012 (Vol. 7501, pp. 301–312). Ljubljana, Slovenia: Springer. https://doi.org/10.1007/978-3-642-33090-2_27
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 |Published| Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 3251 |
Zufferey, D., Wies, T., & Henzinger, T. A. (2012). Ideal abstractions for well structured transition systems (Vol. 7148, pp. 445–460). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Philadelphia, PA, USA: Springer. https://doi.org/10.1007/978-3-642-27940-9_29
[Submitted Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 3157 |
Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein, B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11219
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 3260 |
Chatterjee, K., Reiter, J., & Nowak, M. (2012). Evolutionary dynamics of biological auctions. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2011.11.003
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2012 |Published| Journal Article | IST-REx-ID: 3258 |
Kim, S., Guzmán, J., Hu, H., & Jonas, P. M. (2012). Active dendrites support efficient initiation of dendritic spikes in hippocampal CA3 pyramidal neurons. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3060
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 |Published| Thesis | IST-REx-ID: 2964
Kim, S. (2012). Active properties of hippocampal CA3 pyramidal neuron dendrites. Institute of Science and Technology Austria.
View
| Files available