Concepedia

Author

Janosch Döcker

University of Tübingen

Also Known As

Döcker Janosch, Döcker, Janosch, Döcker, Janosch Otto, Janosch Döcker

24

Publications

88

Citations

7

H-Index

11

Concepts

All Affiliations

University of TübingenUniversity of Graz
JD

About

Janosch Döcker is an author at University of Tübingen specializing in automated reasoning, computational complexity, and satisfiability.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

25

2

Automated Reasoning

2

2

25

3

Computer Science

1

1

13

4

Mathematical Foundations

1

1

13

5

Theory Of Computing

1

1

13

Janosch Döcker

×

2

Publications

25

Citations

2

H-Index

YearCitations

Page 1