Concepedia

Author

Clemens Kupke

University of AmsterdamORCID

Also Known As

C. Kupke, Clemens Kupke, Kupke, C., Kupke, Clemens

87

Publications

849

Citations

16

H-Index

17

Concepts

All Affiliations

University of AmsterdamUniversity of StrathclydeUniversity of OxfordCentrum Wiskunde & InformaticaImperial College London
CK

About

Clemens Kupke is an author at University of Amsterdam specializing in automated reasoning, formal methods, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

120

2

Computer Science

7

7

122

3

Games

1

1

13

4

Game Theory

1

1

13

5

Mathematical Foundations

1

1

13

Clemens Kupke

×

16

Publications

516

Citations

13

H-Index

YearCitations

Page 1