Carron Shankland

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 5

Top Topics

Process Algebra

Decision Tree Induction

Infectious Disease

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Ella Taylor-Smith, Camilla Barnett, Sally Smith, Matthew Barr, Carron Shankland
Participant-centred planning Framework for effective gender balance activities in tech. UKICER (2022)
Ryan Mitchell, David E. Cairns, Dalila Hamami, Kevin G Pollock, Carron Shankland
Effective Use of Evolutionary Computation to Parameterise an Epidemiological Model. CIBB (2019)
Dalila Hamami, Baghdad Atmani, Ross Cameron, Kevin G Pollock, Carron Shankland
Improving process algebra model structure and parameters in infectious disease epidemiology through data mining. J. Intell. Inf. Syst. 52 (3) (2019)
Dalila Hamami, Baghdad Atmani, Carron Shankland
Decision Support based on Bio-PEPA Modeling and Decision Tree Induction: A New Approach, Applied to a Tuberculosis Case Study. Int. J. Inf. Syst. Serv. Sect. 9 (2) (2017)
Erin Scott, James Nicol, Jonathan Coulter, Andrew Hoyle, Carron Shankland
Process Algebra with Layers: Multi-scale Integration Modelling Applied to Cancer Therapy. CIBB (2016)
Rachel Lintott, Stephen McMahon, Kevin Prise, Celine Addie-Lagorio, Carron Shankland
Using Process Algebra to Model Radiation Induced Bystander Effects. CMSB (2014)
Erin Scott, Andrew Hoyle, Carron Shankland
PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study. Electron. Notes Theor. Comput. Sci. 296 (2013)
Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. FM (2012)
David Marco, Erin Scott, David E. Cairns, Andrea Graham, Judi Allen, Simmi Mahajan, Carron Shankland
Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach. CMSB (2012)
David Marco, Carron Shankland, David E. Cairns
Evolving Bio-PEPA process algebra models using genetic programming. GECCO (2012)
Chris McCaig, Rachel Norman, Carron Shankland
From individuals to populations: A mean field semantics for process algebra. Theor. Comput. Sci. 412 (17) (2011)
Chris McCaig, Mike Begon, Rachel Norman, Carron Shankland
A rigorous approach to investigating common assumptions about disease transmission. Theory Biosci. 130 (1) (2011)
David Marco, David E. Cairns, Carron Shankland
Optimisation of process algebra models using evolutionary computation. IEEE Congress on Evolutionary Computation (2011)
Chris McCaig, Rachel Norman, Carron Shankland
From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. Math. Comput. Sci. 2 (3) (2009)
Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland
Improved Continuous Approximation of PEPA Models through Epidemiological Examples. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Chris McCaig, Rachel Norman, Carron Shankland
Process Algebra Models of Population Dynamics. AB (2008)
Savi Maharaj, Carron Shankland, Charles Rattray
Preface. Theor. Comput. Sci. 351 (2) (2006)
Tran Hoai Nam, Chitta Baral, Carron Shankland
Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. AAAI (2005)
Carron Shankland, Jeremy W. Bryans, Lionel Morel
Expressing Iterative Properties Logically in a Symbolic Setting. AMAST (2004)
Peter J. Robinson, Carron Shankland
Combating Infinite State Using Ergo. FORTE (2003)
Rachel Norman, Carron Shankland
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. EUROCAST (2003)
Colin J. Fidge, Carron Shankland
But What if I Don't Want to Wait Forever? Formal Aspects Comput. 14 (3) (2003)
John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
Editorial. Formal Aspects Comput. 14 (3) (2003)
Muffy Calder, Savi Maharaj, Carron Shankland
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45 (1) (2002)
Muffy Calder, Savi Maharaj, Carron Shankland
An Adequate Logic for Full LOTOS. FME (2001)
Muffy Calder, Carron Shankland
A Symbolic Semantics and Bisimulation for Full LOTOS. FORTE (2001)
Jeremy W. Bryans, Carron Shankland
Implementing a Modal Logic over Data and Processes using XTL. FORTE (2001)
Carron Shankland, Alberto Verdejo
A case study in abstraction using E-LOTOS and the FireWire. Comput. Networks 37 (3/4) (2001)
Savi Maharaj, Carron Shankland
A Survey of Formal Methods Applied to Leader Election in IEEE 1394. J. Univers. Comput. Sci. 6 (11) (2000)
Carron Shankland, Mark van der Zwaag
The Tree Identify Protocol of IEEE 1394 in µCRL. Formal Aspects Comput. 10 (5-6) (1998)
Carron Shankland, Muffy Thomas
Symbolic Bisimulation for Full LOTOS. AMAST (1997)