Person · Open Library
- Works
- 1
Top works
- Escondido en la selva
via Open Library + Wikidata
Recent publications · Crossref
5 total works indexed
- Monitoring Temporal Properties of Continuous Signals
· 2004 · cited 891x
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
· 2010 · cited 512x
- SpaceEx: Scalable Verification of Hybrid Systems
· 2011 · cited 506x
- DNA sequences bound specifically by glucocorticoid receptor in vitro render a heterologous promoter hormone responsive in vivo
· 1983 · cited 490x
- Genetic complementation of a glucocorticoid receptor deficiency by expression of cloned receptor cDNA
· 1986 · cited 480x
via Crossref · CC0