Titus Dose

According to our database, Titus Dose authored at least 11 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Balance Problems for Integer Circuits and Separations of Relativized Conjectures on Incompleteness in Promise Classes (Balance-Probleme für Integer Circuits und Separierungen Relativierter Vermutungen über Unvollständigkeit in Promise-Klassen)

Titus Dose

PhD thesis, 2021

2020

Further oracles separating conjectures about incompleteness in the finite domain.

Titus Dose

Theor. Comput. Sci., 2020

An oracle separating conjectures about incompleteness in the finite domain.

Titus Dose

Theor. Comput. Sci., 2020

NP-Completeness, Proof Systems, and Disjoint NP-Pairs.

Titus Dose, Christian Glaßer

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

2019

P-Optimal Proof Systems for Each Set in coNP and no Complete Problems in NP⋂coNP Relative to an Oracle.

Titus Dose

CoRR, 2019

P≠NP and All Sets in NP∪coNP Have P-Optimal Proof Systems Relative to an Oracle.

Titus Dose

CoRR, 2019

P-Optimal Proof Systems for Each Set in NP but no Complete Disjoint NP-pairs Relative to an Oracle.

Titus Dose

CoRR, 2019

P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle.

Titus Dose

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018

Balance Problems for Integer Circuits.

Titus Dose

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2017

Emptiness Problems for Integer Circuits.

Dominik Barth, Moritz Beck, Titus Dose, Christian Glaßer, Larissa Michler, Marc Technau

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers.

Titus Dose

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016