Regulation of biological accuracy, precision, and memory by plant chromatin organization
J.T. Huff, D. Zilberman, Current Opinion in Genetics and Development 22 (2012) 132–138.
LibreCat: https://research-explorer.ista.ac.at/record/9528
DOI: 10.1016/j.gde.2012.01.007
PMID: 22336527

Paired chiral spin liquid with a Fermi surface in S=1 model on the triangular lattice
S. Bieri, M. Serbyn, T. Senthil, P. Lee, Physical Review B - Condensed Matter and Materials Physics 86 (2012).
LibreCat: https://research-explorer.ista.ac.at/record/966
DOI: 10.1103/PhysRevB.86.224409

A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
LibreCat: https://research-explorer.ista.ac.at/record/2968
DOI: 10.1111/j.1365-294X.2012.05700.x

Data from: A likelihood-based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Stone, G. Melika, (2012).
LibreCat: https://research-explorer.ista.ac.at/record/13075
DOI: 10.5061/DRYAD.0G0FS

Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets
O. Chovnik, R. Balgley, J.R. Goldman, R. Klajn, Journal of the American Chemical Society 134 (2012) 19564–19567.
LibreCat: https://research-explorer.ista.ac.at/record/13407
DOI: 10.1021/ja309633v
PMID: 23181449

Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles
Y. Ridelman, G. Singh, R. Popovitz-Biro, S.G. Wolf, S. Das, R. Klajn, Small 8 (2012) 654–660.
LibreCat: https://research-explorer.ista.ac.at/record/13408
DOI: 10.1002/smll.201101882
PMID: 22392681

Accurate invariant checking for programs manipulating lists and arrays with infinite data
A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, in:, Automated Technology for Verification and Analysis, Springer, Berlin, Heidelberg, 2012, pp. 167–182.
LibreCat: https://research-explorer.ista.ac.at/record/10903
DOI: 10.1007/978-3-642-33386-6_14

Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, Algorithms – ESA 2012, Springer, 2012, pp. 301–312.
LibreCat: https://research-explorer.ista.ac.at/record/10905
DOI: 10.1007/978-3-642-33090-2_27
arXiv: 1604.08234

HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
LibreCat: https://research-explorer.ista.ac.at/record/10906
DOI: 10.1007/978-3-642-28756-5_46

Improved Single Pass Algorithms for Resolution Proof Reduction
A. Gupta, in:, Automated Technology for Verification and Analysis, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 107–121.
LibreCat: https://research-explorer.ista.ac.at/record/5745
DOI: 10.1007/978-3-642-33386-6_10

Ideal abstractions for well structured transition systems
D. Zufferey, T. Wies, T.A. Henzinger, in:, Springer, 2012, pp. 445–460.
LibreCat: https://research-explorer.ista.ac.at/record/3251
DOI: 10.1007/978-3-642-27940-9_29

The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Boei, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
LibreCat: https://research-explorer.ista.ac.at/record/3157
DOI: 10.1038/nature11219
PMID: 22722843

Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
LibreCat: https://research-explorer.ista.ac.at/record/3260
DOI: 10.1016/j.tpb.2011.11.003
PMID: 22120126

Active dendrites support efficient initiation of dendritic spikes in hippocampal C pyramidal neurons
S. Kim, J. Guzmán, H. Hu, P.M. Jonas, Nature Neuroscience 15 (2012) 600–606.
LibreCat: https://research-explorer.ista.ac.at/record/3258
DOI: 10.1038/nn.3060
PMID: 22388958

Active properties of hippocampal C pyramidal neuron dendrites
S. Kim, Active Properties of Hippocampal C Pyramidal Neuron Dendrites, Institute of Science and Technology Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2964

Cell adhesion in embryo morphogenesis
V. Barone, C.-P.J. Heisenberg, Current Opinion in Cell Biology 24 (2012) 148–153.
LibreCat: https://research-explorer.ista.ac.at/record/3246
DOI: 10.1016/j.ceb.2011.11.006

Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes
C.A. Ibarra, X. Feng, V.K. Schoft, T.-F. Hsieh, R. Uzawa, J.A. Rodrigues, A. Zemach, N. Chumak, A. Machlicova, T. Nishimura, D. Rojas, R.L. Fischer, H. Tamaru, D. Zilberman, Science 337 (2012) 1360–1364.
LibreCat: https://research-explorer.ista.ac.at/record/12198
DOI: 10.1126/science.1224839
PMID: 22984074

Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
LibreCat: https://research-explorer.ista.ac.at/record/6588
WoS: 000301173600004

Explicit mesh surfaces for particle based fluids
J. Yu, C. Wojtan, G. Turk, C. Yap, in:, Computer Graphics Forum, Wiley, 2012, pp. 815–824.
LibreCat: https://research-explorer.ista.ac.at/record/3123
DOI: 10.1111/j.1467-8659.2012.03062.x

Die Zeit des Abwartens ist vorbei!
P. Danowski, BuB - Forum Bibliothek und Information 64 (2012) 284.
LibreCat: https://research-explorer.ista.ac.at/record/3244