Decidable linear list constraints. - Sabine Bauer 002; Martin Hofmann 001 (LPAR, 2017)

Decidable Inequalities over Infinite Trees. - Sabine Bauer 002; Steffen Jost; Martin Hofmann 001 (LPAR, 2018)

Linear Tree Constraints. - Sabine Bauer 002; Martin Hofmann 001 (CoRR, 2018)

Decidability of linear tree constraints for resource analysis of object-oriented programs. - Sabine Bauer 002 (2019)