Uwe Nestmann

Available identifiers

zbMath Open nestmann.uweWikidataQ15549911 ScholiaQ15549911MaRDI QIDQ262425

List of research outcomes

Publication	Date of Publication	Type
Fault-tolerant multiparty session types	2024-01-16	Paper
Decoding choice encodings	2023-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q5101352	2022-08-30	Paper
Fault-tolerant multiparty session types	2022-08-19	Paper
Session Types for Link Failures	2022-06-15	Paper
On distributability	2022-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q3384918	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q5013872	2021-12-03	Paper
A game for linear-time-branching-time spectroscopy	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4995152	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4995154	2021-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4992497	2021-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4965862	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964004	2021-02-24	Paper
Distributability of mobile ambients	2020-12-15	Paper
Coupled similarity: the first 32 years	2020-05-26	Paper
Taming concurrency for verification using multiparty session types	2019-12-12	Paper
Dynamic Causality in Event Structures	2018-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4608671	2018-03-21	Paper
Breaking symmetries	2017-04-04	Paper
Synchrony versus causality in distributed systems	2017-04-04	Paper
Mechanical Verification of a Constructive Proof for FLP	2016-10-27	Paper
Dynamic Causality in Event Structures	2016-10-19	Paper
Full abstraction for expressiveness: history, myths and facts	2016-07-28	Paper
Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively	2016-03-29	Paper
Higher-Order Dynamics in Event Structures	2016-02-25	Paper
Much Ado About Nothing?	2015-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q2852066	2013-10-07	Paper
On Distributability in Process Calculi	2013-08-05	Paper
Formal Verification of Distributed Algorithms	2012-09-21	Paper
Is It a “Good” Encoding of Mixed Choice?	2012-06-22	Paper
Rigorous Discretization of Hybrid Systems Using Process Calculi	2011-10-07	Paper
On Bisimulations for the Spi Calculus*	2011-05-06	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation	2009-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q3614667	2009-03-09	Paper
Open bisimulation, revisited	2007-12-19	Paper
A formal semantics for protocol narrations	2007-12-14	Paper
Distributed consensus, revisited	2007-10-31	Paper
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi	2007-09-04	Paper
Trustworthy Global Computing	2006-11-01	Paper
Mobile objects as mobile processes	2006-08-03	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
Global Computing	2005-08-19	Paper
On bisimulations for the spi calculus	2005-08-03	Paper
What is a ``good encoding of guarded choice?	2003-01-14	Paper
Decoding choice encodings	2003-01-14	Paper
Aliasing models for mobile objects	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4536438	2002-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4790349	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4223013	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222921	1998-12-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Uwe Nestmann