Concepedia

Author

Kevin Batz

RWTH Aachen UniversityORCID

Also Known As

Batz, Kevin, Kevin Batz

31

Publications

195

Citations

8

H-Index

22

Concepts

All Affiliations

RWTH Aachen UniversityUniversity College LondonSaarland University
KB

About

Kevin Batz is an author at RWTH Aachen University specializing in formal verification, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

64

2

Computer Science

3

3

64

3

Combinatorial Optimization

1

1

17

4

Integer Programming

1

1

17

5

Linear Optimization

1

1

17

Kevin Batz

×

6

Publications

136

Citations

6

H-Index

YearCitations

Page 1