Carron Shankland

According to our database, Carron Shankland authored at least 31 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Participant-centred planning Framework for effective gender balance activities in tech.

Ella Taylor-Smith, Camilla Barnett, Sally Smith, Matthew Barr, Carron Shankland

Proceedings of the UKICER 2022: The United Kingdom and Ireland Computing Education Research Conference, Dublin, Ireland, September 1, 2022

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

Effective Use of Evolutionary Computation to Parameterise an Epidemiological Model.

Ryan Mitchell, David E. Cairns, Dalila Hamami, Kevin G Pollock, Carron Shankland

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2019

2017

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

2016

Process Algebra with Layers: Multi-scale Integration Modelling Applied to Cancer Therapy.

Erin Scott, James Nicol, Jonathan Coulter, Andrew Hoyle, Carron Shankland

Proceedings of the Computational Intelligence Methods for Bioinformatics and Biostatistics, 2016

2014

Using Process Algebra to Model Radiation Induced Bystander Effects.

Rachel Lintott, Stephen McMahon, Kevin M. Prise, Celine Addie-Lagorio, Carron Shankland

Proceedings of the Computational Methods in Systems Biology, 2014

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

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Evolving Bio-PEPA process algebra models using genetic programming.

David Marco, Carron Shankland, David E. Cairns

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra.

Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland

Proceedings of the FM 2012: Formal Methods, 2012

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 Graham, Judi Allen, Simmi Mahajan, Carron Shankland

Proceedings of the Computational Methods in Systems Biology, 2012

2011

A rigorous approach to investigating common assumptions about disease transmission.

Chris McCaig, Mike Begon, Rachel Norman, Carron Shankland

Theory Biosci., 2011

From individuals to populations: A mean field semantics for process algebra.

Chris McCaig, Rachel Norman, Carron Shankland

Theor. Comput. Sci., 2011

Optimisation of process algebra models using evolutionary computation.

David Marco, David E. Cairns, Carron Shankland

Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2009

From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology.

Chris McCaig, Rachel Norman, Carron Shankland

Math. Comput. Sci., 2009

2008

Improved Continuous Approximation of PEPA Models through Epidemiological Examples.

Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Process Algebra Models of Population Dynamics.

Chris McCaig, Rachel Norman, Carron Shankland

Proceedings of the Algebraic Biology, Third International Conference, 2008

2006

Preface.

Savi Maharaj, Carron Shankland, Charles Rattray

Theor. Comput. Sci., 2006

2005

Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge.

Tran Hoai Nam, Chitta Baral, Carron Shankland

Proceedings of the Proceedings, 2005

2004

Expressing Iterative Properties Logically in a Symbolic Setting.

Carron Shankland, Jeremy W. Bryans, Lionel Morel

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

But What if I Don't Want to Wait Forever?

Colin J. Fidge, Carron Shankland

Formal Aspects Comput., 2003

Editorial.

John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland

Formal Aspects Comput., 2003

Combating Infinite State Using Ergo.

Peter J. Robinson, Carron Shankland

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease.

Rachel Norman, Carron Shankland

Proceedings of the Computer Aided Systems Theory, 2003

2002

A Modal Logic for Full LOTOS based on Symbolic Transition Systems.

Muffy Calder, Savi Maharaj, Carron Shankland

Comput. J., 2002

2001

A case study in abstraction using E-LOTOS and the FireWire.

Carron Shankland, Alberto Verdejo

Comput. Networks, 2001

A Symbolic Semantics and Bisimulation for Full LOTOS.

Muffy Calder, Carron Shankland

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

Implementing a Modal Logic over Data and Processes using XTL.

Jeremy W. Bryans, Carron Shankland

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

An Adequate Logic for Full LOTOS.

Muffy Calder, Savi Maharaj, Carron Shankland

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

A Survey of Formal Methods Applied to Leader Election in IEEE 1394.

Savi Maharaj, Carron Shankland

J. Univers. Comput. Sci., 2000

1998

The Tree Identify Protocol of IEEE 1394 in µCRL.

Carron Shankland, Mark van der Zwaag

Formal Aspects Comput., 1998

1997

Symbolic Bisimulation for Full LOTOS.

Carron Shankland, Muffy Thomas

Proceedings of the Algebraic Methodology and Software Technology, 1997