Symbolic Bisimulation for Full LOTOS. - Carron Shankland; Muffy Thomas (AMAST, 1997)

The Tree Identify Protocol of IEEE 1394 in µCRL. - Carron Shankland; Mark van der Zwaag (Formal Aspects Comput., 1998)

A Survey of Formal Methods Applied to Leader Election in IEEE 1394. - Savi Maharaj; Carron Shankland (J. Univers. Comput. Sci., 2000)

An Adequate Logic for Full LOTOS. - Muffy Calder; Savi Maharaj; Carron Shankland (FME, 2001)

Implementing a Modal Logic over Data and Processes using XTL. - Jeremy W. Bryans; Carron Shankland (FORTE, 2001)

A Symbolic Semantics and Bisimulation for Full LOTOS. - Muffy Calder; Carron Shankland (FORTE, 2001)

A case study in abstraction using E-LOTOS and the FireWire. - Carron Shankland; Alberto Verdejo (Comput. Networks, 2001)

A Modal Logic for Full LOTOS based on Symbolic Transition Systems. - Muffy Calder; Savi Maharaj; Carron Shankland (Comput. J., 2002)

Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. - Rachel Norman; Carron Shankland (EUROCAST, 2003)

Combating Infinite State Using Ergo. - Peter J. Robinson 001; Carron Shankland (FORTE, 2003)

Editorial. - John Cooke; Savi Maharaj; Judi Romijn; Carron Shankland (Formal Aspects Comput., 2003)

But What if I Don't Want to Wait Forever? - Colin J. Fidge; Carron Shankland (Formal Aspects Comput., 2003)

Expressing Iterative Properties Logically in a Symbolic Setting. - Carron Shankland; Jeremy W. Bryans; Lionel Morel (AMAST, 2004)

Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. - Tran Hoai Nam; Chitta Baral; Carron Shankland (AAAI, 2005)

Preface. - Savi Maharaj; Carron Shankland; Charles Rattray (Theor. Comput. Sci., 2006)

Process Algebra Models of Population Dynamics. - Chris McCaig; Rachel Norman; Carron Shankland (AB, 2008)

Improved Continuous Approximation of PEPA Models through Epidemiological Examples. - Soufiene Benkirane; Jane Hillston; Chris McCaig; Rachel Norman; Carron Shankland (FBTC@ICALP, 2008)

From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. - Chris McCaig; Rachel Norman; Carron Shankland (Math. Comput. Sci., 2009)

Optimisation of process algebra models using evolutionary computation. - David Marco; David E. Cairns; Carron Shankland (IEEE Congress on Evolutionary Computation, 2011)

From individuals to populations: A mean field semantics for process algebra. - Chris McCaig; Rachel Norman; Carron Shankland (Theor. Comput. Sci., 2011)

A rigorous approach to investigating common assumptions about disease transmission. - Chris McCaig; Mike Begon; Rachel Norman; Carron Shankland (Theory Biosci., 2011)

Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach. - David Marco; Erin Scott; David E. Cairns; Andrea L. Graham; Judi Allen; Simmi Mahajan; Carron Shankland (CMSB, 2012)

Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. - Soufiene Benkirane; Rachel Norman; Erin Scott; Carron Shankland (FM, 2012)

Evolving Bio-PEPA process algebra models using genetic programming. - David Marco; Carron Shankland; David E. Cairns (GECCO, 2012)

PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study. - Erin Scott; Andrew Hoyle; Carron Shankland (PASM/PDMC, 2012)

Using Process Algebra to Model Radiation Induced Bystander Effects. - Rachel Lintott; Stephen McMahon; Kevin M. Prise; Celine Addie-Lagorio; Carron Shankland (CMSB, 2014)

Process Algebra with Layers: Multi-scale Integration Modelling Applied to Cancer Therapy. - Erin Scott; James Nicol; Jonathan Coulter; Andrew Hoyle; Carron Shankland (CIBB, 2016)

Decision Support based on Bio-PEPA Modeling and Decision Tree Induction: A New Approach, Applied to a Tuberculosis Case Study. - Dalila Hamami; Baghdad Atmani; Carron Shankland (Int. J. Inf. Syst. Serv. Sect., 2017)

Effective Use of Evolutionary Computation to Parameterise an Epidemiological Model. - Ryan Mitchell; David E. Cairns; Dalila Hamami; Kevin G Pollock; Carron Shankland (CIBB, 2019)

Improving process algebra model structure and parameters in infectious disease epidemiology through data mining. - Dalila Hamami; Baghdad Atmani; Ross Cameron; Kevin G Pollock; Carron Shankland (J. Intell. Inf. Syst., 2019)

Participant-centred planning Framework for effective gender balance activities in tech. - Ella Taylor-Smith; Camilla Barnett; Sally Smith; Matthew Barr; Carron Shankland (UKICER, 2022)