Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Muffy Calder
Muffy Thomas
2010 – today
- 2013
[j27]Andrea Degasperi, Muffy Calder: A process algebra framework for multi-scale modelling of biological systems. Theor. Comput. Sci. 488: 15-45 (2013)- 2012
- [j26]Robin Donaldson, Muffy Calder: Modular modelling of signalling pathways and their cross-talk. Theor. Comput. Sci. 456: 30-50 (2012)
- [j25]Oana Andrei, Muffy Calder: Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein. T. Comp. Sys. Biology 14: 1-25 (2012)
- [c28]Muffy Calder, Michele Sevegnani: Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. IFM 2012: 21-23
- 2011
- [c27]Andrea Degasperi, Muffy Calder: Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. CMSB 2011: 195-208
- 2010
- [j24]Oana Andrei, Muffy Calder: A Model and Analysis of the AKAP Scaffold. Electr. Notes Theor. Comput. Sci. 268: 3-15 (2010)
- [j23]Andrea Degasperi, Muffy Calder: Process Algebra with Hooks for Models of Pattern Formation. Electr. Notes Theor. Comput. Sci. 268: 31-47 (2010)
- [j22]Andrea Degasperi, Muffy Calder: Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration. Electr. Notes Theor. Comput. Sci. 268: 49-59 (2010)
- [c26]Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson: From species to pathway and tissue as process. CMSB 2010: 1-2
- [c25]Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder: Understanding signalling networks as collections of signal transduction pathways. CMSB 2010: 86-95
- [c24]Muffy Calder, Philip D. Gray, Alice Miller, Chris Unsworth: An Introduction to Pervasive Interface Automata. FACS 2010: 71-87
- [c23]Robin Donaldson, Muffy Calder: Modelling and Analysis of Biochemical Signalling Pathway Cross-talk. FBTC 2010: 40-54
2000 – 2009
- 2009
- [j21]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)
- [j20]Muffy Calder, Philip D. Gray, Chris Unsworth: Tightly coupled verification of pervasive systems. ECEASST 22 (2009)
- [j19]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)
- [j18]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)
- [j17]
- [j16]Muffy Calder, Jane Hillston: Process Algebra Modelling Styles for Biomolecular Processes. T. Comp. Sys. Biology 11: 1-25 (2009)
- 2008
- [j15]Muffy Calder, Alice Miller: An automatic abstraction technique for verifying featured, parameterised systems. Theor. Comput. Sci. 404(3): 235-255 (2008)
- [j14]
- 2007
- [j13]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)
- [e2]Muffy Calder, Stephen Gilmore (Eds.): Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings. Lecture Notes in Computer Science 4695, Springer 2007, ISBN 978-3-540-75139-7
- 2006
- [j12]Alice Miller, Alastair F. Donaldson, Muffy Calder: Symmetry in temporal logic model checking. ACM Comput. Surv. 38(3) (2006)
- [j11]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)
- [j10]Muffy Calder, Stephen Gilmore, Jane Hillston: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. : 1-23 (2006)
- [j9]Muffy Calder, Vladislav Vyshemirsky, David Gilbert, Richard J. Orton: Analysis of Signalling Pathways Using Continuous Time Markov Chains. : 44-67 (2006)
- [c22]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
- 2005
- [j8]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)
- [j7]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)
- [c21]Alice Miller, Muffy Calder: A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. FIW 2005: 217-235
- 2004
- [c20]
- [c19]Peter Saffrey, Muffy Calder: Optimising Communication Structure for Model Checking. FASE 2004: 310-323
- [c18]Muffy Calder, Alice Miller: Verifying parametrized, featured networks by abstraction. ISoLA (Preliminary proceedings) 2004: 227-234
- 2003
- [j6]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)
- [j5]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)
- [c17]Muffy Calder, Alice Miller: Detecting Feature Interactions: How Many Components Do We Need? Objects, Agents, and Features 2003: 45-66
- [c16]
- [c15]Muffy Calder, Mario Kolberg, Evan H. Magill, Dave Marples, Stephan Reiff-Marganiec: Hybrid Solutions to the Feature Interaction Problem. FIW 2003: 295-312
- 2002
- [j4]Muffy Calder, Savi Maharaj, Carron Shankland: A Modal Logic for Full LOTOS based on Symbolic Transition Systems. Comput. J. 45(1): 55-61 (2002)
- [c14]Muffy Calder, Alice Miller: Automatic Verification of any Number of Concurrent, Communicating Processes. ASE 2002: 227-230
- 2001
- [c13]
- [c12]Muffy Calder, Carron Shankland: A Symbolic Semantics and Bisimulation for Full LOTOS. FORTE 2001: 185-200
- [c11]Muffy Calder, Alice Miller: Using SPIN for Feature Interaction Analysis - A Case Study. SPIN 2001: 143-162
- 2000
- [e1]Muffy Calder, Evan H. Magill (Eds.): Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK. IOS Press 2000, ISBN 1-58603-065-5
1990 – 1999
- 1999
- [j3]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
- [j2]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)
- [c10]Muffy Calder: What Use are Formal Design and Analysis Methods to Telecommunications Services? FIW 1998: 23-31
- 1997
- [c9]
- [c8]
- 1993
- [j1]Muffy Thomas, Phil Watson: Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. Theor. Comput. Sci. 112(1): 145-185 (1993)
- 1992
- [c7]
- 1991
- [c6]Muffy Thomas, Phil Watson: Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. AMAST 1991: 377-390
1980 – 1989
- 1989
- [c5]Muffy Thomas, Klaus P. Jantke: Inductive Inference for Solving Divergence in Knuth-Bendix Completion. AII 1989: 288-303
- [c4]
- 1988
- [c3]
- 1987
- [c2]Muffy Thomas: Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language. TAPSOFT, Vol.2 1987: 197-211
- 1986
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-05 21:32 CEST by the dblp team