Concepedia

Author

Bernhard Kragl

Institute of Science and Technology AustriaORCID

Also Known As

Bernhard Kragl, Kragl, Bernhard

10

Publications

176

Citations

7

H-Index

23

Concepts

All Affiliations

Institute of Science and Technology Austria
BK

About

Bernhard Kragl is an author at Institute of Science and Technology Austria specializing in formal methods, computer science, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

110

2

Computer Science

3

3

110

3

Computer Engineering

2

2

87

4

Asynchronous Circuits

2

2

49

5

Computer Architecture

1

1

26

Bernhard Kragl

×

3

Publications

110

Citations

3

H-Index

YearCitations

Page 1