König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.”https://doi.org/10.1007/978-3-030-20652-9‑18__In NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019.https://doi.org/10.1007/978-3-030-20652-9‑18 .

Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”https://doi.org/10.1007/978-3-319-92970-5_7__In Software Engineering and Formal Methods, 105–20. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-92970-5_7 .

König, Jürgen, Alexander Mäcker, Friedhelm Meyer auf der Heide, and Sören Riechers. “Scheduling with Interjob Communication on Parallel Processors.”https://doi.org/10.1007/s10878-018-0325-3__Journal of Combinatorial Optimization 36, no. 4 (2018): 1356–79.https://doi.org/10.1007/s10878-018-0325-3 .

König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity Definitions for STMs.”https://doi.org/10.1007/978-3-319-67729-3_8__In Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, edited by Dang Van Hung and Deepak Kapur, 118--135. Lecture Notes in Computer Science, 2017.https://doi.org/10.1007/978-3-319-67729-3_8 .

König, Jürgen, Alexander Mäcker, Friedhelm Meyer auf der Heide, and Sören Riechers. “Scheduling with Interjob Communication on Parallel Processors.”https://doi.org/10.1007/978-3-319-48749-6_41__In Proceedings of the 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 563--577. LNCS, 2016.https://doi.org/10.1007/978-3-319-48749-6_41 .