VLDB 2026 Research / reviewers in the wild / expert
Edward Sabinus
dblp:378/9208
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2024
0009-0000-6280-8943ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Proof Construction and Checking on Evolving Abstract State Machines
Edward Sabinus |
ABZ | 1 |
| 2024 | Small Step Incremental Verification of Compilers
Wolf Zimmermann, Thomas Kühn 0001, Edward Sabinus, Mandy Weißbach |
ABZ | 3 |