Carron Shankland

33 papers A* 1A 1B 3C 3Journal 12Unranked 12

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