Concepedia

Author

Christian Kirkegaard

Aarhus University

Also Known As

C. Kirkegaard, Christian Kirkegaard

14

Publications

306

Citations

10

H-Index

25

Concepts

All Affiliations

Aarhus University
CK

About

Christian Kirkegaard is an author at Aarhus University specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

211

2

Computer Science

6

6

211

3

Computer Engineering

2

2

94

4

Management

1

1

52

5

Data Science

1

1

52

Christian Kirkegaard

×

7

Publications

226

Citations

7

H-Index

YearCitations

Page 1