Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. - Paul Hänsch; Michaela Slaats; Wolfgang Thomas (FCT, 2009)

Reachability Analysis of Hybrid Systems. - Paul Hänsch (AlgoSyn, 2010)

Self-balancing Controllable Robots in Education: A Practical Course for Bachelor Students. - Paul Hänsch; John F. Schommer; Stefan Kowalewski (ICIRA (2), 2011)

Reachability Analysis of Linear Systems with Stepwise Constant Inputs. - Paul Hänsch; Hilal Diab; Ibtissem Ben Makhlouf; Stefan Kowalewski (Hybrid Autonomous Systems@ETAPS, 2011)

Invariants for LTI Systems with Uncertain Input. - Paul Hänsch; Stefan Kowalewski (RP, 2012)

Comparison of reachability methods for uncertain linear time-invariant systems. - Ibtissem Ben Makhlouf; Paul Hänsch; Stefan Kowalewski (ECC, 2013)