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 .

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 .

Kaloshin V, KOZLOVSKI OS. 2012. A Cr unimodal map with an arbitrary fast growth of the number of periodic points. Ergodic Theory and Dynamical Systems. 32(1), 159–165.

Albouy A, Kaloshin V. 2012. Finiteness of central configurations of five bodies in the plane. Annals of Mathematics. 176(1), 535–588.

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. 279(1749), 5048–5057.

Palacci JA, Cottin-Bizonne C, Ybert C, Bocquet L. 2012. Osmotic traps for colloids and macromolecules based on logarithmic sensing in salt taxis. Soft Matter. 8(4), 980–994.

Hannezo EB, Prost J, Joanny J. 2012. Mechanical instabilities of biological tubes. Physical Review Letters. 109(1).

Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. 2012. EM and PR cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 8(3), e1002512.

Coleman-Derr D, Zilberman D. 2012. Deposition of histone variant A.Z within gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.

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.

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).

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.

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 .

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.

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.

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.

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.

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.

Gupta A. 2012.Improved Single Pass Algorithms for Resolution Proof Reduction. In: Automated Technology for Verification and Analysis. vol. 7561, 107–121.

Zufferey D, Wies T, Henzinger TA. 2012. Ideal abstractions for well structured transition systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 7148, 445–460.