David Stangl

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Cognitive Tasks

Branch And Bound Method

Randomly Generated Problems

Global Convergence

Top Venues

Inform. Spektrum

Publications

Thomas Bläsius, Tobias Friedrich, David Stangl, Christopher Weyand
An Efficient Branch-and-Bound Solver for Hitting Set. ALENEX (2022)
Thomas Bläsius, Tobias Friedrich, David Stangl, Christopher Weyand
An Efficient Branch-and-Bound Solver for Hitting Set. CoRR (2021)
Hagen Echzell, Tobias Friedrich, Pascal Lenzner, Louise Molitor, Marcus Pappik, Friedrich Schöne, Fabian Sommer, David Stangl
Convergence and Hardness of Strategic Schelling Segregation. WINE (2019)
Johannes Henning, David Stangl, Fabio Niephaus, Bastian Kruck, Robert Hirschfeld
Hot Code Patching in CPython: Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code. ICOOOLPS@ECOOP (2019)
Hagen Echzell, Tobias Friedrich, Pascal Lenzner, Louise Molitor, Marcus Pappik, Friedrich Schöne, Fabian Sommer, David Stangl
Convergence and Hardness of Strategic Schelling Segregation. CoRR (2019)
Saiganesh Swaminathan, Thijs Roumen, Robert Kovacs, David Stangl, Stefanie Mueller, Patrick Baudisch
Linespace - A sensemaking platform for the blind. Inform. Spektrum 40 (6) (2017)
Saiganesh Swaminathan, Thijs Roumen, Robert Kovacs, David Stangl, Stefanie Müller, Patrick Baudisch
Linespace: A Sensemaking Platform for the Blind. CHI (2016)