Author Search Results

Edmund M. Clarke

Edmund M. Clarke

Edmund Melson Clarke, Jr. (July 27, 1945 – December 22, 2020) was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award. Provided by Wikipedia

1

Ionospheric measurements of relative coronal brightness during the total solar eclipses of 11 August, 1999 and 9 July, 1945

by C. J. Davis, C. J. Davis, M. Lockwood, M. Lockwood, S. A. Bell, S. A. Bell, J. A. Smith, J. A. Smith, E. M. Clarke, E. M. Clarke
Published 2000-02-01

Get full text

Article
2

Long term changes in EUV and X-ray emissions from the solar corona and chromosphere as measured by the response of the Earth’s ionosphere during total solar eclipses from 1932 to 1...

by C. J. Davis, C. J. Davis, E. M. Clarke, R. A. Bamford, M. Lockwood, S. A. Bell
Published 2001-03-01

Get full text

Article