Concepedia

Author

Vid Kocijan

University of OxfordORCID

Also Known As

Kocijan, Vid, Vid Kocijan, Yordanov, Y

27

Publications

178

Citations

5

H-Index

6

Concepts

All Affiliations

University of Oxford
VK

About

Vid Kocijan is an author at University of Oxford specializing in computer science, knowledge compilation, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

28

2

Computer Science

1

1

28

3

Automated Reasoning

1

1

28

4

Formal Methods

1

1

28

5

Knowledge Compilation

1

1

28

Vid Kocijan

×

3

Publications

130

Citations

3

H-Index

YearCitations

Page 1