( en | de | ru )

 

Disambiguation of "Shankland, Carron"

Author of the publication

copydeleteadd this publication to your clipboard
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease.

, and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 404-414. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Carron Claire Elizabeth Johnson

 

Other publications of authors with the same name

Measles Epidemics and PEPA: An Exploration of Historic Disease Dynamics Using Process Algebra., , , and . FM, volume 7436 of Lecture Notes in Computer Science, page 101-115. Springer, (2012)Symbolic Bisimulation for Full LOTOS., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 479-493. Springer, (1997)Implementing a Modal Logic over Data and Processes using XTL., and . FORTE, volume 197 of IFIP Conference Proceedings, page 201-218. Kluwer, (2001)Issues in Reasoning about Interaction Networks in Cells: Necessity of Event Ordering Knowledge., , and . AAAI, page 676-681. AAAI Press / The MIT Press, (2005)Combating Infinite State Using Ergo., and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 144-159. Springer, (2003)Investigating Co-infection Dynamics through Evolution of Bio-PEPA Model Parameters: A Combined Process Algebra and Evolutionary Computing Approach., , , , , , and . CMSB, volume 7605 of Lecture Notes in Computer Science, page 227-246. Springer, (2012)Optimisation of process algebra models using evolutionary computation., , and . IEEE Congress on Evolutionary Computation, page 1296-1301. IEEE, (2011)A Symbolic Semantics and Bisimulation for Full LOTOS., and . FORTE, volume 197 of IFIP Conference Proceedings, page 185-200. Kluwer, (2001)Participant-centred planning Framework for effective gender balance activities in tech., , , , and . UKICER, page 6:1-6:7. ACM, (2022)Process Algebra with Layers: Multi-scale Integration Modelling Applied to Cancer Therapy., , , , and . CIBB, volume 10477 of Lecture Notes in Computer Science, page 118-133. Springer, (2016)