Teoberto Maler

Recent publications · Crossref

5 total works indexed

1. Monitoring Temporal Properties of Continuous Signals

   · 2004 · cited 859x

2. SpaceEx: Scalable Verification of Hybrid Systems

   · 2011 · cited 499x

3. Robust Satisfaction of Temporal Logic over Real-Valued Signals

   · 2010 · cited 498x

4. DNA sequences bound specifically by glucocorticoid receptor in vitro render a heterologous promoter hormone responsive in vivo

   · 1983 · cited 489x

5. Genetic complementation of a glucocorticoid receptor deficiency by expression of cloned receptor cDNA

   · 1986 · cited 480x

via Crossref · CC0