constrained expression analysis of real-time software." Submitted for publication. Available as Toward broad applicability of analysis methods for distributed software systems ," ACM Trans. 37 our experiments. This research involves improvements in the toolset to enhance its performance and make it easier and more convenient to use, and extensions to the constrained expression formalism and the...

In vitro runoff transcription using T7 RNA polymerase has been the method of choice to produce milligram quantities of RNA for structural studies+ Unfortunately, the T7 enzyme often adds one or more extra nucleotides at the 39 end, which results in a heterogeneous RNA product (Milligan et al+, 1987)+ This heterogeneity can be observed at the 59 end as well, depending on the transcription templa...