Rachel Norman

According to our database, Rachel Norman authored at least 7 papers between 2003 and 2012.

Collaborative distances:

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

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

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

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

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