Concepedia

Author

Matthijs Vákár

University of OxfordORCID

Also Known As

Matthijs I. L. Vákár, Matthijs Vákár, V\'ak\'ar, Matthijs, Vákár, Matthijs, VákárMatthijs

41

Publications

253

Citations

9

H-Index

27

Concepts

All Affiliations

University of OxfordUtrecht University
MV

About

Matthijs Vákár is an author at University of Oxford specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

109

2

Computer Science

3

3

86

3

Language Studies

1

1

13

4

Data Science

1

1

62

5

Linguistics

1

1

13

Matthijs Vákár

×

6

Publications

119

Citations

6

H-Index

YearCitations

Page 1