Muffy Calder

Muffy Thomas

	2011
53		Andrea Degasperi, Muffy Calder: Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. CMSB 2011: 195-208
	2010
52		Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson: From species to pathway and tissue as process. CMSB 2010: 1-2
51		Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder: Understanding signalling networks as collections of signal transduction pathways. CMSB 2010: 86-95
50		Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth: An Introduction to Pervasive Interface Automata. FACS 2010: 71-87
49		Robin Donaldson, Muffy Calder: Modelling and Analysis of Biochemical Signalling Pathway Cross-talk FBTC 2010: 40-54
48		Oana Andrei, Muffy Calder: A Model and Analysis of the AKAP Scaffold. Electr. Notes Theor. Comput. Sci. 268: 3-15 (2010)
47		Andrea Degasperi, Muffy Calder: Process Algebra with Hooks for Models of Pattern Formation. Electr. Notes Theor. Comput. Sci. 268: 31-47 (2010)
46		Andrea Degasperi, Muffy Calder: Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electr. Notes Theor. Comput. Sci. 268: 49-59 (2010)
	2009
45		Muffy Calder, Philip D. Gray, Chris Unsworth: Tightly coupled verification of pervasive systems. ECEASST 22: (2009)
44		Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin: Towards the Verification of Pervasive Systems. ECEASST 22: (2009)
43		Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder: Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. Electr. Notes Theor. Comput. Sci. 229(1): 145-163 (2009)
42		Douglas Graham, Muffy Calder, Alice Miller: An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols. Electr. Notes Theor. Comput. Sci. 250(1): 87-103 (2009)
41		Alice Miller, Muffy Calder: Preface. Electr. Notes Theor. Comput. Sci. 250(2): 1-2 (2009)
40		Muffy Calder, Jane Hillston: Process Algebra Modelling Styles for Biomolecular Processes. T. Comp. Sys. Biology 11: 1-25 (2009)
	2008
39		Muffy Calder, Alice Miller: An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404(3): 235-255 (2008)
38		Muffy Calder, Stephen Gilmore: Preface. Theor. Comput. Sci. 408(1): 3 (2008)
	2007
37		Muffy Calder, Stephen Gilmore: Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings Springer 2007
36		Alice Miller, Muffy Calder, Alastair F. Donaldson: A template-based approach for the generation of abstractable and reducible models of featured networks. Computer Networks 51(2): 439-455 (2007)
	2006
35		Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston: Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods. CMSB 2006: 63-77
34		Alice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3): (2006)
33		Muffy Calder, Alice Miller: Feature interaction detection by pairwise analysis of LTL properties - A case study. Formal Methods in System Design 28(3): 213-261 (2006)
32		Muffy Calder, Stephen Gilmore, Jane Hillston: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. T. Comp. Sys. Biology: 1-23 (2006)
31		Muffy Calder, Vladislav Vyshemirsky, David Gilbert, Richard J. Orton: Analysis of Signalling Pathways Using Continuous Time Markov Chains. T. Comp. Sys. Biology: 44-67 (2006)
	2005
30		Alice Miller, Muffy Calder: A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW 2005: 217-235
29		Alastair F. Donaldson, Alice Miller, Muffy Calder: Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. Electr. Notes Theor. Comput. Sci. 128(6): 161-177 (2005)
28		Alastair F. Donaldson, Alice Miller, Muffy Calder: Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models. Electr. Notes Theor. Comput. Sci. 139(1): 3-23 (2005)
	2004
27		Muffy Calder: Abstraction for Safety, Induction for Liveness. AMAST 2004: 20
26		Peter Saffrey, Muffy Calder: Optimising Communication Structure for Model Checking. FASE 2004: 310-323
25		Muffy Calder, Alice Miller: Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) 2004: 227-234
	2003
24		Muffy Calder, Alice Miller: Generalising Feature Interactions in Email. FIW 2003: 187-204
23		Muffy Calder, Mario Kolberg, Evan H. Magill, Dave Marples, Stephan Reiff-Marganiec: Hybrid Solutions to the Feature Interaction Problem. FIW 2003: 295-312
22		Muffy Calder, Alice Miller: Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features 2003: 45-66
21		Muffy Calder, Mario Kolberg, Evan H. Magill, Stephan Reiff-Marganiec: Feature interaction: a critical review and considered forecast. Computer Networks 41(1): 115-141 (2003)
20		Muffy Calder, Alice Miller: Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol. Formal Asp. Comput. 14(3): 247-266 (2003)
	2002
19		Muffy Calder, Alice Miller: Automatic Verification of any Number of Concurrent, Communicating Processes. ASE 2002: 227-230
18		Muffy Calder, Savi Maharaj, Carron Shankland: A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45(1): 55-61 (2002)
	2001
17		Muffy Calder, Savi Maharaj, Carron Shankland: An Adequate Logic for Full LOTOS. FME 2001: 384-395
16		Muffy Calder, Carron Shankland: A Symbolic Semantics and Bisimulation for Full LOTOS. FORTE 2001: 185-200
15		Muffy Calder, Alice Miller: Using SPIN for Feature Interaction Analysis - A Case Study. SPIN 2001: 143-162
	2000
14		Muffy Calder, Evan H. Magill: Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK IOS Press 2000
	1999
13		Muffy Calder, Evan H. Magill, Dave Marples: Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software. IEE Proceedings - Software 146(3): 167-176 (1999)
	1998
12		Muffy Calder: What Use are Formal Design and Analysis Methods to Telecommunications Services? FIW 1998: 23-31
11		J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas: Interactive Theorem Proving: An Empirical Study of User Activity. J. Symb. Comput. 25(2): 263-284 (1998)
	1997
10		Carron Shankland, Muffy Thomas: Symbolic Bisimulation for Full LOTOS. AMAST 1997: 479-493
9		Muffy Calder: Modelling and Analysing User Views of Telecommunications Services. FIW 1997: 168-182
	1993
8		Muffy Thomas, Phil Watson: Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. Theor. Comput. Sci. 112(1): 145-185 (1993)
	1992
7		Muffy Thomas: A translator for ASN.1 into LOTOS. FORTE 1992: 37-52
	1991
6		Muffy Thomas, Phil Watson: Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. AMAST 1991: 377-390
	1989
5		Muffy Thomas, Klaus P. Jantke: Inductive Inference for Solving Divergence in Knuth-Bendix Completion. AII 1989: 288-303
4		Muffy Thomas: From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1. FORTE 1989: 517-531
	1988
3		Muffy Thomas: Towards a Termination Ordering for Loop Programs. ADT 1988
	1987
2		Muffy Thomas: Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. TAPSOFT, Vol.2 1987: 197-211
	1986
1		Muffy Thomas: The Storage and Access Structure of Algebraically Specified Data Types. ADT 1986

Coauthor Index

1	J. Stuart Aitken	[11]
2	Oana Andrei	[48] [52]
3	Myrto Arapinis	[44]
4	Federica Ciocchetta	[43]
5	Andrea Degasperi	[43] [46] [47] [52] [53]
6	Louise A. Dennis	[44]
7	Alastair F. Donaldson	[28] [29] [34] [36]
8	Robin Donaldson	[49] [51] [52]
9	Adam Duguid	[35]
10	Michael Fisher	[44]
11	David Gilbert (David R. Gilbert)	[31]
12	Stephen Gilmore (Stephen T. Gilmore)	[32] [35] [37] [38]
13	Douglas Graham	[42]
14	Philip D. Gray	[11] [44] [45] [50]
15	Jane Hillston	[32] [35] [40] [43]
16	Klaus P. Jantke	[5]
17	Merrill Knapp	[51]
18	Mario Kolberg	[21] [23]
19	Savas Konur	[44]
20	Evan H. Magill	[13] [14] [21] [23]
21	Savi Maharaj	[17] [18]
22	Dave Marples	[13] [23]
23	Thomas F. Melham (Tom Melham)	[11]
24	Alice Miller	[15] [19] [20] [22] [24] [25] [28] [29] [30] [33] [34] [36] [39] [41] [42] [44] [50]
25	Richard J. Orton	[31]
26	Stephan Reiff-Marganiec	[21] [23]
27	Eike Ritter	[44]
28	Mark Ryan (Mark Dermot Ryan)	[44]
29	Peter Saffrey	[26]
30	Sven Schewe	[44]
31	Carron Shankland	[10] [16] [17] [18]
32	Carolyn L. Talcott	[51]
33	Chris Unsworth	[44] [45] [50]
34	Vladislav Vyshemirsky	[31]
35	Phil Watson	[6] [8]
36	Rehana Yasmin	[44]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page