Uwe Nestmann

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 30

Top Venues

CoRR

EXPRESS/SOS

Math. Struct. Comput. Sci.

FORTE

University of Erlangen-Nuremberg (PHD)

Education History

University of Erlangen-Nuremberg

PHD

Publications

Nadine Karsten, Uwe Nestmann
Store Locally, Prove Globally. ICTAC (2023)
Kirstin Peters, Uwe Nestmann, Christoph Wagner
FTMPST: Fault-Tolerant Multiparty Session Types. Log. Methods Comput. Sci. 19 (4) (2023)
Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen
ProofBuddy: A Proof Assistant for Learning and Monitoring. CoRR (2023)
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Fault-Tolerant Multiparty Session Types (Technical Report). CoRR (2022)
Kirstin Peters, Uwe Nestmann, Anna Schmitt
On distributability. Theor. Comput. Sci. 913 (2022)
Benjamin Bisping, David N. Jansen, Uwe Nestmann
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy. Log. Methods Comput. Sci. 18 (3) (2022)
Nadine Karsten, Uwe Nestmann
Beweiskompetenz durch Beweisassistenz. DELFI (2022)
Kirstin Peters, Uwe Nestmann, Christoph Wagner
Fault-Tolerant Multiparty Session Types. FORTE (2022)
Benjamin Bisping, Uwe Nestmann
A Game for Linear-time-Branching-time Spectroscopy. TACAS (1) (2021)
Benjamin Bisping, Uwe Nestmann
Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy. CoRR (2021)
Kirstin Peters, Uwe Nestmann
Distributability of mobile ambients. Inf. Comput. 275 (2020)
Benjamin Bisping, Uwe Nestmann, Kirstin Peters
Coupled similarity: the first 32 years. Acta Informatica 57 (3-5) (2020)
Florian Kammüller, Uwe Nestmann
Inter-Blockchain Protocols with the Isabelle Infrastructure Framework. FMBC@CAV (2020)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
Taming Concurrency for Verification Using Multiparty Session Types (Technical Report). CoRR (2019)
Benjamin Bisping, Uwe Nestmann
Computing Coupled Similarity. TACAS (1) (2019)
Kirstin Peters, Christoph Wagner, Uwe Nestmann
Taming Concurrency for Verification Using Multiparty Session Types. ICTAC (2019)
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. CoRR (2018)
Kirstin Peters, Uwe Nestmann
On the Distributability of Mobile Ambients (Technical Report). CoRR (2018)
Alexander Wolf, Arno Wilhelm-Weidner, Uwe Nestmann
A case study of flipped classroom for automata theory in secondary education. WiPSCE (2018)
Kirstin Peters, Uwe Nestmann
On the Distributability of Mobile Ambients. EXPRESS/SOS (2018)
Youssef Arbach, David S. Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. Log. Methods Comput. Sci. 14 (1) (2018)
Manuel Adameit, Kirstin Peters, Uwe Nestmann
Session Types for Link Failures. FORTE (2017)
Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid
Topological Self-Stabilization with Name-Passing Process Calculi. CONCUR (2016)
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. Discret. Event Dyn. Syst. 26 (1) (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann
Synchrony versus causality in distributed systems. Math. Struct. Comput. Sci. 26 (8) (2016)
Daniele Gorla, Uwe Nestmann
Full abstraction for expressiveness: history, myths and facts. Math. Struct. Comput. Sci. 26 (4) (2016)
Manuel Adameit, Kirstin Peters, Uwe Nestmann
Session Types for Link Failures (Technical Report). CoRR (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)
Kirstin Peters, Uwe Nestmann
Breaking symmetries. Math. Struct. Comput. Sci. 26 (6) (2016)
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
Encoding CSP into CCS. EXPRESS/SOS (2015)
Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures. FORTE (2015)
David S. Karcher, Uwe Nestmann
Higher-Order Dynamics in Event Structures. ICTAC (2015)
Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann
Dynamic Causality in Event Structures (Technical Report). CoRR (2015)
Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann
Encoding CSP into CCS (Extended Version). CoRR (2015)
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
Matching in the Pi-Calculus. EXPRESS/SOS (2014)
Christoph Wagner, Uwe Nestmann
States in Process Calculi. EXPRESS/SOS (2014)
Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES (2014)
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann
Matching in the Pi-Calculus (Technical Report). CoRR (2014)
Sven Schneider, Uwe Nestmann
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR (2014)
Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES (2014)
Kirstin Peters, Uwe Nestmann, Ursula Goltz
On Distributability in Process Calculi. ESOP (2013)
Youssef Arbach, Kirstin Peters, Uwe Nestmann
Adding Priority to Event Structures. EXPRESS/SOS (2013)
Kirstin Peters, Uwe Nestmann
Is it a "Good" Encoding of Mixed Choice? (Technical Report) CoRR (2012)
Philipp Küfner, Uwe Nestmann, Christina Rickmann
Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. IFIP TCS (2012)
Kirstin Peters, Uwe Nestmann
Is It a "Good" Encoding of Mixed Choice? FoSSaCS (2012)
Hannes Lau, Uwe Nestmann
Java Goes TLA+. TASE (2011)
Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann
Synchrony vs Causality in the Asynchronous Pi-Calculus EXPRESS (2011)
Sven Abels, Stefan Brüggemann, Matthias Mertens, Uwe Nestmann, Joannis Vlachakis
Vorwort. GI-Jahrestagung (2011)
Sven Schneider, Uwe Nestmann
Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS (2011)
Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker
Defamation-Free Networks through User-Centered Data Control. STM (2010)
Kirstin Peters, Uwe Nestmann
Breaking Symmetries EXPRESS (2010)
Kirstin Peters, Uwe Nestmann
Breaking Symmetries CoRR (2010)
Nadim Sarrouh, Oliver Blankenstein, Uwe Nestmann
Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. GI Jahrestagung (1) (2010)
Morten Kühnrich, Uwe Nestmann
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE (2009)
Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
Preface. J. Log. Algebraic Methods Program. 78 (4) (2009)
Florian Eilers, Uwe Nestmann
Deriving Trust from Experience. Formal Aspects in Security and Trust (2009)
Sven Schneider, Johannes Borgström, Uwe Nestmann
Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms. SJTU-TUB Joint Workshop (2008)
Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann
Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS 94 (2008)
Rachele Fuzzati, Massimo Merro, Uwe Nestmann
Distributed Consensus, revisited. Acta Informatica 44 (6) (2007)
Sébastien Briais, Uwe Nestmann
A formal semantics for protocol narrations. Theor. Comput. Sci. 389 (3) (2007)
Sébastien Briais, Uwe Nestmann
Open bisimulation, revisited. Theor. Comput. Sci. 386 (3) (2007)
Daniel C. Bünzli, Rachele Fuzzati, Sergio Mena, Uwe Nestmann, Olivier Rütti, André Schiper, Pawel T. Wojciechowski
Advances in the Design and Implementation of Group Communication Middleware. Research Results of the DICS Program (2006)
Rachele Fuzzati, Uwe Nestmann
Much Ado About Nothing? Electron. Notes Theor. Comput. Sci. 162 (2006)
Uwe Nestmann
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. CONCUR (2006)
Flavio Corradini, Uwe Nestmann
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci. 330 (3) (2005)
Uwe Nestmann, Björn Victor
Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebraic Methods Program. 63 (1) (2005)
Johannes Borgström, Uwe Nestmann
On bisimulations for the spi calculus. Math. Struct. Comput. Sci. 15 (3) (2005)
Daniel C. Bünzli, Sergio Mena, Uwe Nestmann
Protocol Composition Frameworks A Header-Driven Model. NCA (2005)
Sébastien Briais, Uwe Nestmann
Open Bisimulation, Revisited. EXPRESS (2005)
Sébastien Briais, Uwe Nestmann
A Formal Semantics for Protocol Narrations. TGC (2005)
Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing (2004)
Johannes Borgström, Sébastien Briais, Uwe Nestmann
Symbolic Bisimulation in the Spi Calculus. CONCUR (2004)
Uwe Nestmann, Rachele Fuzzati
Unreliable Failure Detectors via Operational Semantics. ASIAN (2003)
Flavio Corradini, Uwe Nestmann
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. EXPRESS (2003)
Uwe Nestmann, Rachele Fuzzati, Massimo Merro
Modeling Consensus in a Process Calculus. CONCUR (2003)
Uwe Nestmann, Prakash Panangaden
Guest Editors' Foreword. Nord. J. Comput. 10 (2) (2003)
Johannes Borgström, Uwe Nestmann
On Bisimulations for the Spi Calculus. AMAST (2002)
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Mobile Objects. Inf. Comput. 175 (1) (2002)
Sébastien Briais, Uwe Nestmann
Mobile Objects "Must" Move Safely. FMOODS (2002)
Massimo Merro, Josva Kleist, Uwe Nestmann
Mobile Objects as Mobile Processes. Inf. Comput. 177 (2) (2002)
Uwe Nestmann, Prakash Panangaden
Preface. EXPRESS (2002)
Massimo Merro, Josva Kleist, Uwe Nestmann
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS (2000)
Uwe Nestmann
What is a "Good" Encoding of Guarded Choice? Inf. Comput. 156 (1-2) (2000)
Uwe Nestmann, Benjamin C. Pierce
Decoding Choice Encodings. Inf. Comput. 163 (1) (2000)
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Object Migration. Euro-Par (1999)
Uwe Nestmann, António Ravara
Semantics of Objects as Processes (SOAP). ECOOP Workshops (1999)
Uwe Nestmann
Mobile Objects (a project overview). FBT (1999)
Uwe Nestmann, Björn Victor
Calculi for Mobile Processes - Bibliography and Web Pages. Bull. EATCS 64 (1998)
Uwe Nestmann
On the Expressive Power of Joint Input. EXPRESS (1998)
Uwe Nestmann, Benjamin C. Pierce
Preface. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
Uwe Nestmann
What is a 'good' encoding of guarded choice? EXPRESS (1997)
Uwe Nestmann, Benjamin C. Pierce
Decoding Choice Encodings. CONCUR (1996)
Uwe Nestmann, Martin Steffen
Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence (1995)

Uwe Nestmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Uwe Nestmann