Concepedia

Author

Raven Beutner

Helmholtz Center for Information SecurityORCID

Also Known As

Beutner, Raven, Ong, CL, Raven Beutner

47

Publications

200

Citations

8

H-Index

14

Concepts

All Affiliations

Helmholtz Center for Information Security
RB

About

Raven Beutner is an author at Helmholtz Center for Information Security specializing in formal methods, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

40

2

Computer Science

2

2

40

3

Computer Engineering

1

1

17

4

Mathematical Foundations

1

1

23

5

Probability Theory

1

1

17

Raven Beutner

×

4

Publications

65

Citations

4

H-Index

YearCitations

Page 1