VLDB 2026 Research / reviewers in the wild / expert
Fabian Bauer-Marquart
dblp:294/4856
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2023
0000-0001-9312-1706ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | symQV: Automated Symbolic Verification of Quantum Programs
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling 0001 |
FM | 1 |
| 2022 | SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling 0001 |
SPIN | 1 |