Concepedia

Author

Janosch Döcker

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

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