| 2025 | AAAI | Counting and Reasoning with Plans. | David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corra |
| 2025 | ECAI | On Performance Guarantees for Symbolic Search in Classical Planning. | David Speck, Malte Helmert |
| 2025 | ECAI | Merging Cartesian Abstractions for Classical Planning. | Mauricio Salerno, Raquel Fuentetaja, David Speck, Jendrik Seipp |
| 2025 | IJCAI | Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning (Extended Abstract). | David Speck, Daniel Gnad |
| 2025 | JELIA | AxSAT - Bringing Axioms to SAT Planning. | Gregor Behnke, David Speck, Daniel Gnad |
| 2025 | KR | Interactive Exploration of Plan Spaces. | Daniel Gnad, Markus Hecher, Sarah Alice Gaggl, Dominik Rusovac, David Speck, Johannes Klaus Fichte |
| 2025 | KR | Representing Perfect Saturated Cost Partitioning Heuristics in Classical Planning. | Paul Hft, David Speck, Jendrik Seipp |
| 2024 | ICAPS | Decoupled Search for the Masses: A Novel Task Transformation for Classical Planning. | David Speck, Daniel Gnad |
| 2024 | ICAPS | Versatile Cost Partitioning with Exact Sensitivity Analysis. | Paul Hft, David Speck, Florian Pommerening, Jendrik Seipp |
| 2023 | ECAI | PARIS: Planning Algorithms for Reconfiguring Independent Sets. | Remo Christen, Salom Eriksson, Michael Katz, Christian Muise, Alice Petrov, Florian Pommerening, Jendrik Seipp, Silvan Sievers, David Speck |
| 2023 | ECAI | Sensitivity Analysis for Saturated Post-Hoc Optimization in Classical Planning. | Paul Hft, David Speck, Jendrik Seipp |
| 2022 | SoCS | On Bidirectional Heuristic Search in Classical Planning: An Analysis of BAE. | Kilian Hu, David Speck |
| 2021 | AAAI | Symbolic Search for Oversubscription Planning. | David Speck, Michael Katz |
| 2021 | AAAI | Symbolic Search for Optimal Total-Order HTN Planning. | Gregor Behnke, David Speck |
| 2020 | AAAI | Symbolic Top-k Planning. | David Speck, Robert Mattmller, Bernhard Nebel |
| 2020 | SoCS | Trial-Based Heuristic Tree Search for MDPs with Factored Action Spaces. | Florian Geier, David Speck, Thomas Keller |
| 2019 | EMNLP | Learning to request guidance in emergent language. | Benjamin Kolb, Leon Lang, Henning Bartsch, Arwin Gansekoele, Raymond Koopmanschap, Leonardo Romor, David Speck, Mathijs Mul, Elia Bruni |
| 2019 | KI | An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning. | Sumitra Corraya, Florian Geier, David Speck, Robert Mattmller |
| 2015 | KI | Necessary Observations in Nondeterministic Planning. | David Speck, Manuela Ortlieb, Robert Mattmller |