Остановите войну!
for scientists:
default search action
Uwe Nestmann
- > Home > Persons > Uwe Nestmann
Publications
- 2016
- [j18]Anne-Kathrin Schmuck, Sven Schneider, Jörg Raisch, Uwe Nestmann:
Supervisory control synthesis for deterministic context free specification languages - Enforcing controllability least restrictively. Discret. Event Dyn. Syst. 26(1): 5-32 (2016) - 2014
- [c41]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 - [c40]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 - [i4]Sven Schneider, Uwe Nestmann:
Enforcing Operational Properties including Blockfreeness for Deterministic Pushdown Automata. CoRR abs/1403.5081 (2014) - 2011
- [c33]Sven Schneider, Uwe Nestmann:
Rigorous Discretization of Hybrid Systems Using Process Calculi. FORMATS 2011: 301-316 - 2009
- [j14]Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Preface. J. Log. Algebraic Methods Program. 78(4) (2009) - [c26]Morten Kühnrich, Uwe Nestmann:
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. FMOODS/FORTE 2009: 198-212 - 2008
- [j13]Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS 94: 113-129 (2008) - [c24]Sven Schneider, Johannes Borgström, Uwe Nestmann:
Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms. SJTU-TUB Joint Workshop 2008: 97-104 - 2007
- [j12]Rachele Fuzzati, Massimo Merro, Uwe Nestmann:
Distributed Consensus, revisited. Acta Informatica 44(6): 377-425 (2007) - [j11]Sébastien Briais, Uwe Nestmann:
Open bisimulation, revisited. Theor. Comput. Sci. 386(3): 236-271 (2007) - [j10]Sébastien Briais, Uwe Nestmann:
A formal semantics for protocol narrations. Theor. Comput. Sci. 389(3): 484-511 (2007) - 2006
- [c22]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
- [j9]Uwe Nestmann, Björn Victor:
Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebraic Methods Program. 63(1): 1-2 (2005) - [j8]Johannes Borgström, Uwe Nestmann:
On bisimulations for the spi calculus. Math. Struct. Comput. Sci. 15(3): 487-552 (2005) - [j7]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) - [c21]Daniel C. Bünzli, Sergio Mena, Uwe Nestmann:
Protocol Composition Frameworks A Header-Driven Model. NCA 2005: 243-246 - [c20]Sébastien Briais, Uwe Nestmann:
A Formal Semantics for Protocol Narrations. TGC 2005: 163-181 - [c19]Sébastien Briais, Uwe Nestmann:
Open Bisimulation, Revisited. EXPRESS 2005: 109-123 - [c18]Rachele Fuzzati, Uwe Nestmann:
Much Ado About Nothing? APC 25 2005: 167-171 - 2004
- [c17]Johannes Borgström, Sébastien Briais, Uwe Nestmann:
Symbolic Bisimulation in the Spi Calculus. CONCUR 2004: 161-176 - [c16]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 - [e4]Flavio Corradini, Uwe Nestmann:
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 96, Elsevier 2004 [contents] - 2003
- [j6]Uwe Nestmann, Prakash Panangaden:
Guest Editors' Foreword. Nord. J. Comput. 10(2): 69 (2003) - [c15]Uwe Nestmann, Rachele Fuzzati:
Unreliable Failure Detectors via Operational Semantics. ASIAN 2003: 54-71 - [c14]Uwe Nestmann, Rachele Fuzzati, Massimo Merro:
Modeling Consensus in a Process Calculus. CONCUR 2003: 393-407 - [c13]Flavio Corradini, Uwe Nestmann:
Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency. EXPRESS 2003: 1-3 - 2002
- [j5]Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro:
Aliasing Models for Mobile Objects. Inf. Comput. 175(1): 3-33 (2002) - [j4]Massimo Merro, Josva Kleist, Uwe Nestmann:
Mobile Objects as Mobile Processes. Inf. Comput. 177(2): 195-241 (2002) - [c12]Johannes Borgström, Uwe Nestmann:
On Bisimulations for the Spi Calculus. AMAST 2002: 287-303 - [c11]Sébastien Briais, Uwe Nestmann:
Mobile Objects "Must" Move Safely. FMOODS 2002: 129-146 - [c10]Uwe Nestmann, Prakash Panangaden:
Preface. EXPRESS 2002: 1-2 - [e2]Uwe Nestmann, Prakash Panangaden:
9th International Workshop on Expressiveness in Concurrency, EXPRESS 2002, Satellite Workshop from CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(2), Elsevier 2002 [contents] - 2000
- [j2]Uwe Nestmann, Benjamin C. Pierce:
Decoding Choice Encodings. Inf. Comput. 163(1): 1-59 (2000) - [c9]Massimo Merro, Josva Kleist, Uwe Nestmann:
Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS 2000: 390-408 - 1999
- [c8]Uwe Nestmann, António Ravara:
Semantics of Objects as Processes (SOAP). ECOOP Workshops 1999: 314-325 - [c7]Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro:
Aliasing Models for Object Migration. Euro-Par 1999: 1353-1368 - 1998
- [j1]Uwe Nestmann, Björn Victor:
Calculi for Mobile Processes - Bibliography and Web Pages. Bull. EATCS 64 (1998) - [c4]Uwe Nestmann, Benjamin C. Pierce:
Preface. HLCL 1998: 291 - [e1]Uwe Nestmann, Benjamin C. Pierce:
3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998. Electronic Notes in Theoretical Computer Science 16(3), Elsevier 1998 [contents] - 1996
- [c2]Uwe Nestmann, Benjamin C. Pierce:
Decoding Choice Encodings. CONCUR 1996: 179-194 - 1995
- [c1]Uwe Nestmann, Martin Steffen:
Correct Transformational Design of Concurrent Search Structures. Object Orientation with Parallelism and Persistence 1995: 23-42
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 17:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint