Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarUwe Nestmann
Person information
- affiliation: Technical University of Berlin, Department of Mathematics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
showing all ?? records
2010 – today
- 2017
[c38]- 2016
- [j26]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. Archive of Formal Proofs 2016 (2016) - [i7]Manuel Adameit, Kirstin Peters, Uwe Nestmann:
Session Types for Link Failures (Technical Report). CoRR abs/1607.07286 (2016) - [j25]Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann:
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. Discrete Event Dynamic Systems 26(1): 5-32 (2016) - [j24]Daniele Gorla, Uwe Nestmann:
Full abstraction for expressiveness: history, myths and facts. Mathematical Structures in Computer Science 26(4): 639-654 (2016) - [j23]Kirstin Peters, Uwe Nestmann:
Breaking symmetries. Mathematical Structures in Computer Science 26(6): 1054-1106 (2016) - [j22]Kirstin Peters, Jens-Wolfhard Schicke-Uffmann, Ursula Goltz, Uwe Nestmann:
Synchrony versus causality in distributed systems. Mathematical Structures in Computer Science 26(8): 1459-1498 (2016) - [c37]Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid:
Topological Self-Stabilization with Name-Passing Process Calculi. CONCUR 2016: 19:1-19:15 - [c36]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: 107-122 - 2015
- [i6]Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann:
Dynamic Causality in Event Structures (Technical Report). CoRR abs/1504.00512 (2015) - [i5]Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann:
Encoding CSP into CCS (Extended Version). CoRR abs/1508.01127 (2015) - [c35]Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann:
Dynamic Causality in Event Structures. FORTE 2015: 83-97 - [c34]
- [c33]Meike Hatzel, Christoph Wagner, Kirstin Peters, Uwe Nestmann:
Encoding CSP into CCS. EXPRESS/SOS 2015: 61-75 - 2014
- [i4]Sven Schneider, Uwe Nestmann:
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR abs/1403.5081 (2014) - [i3]Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann:
Matching in the Pi-Calculus (Technical Report). CoRR abs/1407.6406 (2014) - [c32]Sven Schneider, Anne-Kathrin Schmuck, Uwe Nestmann, Jörg Raisch:
Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata. WODES 2014: 214-221 - [c31]Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann:
Extending Supervisory Controller Synthesis to Deterministic Pushdown Automata - Enforcing Controllability Least Restrictively. WODES 2014: 286-293 - [c30]Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann:
Matching in the Pi-Calculus. EXPRESS/SOS 2014: 16-29 - [c29]
- 2013
- [c28]Kirstin Peters, Uwe Nestmann, Ursula Goltz:
On Distributability in Process Calculi. ESOP 2013: 310-329 - [c27]Youssef Arbach, Kirstin Peters, Uwe Nestmann:
Adding Priority to Event Structures. EXPRESS/SOS 2013: 17-31 - 2012
- [i2]Kirstin Peters, Uwe Nestmann:
Is it a "Good" Encoding of Mixed Choice? (Technical Report). CoRR abs/1201.1410 (2012) - [c26]
- [c25]Philipp Küfner, Uwe Nestmann, Christina Rickmann:
Formal Verification of Distributed Algorithms - From Pseudo Code to Checked Proofs. IFIP TCS 2012: 209-224 - 2011
- [c24]Sven Schneider, Uwe Nestmann:
Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS 2011: 301-316 - [c23]
- [c22]Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann:
Synchrony vs Causality in the Asynchronous Pi-Calculus. EXPRESS 2011: 89-103 - 2010
- [i1]
- [c21]Nadim Sarrouh, Oliver Blankenstein, Uwe Nestmann:
Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. GI Jahrestagung (1) 2010: 229-234 - [c20]Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker:
Defamation-Free Networks through User-Centered Data Control. STM 2010: 179-193 - [c19]
2000 – 2009
- 2009
- [j21]Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Preface. J. Log. Algebr. Program. 78(4) (2009) - [c18]Morten Kühnrich, Uwe Nestmann:
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE 2009: 198-212 - [c17]Florian Eilers, Uwe Nestmann:
Deriving Trust from Experience. Formal Aspects in Security and Trust 2009: 36-50 - 2008
- [j20]Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Applying Concurrency Research in Industry Report on a Strategic Workshop. Bulletin of the EATCS 94: 113-129 (2008) - 2007
- [j19]Rachele Fuzzati, Massimo Merro, Uwe Nestmann:
Distributed Consensus, revisited. Acta Inf. 44(6): 377-425 (2007) - [j18]Sébastien Briais, Uwe Nestmann:
Open bisimulation, revisited. Theor. Comput. Sci. 386(3): 236-271 (2007) - [j17]Sébastien Briais, Uwe Nestmann:
A formal semantics for protocol narrations. Theor. Comput. Sci. 389(3): 484-511 (2007) - 2006
- [j16]Sébastien Briais, Uwe Nestmann:
Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci. 154(3): 109-123 (2006) - [j15]Rachele Fuzzati, Uwe Nestmann:
Much Ado About Nothing? Electr. Notes Theor. Comput. Sci. 162: 167-171 (2006) - [c16]Uwe Nestmann:
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. CONCUR 2006: 52-63 - [c15]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: 172-194 - 2005
- [j14]Uwe Nestmann, Björn Victor:
Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebr. Program. 63(1): 1-2 (2005) - [j13]Johannes Borgström, Uwe Nestmann:
On bisimulations for the spi calculus. Mathematical Structures in Computer Science 15(3): 487-552 (2005) - [j12]Flavio Corradini, Uwe Nestmann:
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). Theor. Comput. Sci. 330(3): 375-376 (2005) - [c14]Daniel C. Bünzli, Sergio Mena, Uwe Nestmann:
Protocol Composition Frameworks A Header-Driven Model. NCA 2005: 243-246 - [c13]
- 2004
- [j11]Flavio Corradini, Uwe Nestmann:
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004) - [c12]Johannes Borgström, Sébastien Briais, Uwe Nestmann:
Symbolic Bisimulation in the Spi Calculus. CONCUR 2004: 161-176 - [c11]Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov:
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. Global Computing 2004: 250-265 - 2003
- [j10]
- [c10]Uwe Nestmann, Rachele Fuzzati:
Unreliable Failure Detectors via Operational Semantics. ASIAN 2003: 54-71 - [c9]Uwe Nestmann, Rachele Fuzzati, Massimo Merro:
Modeling Consensus in a Process Calculus. CONCUR 2003: 393-407 - [e1]Elie Najm, Uwe Nestmann, Perdita Stevens:
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science 2884, Springer 2003, ISBN 3-540-20491-1 [contents] - 2002
- [j9]
- [j8]Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro:
Aliasing Models for Mobile Objects. Inf. Comput. 175(1): 3-33 (2002) - [j7]Massimo Merro, Josva Kleist, Uwe Nestmann:
Mobile Objects as Mobile Processes. Inf. Comput. 177(2): 195-241 (2002) - [c8]
- [c7]
- 2000
- [j6]
- [j5]
- [c6]Massimo Merro, Josva Kleist, Uwe Nestmann:
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS 2000: 390-408
1990 – 1999
- 1999
- [c5]Uwe Nestmann, António Ravara:
Semantics of Objects as Processes (SOAP). ECOOP Workshops 1999: 314-325 - [c4]Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro:
Aliasing Models for Object Migration. Euro-Par 1999: 1353-1368 - [c3]
- 1998
- [j4]Uwe Nestmann, Björn Victor:
Calculi for Mobile Processes - Bibliography and Web Pages. Bulletin of the EATCS 64 (1998) - [j3]Uwe Nestmann:
On the Expressive Power of Joint Input. Electr. Notes Theor. Comput. Sci. 16(2): 145-152 (1998) - [j2]
- 1997
- [j1]Uwe Nestmann:
What is a 'good' encoding of guarded choice? Electr. Notes Theor. Comput. Sci. 7: 206-226 (1997) - 1996
- [b1]Uwe Nestmann:
On determinacy and nondeterminacy in concurrent programming. University of Erlangen-Nuremberg 1996, pp. 1-254 - [c2]
- 1995
- [c1]Uwe Nestmann, Martin Steffen:
Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence 1995: 23-42
Coauthor Index
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-06-17 00:53 CEST by the dblp team