default search action
Carron Shankland
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c19]Ella Taylor-Smith, Camilla Barnett, Sally Smith, Matthew Barr, Carron Shankland:
Participant-centred planning Framework for effective gender balance activities in tech. UKICER 2022: 6:1-6:7
2010 – 2019
- 2019
- [j12]Dalila Hamami
, Baghdad Atmani
Improving process algebra model structure and parameters in infectious disease epidemiology through data mining. J. Intell. Inf. Syst. 52(3): 477-499 (2019) - [c18]Ryan Mitchell, David E. Cairns
Effective Use of Evolutionary Computation to Parameterise an Epidemiological Model. CIBB 2019: 19-32 - 2017
- [j11]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): 71-101 (2017) - 2016
- [c17]Erin Scott
Process Algebra with Layers: Multi-scale Integration Modelling Applied to Cancer Therapy. CIBB 2016: 118-133 - 2014
- [c16]Rachel Lintott, Stephen McMahon, Kevin M. Prise
Using Process Algebra to Model Radiation Induced Bystander Effects. CMSB 2014: 196-210 - 2012
- [c15]David Marco, Erin Scott, David E. Cairns, Andrea Graham
Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach. CMSB 2012: 227-246 - [c14]Soufiene Benkirane, Rachel Norman
Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra. FM 2012: 101-115 - [c13]David Marco, Carron Shankland
Evolving Bio-PEPA process algebra models using genetic programming. GECCO 2012: 177-184 - [c12]Erin Scott, Andrew Hoyle, Carron Shankland
PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study. PASM/PDMC 2012: 211-228 - 2011
- [j10]Chris McCaig
From individuals to populations: A mean field semantics for process algebra. Theor. Comput. Sci. 412(17): 1557-1580 (2011) - [j9]Chris McCaig
A rigorous approach to investigating common assumptions about disease transmission. Theory Biosci. 130(1): 19-29 (2011) - [c11]David Marco, David E. Cairns, Carron Shankland
Optimisation of process algebra models using evolutionary computation. IEEE Congress on Evolutionary Computation 2011: 1296-1301
2000 – 2009
- 2009
- [j8]Chris McCaig
From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. Math. Comput. Sci. 2(3): 535-556 (2009) - 2008
- [c10]Chris McCaig, Rachel Norman
Process Algebra Models of Population Dynamics. AB 2008: 139-155 - [c9]Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman
Improved Continuous Approximation of PEPA Models through Epidemiological Examples. FBTC@ICALP 2008: 59-74 - 2006
- [j7]Savi Maharaj, Carron Shankland
Preface. Theor. Comput. Sci. 351(2): 129-130 (2006) - 2005
- [c8]Tran Hoai Nam, Chitta Baral, Carron Shankland:
Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge. AAAI 2005: 676-681 - 2004
- [c7]Carron Shankland, Jeremy W. Bryans
Expressing Iterative Properties Logically in a Symbolic Setting. AMAST 2004: 460-474 - [e2]Charles Rattray, Savi Maharaj, Carron Shankland:
Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Lecture Notes in Computer Science 3116, Springer 2004, ISBN 3-540-22381-9 [contents] - [e1]Dexter Kozen, Carron Shankland:
Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings. Lecture Notes in Computer Science 3125, Springer 2004, ISBN 3-540-22380-0 [contents] - 2003
- [j6]John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
Editorial. Formal Aspects Comput. 14(3): 199 (2003) - [j5]Colin J. Fidge
But What if I Don't Want to Wait Forever? Formal Aspects Comput. 14(3): 281-294 (2003) - [c6]Rachel Norman
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease. EUROCAST 2003: 404-414 - [c5]Peter J. Robinson, Carron Shankland:
Combating Infinite State Using Ergo. FORTE 2003: 144-159 - 2002
- [j4]Muffy Calder
A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45(1): 55-61 (2002) - 2001
- [j3]Carron Shankland
A case study in abstraction using E-LOTOS and the FireWire. Comput. Networks 37(3/4): 481-502 (2001) - [c4]Muffy Calder, Savi Maharaj, Carron Shankland:
An Adequate Logic for Full LOTOS. FME 2001: 384-395 - [c3]Muffy Calder, Carron Shankland:
A Symbolic Semantics and Bisimulation for Full LOTOS. FORTE 2001: 185-200 - [c2]Jeremy W. Bryans, Carron Shankland:
Implementing a Modal Logic over Data and Processes using XTL. FORTE 2001: 201-218 - 2000
- [j2]Savi Maharaj, Carron Shankland:
A Survey of Formal Methods Applied to Leader Election in IEEE 1394. J. Univers. Comput. Sci. 6(11): 1145-1163 (2000)
1990 – 1999
- 1998
- [j1]Carron Shankland, Mark van der Zwaag:
The Tree Identify Protocol of IEEE 1394 in µCRL. Formal Aspects Comput. 10(5-6): 509-531 (1998) - 1997
- [c1]Carron Shankland, Muffy Thomas:
Symbolic Bisimulation for Full LOTOS. AMAST 1997: 479-493
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: