| What is a “good” encoding of guarded choice? U Nestmann Information and computation 156 (1-2), 287-319, 2000 | 158 | 2000 |
| Decoding choice encodings U Nestmann, BC Pierce International Conference on Concurrency Theory, 179-194, 1996 | 140 | 1996 |
| Decoding choice encodings U Nestmann, BC Pierce Information and Computation 163 (1), 1-59, 2000 | 115 | 2000 |
| Symbolic bisimulation in the spi calculus J Borgström, S Briais, U Nestmann International Conference on Concurrency Theory, 161-176, 2004 | 71 | 2004 |
| On Bisimulations for the Spi Calculus* J Borgström, U Nestmann International Conference on Algebraic Methodology and Software Technology …, 2002 | 68 | 2002 |
| Modeling consensus in a process calculus U Nestmann, R Fuzzati, M Merro International Conference on Concurrency Theory, 399-414, 2003 | 61 | 2003 |
| Full abstraction for expressiveness: history, myths and facts D Gorla, U Nestmann Mathematical Structures in Computer Science 26 (4), 639-654, 2016 | 53 | 2016 |
| Formal verification of distributed algorithms: From pseudo code to checked proofs P Küfner, U Nestmann, C Rickmann Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference …, 2012 | 45 | 2012 |
| On distributability in process calculi K Peters, U Nestmann, U Goltz European Symposium on Programming, 310-329, 2013 | 43 | 2013 |
| Is it a “good” encoding of mixed choice? K Peters, U Nestmann International Conference on Foundations of Software Science and …, 2012 | 35 | 2012 |
| A formal semantics for protocol narrations S Briais, U Nestmann Theoretical Computer Science 389 (3), 484-511, 2007 | 35 | 2007 |
| Welcome to the jungle: A subjective guide to mobile process calculi U Nestmann International Conference on Concurrency Theory, 52-63, 2006 | 33 | 2006 |
| On determinacy and nondeterminacy in concurrent programming U Nestmann Inst. für Math. Maschinen und Datenverarbeitung (Informatik), 1996 | 33 | 1996 |
| Verifying a structured peer-to-peer overlay network: The static case J Borgström, U Nestmann, L Onana, D Gurov Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005 | 30 | 2005 |
| Dynamic causality in event structures Y Arbach, DS Karcher, K Peters, U Nestmann Logical Methods in Computer Science 14, 2018 | 29 | 2018 |
| On the expressive power of joint input U Nestmann Electronic Notes in Theoretical Computer Science 16 (2), 145-152, 1998 | 29 | 1998 |
| Typing confluence U Nestmann, M Steffen In Second International ERCIM Workshop on Formal Methods in Industrial …, 1997 | 26 | 1997 |
| Synchrony vs causality in the asynchronous pi-calculus K Peters, JW Schicke, U Nestmann arXiv preprint arXiv:1108.4469, 2011 | 24 | 2011 |
| Session types for link failures M Adameit, K Peters, U Nestmann Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 23 | 2017 |
| Unreliable failure detectors via operational semantics U Nestmann, R Fuzzati Annual Asian Computing Science Conference, 54-71, 2003 | 23 | 2003 |
Massimo MerroProfessor of Computer Science, Verona University - ItalyBestätigte E-Mail-Adresse bei univr.it
