Concepedia

Author

Kirill Bogdanov

University of SheffieldORCID

Also Known As

K. Bogdanov, K.V. Bogdanov, Kirill Bogdanov, Богданов, К.В.

40

Publications

970

Citations

15

H-Index

44

Concepts

All Affiliations

University of SheffieldUCLouvainUniversity of Leicester
KB

About

Kirill Bogdanov is an author at University of Sheffield specializing in engineering, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

362

2

Computer Science

8

8

311

3

Language Studies

3

3

108

4

Computer Engineering

2

2

74

5

Data Science

1

1

29

Kirill Bogdanov

×

11

Publications

447

Citations

11

H-Index

YearCitations

Page 1