Concepedia

Uwe Nestmann

UN

Statistics

Publications

12

Citations

389

H-Index

11

Active since

1997

Affiliations

Technische Universität Berlin(Current)

Aalborg University

École Polytechnique Fédérale de Lausanne

Institut national de recherche en sciences et technologies du numérique

Danish National Research Foundation

Uwe Nestmann is an author at Technische Universität Berlin specializing in computing, computer science, and formal methods.

ORCID

Publications per year

1997–2019

12

Publications

12

What is a “Good” Encoding of Guarded Choice?

Uwe Nestmann · Information and Computation · 2000 · 101 citations

, , +9

Decoding Choice Encodings

Uwe Nestmann, Benjamin C. Pierce · Information and Computation · 2000 · 94 citations

Full abstraction for expressiveness: history, myths and facts

Daniele Gorla, Uwe Nestmann · Mathematical Structures in Computer Science · 2014 · 45 citations

, , +14

A formal semantics for protocol narrations

Sébastien Briais, Uwe Nestmann · Theoretical Computer Science · 2007 · 22 citations · Full text

, , +13

Synchrony vs Causality in the Asynchronous Pi-Calculus

Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann · Electronic Proceedings in Theoretical Computer Science · 2011 · 20 citations · Full text

, , +15

1–5 of 12