Clarke is an author at Carnegie Mellon University specializing in engineering, biology, and systems engineering.
Top concepts
BiologyEngineeringFertilityVerificationPublic HealthFormal MethodsComputer ScienceNatural SciencesFormal VerificationSystems Engineering
Publications per year
1970–2010
8
8
Automatic Verification of Sequential Circuits Using Temporal Logic
Browne, Clarke, Dill et al. · IEEE Transactions on Computers · 1986 · 203 citations · Full text
Computing quantitative characteristics of finite-state real-time systems
Campos, Clarke, Marrero et al. · 1994 · 80 citations
Quantitative Characteristics, Engineering, Real-time System Design +20
Ovulation in the bank vole, Clethrionomys glareolus
Clarke, F. V. Clulow, F Grieg · Reproduction · 1970 · 56 citations
Rows per page
1–5 of 8