Carron Shankland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2001–2012
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | FM | Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. | Soufiene Benkirane, Rachel Norman, Erin Scott, Carron Shankland |
| 2012 | GECCO | Evolving Bio-PEPA process algebra models using genetic programming. | David Marco, Carron Shankland, David E. Cairns |
| 2011 | CEC | Optimisation of process algebra models using evolutionary computation. | David Marco, David E. Cairns, Carron Shankland |
| 2005 | AAAI | Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. | Tran Hoai Nam, Chitta Baral, Carron Shankland |
| 2003 | FORTE | Combating Infinite State Using Ergo. | Peter J. Robinson, Carron Shankland |
| 2001 | FM | An Adequate Logic for Full LOTOS. | Muffy Calder, Savi Maharaj, Carron Shankland |
| 2001 | FORTE | Implementing a Modal Logic over Data and Processes using XTL. | Jeremy W. Bryans, Carron Shankland |
| 2001 | FORTE | A Symbolic Semantics and Bisimulation for Full LOTOS. | Muffy Calder, Carron Shankland |