Muffy Calder

Q: What Schools Are Affiliated With Muffy Calder

Muffy Calder is affiliated with the following schools: University of St Andrews, University of Stirling, University of Glasgow

Muffy Calder's AcademicInfluence.com Rankings

Muffy Calder

Computer Science

#2791

World Rank

#2922

Historical Rank

Database

#9176

World Rank

#9651

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Muffy Calder Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Dame Muffy Calder is a Canadian-born British computer scientist, Vice-Principal and Head of College of Science and Engineering, and Professor of Formal Methods at the University of Glasgow. From 2012 to 2015 she was Chief Scientific Advisor to the Scottish Government.

(See a Problem?)

Muffy Calder's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Feature interaction: a critical review and considered forecast (2003) (432)
Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathway. (2005) (350)
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA (2006) (249)
The Mammalian MAPK/ERK Pathway Exhibits Properties of a Negative Feedback Amplifier (2010) (237)
When kinases meet mathematics: the systems biology of MAPK signalling (2005) (184)
Symmetry in temporal logic model checking (2006) (114)
Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK (2000) (110)
Automatically deriving ODEs from process algebra models of signalling pathways (2005) (98)
Analysis of Signalling Pathways Using Continuous Time Markov Chains (2006) (94)
Analysis of signalling pathways using the prism model checker (2005) (71)
Computational modelling for decision-making: where, why, what, who and how (2018) (60)
Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods (2006) (51)
Bigraphs with sharing (2015) (48)
Feature interaction detection by pairwise analysis of LTL properties—A case study (2006) (44)
A Symbolic Semantics and Bisimulation for Full LOTOS (2001) (44)
Process Algebra Modelling Styles for Biomolecular Processes (2009) (41)
Using SPIN for feature interaction analysis—a case study (2001) (41)
Hybrid Solutions to the Feature Interaction Problem (2003) (38)
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (2009) (37)
Experiences in applying formal methods to the analysis of software and system requirements (1995) (34)
A Modal Logic for Full LOTOS based on Symbolic Transition Systems (2002) (32)
BigraphER: Rewriting and Analysis Engine for Bigraphs (2016) (31)
The story of the Therac-25 in LOTOS (1994) (30)
Real-time verification of wireless home networks using bigraphs with sharing (2014) (29)
Inductive Inference for Solving Divergence in Knuth-Bendix Completion (1989) (29)
Interactive Theorem Proving: An Empirical Study of User Activity (1998) (28)
Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis (2005) (25)
On Lions, Impala, and Bigraphs (2016) (25)
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (2014) (24)
Modelling and Verification of Large-Scale Sensor Network Infrastructures (2018) (20)
Symbolic Bisimulation for Full LOTOS (1997) (20)
Towards the Verification of Pervasive Systems (2009) (20)
Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software (1999) (20)
Formal Methods for Biochemical Signalling Pathways (2010) (19)
An Adequate Logic for Full LOTOS (2001) (19)
What Use are Formal Design and Analysis Methods to Telecommunications Services? (1998) (18)
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models (2005) (17)
What do scaffold proteins really do (2006) (16)
Probabilistic Formal Analysis of App Usage to Inform Redesign (2015) (14)
A SAT based algorithm for the matching problem in bigraphs with sharing (2010) (14)
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures (1991) (13)
Generalising Feature Interactions in Email (2003) (13)
Computational modelling: technological futures (2018) (13)
Modular modelling of signalling pathways and their cross-talk (2012) (12)
Analysing a basic call protocol using Promela/XSpin (1998) (12)
Probabilistic Model Checking of DTMC Models of User Activity Patterns (2014) (11)
Five ways to use induction and symmetry in the verification of networks of processes by model-checking (2002) (11)
A Model and Analysis of the AKAP Scaffold (2010) (11)
Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol (2003) (10)
Stochastic Model Checking for Predicting Component Failures and Service Availability (2019) (10)
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (2012) (9)
Modelling and Analysis of Biochemical Signalling Pathway Cross-talk (2010) (9)
Automatic verification of any number of concurrent, communicating processes (2002) (9)
Tightly coupled verification of pervasive systems (2010) (9)
Towards a symbolic modal logic for LOTOS (1996) (9)
On the design of side-stick controllers in fly-by-wire aircraft (1994) (8)
An automatic abstraction technique for verifying featured, parameterised systems (2008) (8)
Experiences with specification and verification in LOTOS: a report on two case studies (1995) (8)
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation (2011) (7)
Conditional Bigraphs (2020) (7)
Understanding signalling networks as collections of signal transduction pathways (2010) (6)
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein (2012) (6)
Detecting Feature Interactions: How Many Components Do We Need? (2003) (6)
Optimising Communication Structure for Model Checking (2004) (5)
Process Algebra with Hooks for Models of Pattern Formation (2010) (4)
Theory and practice of enhancing a legacy software system (2002) (4)
A template-based approach for the generation of abstractable and reducible models of featured networks (2007) (4)
Modelling and Verifying BDI Agents with Bigraphs (2021) (4)
On the Formalisation of Gradient Diffusion Models of Biological Systems (2009) (4)
ORDER, DISORDER AND THE UNMANAGEABILITY OF BOUNDARIES IN ORGANIZED LIFE (1998) (4)
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1 (1989) (3)
A Generic Approach for the Automatic Verification of Featured, Parameterised Systems (2005) (3)
Data-driven modelling and probabilistic analysis of interactive software usage (2018) (3)
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems (2018) (3)
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols (2009) (3)
An Introduction to Pervasive Interface Automata (2010) (3)
The Storage and Access Structure of Algebraically Specified Data Types. (1986) (2)
Making Sense of the World: Models for Reliable Sensor-Driven Systems (2018) (2)
Is my configuration any good: checking usability in an interactive sensor-based activity monitor (2015) (2)
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration (2010) (2)
Temporal Analytics for Software Usage Models (2017) (2)
Proceedings of Computational Methods in Systems Biology (CMSB 2005 (2005) (2)
Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings (2007) (2)
Probabilistic BDI Agents: Actions, Plans, and Intentions (2021) (2)
Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow? (2014) (2)
Using SPIN for Feature Interaction Analysis - A Case Study (2001) (2)
Comparing the use of symmetry in constraint processing and model checking (2004) (2)
The imperative implementation of algebraic data types (1988) (2)
A process algebra framework for multi-scale modelling of biological systems (2013) (2)
Probabilistic Bigraphs (2021) (2)
Modelling Legacy Telecommunications Switching Systems for Interaction Analysis (2000) (2)
Verifying parametrized, featured networks by abstraction (2004) (2)
Organization, Information and Computation (1998) (2)
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language (1987) (2)
An application of abstraction and induction techniques to degenerating systems of processes (2003) (1)
A translator for ASN.1 into LOTOS (1992) (1)
Proceedings of the 2007 international conference on Computational methods in systems biology (2007) (1)
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1 (1989) (1)
Replicating the MAP Kinase Cascade in PEPA (2006) (1)
Modelling and Analysing User Views of Telecommunications Services (1997) (1)
A translator for ASN.1 into LOTOS (1992) (1)
Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming (2021) (1)
Quantitative Modelling and Automated Analysis of a Cooperative Congestion Control Protocol for Dynamic Vehicular Ad-hoc Networks (2013) (1)
Towards a Termination Ordering for Loop Programs. (1988) (1)
Implementing Algebraically Specified Abstract Data Types in an Imperative Programming Language (1987) (1)
Role-Based Interface Automata (2012) (0)
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (2013) (0)
Towards a Termination Ordering for Loop Programs (1988) (0)
Preface (2003) (0)
collisions at p s N N = 130 G eV (2022) (0)
Data-driven Probabilistic Software Usage Models and their Analysis (2017) (0)
Computing Research 2020 and Beyond (2013) (0)
Electronic Communications of the EASST Volume X ( 2009 ) Proceedings of the Third International Workshop on Formal Methods for Interactive Systems ( FMIS 2009 ) Towards the Verification of Pervasive Systems (2009) (0)
Abstraction for Safety, Induction for Liveness (2004) (0)
Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS 2009) (2009) (0)
Verification techniques for LOTOS: final report (1993) (0)
Preface (2001) (0)
Is my configuration any good: checking usability in an interactive sensor-based activity monitor (2013) (0)
Activities of a Second Generation Lunar Base (1988) (0)
Preface to Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (2009) (0)
Electronic Communications of the EASST Volume (FMIS09 Preliminary Proceedings) Preliminary Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (2009) (0)
Enchantress of Abstraction, Bride of Science: must Ada Lovelace be a superheroine? (2015) (0)
From species to pathway and tissue as process (2010) (0)
Stochastic event based model checking for predicting component failures and service availability (2015) (0)
The imperative implementation of algebraic data types (1988) (0)
Comprar Computational Methods in Systems Biology · International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings | Calder, Muffy | 9783540751397 | Springer (2007) (0)
Probabilistic Formal Modelling to Uncover and Interpret Interaction Styles (2023) (0)
Computational Methods in Systems Biology (2007) (0)
Book reviews (2005) (0)
Verifying BDI Agents in Dynamic Environments (2022) (0)
Role-based Interface Automata ∗ Extended abstract (2012) (0)
Value of PV systems experiments. Volume 1: A preliminary assessment of the lessons learned from nine intermediate-size systems (1984) (0)
Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts (1990) (0)
The Storage and Access Structure of Algebraically Specified Data Types (1986) (0)
Model overlay display: a technique for simultaneous presentations of expert systems and interactive displays (1987) (0)
Dete ting Feature Intera tions : how many omponents do we need ? (0)

This paper list is powered by the following services:

Other Resources About Muffy Calder

en.wikipedia.org

What Schools Are Affiliated With Muffy Calder?

Muffy Calder is affiliated with the following schools:

Muffy Calder's Academic­Influence.com Rankings