| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kirstin Peters, Uwe Nestmann |
Is it a "Good" Encoding of Mixed Choice? (Technical Report)  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kirstin Peters, Uwe Nestmann |
Is It a "Good" Encoding of Mixed Choice? |
FoSSaCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstin Peters, Jens-Wolfhard Schicke, Uwe Nestmann |
Synchrony vs Causality in the Asynchronous Pi-Calculus |
EXPRESS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Schneider, Uwe Nestmann |
Rigorous Discretization of Hybrid Systems Using Process Calculi. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Lau, Uwe Nestmann |
Java Goes TLA+. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirstin Peters, Uwe Nestmann |
Breaking Symmetries |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Kirstin Peters, Uwe Nestmann |
Breaking Symmetries |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadim Sarrouh, Florian Eilers, Uwe Nestmann, Ina Schieferdecker |
Defamation-Free Networks through User-Centered Data Control. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadim Sarrouh, Oliver Blankenstein, Uwe Nestmann |
Service-Orientierte Unterstützung des nationalen Früherkennungsprogramms für Kinder. |
GI Jahrestagung |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann |
Preface. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Kühnrich, Uwe Nestmann |
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Eilers, Uwe Nestmann |
Deriving Trust from Experience. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sébastien Briais, Uwe Nestmann |
Open bisimulation, revisited. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Briais, Uwe Nestmann |
A formal semantics for protocol narrations. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachele Fuzzati, Massimo Merro, Uwe Nestmann |
Distributed Consensus, revisited. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachele Fuzzati, Uwe Nestmann |
Much Ado About Nothing? |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Briais, Uwe Nestmann |
Open Bisimulation, Revisited. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann |
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Björn Victor |
Guest editors' introduction: Special issue on The pi-calculus. |
J. Log. Algebr. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Uwe Nestmann |
EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003). |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Uwe Nestmann |
On bisimulations for the spi calculus. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel C. Bünzli, Sergio Mena, Uwe Nestmann |
Protocol Composition Frameworks A Header-Driven Model. |
NCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Briais, Uwe Nestmann |
A Formal Semantics for Protocol Narrations. |
TGC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Corradini, Uwe Nestmann |
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Sébastien Briais, Uwe Nestmann |
Symbolic Bisimulation in the Spi Calculus. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov |
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Prakash Panangaden |
Guest Editors' Foreword. |
Nord. J. Comput. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Uwe Nestmann, Rachele Fuzzati, Massimo Merro |
Modeling Consensus in a Process Calculus. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Elie Najm, Uwe Nestmann, Perdita Stevens (eds.) |
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings |
FMOODS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Uwe Nestmann, Rachele Fuzzati |
Unreliable Failure Detectors via Operational Semantics. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro |
Aliasing Models for Mobile Objects. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Merro, Josva Kleist, Uwe Nestmann |
Mobile Objects as Mobile Processes. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Prakash Panangaden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Briais, Uwe Nestmann |
Mobile Objects "Must" Move Safely. |
FMOODS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Johannes Borgström, Uwe Nestmann |
On Bisimulations for the Spi Calculus. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann |
What is a "Good" Encoding of Guarded Choice? |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Benjamin C. Pierce |
Decoding Choice Encodings. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Merro, Josva Kleist, Uwe Nestmann |
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. |
IFIP TCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro |
Aliasing Models for Object Migration. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, António Ravara |
Semantics of Objects as Processes (SOAP). |
ECOOP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann |
Mobile Objects (a project overview). |
FBT |
1999 |
DBLP BibTeX RDF |
|
| 1 | Uwe Nestmann, Benjamin C. Pierce |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann |
On the Expressive Power of Joint Input. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Björn Victor |
Calculi for Mobile Processes - Bibliography and Web Pages. |
Bulletin of the EATCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Uwe Nestmann |
What is a `good' encoding of guarded choice? |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Benjamin C. Pierce |
Decoding Choice Encodings. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Nestmann, Martin Steffen |
Correct Transformational Design of Concurrent Search Structures. |
Object Orientation with Parallelism and Persistence |
1995 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")