Concepedia

Author

Daniel Kroening

University of OxfordORCID

Also Known As

Abate, A, Abate, Alessandro, D. Kroening, DANIEL KROENING, Daniel Kroening, Galea, J, K. Manish Daniel, Kroening Daniel, Kroening, D, Kroening, D.

440

Publications

11.2K

Citations

49

H-Index

123

Concepts

All Affiliations

University of OxfordETH ZurichCarnegie Mellon UniversityUniversity of LiverpoolUniversity of California, Berkeley
DK

About

Daniel Kroening is an author at University of Oxford specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

33

86

4.3K

2

Education

3

3

231

3

Language Studies

2

2

85

4

Management

2

2

43

5

Medicine

1

1

13

Daniel Kroening

×

102

Publications

4.9K

Citations

34

H-Index

YearCitations

Page 1