Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. - Peter Lammich; Markus Müller-Olm; Alexander Wenner (CAV, 2009)

Weighted Dynamic Pushdown Networks. - Alexander Wenner (ESOP, 2010)

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. - Thomas Martin Gawlitza; Peter Lammich; Markus Müller-Olm; Helmut Seidl; Alexander Wenner (VMCAI, 2011)

Contextual Locking for Dynamic Pushdown Networks. - Peter Lammich; Markus Müller-Olm; Helmut Seidl; Alexander Wenner (SAS, 2013)

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. - Heiko Mantel; Markus Müller-Olm; Matthias Perner; Alexander Wenner (LOPSTR, 2015)