T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.

V. Kuncak, R. Piskac, P. Suter, and T. Wies, “Building a calculus of data structures,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 26–44.

D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.

J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.

X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.

R. K. Tran, J. G. Henikoff, D. Zilberman, R. F. Ditt, S. E. Jacobsen, and S. Henikoff, “DNA methylation profiling identifies CG methylation clusters in Arabidopsis genes,” Current Biology, vol. 15, no. 2. Elsevier, pp. 154–159, 2005.

R. K. Tran et al., “Chromatin and siRNA pathways cooperate to maintain DNA methylation of small transposable elements in Arabidopsis,” Genome Biology, vol. 6, no. 11. Springer Nature, 2005.

A. M. Lindroth et al., “Requirement of CHROMOMETHYLAS for maintenance of CpXpG methylation,” Science, vol. 292, no. 5524. American Association for the Advancement of Science, pp. 2077–2080, 2001.