Concepedia

Author

Klaus Havelund

Jet Propulsion LaboratoryORCID

Also Known As

Deshmukh, Jyotirmoy V., Havelund Klaus, Havelund, Klaus, Havelund, Klaus 1955-, K. Havelund, Klaus Havelund, Klaus, Havelund

200

Publications

9.2K

Citations

45

H-Index

80

Concepts

All Affiliations

Jet Propulsion LaboratoryAmes Research CenterKestrel Technology (United States)Research Institute for Advanced Computer ScienceCalifornia Institute of Technology
KH

About

Klaus Havelund is an author at Jet Propulsion Laboratory specializing in computer science, engineering, and verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

29

48

4.2K

2

Computer Engineering

14

20

1K

3

Communication

2

2

162

4

Management

1

1

11

5

Cognitive Science

1

1

15

Klaus Havelund

×

61

Publications

6.2K

Citations

33

H-Index

YearCitations

Page 1