Sabine Bauer

Affiliations:

According to our database¹, Sabine Bauer authored at least 4 papers between 2017 and 2019.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

Decidability of linear tree constraints for resource analysis of object-oriented programs.

[BibT_eX]

[DOI]

PhD thesis, 2019

2018

Linear Tree Constraints.

[BibT_eX]

[DOI]

CoRR, 2018

Decidable Inequalities over Infinite Trees.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Decidable linear list constraints.

[BibT_eX]

[DOI]

Proceedings of the LPAR-21, 2017