The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Johannes Borgström, Uwe Nestmann
    On Bisimulations for the Spi Calculus. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:287-303 [Conf]
  2. Uwe Nestmann, Rachele Fuzzati
    Unreliable Failure Detectors via Operational Semantics. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2003, pp:54-71 [Conf]
  3. 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]
  4. Uwe Nestmann
    Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:52-63 [Conf]
  5. Uwe Nestmann, Rachele Fuzzati, Massimo Merro
    Modeling Consensus in a Process Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:393-407 [Conf]
  6. Uwe Nestmann, Benjamin C. Pierce
    Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:179-194 [Conf]
  7. 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]
  8. Uwe Nestmann, António Ravara
    Semantics of Objects as Processes (SOAP). [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:314-325 [Conf]
  9. 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]
  10. Uwe Nestmann
    Mobile Objects (a project overview). [Citation Graph (0, 0)][DBLP]
    FBT, 1999, pp:155-164 [Conf]
  11. Sébastien Briais, Uwe Nestmann
    Mobile Objects "Must" Move Safely. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2002, pp:129-146 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Sébastien Briais, Uwe Nestmann
    A Formal Semantics for Protocol Narrations. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:163-181 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. Uwe Nestmann, Prakash Panangaden
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  23. Uwe Nestmann, Benjamin C. Pierce
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. Uwe Nestmann, Benjamin C. Pierce
    Decoding Choice Encodings. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:163, n:1, pp:1-59 [Journal]
  29. 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]
  30. 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]
  31. Uwe Nestmann, Prakash Panangaden
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:2, pp:69- [Journal]
  32. 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]

  33. On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. [Citation Graph (, )][DBLP]


  34. Deriving Trust from Experience. [Citation Graph (, )][DBLP]


  35. Distributed Consensus, revisited. [Citation Graph (, )][DBLP]


  36. Breaking Symmetries [Citation Graph (, )][DBLP]


Search in 0.061secs, Finished in 0.062secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002