Uwe Nestmann

Identifiers

• name variant Uwe Nestmann 0.60 · backfill

Papers (11)

1. On the Distributability of Mobile Ambients (Technical Report) cs.LO · 2018 · author #2
2. Session Types for Link Failures (Technical Report) cs.LO · 2016 · author #3
3. Encoding CSP into CCS cs.LO · 2015 · author #4
4. Encoding CSP into CCS (Extended Version) cs.LO · 2015 · author #4
5. Dynamic Causality in Event Structures (Technical Report) cs.LO · 2015 · author #4
6. Matching in the Pi-Calculus (Technical Report) cs.LO · 2014 · author #3
7. Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata cs.FL · 2014 · author #2
8. Is it a "Good" Encoding of Mixed Choice? (Technical Report) cs.LO · 2012 · author #2
9. Synchrony vs Causality in the Asynchronous Pi-Calculus cs.LO · 2011 · author #3
10. Breaking Symmetries cs.LO · 2010 · author #2
11. Breaking Symmetries cs.LO · 2010 · author #2

Mentions

• 1508.06712 #4 · backfill · confidence 0.70 Uwe Nestmann
• 1508.01127 #4 · backfill · confidence 0.70 Uwe Nestmann
• 1504.00512 #4 · backfill · confidence 0.70 Uwe Nestmann
• 1407.6406 #3 · backfill · confidence 0.70 Uwe Nestmann
• 1403.5081 #2 · backfill · confidence 0.70 Uwe Nestmann
• 1201.1410 #2 · backfill · confidence 0.70 Uwe Nestmann
• 1108.4469 #3 · backfill · confidence 0.70 Uwe Nestmann
• 1011.6437 #2 · backfill · confidence 0.70 Uwe Nestmann
• 1007.4172 #2 · backfill · confidence 0.70 Uwe Nestmann

Frequent Coauthors

• Kirstin Peters 10 shared papers
• Christoph Wagner 2 shared papers
• Meike Hatzel 2 shared papers
• David Karcher 1 shared papers
• Jens-Wolfhard Schicke 1 shared papers
• Manuel Adameit 1 shared papers
• Sven Schneider 1 shared papers
• Tsvetelina Yonova-Karbe 1 shared papers
• Youssef Arbach 1 shared papers