Edit Profile (opens in new tab) Nestmann, Uwe Co-Author Distance Author ID: nestmann.uwe Published as: Nestmann, Uwe; Nestmann, U. External Links: MGP · Wikidata · Twitter · GND · IdRef Documents Indexed: 52 Publications since 1996 7 Contributions as Editor Co-Authors: 44 Co-Authors with 55 Joint Publications 830 Co-Co-Authors all top 5 Co-Authors 4 single-authored 20 Peters, Kirstin 6 Briais, Sébastien 6 Wagner, Christoph K. J. 5 Merro, Massimo 4 Bisping, Benjamin 4 Borgström, Johannes 4 Fuzzati, Rachele 3 Arbach, Youssef 3 Karcher, David S. 3 Kleist, Josva 3 Pierce, Benjamin C. 3 Rickmann, Christina 2 Corradini, Flavio 2 Goltz, Ursula 2 Schneider, Sven 1 Aceto, Luca 1 Adameit, Manuel 1 Baeten, Jos C. M. 1 Brodmann, Paul-David 1 Fokkink, Willem Jan 1 Gorla, Daniele 1 Gurov, Dilian 1 Hatzel, Meike 1 Hüttel, Hans 1 Ingólfsdóttir, Anna 1 Jansen, David N. 1 Jungnickel, Tim 1 Küfner, Philipp 1 Meyer, Roland 1 Najm, Elie 1 Onana, Luc 1 Panangaden, Prakash 1 Puhlmann, Frank 1 Raisch, Jörg 1 Schicke-Uffmann, Jens-Wolfhard 1 Schicke, Jens-Wolfhard 1 Schmid, Stefan 1 Schmitt, Anna 1 Schmuck, Anne-Kathrin 1 Seidler, Henning 1 Stevens, Perdita 1 Stüber, Anke 1 Wilhelm-Weidner, Arno 1 Yonova-Karbe, Tsvetelina all top 5 Serials 5 Information and Computation 4 Theoretical Computer Science 4 MSCS. Mathematical Structures in Computer Science 3 Electronic Notes in Theoretical Computer Science 3 Logical Methods in Computer Science 2 Acta Informatica 1 Discrete Event Dynamic Systems 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 LIPIcs – Leibniz International Proceedings in Informatics all top 5 Fields 59 Computer science (68-XX) 7 General and overarching topics; collections (00-XX) 3 Mathematical logic and foundations (03-XX) 3 Information and communication theory, circuits (94-XX) 1 Category theory; homological algebra (18-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 45 Publications have been cited 269 times in 153 Documents Cited by ▼ Year ▼ Decoding choice encodings. Zbl 1003.68080 Nestmann, Uwe; Pierce, Benjamin C. 38 2000 What is a “good” encoding of guarded choice? Zbl 1046.68625 Nestmann, Uwe 37 2000 On distributability in process calculi. Zbl 1381.68215 Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula 19 2013 Welcome to the jungle: a subjective guide to mobile process calculi. Zbl 1151.68548 Nestmann, Uwe 16 2006 Symbolic bisimulation in the spi calculus. Zbl 1099.68665 Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe 16 2004 Is it a “good” encoding of mixed choice? Zbl 1352.68190 Peters, Kirstin; Nestmann, Uwe 13 2012 Full abstraction for expressiveness: history, myths and facts. Zbl 1361.68028 Gorla, Daniele; Nestmann, Uwe 12 2016 On bisimulations for the spi calculus. Zbl 1077.18004 Borgström, Johannes; Nestmann, Uwe 8 2005 Decoding choice encodings. Zbl 1514.68177 Nestmann, Uwe; Pierce, Benjamin C. 8 1996 Unreliable failure detectors via operational semantics. Zbl 1215.68056 Nestmann, Uwe; Fuzzati, Rachele 7 2003 On the expressive power of joint input. Zbl 0917.68070 Nestmann, Uwe 6 1998 Dynamic causality in event structures. Zbl 1347.68252 Arbach, Youssef; Karcher, David; Peters, Kirstin; Nestmann, Uwe 6 2015 Breaking symmetries. Zbl 1362.68219 Peters, Kirstin; Nestmann, Uwe 6 2016 Modeling consensus in a process calculus. Zbl 1274.68247 Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo 5 2003 Coupled similarity: the first 32 years. Zbl 1476.68166 Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin 5 2020 Formal verification of distributed algorithms. From pseudo code to checked proofs. Zbl 1362.68285 Küfner, Philipp; Nestmann, Uwe; Rickmann, Christina 4 2012 On bisimulations for the spi calculus. Zbl 1275.68101 Borgström, Johannes; Nestmann, Uwe 4 2002 Mobile objects as mobile processes. Zbl 1093.68562 Merro, Massimo; Kleist, Josva; Nestmann, Uwe 4 2002 Encoding CSP into CCS. Zbl 1476.68173 Hatzel, Meike; Wagner, Christoph; Peters, Kirstin; Nestmann, Uwe 4 2015 Dynamic causality in event structures. Zbl 1459.68134 Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe 3 2018 Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517 Merro, Massimo; Kleist, Josva; Nestmann, Uwe 3 2000 Mobile objects \`\` must” move safely. Zbl 1048.68026 Briais, Sébastien; Nestmann, Uwe 3 2002 A formal semantics for protocol narrations. Zbl 1151.68464 Briais, Sébastien; Nestmann, Uwe 3 2005 Open bisimulation, revisited. Zbl 1143.68050 Briais, Sébastien; Nestmann, Uwe 3 2007 Aliasing models for mobile objects. Zbl 1012.68114 Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo 3 2002 Synchrony versus causality in distributed systems. Zbl 1362.68220 Peters, Kirstin; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula; Nestmann, Uwe 3 2016 Session types for link failures. Zbl 1489.68396 Adameit, Manuel; Peters, Kirstin; Nestmann, Uwe 3 2017 Distributed consensus, revisited. Zbl 1151.68036 Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe 2 2007 What is a ‘good’ encoding of guarded choice? Zbl 0911.68096 Nestmann, Uwe 2 1997 A formal semantics for protocol narrations. Zbl 1131.68045 Briais, Sébastien; Nestmann, Uwe 2 2007 Higher-order dynamics in event structures. Zbl 1471.68168 Karcher, David S.; Nestmann, Uwe 2 2015 Taming concurrency for verification using multiparty session types. Zbl 07142677 Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe 2 2019 Distributability of mobile ambients. Zbl 1496.68243 Peters, Kirstin; Nestmann, Uwe 2 2020 States in process calculi. Zbl 1464.68267 Wagner, Christoph; Nestmann, Uwe 2 2014 Fault-tolerant multiparty session types. Zbl 1499.68233 Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph 2 2022 Synchrony vs causality in the asynchronous \(\pi\)-calculus. Zbl 1457.68192 Peters, Kirstin; Schicke, Jens-Wolfhard; Nestmann, Uwe 2 2011 HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063 1 1998 Verifying a structured peer-to-peer overlay network: the static case. Zbl 1111.68305 Borgström, Johannes; Nestmann, Uwe; Onana, Luc; Gurov, Dilian 1 2005 Mechanical verification of a constructive proof for FLP. Zbl 1478.68146 Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe 1 2016 On the distributability of mobile ambients. Zbl 1483.68235 Peters, Kirstin; Nestmann, Uwe 1 2018 Open bisimulation, revisited. Zbl 1273.68249 Briais, Sébastien; Nestmann, Uwe 1 2006 Adding priority to event structures. Zbl 1464.68225 Arbach, Youssef; Peters, Kirstin; Nestmann, Uwe 1 2013 Matching in the pi-calculus. Zbl 1464.68257 Peters, Kirstin; Yonova-Karbe, Tsvetelina; Nestmann, Uwe 1 2014 Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583 Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe 1 2022 A game for linear-time-branching-time spectroscopy. Zbl 1467.68129 Bisping, Benjamin; Nestmann, Uwe 1 2021 Fault-tolerant multiparty session types. Zbl 1499.68233 Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph 2 2022 Deciding all behavioral equivalences at once: a game for linear-time-branching-time spectroscopy. Zbl 07577583 Bisping, Benjamin; Jansen, David N.; Nestmann, Uwe 1 2022 A game for linear-time-branching-time spectroscopy. Zbl 1467.68129 Bisping, Benjamin; Nestmann, Uwe 1 2021 Coupled similarity: the first 32 years. Zbl 1476.68166 Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin 5 2020 Distributability of mobile ambients. Zbl 1496.68243 Peters, Kirstin; Nestmann, Uwe 2 2020 Taming concurrency for verification using multiparty session types. Zbl 07142677 Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe 2 2019 Dynamic causality in event structures. Zbl 1459.68134 Arbach, Youssef; Karcher, David S.; Peters, Kirstin; Nestmann, Uwe 3 2018 On the distributability of mobile ambients. Zbl 1483.68235 Peters, Kirstin; Nestmann, Uwe 1 2018 Session types for link failures. Zbl 1489.68396 Adameit, Manuel; Peters, Kirstin; Nestmann, Uwe 3 2017 Full abstraction for expressiveness: history, myths and facts. Zbl 1361.68028 Gorla, Daniele; Nestmann, Uwe 12 2016 Breaking symmetries. Zbl 1362.68219 Peters, Kirstin; Nestmann, Uwe 6 2016 Synchrony versus causality in distributed systems. Zbl 1362.68220 Peters, Kirstin; Schicke-Uffmann, Jens-Wolfhard; Goltz, Ursula; Nestmann, Uwe 3 2016 Mechanical verification of a constructive proof for FLP. Zbl 1478.68146 Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe 1 2016 Dynamic causality in event structures. Zbl 1347.68252 Arbach, Youssef; Karcher, David; Peters, Kirstin; Nestmann, Uwe 6 2015 Encoding CSP into CCS. Zbl 1476.68173 Hatzel, Meike; Wagner, Christoph; Peters, Kirstin; Nestmann, Uwe 4 2015 Higher-order dynamics in event structures. Zbl 1471.68168 Karcher, David S.; Nestmann, Uwe 2 2015 States in process calculi. Zbl 1464.68267 Wagner, Christoph; Nestmann, Uwe 2 2014 Matching in the pi-calculus. Zbl 1464.68257 Peters, Kirstin; Yonova-Karbe, Tsvetelina; Nestmann, Uwe 1 2014 On distributability in process calculi. Zbl 1381.68215 Peters, Kirstin; Nestmann, Uwe; Goltz, Ursula 19 2013 Adding priority to event structures. Zbl 1464.68225 Arbach, Youssef; Peters, Kirstin; Nestmann, Uwe 1 2013 Is it a “good” encoding of mixed choice? Zbl 1352.68190 Peters, Kirstin; Nestmann, Uwe 13 2012 Formal verification of distributed algorithms. From pseudo code to checked proofs. Zbl 1362.68285 Küfner, Philipp; Nestmann, Uwe; Rickmann, Christina 4 2012 Synchrony vs causality in the asynchronous \(\pi\)-calculus. Zbl 1457.68192 Peters, Kirstin; Schicke, Jens-Wolfhard; Nestmann, Uwe 2 2011 Open bisimulation, revisited. Zbl 1143.68050 Briais, Sébastien; Nestmann, Uwe 3 2007 Distributed consensus, revisited. Zbl 1151.68036 Fuzzati, Rachele; Merro, Massimo; Nestmann, Uwe 2 2007 A formal semantics for protocol narrations. Zbl 1131.68045 Briais, Sébastien; Nestmann, Uwe 2 2007 Welcome to the jungle: a subjective guide to mobile process calculi. Zbl 1151.68548 Nestmann, Uwe 16 2006 Open bisimulation, revisited. Zbl 1273.68249 Briais, Sébastien; Nestmann, Uwe 1 2006 On bisimulations for the spi calculus. Zbl 1077.18004 Borgström, Johannes; Nestmann, Uwe 8 2005 A formal semantics for protocol narrations. Zbl 1151.68464 Briais, Sébastien; Nestmann, Uwe 3 2005 Verifying a structured peer-to-peer overlay network: the static case. Zbl 1111.68305 Borgström, Johannes; Nestmann, Uwe; Onana, Luc; Gurov, Dilian 1 2005 Symbolic bisimulation in the spi calculus. Zbl 1099.68665 Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe 16 2004 Unreliable failure detectors via operational semantics. Zbl 1215.68056 Nestmann, Uwe; Fuzzati, Rachele 7 2003 Modeling consensus in a process calculus. Zbl 1274.68247 Nestmann, Uwe; Fuzzati, Rachele; Merro, Massimo 5 2003 On bisimulations for the spi calculus. Zbl 1275.68101 Borgström, Johannes; Nestmann, Uwe 4 2002 Mobile objects as mobile processes. Zbl 1093.68562 Merro, Massimo; Kleist, Josva; Nestmann, Uwe 4 2002 Mobile objects \`\` must” move safely. Zbl 1048.68026 Briais, Sébastien; Nestmann, Uwe 3 2002 Aliasing models for mobile objects. Zbl 1012.68114 Nestmann, Uwe; Hüttel, Hans; Kleist, Josva; Merro, Massimo 3 2002 Decoding choice encodings. Zbl 1003.68080 Nestmann, Uwe; Pierce, Benjamin C. 38 2000 What is a “good” encoding of guarded choice? Zbl 1046.68625 Nestmann, Uwe 37 2000 Local \(\pi\)-calculus at work: Mobile objects as mobile processes. Zbl 0998.68517 Merro, Massimo; Kleist, Josva; Nestmann, Uwe 3 2000 On the expressive power of joint input. Zbl 0917.68070 Nestmann, Uwe 6 1998 HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. Zbl 0903.00063 1 1998 What is a ‘good’ encoding of guarded choice? Zbl 0911.68096 Nestmann, Uwe 2 1997 Decoding choice encodings. Zbl 1514.68177 Nestmann, Uwe; Pierce, Benjamin C. 8 1996 all cited Publications top 5 cited Publications all top 5 Cited by 206 Authors 22 Nestmann, Uwe 15 Peters, Kirstin 8 Gorla, Daniele 7 Fu, Yuxi 7 Sangiorgi, Davide 6 van Glabbeek, Robert Jan 6 Yoshida, Nobuko 5 Hennessy, Matthew C. B. 5 Horne, Ross 5 Merro, Massimo 5 Pérez, Jorge A. 4 Bisping, Benjamin 4 Brodo, Linda 4 Fournet, Cédric 4 Henrio, Ludovic 4 Xu, Xian 3 Busi, Nadia 3 Castellani, Ilaria 3 Francalanza, Adrian 3 Goltz, Ursula 3 Hirschkoff, Daniel 3 Koutavas, Vasileios 3 Laneve, Cosimo 3 Mauw, Sjouke 3 Palamidessi, Catuscia 3 Parrow, Joachim 3 Phillips, Iain W. 3 Pugliese, Rosario 3 Tiu, Alwen Fernanto 3 Wagner, Christoph K. J. 2 Altisen, Karine 2 Amadio, Roberto M. 2 Åman Pohjola, Johannes 2 Bodei, Chiara 2 Briais, Sébastien 2 Bruni, Roberto 2 Cacciagrano, Diletta Romana 2 Carbone, Marco 2 Casal, Filipe 2 Corbineau, Pierre 2 Corradini, Flavio 2 Deng, Yuxin 2 Devismes, Stéphane 2 Fava, Daniel Schnetzer 2 Fuzzati, Rachele 2 Hüttel, Hans 2 Kammüller, Florian 2 Kleist, Josva 2 Kouzapas, Dimitrios 2 Kremer, Steve 2 Mordido, Andreia 2 Olarte, Carlos 2 Pierce, Benjamin C. 2 Pinna, G. Michele 2 Quaglia, Paola 2 Schicke, Jens-Wolfhard 2 Schmitt, Anna 2 Steffen, Martin 2 Stolz, Volker 2 Vasconcelos, Vasco Thudichum 2 Versari, Cristian 2 Viganò, Luca 2 Vigliotti, Maria Grazia 2 Yurkov, Semen 2 Zavattaro, Gianluigi 1 Abadi, Martín 1 Abate, Carmine 1 Achermann, Franz 1 Ahern, Alexander 1 Ahn, Ki Yung 1 Almeida, Bernardo F. 1 Almousa, Omar 1 Ameur-Boulifa, Rabéa 1 Aranda, Jesús 1 Arbach, Youssef 1 Balzer, Stephanie 1 Basin, David A. 1 Blanchet, Bruno 1 Bocchi, Laura 1 Boreale, Michele 1 Borgström, Johannes 1 Brodmann, Paul-David 1 Bugliesi, Michele 1 Busi, Matteo 1 Butterfield, Andrew 1 Cai, Xiaojuan 1 Caleiro, Carlos 1 Cano, Mauricio 1 Cappello, Igor 1 Carayol, Arnaud 1 Caromel, Denis 1 Cenciarelli, Pietro 1 Chadha, Rohit 1 Cheval, Vincent 1 Chothia, Tom 1 Ciobâcă, Ştefan 1 Crafa, Silvia 1 Dardha, Ornela 1 Dawson, Jeremy E. 1 De Nicola, Rocco ...and 106 more Authors all top 5 Cited in 17 Serials 32 Theoretical Computer Science 18 Information and Computation 11 Logical Methods in Computer Science 9 Acta Informatica 8 The Journal of Logic and Algebraic Programming 8 Journal of Logical and Algebraic Methods in Programming 5 MSCS. Mathematical Structures in Computer Science 1 Information Processing Letters 1 Science of Computer Programming 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 International Journal of Foundations of Computer Science 1 Distributed Computing 1 Journal of Functional Programming 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 9 Fields 152 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 10 Information and communication theory, circuits (94-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.