| A framework for security analysis of mobile wireless networks S Nanz, C Hankin Theoretical Computer Science 367 (1-2), 203-227, 2006 | 193 | 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 | 130 | 2015 |
| A logic for state-modifying authorization policies MY Becker, S Nanz European Symposium on Research in Computer Security, 203-218, 2007 | 76 | 2007 |
| The role of abduction in declarative authorization policies MY Becker, S Nanz International Symposium on Practical Aspects of Declarative Languages, 84-99, 2008 | 47 | 2008 |
| Mobility models and behavioural equivalence for wireless networks JC Godskesen, S Nanz International Conference on Coordination Languages and Models, 106-122, 2009 | 46 | 2009 |
| 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 | 44 | 2013 |
| 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 | 35 | 2013 |
| Static analysis of routing protocols for ad-hoc networks S Nanz, C Hankin March, 2004 | 26 | 2004 |
| Prototyping proof carrying code M Wildmoser, T Nipkow, G Klein, S Nanz Exploring New Frontiers of Theoretical Informatics, 333-347, 2004 | 26 | 2004 |
| Formal security analysis for ad-hoc networks S Nanz, C Hankin Electronic Notes in Theoretical Computer Science 142, 195-213, 2006 | 24 | 2006 |
| Modal abstractions of concurrent behaviour S Nanz, F Nielson, HR Nielson International Static Analysis Symposium, 159-173, 2008 | 22 | 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 | 21 | 2015 |
| A modular scheme for deadlock prevention in an object-oriented programming model S West, S Nanz, B Meyer International Conference on Formal Engineering Methods, 597-612, 2010 | 20 | 2010 |
| Prototyping a concurrency model B Morandi, M Schill, S Nanz, B Meyer 2013 13th International Conference on Application of Concurrency to System …, 2013 | 19 | 2013 |
| Examining the expert gap in parallel programming S Nanz, S West, KS Da Silveira European Conference on Parallel Processing, 434-445, 2013 | 17 | 2013 |
| The future of software engineering S Nanz Springer, 2011 | 17 | 2011 |
| Topology-dependent abstractions of broadcast networks S Nanz, F Nielson, HR Nielson International Conference on Concurrency Theory, 226-240, 2007 | 15 | 2007 |
| Static analysis of topology-dependent broadcast networks S Nanz, F Nielson, HR Nielson Information and Computation 208 (2), 117-139, 2010 | 12 | 2010 |
| Specification and security analysis of mobile ad-hoc networks S Nanz University of London, 2006 | 12 | 2006 |
| 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 | 10 | 2015 |
