Concepedia

Author

Clemens Grabmayer

Also Known As

C. A. Grabmayer, CLEMENS GRABMAYER, Clemens Armin Grabmayer, Clemens Grabmayer, Grabmayer, C., Grabmayer, Clemens

60

Publications

333

Citations

11

H-Index

11

Concepts

All Affiliations

CG

About

Clemens Grabmayer is an author at Vrije Universiteit Amsterdam specializing in formal methods, automated reasoning, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

86

2

Computer Science

4

4

86

3

Automated Reasoning

4

4

86

4

Mathematical Foundations

1

1

12

5

Computational Complexity

1

1

15

Clemens Grabmayer

×

7

Publications

130

Citations

7

H-Index

YearCitations

Page 1