Sabine Bauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1988–2018
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LPAR | Decidable Inequalities over Infinite Trees. | Sabine Bauer, Steffen Jost, Martin Hofmann |
| 2018 | MICCAI | Automatic Cochlear Length and Volume Size Estimation. | Ibraheem Al-Dhamari, Sabine Bauer, Dietrich Paulus, Rania Helal, Friedrich Lissek, Roland Jacob |
| 2017 | LPAR | Decidable linear list constraints. | Sabine Bauer, Martin Hofmann |
| 1988 | ICCD | Parallel calculation of shortest paths in sparse graphs on a systolic array. | Sabine Bauer, Uwe Schwiegelshohn |