×
Compute Distance To:
Author ID: calder.muffy Recent zbMATH articles by "Calder, Muffy"
Published as: Calder, Muffy; Calder, M.; Thomas, Muffy
Homepage: http://www.dcs.gla.ac.uk/~muffy/
External Links: MGP · ORCID · Wikidata · Google Scholar · ResearchGate · dblp · GND

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 50 times in 41 Documents Cited by Year
Some investigations concerning the CTMC and the ODE model derived from bio-PEPA. Zbl 1283.92036
Ciocchetta, Federica; Degasperi, Andrea; Hillston, Jane; Calder, Muffy
10
2009
Process algebra modelling styles for biomolecular processes. Zbl 1260.92030
Calder, Muffy; Hillston, Jane
6
2009
Programming language syntax und semantics. Zbl 0828.68094
Watt, David Anthony; Thomas, Muffy
4
1991
Bigraphs with sharing. Zbl 1309.68156
Sevegnani, Michele; Calder, Muffy
3
2015
A process algebra framework for multi-scale modelling of biological systems. Zbl 1293.68204
Degasperi, A.; Calder, M.
3
2013
Feature interaction detection by pairwise analysis of LTL properties – A case study. Zbl 1103.68377
Calder, Muffy; Miller, Alice
2
2006
A modal logic for full LOTOS based on symbolic transition systems. Zbl 1008.68081
Calder, M.; Maharaj, S.; Shankland, C.
2
2002
Using SPIN for feature interaction analysis – a case study. Zbl 0985.68665
Calder, Muffy; Miller, Alice
2
2001
Feature interaction: a critical review and considered forecast. Zbl 1047.68502
Calder, Muffy; Kolberg, Mario; Magill, Evan H.; Reiff-Marganiec, Stephan
2
2003
Process algebra with hooks for models of pattern formation. Zbl 1283.68237
Degasperi, Andrea; Calder, Muffy
2
2010
An automatic abstraction technique for verifying featured, parameterised systems. Zbl 1293.68191
Calder, M.; Miller, A.
2
2008
Formal methods for biochemical signalling pathways. Zbl 1185.92041
Calder, Muffy; Gilmore, Stephen; Hillston, Jane; Vyshemirsky, Vladislav
2
2010
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Zbl 1342.68205
Calder, Muffy; Sevegnani, Michele
2
2014
Finding symmetry in models of concurrent systems by static channel diagram analysis. Zbl 1272.68299
Donaldson, Alastair F.; Miller, Alice; Calder, Muffy
1
2005
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol. Zbl 1029.68013
Calder, M.; Miller, A.
1
2002
Detecting feature interactions: How many components do we need? Zbl 1082.68528
Calder, Muffy; Miller, Alice
1
2004
Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration. Zbl 1283.68238
Degasperi, Andrea; Calder, Muffy
1
2010
Modular modelling of signalling pathways and their cross-talk. Zbl 1250.92014
Donaldson, Robin; Calder, Muffy
1
2012
Solving divergence in Knuth–Bendix completion by enriching signatures. Zbl 0779.68051
Thomas, Muffy; Watson, Phil
1
1993
An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Zbl 1339.68167
Graham, Douglas; Calder, Muffy; Miller, Alice
1
2009
Optimising communication structure for model checking. Zbl 1129.68448
Saffrey, Peter; Calder, Muffy
1
2004
Bigraphs with sharing. Zbl 1309.68156
Sevegnani, Michele; Calder, Muffy
3
2015
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing. Zbl 1342.68205
Calder, Muffy; Sevegnani, Michele
2
2014
A process algebra framework for multi-scale modelling of biological systems. Zbl 1293.68204
Degasperi, A.; Calder, M.
3
2013
Modular modelling of signalling pathways and their cross-talk. Zbl 1250.92014
Donaldson, Robin; Calder, Muffy
1
2012
Process algebra with hooks for models of pattern formation. Zbl 1283.68237
Degasperi, Andrea; Calder, Muffy
2
2010
Formal methods for biochemical signalling pathways. Zbl 1185.92041
Calder, Muffy; Gilmore, Stephen; Hillston, Jane; Vyshemirsky, Vladislav
2
2010
Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration. Zbl 1283.68238
Degasperi, Andrea; Calder, Muffy
1
2010
Some investigations concerning the CTMC and the ODE model derived from bio-PEPA. Zbl 1283.92036
Ciocchetta, Federica; Degasperi, Andrea; Hillston, Jane; Calder, Muffy
10
2009
Process algebra modelling styles for biomolecular processes. Zbl 1260.92030
Calder, Muffy; Hillston, Jane
6
2009
An inductive technique for parameterised model checking of degenerative distributed randomised protocols. Zbl 1339.68167
Graham, Douglas; Calder, Muffy; Miller, Alice
1
2009
An automatic abstraction technique for verifying featured, parameterised systems. Zbl 1293.68191
Calder, M.; Miller, A.
2
2008
Feature interaction detection by pairwise analysis of LTL properties – A case study. Zbl 1103.68377
Calder, Muffy; Miller, Alice
2
2006
Finding symmetry in models of concurrent systems by static channel diagram analysis. Zbl 1272.68299
Donaldson, Alastair F.; Miller, Alice; Calder, Muffy
1
2005
Detecting feature interactions: How many components do we need? Zbl 1082.68528
Calder, Muffy; Miller, Alice
1
2004
Optimising communication structure for model checking. Zbl 1129.68448
Saffrey, Peter; Calder, Muffy
1
2004
Feature interaction: a critical review and considered forecast. Zbl 1047.68502
Calder, Muffy; Kolberg, Mario; Magill, Evan H.; Reiff-Marganiec, Stephan
2
2003
A modal logic for full LOTOS based on symbolic transition systems. Zbl 1008.68081
Calder, M.; Maharaj, S.; Shankland, C.
2
2002
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol. Zbl 1029.68013
Calder, M.; Miller, A.
1
2002
Using SPIN for feature interaction analysis – a case study. Zbl 0985.68665
Calder, Muffy; Miller, Alice
2
2001
Solving divergence in Knuth–Bendix completion by enriching signatures. Zbl 0779.68051
Thomas, Muffy; Watson, Phil
1
1993
Programming language syntax und semantics. Zbl 0828.68094
Watt, David Anthony; Thomas, Muffy
4
1991

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.