Value-Based or Conflict-Based? Opacity Definitions for STMs. - Jürgen König; Heike Wehrheim (ICTAC, 2017)

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. - Gerhard Schellhorn; Monika Wedel; Oleg Travkin; Jürgen König; Heike Wehrheim (SEFM, 2018)

Scheduling with interjob communication on parallel processors. - Jürgen König; Alexander Mäcker; Friedhelm Meyer auf der Heide; Sören Riechers (J. Comb. Optim., 2018)

Data Independence for Software Transactional Memory. - Jürgen König; Heike Wehrheim (NFM, 2019)

On the Correctness Problem for Serializability. - Jürgen König; Heike Wehrheim (ICTAC, 2021)

On the membership and correctness problem for state serializability and value opacity. - Jürgen König (2023)