Jrgen Knig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICTAC | On the Correctness Problem for Serializability. | Jrgen Knig, Heike Wehrheim |
| 2018 | SEFM | FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. | Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jrgen Knig, Heike Wehrheim |
| 2017 | ICTAC | Value-Based or Conflict-Based? Opacity Definitions for STMs. | Jrgen Knig, Heike Wehrheim |
| 2016 | COCOA | Scheduling with Interjob Communication on Parallel Processors. | Jrgen Knig, Alexander Mcker, Friedhelm Meyer auf der Heide, Sren Riechers |