VLDB 2026 Research / reviewers in the wild / expert
Jürgen König
dblp:190/5725
· DBLP profile ↗
4ranked-venue papers
3as first author
1since 2021 · last 2021
0000-0003-3836-4611ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author · 1 since 2021Artificial intelligence and machine learning · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | On the Correctness Problem for Serializability
Jürgen König, Heike Wehrheim |
ICTAC | 1 |
| 2018 | FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity
Gerhard Schellhorn, Monika Wedel, Oleg Travkin 0001, Jürgen König, Heike Wehrheim |
SEFM | 4 |
| 2017 | Value-Based or Conflict-Based? Opacity Definitions for STMs
Jürgen König, Heike Wehrheim |
ICTAC | 1 |
| 2016 | Scheduling with Interjob Communication on Parallel Processors
Jürgen König, Alexander Mäcker, Friedhelm Meyer auf der Heide, Sören Riechers |
COCOA | 1 |