Concepedia

Author

Lukas Bernhard

Ruhr University BochumORCID

Also Known As

Lukas Bernhard

10

Publications

239

Citations

5

H-Index

19

Concepts

All Affiliations

Ruhr University BochumHelmholtz Center for Information Security
LB

About

Lukas Bernhard is an author at Ruhr University Bochum specializing in formal verification, formal methods, and software engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

187

2

Computer Science

2

2

187

3

Computer Engineering

1

1

42

4

Compilers

1

1

42

5

Information Security

1

1

145

Lukas Bernhard

×

3

Publications

218

Citations

3

H-Index

YearCitations

Page 1