Dr. Janosch Döcker

I'm a former member of the working group Mathematical Structures in Computer Science.

Publications

• Andreas Darmann, Janosch Döcker, Britta Dorn, Sebastian Schneckenburger. Simplified Group Activity Selection with Group Size Constraints. International Journal of Game Theory, 51(1):169-212, 2022.
• Janosch Döcker. Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy. Dissertation. Universität Tübingen, 2021.
• Janosch Döcker, Simone Linz, and Charles Semple. The display sets of normal and tree-child networks. The Electronic Journal of Combinatorics, 28(1):P1.8 (21 pages), 2021.
• Andreas Darmann and Janosch Döcker. On simplified NP-complete variants of Monotone 3-Sat. Discrete Applied Mathematics, 292:45-58, 2021.
• Andreas Darmann and Janosch Döcker. On a simple hard variant of Not-All-Equal 3-Sat. Theoretical Computer Science, 815:147-152, 2020.
• Janosch Döcker, Britta Dorn, Simone Linz, and Charles Semple. Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy. Theoretical Computer Science, 822:72-91, 2020.
• Janosch Döcker, Simone Linz, and Charles Semple. Displaying trees across two phylogenetic networks. Theoretical Computer Science, 796:129-146, 2019.
• Janosch Döcker, Leo van Iersel, Steven Kelk, and Simone Linz. Deciding the existence of a cherry-picking sequence is hard on two trees. Discrete Applied Mathematics, 260:131-143, 2019.
• Janosch Döcker and Simone Linz. On the existence of a cherry-picking sequence. Theoretical Computer Science, 714:36-50, 2018.
• Andreas Darmann, Janosch Döcker, Britta Dorn. The Monotone Satisfiability Problem with Bounded Variable Appearances. International Journal of Foundations of Computer Science, 29(6):979-993, 2018.
• Janosch Döcker, Britta Dorn, Ulle Endriss, Ronald de Haan, and Sebastian Schneckenburger. Tool Auctions. In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-2018), February 2018.
• Andreas Darmann, Janosch Döcker, Britta Dorn, Jérôme Lang, Sebastian Schneckenburger. Simplified Group Activity Selection. Proceedings of the Seventh International Workshop on Computational Social Choice (COMSOC-2018), 2018.
• Andreas Darmann, Janosch Döcker, Britta Dorn, Jérôme Lang, Sebastian Schneckenburger. On Simplified Group Activity Selection. In Proceedings of the 5th International Conference on Algorithmic Decision Theory (ADT 2017), 2017.
• Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger. Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps. In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-2016), August 2016.