| 2025 | ICTAC | Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. | Paula Blechschmidt, Kirstin Peters, Uwe Nestmann |
| 2024 | ISoLA | Towards a Formal Testing Theory for Quantum Processes. | Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt |
| 2024 | LICS | Separation and Encodability in Mixed Choice Multiparty Sessions. | Kirstin Peters, Nobuko Yoshida |
| 2023 | CONCUR | Probabilistic Operational Correspondence. | Anna Schmitt, Kirstin Peters |
| 2022 | FORTE | Fault-Tolerant Multiparty Session Types. | Kirstin Peters, Uwe Nestmann, Christoph Wagner |
| 2022 | FORTE | Encodability Criteria for Quantum Based Systems. | Anna Schmitt, Kirstin Peters, Yuxin Deng |
| 2019 | ICTAC | Taming Concurrency for Verification Using Multiparty Session Types. | Kirstin Peters, Christoph Wagner, Uwe Nestmann |
| 2017 | FORTE | Session Types for Link Failures. | Manuel Adameit, Kirstin Peters, Uwe Nestmann |
| 2016 | ITP | Mechanical Verification of a Constructive Proof for FLP. | Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann |
| 2015 | FORTE | Dynamic Causality in Event Structures. | Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann |
| 2013 | ESOP | On Distributability in Process Calculi. | Kirstin Peters, Uwe Nestmann, Ursula Goltz |
| 2012 | FOSSACS | Is It a "Good" Encoding of Mixed Choice? | Kirstin Peters, Uwe Nestmann |
| 2008 | GI | Selbstlernende Suchmaschine als zentraler Informationszugang bei heterogener Informationslandschaft. | Julian Bahrs, Benedikt Meuthrath, Kirstin Peters |