Janosch Döcker

24 papers A* 1A 1Journal 21Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the existence of funneled orientations for classes of rooted phylogenetic networks.
Theor. Comput. Sci.
Janosch Döcker, Simone Linz
2024 J jnl
An even simpler hard variant of Not-All-Equal 3-SAT.
CoRR
Andreas Darmann, Janosch Döcker, Britta Dorn
2024 J jnl
Hypercubes and Hamilton cycles of display sets of rooted phylogenetic networks.
Adv. Appl. Math.
Janosch Döcker, Simone Linz, Charles Semple
2024 J jnl
On the existence of funneled orientations for classes of rooted phylogenetic networks.
CoRR
Janosch Döcker, Simone Linz
2022 J jnl
Hypercubes and Hamiltonian Cycles of Display Sets of Rooted Phylogenetic Networks.
CoRR
Janosch Döcker, Simone Linz, Charles Semple
2022 J jnl
Simplified group activity selection with group size constraints.
Int. J. Game Theory
Andreas Darmann, Janosch Döcker, Britta Dorn, Sebastian Schneckenburger
2021 J jnl
Display Sets of Normal and Tree-Child Networks.
Electron. J. Comb.
Janosch Döcker, Simone Linz, Charles Semple
2021 J jnl
On simplified NP-complete variants of Monotone3-Sat.
Discret. Appl. Math.
Andreas Darmann, Janosch Döcker
2020 J jnl
On a simple hard variant of Not-All-Equal 3-Sat.
Theor. Comput. Sci.
Andreas Darmann, Janosch Döcker
2020 J jnl
Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy.
Theor. Comput. Sci.
Janosch Döcker, Britta Dorn, Simone Linz, Charles Semple
2019 J jnl
Deciding the existence of a cherry-picking sequence is hard on two trees.
Discret. Appl. Math.
Janosch Döcker, Leo van Iersel, Steven Kelk, Simone Linz
2019 J jnl
Displaying trees across two phylogenetic networks.
Theor. Comput. Sci.
Janosch Döcker, Simone Linz, Charles Semple
2019 J jnl
Monotone 3-Sat-(2, 2) is NP-complete.
CoRR
Janosch Döcker
2019 J jnl
On simplified NP-complete variants of Not-All-Equal 3-Sat and 3-Sat.
CoRR
Andreas Darmann, Janosch Döcker
2019 J jnl
Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy.
CoRR
Janosch Döcker, Britta Dorn, Simone Linz, Charles Semple
2018 J jnl
On the existence of a cherry-picking sequence.
Theor. Comput. Sci.
Janosch Döcker, Simone Linz
2018 J jnl
The Monotone Satisfiability Problem with Bounded Variable Appearances.
Int. J. Found. Comput. Sci.
Andreas Darmann, Janosch Döcker, Britta Dorn
2018 A* conf
Tool Auctions.
AAAI
Janosch Döcker, Britta Dorn, Ulle Endriss, Ronald de Haan, Sebastian Schneckenburger
2017 J jnl
Deciding the existence of a cherry-picking sequence is hard on two trees.
CoRR
Janosch Döcker, Leo van Iersel, Steven Kelk, Simone Linz
2017 — conf
On Simplified Group Activity Selection.
ADT
Andreas Darmann, Janosch Döcker, Britta Dorn, Jérôme Lang, Sebastian Schneckenburger
2017 J jnl
On the existence of a cherry-picking sequence.
CoRR
Janosch Döcker, Simone Linz
2016 A conf
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.
ECAI
Janosch Döcker, Britta Dorn, Ulle Endriss, Dominikus Krüger
2016 J jnl
Monotone 3-Sat-4 is NP-complete.
CoRR
Andreas Darmann, Janosch Döcker
2016 J jnl
On planar variants of the monotone satisfiability problem with bounded variable appearances.
CoRR
Andreas Darmann, Janosch Döcker, Britta Dorn