Concepedia

Author

Henny B. Sipma

Stanford University

Also Known As

H. B. Sipma, H. Sipma, H.B. Sipma, Henny B. Sipma, Henny Sipma, Sipma, Henny

82

Publications

3.9K

Citations

30

H-Index

37

Concepts

All Affiliations

Stanford UniversitySaarland UniversityWashington University in St. Louis
HB

About

Henny B. Sipma is an author at Stanford University specializing in engineering, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

13

1K

2

Computer Science

10

10

853

3

Computer Engineering

6

6

663

4

Data Science

2

2

77

5

Space Engineering

1

1

13

Henny B. Sipma

×

16

Publications

1.2K

Citations

13

H-Index

YearCitations

Page 1