| A symbolic semantics and bisimulation for full LOTOS M Calder, C Shankland Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 …, 2001 | 54 | 2001 |
| The tree identify protocol of IEEE 1394 in μCRL C Shankland, M van der Zwaag Formal Aspects of Computing 10, 509-531, 1998 | 48 | 1998 |
| The tree identify protocol of IEEE 1394 in μCRL C Shankland, M van der Zwaag Formal Aspects of Computing 10, 509-531, 1998 | 48 | 1998 |
| A modal logic for full LOTOS based on symbolic transition systems M Calder, S Maharaj, C Shankland The Computer Journal 45 (1), 55-61, 2002 | 44 | 2002 |
| Waning immunity is associated with periodic large outbreaks of mumps: a mathematical modeling study of Scottish data D Hamami, R Cameron, KG Pollock, C Shankland Frontiers in Physiology 8, 233, 2017 | 37 | 2017 |
| Process algebra models of population dynamics C McCaig, R Norman, C Shankland International Conference on Algebraic Biology, 139-155, 2008 | 28 | 2008 |
| Developing the use of process algebra in the derivation and analysis of mathematical models of infectious disease R Norman, C Shankland International Conference on Computer Aided Systems Theory, 404-414, 2003 | 27 | 2003 |
| An adequate logic for Full LOTOS M Calder, S Maharaj, C Shankland FME 2001: Formal Methods for Increasing Software Productivity: International …, 2001 | 23 | 2001 |
| From individuals to populations: A mean field semantics for process algebra C McCaig, R Norman, C Shankland Theoretical Computer Science 412 (17), 1557-1580, 2011 | 21 | 2011 |
| Improved continuous approximation of PEPA models through epidemiological examples S Benkirane, J Hillston, C McCaig, R Norman, C Shankland Electronic Notes in Theoretical Computer Science 229 (1), 59-74, 2009 | 21 | 2009 |
| Symbolic bisimulation for full LOTOS C Shankland, M Thomas International Conference on Algebraic Methodology and Software Technology …, 1997 | 21 | 1997 |
| A symbolic investigation of superspreaders C McCaig, M Begon, R Norman, C Shankland Bulletin of Mathematical Biology 73, 777-794, 2011 | 19 | 2011 |
| Issues in reasoning about interaction networks in cells: Necessity of event ordering knowledge N Tran, C Baral, C Shankland PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 676, 2005 | 19 | 2005 |
| From individuals to populations: A symbolic process algebra approach to epidemiology C McCaig, R Norman, C Shankland Mathematics in Computer Science 2 (3), 535-556, 2009 | 18 | 2009 |
| But what if I don't want to wait forever? C Fidge, C Shankland Formal Aspects of Computing 14, 281-294, 2003 | 15 | 2003 |
| A survey of formal methods applied to leader election in IEEE 1394 S Maharaj, C Shankland Journal of Universal Computer Science 6 (11), 1145-1163, 2000 | 14 | 2000 |
| A survey of formal methods applied to leader election in IEEE 1394 S Maharaj, C Shankland Journal of Universal Computer Science 6 (11), 1145-1163, 2000 | 14 | 2000 |
| Measles epidemics and PEPA: an exploration of historic disease dynamics using process algebra S Benkirane, R Norman, E Scott, C Shankland FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 13 | 2012 |
| A case study in abstraction using E-LOTOS and the FireWire C Shankland, A Verdejo Computer Networks 37 (3-4), 481-502, 2001 | 11 | 2001 |
| Improving process algebra model structure and parameters in infectious disease epidemiology through data mining D Hamami, B Atmani, R Cameron, KG Pollock, C Shankland Journal of Intelligent Information Systems 52, 477-499, 2019 | 9 | 2019 |
