Stefan Haan

According to our database, Stefan Haan authored at least 2 papers in 2024.

Collaborative distances:

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

2024

Threshold sampling.

Stefan Rass, Max-Julian Jakobitsch, Stefan Haan, Moritz Hiebler

Theor. Comput. Sci., 2024

Computer-Aided Verification of P/NP Proofs: A Survey and Discussion.

Stefan Rass, Max-Julian Jakobitsch, Stefan Haan, Moritz Hiebler

IEEE Access, 2024