| 2025 | ICTAC | Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. | Paula Blechschmidt, Kirstin Peters, Uwe Nestmann |
| 2023 | ICTAC | Store Locally, Prove Globally. | Nadine Karsten, Uwe Nestmann |
| 2022 | FORTE | Fault-Tolerant Multiparty Session Types. | Kirstin Peters, Uwe Nestmann, Christoph Wagner |
| 2021 | TACAS | A Game for Linear-time-Branching-time Spectroscopy. | Benjamin Bisping, Uwe Nestmann |
| 2020 | CAV | Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. | Florian Kammller, Uwe Nestmann |
| 2019 | ICTAC | Taming Concurrency for Verification Using Multiparty Session Types. | Kirstin Peters, Christoph Wagner, Uwe Nestmann |
| 2019 | TACAS | Computing Coupled Similarity. | Benjamin Bisping, Uwe Nestmann |
| 2017 | FORTE | Session Types for Link Failures. | Manuel Adameit, Kirstin Peters, Uwe Nestmann |
| 2016 | CONCUR | Topological Self-Stabilization with Name-Passing Process Calculi. | Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid |
| 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 |
| 2015 | ICTAC | Higher-Order Dynamics in Event Structures. | David S. Karcher, 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 |
| 2011 | GI | Vorwort. | Sven Abels, Stefan Brggemann, Matthias Mertens, Uwe Nestmann, Joannis Vlachakis |
| 2011 | TASE | Java Goes TLA+. | Hannes Lau, Uwe Nestmann |
| 2010 | GI | Service-Orientierte Untersttzung des nationalen Frherkennungsprogramms fr Kinder. | Nadim Sarrouh, Oliver Blankenstein, Uwe Nestmann |
| 2009 | FORTE | On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. | Morten Khnrich, Uwe Nestmann |
| 2006 | CONCUR | Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. | Uwe Nestmann |
| 2005 | NCA | Protocol Composition Frameworks A Header-Driven Model. | Daniel C. Bnzli, Sergio Mena, Uwe Nestmann |
| 2004 | CONCUR | Symbolic Bisimulation in the Spi Calculus. | Johannes Borgstrm, Sbastien Briais, Uwe Nestmann |
| 2003 | CONCUR | Modeling Consensus in a Process Calculus. | Uwe Nestmann, Rachele Fuzzati, Massimo Merro |
| 1999 | EuroPar | Aliasing Models for Object Migration. | Uwe Nestmann, Hans Httel, Josva Kleist, Massimo Merro |
| 1996 | CONCUR | Decoding Choice Encodings. | Uwe Nestmann, Benjamin C. Pierce |