SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Uwe Nestmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Johannes Borgström, Uwe Nestmann
On Bisimulations for the Spi Calculus. [Citation Graph (0, 0)][DBLP]
AMAST, 2002, pp:287-303 [Conf]
Uwe Nestmann, Rachele Fuzzati
Unreliable Failure Detectors via Operational Semantics. [Citation Graph (0, 0)][DBLP]
ASIAN, 2003, pp:54-71 [Conf]
Johannes Borgström, Sébastien Briais, Uwe Nestmann
Symbolic Bisimulation in the Spi Calculus. [Citation Graph (0, 0)][DBLP]
CONCUR, 2004, pp:161-176 [Conf]
Uwe Nestmann
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. [Citation Graph (0, 0)][DBLP]
CONCUR, 2006, pp:52-63 [Conf]
Uwe Nestmann, Rachele Fuzzati, Massimo Merro
Modeling Consensus in a Process Calculus. [Citation Graph (0, 0)][DBLP]
CONCUR, 2003, pp:393-407 [Conf]
Uwe Nestmann, Benjamin C. Pierce
Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP]
CONCUR, 1996, pp:179-194 [Conf]
Uwe Nestmann, Martin Steffen
Correct Transformational Design of Concurrent Search Structures. [Citation Graph (0, 0)][DBLP]
Object Orientation with Parallelism and Persistence, 1995, pp:23-42 [Conf]
Uwe Nestmann, António Ravara
Semantics of Objects as Processes (SOAP). [Citation Graph (0, 0)][DBLP]
ECOOP Workshops, 1999, pp:314-325 [Conf]
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Object Migration. [Citation Graph (0, 0)][DBLP]
Euro-Par, 1999, pp:1353-1368 [Conf]
Uwe Nestmann
Mobile Objects (a project overview). [Citation Graph (0, 0)][DBLP]
FBT, 1999, pp:155-164 [Conf]
Sébastien Briais, Uwe Nestmann
Mobile Objects "Must" Move Safely. [Citation Graph (0, 0)][DBLP]
FMOODS, 2002, pp:129-146 [Conf]
Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. [Citation Graph (0, 0)][DBLP]
Global Computing, 2004, pp:250-265 [Conf]
Massimo Merro, Josva Kleist, Uwe Nestmann
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. [Citation Graph (0, 0)][DBLP]
IFIP TCS, 2000, pp:390-408 [Conf]
Daniel C. Bünzli, Sergio Mena, Uwe Nestmann
Protocol Composition Frameworks A Header-Driven Model. [Citation Graph (0, 0)][DBLP]
NCA, 2005, pp:243-246 [Conf]
Sébastien Briais, Uwe Nestmann
A Formal Semantics for Protocol Narrations. [Citation Graph (0, 0)][DBLP]
TGC, 2005, pp:163-181 [Conf]
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. [Citation Graph (0, 0)][DBLP]
Research Results of the DICS Program, 2006, pp:172-194 [Conf]
Uwe Nestmann, Björn Victor
Calculi for Mobile Processes - Bibliography and Web Pages. [Citation Graph (0, 0)][DBLP]
Bulletin of the EATCS, 1998, v:64, n:, pp:- [Journal]
Sébastien Briais, Uwe Nestmann
Open Bisimulation, Revisited. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:109-123 [Journal]
Flavio Corradini, Uwe Nestmann
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:1-3 [Journal]
Uwe Nestmann
What is a `good' encoding of guarded choice? [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
Uwe Nestmann
On the Expressive Power of Joint Input. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
Uwe Nestmann, Prakash Panangaden
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
Uwe Nestmann, Benjamin C. Pierce
Preface. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal]
Rachele Fuzzati, Uwe Nestmann
Much Ado About Nothing? [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:167-171 [Journal]
Massimo Merro, Josva Kleist, Uwe Nestmann
Mobile Objects as Mobile Processes. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2002, v:177, n:2, pp:195-241 [Journal]
Uwe Nestmann
What is a "Good" Encoding of Guarded Choice? [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2000, v:156, n:1-2, pp:287-319 [Journal]
Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro
Aliasing Models for Mobile Objects. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2002, v:175, n:1, pp:3-33 [Journal]
Uwe Nestmann, Benjamin C. Pierce
Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP]
Inf. Comput., 2000, v:163, n:1, pp:1-59 [Journal]
Uwe Nestmann, Björn Victor
Guest editors' introduction: Special issue on The pi-calculus. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2005, v:63, n:1, pp:1-2 [Journal]
Johannes Borgström, Uwe Nestmann
On bisimulations for the spi calculus. [Citation Graph (0, 0)][DBLP]
Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:487-552 [Journal]
Uwe Nestmann, Prakash Panangaden
Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
Nord. J. Comput., 2003, v:10, n:2, pp:69- [Journal]
Flavio Corradini, Uwe Nestmann
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2005, v:330, n:3, pp:375-376 [Journal]
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. [Citation Graph (, )][DBLP]
Deriving Trust from Experience. [Citation Graph (, )][DBLP]
Distributed Consensus, revisited. [Citation Graph (, )][DBLP]
Breaking Symmetries [Citation Graph (, )][DBLP]

Search in 0.004secs, Finished in 0.005secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP