Sabine Bauer

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Linear Inequalities

Datalog Queries

Chance Constraints

Tree Construction

Top Venues

Ludwig Maximilian University of Munich, Germany (PHD)

Education History

Ludwig Maximilian University of Munich, Germany

PHD

Publications

Sabine Bauer, Martin Hofmann
Linear Tree Constraints. CoRR (2018)
Sabine Bauer, Steffen Jost, Martin Hofmann
Decidable Inequalities over Infinite Trees. LPAR (2018)
Sabine Bauer, Martin Hofmann
Decidable linear list constraints. LPAR (2017)