Concepedia

Author

Henny B. Sipma

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

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