Feature interaction: a critical review and considered forecast M Calder, M Kolberg, EH Magill, S Reiff-Marganiec Computer Networks 41 (1), 115-141, 2003 | 553 | 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 | 544 | 2005 |
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 | 295 | 2010 |
When kinases meet mathematics: the systems biology of MAPK signalling W Kolch, M Calder, D Gilbert FEBS letters 579 (8), 1891-1895, 2005 | 243 | 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 | 217 | 2006 |
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 | 182* | 2006 |
Feature Interactions in Telecommunications and software systems VI M Calder, E Magill IOS Press, 2000 | 182 | 2000 |
Symmetry in temporal logic model checking A Miller, A Donaldson, M Calder ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006 | 161 | 2006 |
Computational modelling for decision-making: where, why, what, who and how M Calder, C Craig, D Culley, R De Cani, CA Donnelly, R Douglas, ... Royal Society open science 5 (6), 172096, 2018 | 131 | 2018 |
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 | 98 | 2005 |
Bigraphs with sharing M Sevegnani, M Calder Theoretical Computer Science 577, 43-73, 2015 | 79 | 2015 |
In the realm of organization: essays for Robert Cooper RCH Chia Psychology Press, 1998 | 68* | 1998 |
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 | 66 | 2006 |
Feature interaction detection by pairwise analysis of LTL properties—a case study M Calder, A Miller Formal Methods in System Design 28, 213-261, 2006 | 62 | 2006 |
Using SPIN for feature interaction analysis-a case study M Calder, A Miller Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001 | 62 | 2001 |
BigraphER: rewriting and analysis engine for bigraphs M Sevegnani, M Calder Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 58 | 2016 |
A symbolic semantics and bisimulation for full LOTOS M Calder, C Shankland Formal Techniques for Networked and Distributed Systems: FORTE 2001 IFIP TC6 …, 2001 | 53 | 2001 |
On lions, impala, and bigraphs: Modelling interactions in physical/virtual spaces S Benford, M Calder, T Rodden, M Sevegnani ACM Transactions on Computer-Human Interaction (TOCHI) 23 (2), 1-56, 2016 | 47 | 2016 |
Hybrid solutions to the feature interaction problem M Calder, M Kolberg, E Magill, D Marples, S Reiff-Marganiec University of Leicester, 2003 | 46 | 2003 |
Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA F Ciocchetta, A Degasperi, J Hillston, M Calder Electronic Notes in Theoretical Computer Science 229 (1), 145-163, 2009 | 44 | 2009 |