Titus Dose
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2016–2020
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | STACS | NP-Completeness, Proof Systems, and Disjoint NP-Pairs. | Titus Dose, Christian Glaer |
| 2019 | MFCS | P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle. | Titus Dose |
| 2018 | MFCS | Balance Problems for Integer Circuits. | Titus Dose |
| 2017 | MFCS | Emptiness Problems for Integer Circuits. | Dominik Barth, Moritz Beck, Titus Dose, Christian Glaer, Larissa Michler, Marc Technau |
| 2016 | MFCS | Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers. | Titus Dose |