Demo Data from SIGIR 2026 / 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
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Quantum computing and quantum information · 50% Automated reasoning and model checking · 50% | |
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Quantum computing and quantum information › quantum programming languages
quantum program verification |
0.7 | 1 | 2023 | symQV: Automated Symbolic Verification of Quantum Programs · FM 2023 |
Automated reasoning and model checking
symbolic verification |
0.7 | 1 | 2023 | symQV: Automated Symbolic Verification of Quantum Programs · FM 2023 |
Program analysis
symbolic execution |
0.2 | 1 | 2023 | symQV: Automated Symbolic Verification of Quantum Programs · FM 2023 |
Methods — techniques the papers use, named apart from their topics
symbolic execution · 1.3
| 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 |