Uwe Nestmann

	2009
37		Morten Kühnrich, Uwe Nestmann: On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE 2009: 198-212
	2007
36		Rachele Fuzzati, Massimo Merro, Uwe Nestmann: Distributed Consensus, revisited. Acta Inf. 44(6): 377-425 (2007)
35		Sébastien Briais, Uwe Nestmann: Open bisimulation, revisited. Theor. Comput. Sci. 386(3): 236-271 (2007)
34		Sébastien Briais, Uwe Nestmann: A formal semantics for protocol narrations. Theor. Comput. Sci. 389(3): 484-511 (2007)
	2006
33		Uwe Nestmann: Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. CONCUR 2006: 52-63
32		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
31		Sébastien Briais, Uwe Nestmann: Open Bisimulation, Revisited. Electr. Notes Theor. Comput. Sci. 154(3): 109-123 (2006)
30		Rachele Fuzzati, Uwe Nestmann: Much Ado About Nothing? Electr. Notes Theor. Comput. Sci. 162: 167-171 (2006)
	2005
29		Daniel C. Bünzli, Sergio Mena, Uwe Nestmann: Protocol Composition Frameworks A Header-Driven Model. NCA 2005: 243-246
28		Sébastien Briais, Uwe Nestmann: A Formal Semantics for Protocol Narrations. TGC 2005: 163-181
27		Uwe Nestmann, Björn Victor: Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebr. Program. 63(1): 1-2 (2005)
26		Johannes Borgström, Uwe Nestmann: On bisimulations for the spi calculus. Mathematical Structures in Computer Science 15(3): 487-552 (2005)
25		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)
	2004
24		Johannes Borgström, Sébastien Briais, Uwe Nestmann: Symbolic Bisimulation in the Spi Calculus. CONCUR 2004: 161-176
23		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
22		Flavio Corradini, Uwe Nestmann: Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. Electr. Notes Theor. Comput. Sci. 96: 1-3 (2004)
	2003
21		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 Springer 2003
20		Uwe Nestmann, Rachele Fuzzati: Unreliable Failure Detectors via Operational Semantics. ASIAN 2003: 54-71
19		Uwe Nestmann, Rachele Fuzzati, Massimo Merro: Modeling Consensus in a Process Calculus. CONCUR 2003: 393-407
18		Uwe Nestmann, Prakash Panangaden: Guest Editors' Foreword. Nord. J. Comput. 10(2): 69 (2003)
	2002
17		Johannes Borgström, Uwe Nestmann: On Bisimulations for the Spi Calculus. AMAST 2002: 287-303
16		Sébastien Briais, Uwe Nestmann: Mobile Objects "Must" Move Safely. FMOODS 2002: 129-146
15		Uwe Nestmann, Prakash Panangaden: Preface. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
14		Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro: Aliasing Models for Mobile Objects. Inf. Comput. 175(1): 3-33 (2002)
13		Massimo Merro, Josva Kleist, Uwe Nestmann: Mobile Objects as Mobile Processes. Inf. Comput. 177(2): 195-241 (2002)
	2000
12		Massimo Merro, Josva Kleist, Uwe Nestmann: Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS 2000: 390-408
11		Uwe Nestmann: What is a "Good" Encoding of Guarded Choice? Inf. Comput. 156(1-2): 287-319 (2000)
10		Uwe Nestmann, Benjamin C. Pierce: Decoding Choice Encodings. Inf. Comput. 163(1): 1-59 (2000)
	1999
9		Uwe Nestmann, António Ravara: Semantics of Objects as Processes (SOAP). ECOOP Workshops 1999: 314-325
8		Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro: Aliasing Models for Object Migration. Euro-Par 1999: 1353-1368
7		Uwe Nestmann: Mobile Objects (a project overview). FBT 1999: 155-164
	1998
6		Uwe Nestmann, Björn Victor: Calculi for Mobile Processes - Bibliography and Web Pages. Bulletin of the EATCS 64: (1998)
5		Uwe Nestmann: On the Expressive Power of Joint Input. Electr. Notes Theor. Comput. Sci. 16(2): (1998)
4		Uwe Nestmann, Benjamin C. Pierce: Preface. Electr. Notes Theor. Comput. Sci. 16(3): (1998)
	1997
3		Uwe Nestmann: What is a `good' encoding of guarded choice? Electr. Notes Theor. Comput. Sci. 7: (1997)
	1996
2		Uwe Nestmann, Benjamin C. Pierce: Decoding Choice Encodings. CONCUR 1996: 179-194
	1995
1		Uwe Nestmann, Martin Steffen: Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence 1995: 23-42

Coauthor Index

1	Luc Onana Alima	[23]
2	Johannes Borgström	[17] [23] [24] [26]
3	Sébastien Briais	[16] [24] [28] [31] [34] [35]
4	Daniel C. Bünzli	[29] [32]
5	Flavio Corradini	[22] [25]
6	Rachele Fuzzati	[19] [20] [30] [32] [36]
7	Dilian Gurov	[23]
8	Hans Hüttel	[8] [14]
9	Josva Kleist	[8] [12] [13] [14]
10	Morten Kühnrich	[37]
11	Sergio Mena	[29] [32]
12	Massimo Merro	[8] [12] [13] [14] [19] [36]
13	Elie Najm	[21]
14	Prakash Panangaden	[15] [18]
15	Benjamin C. Pierce	[2] [4] [10]
16	António Ravara	[9]
17	Olivier Rütti	[32]
18	André Schiper	[32]
19	Martin Steffen	[1]
20	Perdita Stevens	[21]
21	Björn Victor	[6] [27]
22	Pawel T. Wojciechowski	[32]

Colors in the list of coauthors