Muffy Calder

The Mammalian MAPK/ERK Pathway Exhibits Properties of a Negative Feedback Amplifier

Oliver Sturm, Richard Orton, Joan Grindlay et al. · Science Signaling · 2010 · 254 citations · Full text

Life Sciences, Molecular Biology, Cell Signaling +15

Automatically deriving ODEs from process algebra models of signalling pathways

Muffy Calder, Stephen Gilmore, Jane Hillston · 2005 · 79 citations

Engineering, Bioengineering, Biological Systems Modeling +9

Analysis of signalling pathways using the prism model checker

Muffy Calder, Vladislav Vyshemirsky, David Gilbert et al. · ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam) · 2005 · 61 citations · Full text

Engineering, Molecular Biology, Biological Systems Modeling +16

Bigraphs with sharing

Michele Sevegnani, Muffy Calder · Theoretical Computer Science · 2015 · 50 citations · Full text

Computing, Computer Science, Algorithms +12

Feature interaction detection by pairwise analysis of LTL properties—A case study

Muffy Calder, Alice Miller · Formal Methods in System Design · 2006 · 42 citations

Computing, Computer Science, Formal Methods +8