Agile practices in practice: a mapping study. - Philipp Diebold; Marc Dahlem (EASE, 2014)

Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming. - Marc Dahlem; Tripti Jain; Klaus Schneider 001; Michael Gillmann (LPNMR, 2017)

Are Synchronous Programs Logic Programs? - Klaus Schneider 001; Marc Dahlem (Principled Software Development, 2018)

Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. - Marc Dahlem; Anoop Bhagyanath; Klaus Schneider 001 (Theory Pract. Log. Program., 2018)

App variants and their impact on mobile architecture: an experience report. - Marc Dahlem; Ricarda Rahm; Martin Becker 002 (SPLC (A), 2019)

Compiling synchronous languages to optimal move code for exposed datapath architectures. - Marc Dahlem; Klaus Schneider 001 (SCOPES, 2020)

Using Enhanced Logic Programming Semantics for Extending and Optimizing Synchronous System Design. - Marc Dahlem (2021)