Eric G. Wagner

Learn More
Many apparently divergent approaches to specifying formal semantics of programming languages are applications of initial algebra semantics. In this paper an overview of initial algebra semantics is provided. The major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in(More)
Antisense RNA control is now recognized as an efficient and specific means of regulating gene expression at the posttranscriptional level. Almost all naturally occurring cases have been found in prokaryotes, often in their accessory genetic elements. Several antisense RNA systems are now well-understood, and these display a spectrum of mechanisms of action,(More)
This paper addresses changes in plant gene expression induced by inoculation with plant-growth-promoting rhizobacteria (PGPR). A gnotobiotic system was established with Arabidopsis thaliana as model plant, and isolates of Paenibacillus polymyxa as PGPR. Subsequent challenge by either the pathogen Erwinia carotovora (biotic stress) or induction of drought(More)
This paper extends our earlier work on abstract data types by providing an algebraic treatment of parametrized data types (e.g., sets-of-(), stacks-of-(), etc.), as well as answering a number of questions on the power and limitations of algebraic specification techniques. In brief: we investigate the “hidden function” problem (the need to(More)
Efficient gene control by antisense RNA requires rapid bi-molecular interaction with a cognate target RNA. A comparative analysis revealed that a YUNR motif (Y=pyrimidine, R=purine) is ubiquitous in RNA recognition loops in antisense RNA-regulated gene systems. The (Y)UNR sequence motif specifies two intraloop hydrogen bonds forming U-turn structures in(More)
Ribosomes purified from Escherichia coli were preincubated with AcPhe-tRNA and poly(U). Then purified components necessary for polypeptide synthesis were added. Incubation of the complete system led to a burst of elongation which lasted for nearly 10 s. During the initial burst approximately 10% of the ribosomes participated in the elongation of poly(Phe)(More)
The hok/sok, srnB and pnd systems of plasmids R1, F and R438 mediate plasmid maintenance by killing plasmid-free segregants. The systems encode exceptionally stable full-length mRNAs that code for potent cell toxins that kill the cells from within. The systems also produce truncated mRNAs whose appearance is correlated with killing activity. The truncated(More)
The replication frequency of plasmid R1 is post-transcriptionally controlled by an antisense RNA, CopA, that binds to the leader region in the RepA mRNA, CopT, and ultimately inhibits the synthesis of the replication initiator protein RepA. We present results demonstrating that CopA controls RepA synthesis indirectly. A reading frame for a 24 amino acid(More)