Concepedia

Author

Jan-Oliver Kaiser

Also Known As

Jan-Oliver Kaiser, Kaiser, Jan-Oliver

9

Publications

371

Citations

7

H-Index

23

Concepts

All Affiliations

JK

About

Jan-Oliver Kaiser is an author at Max Planck Institute for Software Systems specializing in formal verification, automated reasoning, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

258

2

Computer Science

4

4

258

3

Computer Engineering

3

3

237

4

Systems Engineering

2

2

176

5

Asynchronous Systems

1

1

61

Jan-Oliver Kaiser

×

5

Publications

335

Citations

5

H-Index

YearCitations

Page 1