VLDB 2026 Research / reviewers in the wild / expert
Jan Onderka
dblp:311/3237
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2026
0000-0003-2069-8584ORCID · 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 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Input-Based Three-Valued Abstraction Refinement
Jan Onderka, Stefan Ratschan |
VMCAI | 1 |
| 2022 | Fast Three-Valued Abstract Bit-Vector Arithmetic
Jan Onderka, Stefan Ratschan |
VMCAI | 1 |