Jürgen König

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 6

Top Topics

Data Independence

Correctness Criterion

Nested Transactions

Parallel Processors

Top Venues

J. Comb. Optim.

Publications

Jürgen König, Heike Wehrheim
On the Correctness Problem for Serializability. ICTAC (2021)
Jürgen König, Heike Wehrheim
Data Independence for Software Transactional Memory. NFM (2019)
Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. SEFM (2018)
Jürgen König, Alexander Mäcker, Friedhelm Meyer auf der Heide, Sören Riechers
Scheduling with interjob communication on parallel processors. J. Comb. Optim. 36 (4) (2018)
Jürgen König, Heike Wehrheim
Value-Based or Conflict-Based? Opacity Definitions for STMs. ICTAC (2017)
Jürgen König, Alexander Mäcker, Friedhelm Meyer auf der Heide, Sören Riechers
Scheduling with Interjob Communication on Parallel Processors. COCOA (2016)