Proof rules for the programming language Euclid
- 作者R. L. London; J. V. Guttag; J. J. Horning; B. W. Lampson; J. G. Mitchell; G. J. Popek
- 卷第10卷
- 期第1期
- 印刷ISSN0001-5903
- 电子ISSN1432-0525
- 文件大小1164.36KB
- 发表时间1978-08-4
- DOI10.1007/bf00260921
- 页码1-26
Efficient transformation ofArabidopsis thalianausing direct gene transfer to protoplastsBrigitte Damm; Renate Schmidt; Lothar Willmitzer · 1989
Identification of mutants in metabolically regulated gene expressionThomas Martin; Hanjo Hellmann; Renate Schmidt; Lothar Willmitzer; Wolf B. Frommer · 1997
High efficiencyAgrobacterium tumefaciens-mediated transformation ofArabidopsis thalianaleaf and cotyledon explantsRenate Schmidt; Lothar Willmitzer · 1988
Easy determination of ploidy level inArabidopsis thalianaplants by means of pollen size measurementThomas Altmann; Brigitte Damm; Wolf B. Frommer; Thomas Martin; Peter C. Morris; Dieter Schweizer; Lothar Willmitzer; Renate Schmidt · 1994
Isolation and characterization of a gene fromSolanum tuberosumencoding patatin, the major storage protein of potato tubersSabine Rosahl; Renate Schmidt; Jeff Schell; Lothar Willmitzer · 1986
Heterosis manifestation during early Arabidopsis seedling development is characterized by intermediate gene expression and enhanced metabolic activity in the hybridsRhonda C. Meyer; Hanna Witucka-Wall; Martina Becher; Anna Blacha; Anastassia Boudichevskaia; Peter Dörmann; Oliver Fiehn; Svetlana Friedel; Maria von Korff; Jan Lisec; Michael Melzer; Dirk Repsilber; Renate Schmidt; Matthias Scholz; Joachim Selbig; Lothar Willmitzer; Thomas Altmann · 2012