| Feature interaction: a critical review and considered forecast M Calder, M Kolberg, EH Magill, S Reiff-Marganiec Computer Networks 41 (1), 115-141, 2003 | 491 | 2003 |
| Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathway RJ Orton, OE Sturm, V Vyshemirsky, M Calder, DR Gilbert, W Kolch Biochemical Journal 392 (2), 249-261, 2005 | 436 | 2005 |
| Threshold concepts within the disciplines JHF Meyer Sense Publishers, 2008 | 312 | 2008 |
| The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier OE Sturm, R Orton, J Grindlay, M Birtwistle, V Vyshemirsky, D Gilbert, ... Science signaling 3 (153), ra90-ra90, 2010 | 234 | 2010 |
| When kinases meet mathematics: the systems biology of MAPK signalling W Kolch, M Calder, D Gilbert FEBS letters 579 (8), 1891-1895, 2005 | 213 | 2005 |
| Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA M Calder, S Gilmore, J Hillston Transactions on computational systems biology VII, 1-23, 2006 | 203 | 2006 |
| Feature Interactions in Telecommunications and software systems VI M Calder, E Magill IOS Press, 2000 | 175 | 2000 |
| Analysis of signalling pathways using continuous time Markov chains M Calder, V Vyshemirsky, D Gilbert, R Orton Transactions on Computational Systems Biology VI, 44-67, 2006 | 172* | 2006 |
| Symmetry in temporal logic model checking A Miller, A Donaldson, M Calder ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006 | 140 | 2006 |
| MAPK/ERK signaling regulates insulin sensitivity to control glucose metabolism in Drosophila W Zhang, BJ Thompson, V Hietakangas, SM Cohen PLoS Genet 7 (12), e1002429, 2011 | 96 | 2011 |
| Automatically deriving ODEs from process algebra models of signalling pathways M Calder, S Gilmore, J Hillston Proceedings of Computational Methods in Systems Biology (CMSB 2005) 204215, 2005 | 93 | 2005 |
| Using SPIN for feature interaction analysis-a case study M Calder, A Miller International SPIN workshop on Model Checking of Software, 143-162, 2001 | 61 | 2001 |
| Stronger computational modelling of signalling pathways using both continuous and discrete-state methods M Calder, A Duguid, S Gilmore, J Hillston International Conference on Computational Methods in Systems Biology, 63-77, 2006 | 56 | 2006 |
| In the realm of organization: essays for Robert Cooper RCH Chia Psychology Press, 1998 | 53* | 1998 |
| A symbolic semantics and bisimulation for full LOTOS M Calder, C Shankland International Conference on Formal Techniques for Networked and Distributed …, 2001 | 51 | 2001 |
| Hybrid solutions to the feature interaction problem M Calder, M Kolberg, E Magill, D Marples, S Reiff-Marganiec IOS Press, 2003 | 48 | 2003 |
| Feature interaction detection by pairwise analysis of LTL properties—a case study M Calder, A Miller Formal Methods in System Design 28 (3), 213-261, 2006 | 46 | 2006 |
| Bigraphs with sharing M Sevegnani, M Calder Theoretical Computer Science 577, 43-73, 2015 | 45 | 2015 |
| A modal logic for full LOTOS based on symbolic transition systems M Calder, S Maharaj, C Shankland The Computer Journal 45 (1), 55-61, 2002 | 43 | 2002 |
| Modelling and analysing user views of telecommunications services M Thomas Feature Interactions in Telecommunication Networks IV, 168-182, 1997 | 42 | 1997 |
