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.
9169 Publications
2012 | Research Data Reference | IST-REx-ID: 9755 |
Konrad M, Vyleta M, Theis F, Stock M, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies, Dryad, 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, 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 LV, Cremer S. 2012. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison, Dryad, 10.5061/dryad.61649.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 922 |
Hannezo EB, Prost J, Joanny J. 2012. Mechanical instabilities of biological tubes. Physical Review Letters. 109(1).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 9499 |
Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. 2012. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 8(3), e1002512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 9497 |
Coleman-Derr D, Zilberman D. 2012. Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 9528
Huff JT, Zilberman D. 2012. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 22(2), 132–138.
View
| DOI
| PubMed | Europe PMC
2012 | 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. 86(22).
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 2968 |
Lohse K, Barton NH, Melika G, Stone G. 2012. A likelihood based comparison of population histories in a parasitoid guild. Molecular Ecology. 21(18), 4605–4617.
[Submitted Version]
View
| Files available
| DOI
2012 | Research Data Reference | IST-REx-ID: 13075 |
Lohse K, Barton NH, Stone G, Melika G. 2012. Data from: A likelihood-based comparison of population histories in a parasitoid guild, Dryad, 10.5061/DRYAD.0G0FS.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2012 | Journal Article | IST-REx-ID: 13407
Chovnik O, Balgley R, Goldman JR, Klajn R. 2012. Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. 134(48), 19564–19567.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2012 | Journal Article | IST-REx-ID: 13408
Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. 2012. Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. 8(5), 654–660.
View
| DOI
| PubMed | Europe PMC
2012 | 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. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.
View
| DOI
2012 | Conference Paper | IST-REx-ID: 10905 |
Chatterjee K, Henzinger MH, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Book Chapter | IST-REx-ID: 5745 |
Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.
View
| Files available
| DOI