Correct Transformational Design of Concurrent Search Structures. - Uwe Nestmann; Martin Steffen (Object Orientation with Parallelism and Persistence, 1995)

On determinacy and nondeterminacy in concurrent programming. - Uwe Nestmann (1996)

What is a 'good' encoding of guarded choice? - Uwe Nestmann (EXPRESS, 1997)

Calculi for Mobile Processes - Bibliography and Web Pages. - Uwe Nestmann; Björn Victor (Bull. EATCS, 1998)

On the Expressive Power of Joint Input. - Uwe Nestmann (EXPRESS, 1998)

Preface. - Uwe Nestmann; Benjamin C. Pierce (HLCL, 1998)

Semantics of Objects as Processes (SOAP). - Uwe Nestmann; António Ravara (ECOOP Workshops, 1999)

Aliasing Models for Object Migration. - Uwe Nestmann; Hans Hüttel; Josva Kleist; Massimo Merro (Euro-Par, 1999)

Mobile Objects (a project overview). - Uwe Nestmann (FBT, 1999)

Local pi-Calculus at Work: Mobile Objects as Mobile Processes. - Massimo Merro; Josva Kleist; Uwe Nestmann (IFIP TCS, 2000)

Decoding Choice Encodings. - Uwe Nestmann; Benjamin C. Pierce (Inf. Comput., 2000)

Mobile Objects "Must" Move Safely. - Sébastien Briais; Uwe Nestmann (FMOODS, 2002)

Preface. - Uwe Nestmann; Prakash Panangaden (EXPRESS, 2002)

Mobile Objects as Mobile Processes. - Massimo Merro; Josva Kleist; Uwe Nestmann (Inf. Comput., 2002)

Aliasing Models for Mobile Objects. - Uwe Nestmann; Hans Hüttel; Josva Kleist; Massimo Merro (Inf. Comput., 2002)

Unreliable Failure Detectors via Operational Semantics. - Uwe Nestmann; Rachele Fuzzati (ASIAN, 2003)

Modeling Consensus in a Process Calculus. - Uwe Nestmann; Rachele Fuzzati; Massimo Merro (CONCUR, 2003)

Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. - Flavio Corradini; Uwe Nestmann (EXPRESS, 2003)

Guest Editors' Foreword. - Uwe Nestmann; Prakash Panangaden (Nord. J. Comput., 2003)

Symbolic Bisimulation in the Spi Calculus. - Johannes Borgström; Sébastien Briais; Uwe Nestmann (CONCUR, 2004)

Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. - Johannes Borgström; Uwe Nestmann; Luc Onana Alima; Dilian Gurov (Global Computing, 2004)

Protocol Composition Frameworks A Header-Driven Model. - Daniel C. Bünzli; Sergio Mena; Uwe Nestmann (NCA, 2005)

Much Ado About Nothing? - Rachele Fuzzati; Uwe Nestmann (APC 25, 2005)

Guest editors' introduction: Special issue on The pi-calculus. - Uwe Nestmann; Björn Victor (J. Log. Algebraic Methods Program., 2005)

On bisimulations for the spi calculus. - Johannes Borgström; Uwe Nestmann (Math. Struct. Comput. Sci., 2005)

EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). - Flavio Corradini; Uwe Nestmann (Theor. Comput. Sci., 2005)

Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. - Uwe Nestmann (CONCUR, 2006)

Advances in the Design and Implementation of Group Communication Middleware. - Daniel C. Bünzli; Rachele Fuzzati; Sergio Mena; Uwe Nestmann; Olivier Rütti; André Schiper; Pawel T. Wojciechowski (Research Results of the DICS Program, 2006)

Distributed Consensus, revisited. - Rachele Fuzzati; Massimo Merro; Uwe Nestmann (Acta Informatica, 2007)

A formal semantics for protocol narrations. - Sébastien Briais; Uwe Nestmann (Theor. Comput. Sci., 2007)

Open bisimulation, revisited. - Sébastien Briais; Uwe Nestmann (Theor. Comput. Sci., 2007)

Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms. - Sven Schneider 001; Johannes Borgström; Uwe Nestmann (SJTU-TUB Joint Workshop, 2008)

Applying Concurrency Research in Industry Report on a Strategic Workshop. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (Bull. EATCS, 2008)

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. - Morten Kühnrich; Uwe Nestmann (FMOODS/FORTE, 2009)

Deriving Trust from Experience. - Florian Eilers; Uwe Nestmann (Formal Aspects in Security and Trust, 2009)

Preface. - Luca Aceto; Jos C. M. Baeten; Wan J. Fokkink; Anna Ingólfsdóttir; Uwe Nestmann (J. Log. Algebraic Methods Program., 2009)

Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. - Nadim Sarrouh; Oliver Blankenstein; Uwe Nestmann (GI Jahrestagung (1), 2010)

Defamation-Free Networks through User-Centered Data Control. - Nadim Sarrouh; Florian Eilers; Uwe Nestmann; Ina Schieferdecker (STM, 2010)

Breaking Symmetries - Kirstin Peters; Uwe Nestmann (EXPRESS, 2010)

Rigorous Discretization of Hybrid Systems Using Process Calculi. - Sven Schneider 001; Uwe Nestmann (FORMATS, 2011)

Vorwort. - Sven Abels; Stefan Brüggemann; Matthias Mertens; Uwe Nestmann; Joannis Vlachakis (GI-Jahrestagung, 2011)

Java Goes TLA+. - Hannes Lau; Uwe Nestmann (TASE, 2011)

Synchrony vs Causality in the Asynchronous Pi-Calculus - Kirstin Peters; Jens-Wolfhard Schicke; Uwe Nestmann (EXPRESS, 2011)

Is It a "Good" Encoding of Mixed Choice? - Kirstin Peters; Uwe Nestmann (FoSSaCS, 2012)

Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. - Philipp Küfner; Uwe Nestmann; Christina Rickmann (IFIP TCS, 2012)

Is it a "Good" Encoding of Mixed Choice? (Technical Report) - Kirstin Peters; Uwe Nestmann (CoRR, 2012)

On Distributability in Process Calculi. - Kirstin Peters; Uwe Nestmann; Ursula Goltz (ESOP, 2013)

Adding Priority to Event Structures. - Youssef Arbach; Kirstin Peters; Uwe Nestmann (EXPRESS/SOS, 2013)

Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. - Anne-Kathrin Schmuck; Sven Schneider 001; Jörg Raisch; Uwe Nestmann (WODES, 2014)

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. - Sven Schneider 001; Anne-Kathrin Schmuck; Uwe Nestmann; Jörg Raisch (WODES, 2014)

Matching in the Pi-Calculus (Technical Report). - Kirstin Peters; Tsvetelina Yonova-Karbe; Uwe Nestmann (CoRR, 2014)

Matching in the Pi-Calculus. - Kirstin Peters; Tsvetelina Yonova-Karbe; Uwe Nestmann (EXPRESS/SOS, 2014)

Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. - Sven Schneider 001; Uwe Nestmann (CoRR, 2014)

States in Process Calculi. - Christoph Wagner; Uwe Nestmann (EXPRESS/SOS, 2014)

Higher-Order Dynamics in Event Structures. - David S. Karcher; Uwe Nestmann (ICTAC, 2015)

Dynamic Causality in Event Structures (Technical Report). - Youssef Arbach; David Karcher; Kirstin Peters; Uwe Nestmann (CoRR, 2015)

Encoding CSP into CCS (Extended Version). - Meike Hatzel; Christoph Wagner; Kirstin Peters; Uwe Nestmann (CoRR, 2015)

Encoding CSP into CCS. - Meike Hatzel; Christoph Wagner; Kirstin Peters; Uwe Nestmann (EXPRESS/SOS, 2015)

Topological Self-Stabilization with Name-Passing Process Calculi. - Christina Rickmann; Christoph Wagner; Uwe Nestmann; Stefan Schmid 001 (CONCUR, 2016)

Mechanical Verification of a Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (ITP, 2016)

A Constructive Proof for FLP. - Benjamin Bisping; Paul-David Brodmann; Tim Jungnickel; Christina Rickmann; Henning Seidler; Anke Stüber; Arno Wilhelm-Weidner; Kirstin Peters; Uwe Nestmann (Arch. Formal Proofs, 2016)

Session Types for Link Failures (Technical Report). - Manuel Adameit; Kirstin Peters; Uwe Nestmann (CoRR, 2016)

Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. - Anne-Kathrin Schmuck; Sven Schneider 001; Jörg Raisch; Uwe Nestmann (Discret. Event Dyn. Syst., 2016)

Full abstraction for expressiveness: history, myths and facts. - Daniele Gorla; Uwe Nestmann (Math. Struct. Comput. Sci., 2016)

Synchrony versus causality in distributed systems. - Kirstin Peters; Jens-Wolfhard Schicke-Uffmann; Ursula Goltz; Uwe Nestmann (Math. Struct. Comput. Sci., 2016)

Session Types for Link Failures. - Manuel Adameit; Kirstin Peters; Uwe Nestmann (FORTE, 2017)

A case study of flipped classroom for automata theory in secondary education. - Alexander Wolf; Arno Wilhelm-Weidner; Uwe Nestmann (WiPSCE, 2018)

On the Distributability of Mobile Ambients (Technical Report). - Kirstin Peters; Uwe Nestmann (CoRR, 2018)

On the Distributability of Mobile Ambients. - Kirstin Peters; Uwe Nestmann (EXPRESS/SOS, 2018)

Dynamic Causality in Event Structures. - Youssef Arbach; David S. Karcher; Kirstin Peters; Uwe Nestmann (Log. Methods Comput. Sci., 2018)

Taming Concurrency for Verification Using Multiparty Session Types. - Kirstin Peters; Christoph Wagner; Uwe Nestmann (ICTAC, 2019)

Computing Coupled Similarity. - Benjamin Bisping; Uwe Nestmann (TACAS (1), 2019)

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report). - Kirstin Peters; Christoph Wagner; Uwe Nestmann (CoRR, 2019)

Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. - Florian Kammüller; Uwe Nestmann (FMBC@CAV, 2020)

Coupled similarity: the first 32 years. - Benjamin Bisping; Uwe Nestmann; Kirstin Peters (Acta Informatica, 2020)

A Game for Linear-time-Branching-time Spectroscopy. - Benjamin Bisping; Uwe Nestmann (TACAS (1), 2021)

Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy. - Benjamin Bisping; Uwe Nestmann (CoRR, 2021)

Beweiskompetenz durch Beweisassistenz. - Nadine Karsten; Uwe Nestmann (DELFI, 2022)

Fault-Tolerant Multiparty Session Types. - Kirstin Peters; Uwe Nestmann; Christoph Wagner (FORTE, 2022)

Fault-Tolerant Multiparty Session Types (Technical Report). - Kirstin Peters; Uwe Nestmann; Christoph Wagner (CoRR, 2022)

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy. - Benjamin Bisping; David N. Jansen; Uwe Nestmann (Log. Methods Comput. Sci., 2022)

On distributability. - Kirstin Peters; Uwe Nestmann; Anna Schmitt 002 (Theor. Comput. Sci., 2022)

Store Locally, Prove Globally. - Nadine Karsten; Uwe Nestmann (ICTAC, 2023)

ProofBuddy: A Proof Assistant for Learning and Monitoring. - Nadine Karsten; Frederik Krogsdal Jacobsen; Kim Jana Eiken; Uwe Nestmann; Jørgen Villadsen (TFPIE, 2023)

FTMPST: Fault-Tolerant Multiparty Session Types. - Kirstin Peters; Uwe Nestmann; Christoph Wagner (Log. Methods Comput. Sci., 2023)

ProofBuddy: How it Started, How it's Going. - Nadine Karsten; Kim Jana Eiken; Uwe Nestmann (ThEdu@CADE, 2024)