König, J., &; Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger &; K. Yvonne Rozier (Eds.), NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer.https://doi.org/10.1007/978-3-030-20652-9‑18 
LibreCat: /record/10091
DOI: 10.1007/978-3-030-20652-9‑18

Schellhorn, G., Wedel, M., Travkin, O., König, J., &; Wehrheim, H. (2018). FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In Software Engineering and Formal Methods (pp. 105–120). Cham: Springer International Publishing.https://doi.org/10.1007/978-3-319-92970-5_7 
LibreCat: /record/3536
DOI: 10.1007/978-3-319-92970-5_7

König, J., Mäcker, A., Meyer auf der Heide, F., &; Riechers, S. (2018). Scheduling with interjob communication on parallel processors. Journal of Combinatorial Optimization, 36(4), 1356–1379.https://doi.org/10.1007/s10878-018-0325-3 
LibreCat: /record/3551
DOI: 10.1007/s10878-018-0325-3