| A framework for security analysis of mobile wireless networks S Nanz, C Hankin Theoretical Computer Science 367 (1-2), 203-227, 2006 | 204 | 2006 |
| A comparative study of programming languages in rosetta code S Nanz, CA Furia 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 195 | 2015 |
| A logic for state-modifying authorization policies MY Becker, S Nanz Computer Security–ESORICS 2007: 12th European Symposium On Research In …, 2007 | 78 | 2007 |
| Benchmarking usability and performance of multicore languages S Nanz, S West, KS Da Silveira, B Meyer 2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013 | 51 | 2013 |
| Mobility models and behavioural equivalence for wireless networks JC Godskesen, S Nanz International Conference on Coordination Languages and Models, 106-122, 2009 | 51 | 2009 |
| The role of abduction in declarative authorization policies MY Becker, S Nanz Practical Aspects of Declarative Languages: 10th International Symposium …, 2008 | 48 | 2008 |
| Design of an empirical study for comparing the usability of concurrent programming languages S Nanz, F Torshizi, M Pedroni, B Meyer Information and Software Technology 55 (7), 1304-1315, 2013 | 44 | 2013 |
| Prototyping proof carrying code M Wildmoser, T Nipkow, G Klein, S Nanz Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer …, 2004 | 28 | 2004 |
| Formal security analysis for ad-hoc networks S Nanz, C Hankin Electronic Notes in Theoretical Computer Science 142, 195-213, 2006 | 27 | 2006 |
| Static analysis of routing protocols for ad-hoc networks S Nanz, C Hankin March, 2004 | 27 | 2004 |
| The future of software engineering S Nanz Springer, 2011 | 26 | 2011 |
| Examining the expert gap in parallel programming S Nanz, S West, KS Da Silveira Euro-Par 2013 Parallel Processing: 19th International Conference, Aachen …, 2013 | 25 | 2013 |
| A comparative study of programming languages in rosetta code. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Vol. 1 S Nanz, CA Furia IEEE, 778ś788, 2015 | 24 | 2015 |
| Modal abstractions of concurrent behaviour S Nanz, F Nielson, H Riis Nielson Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008 | 21 | 2008 |
| Efficient and reasonable object-oriented concurrency S West, S Nanz, B Meyer Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 20 | 2015 |
| Prototyping a concurrency model B Morandi, M Schill, S Nanz, B Meyer 2013 13th International Conference on Application of Concurrency to System …, 2013 | 20 | 2013 |
| A modular scheme for deadlock prevention in an object-oriented programming model S West, S Nanz, B Meyer Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 19 | 2010 |
| Topology-dependent abstractions of broadcast networks S Nanz, F Nielson, HR Nielson International Conference on Concurrency Theory, 226-240, 2007 | 17 | 2007 |
| Safe and efficient data sharing for message-passing concurrency B Morandi, S Nanz, B Meyer Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014 | 12 | 2014 |
| Specification and security analysis of mobile ad-hoc networks S Nanz University of London, 2006 | 12 | 2006 |