Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Muffy Calder

Stochastic Model Checking for Predicting Component Failures and Service Availability

IEEE Transactions on Dependable and Secure Computing
Electronic EngineeringElectricalComputer Science
2019English

On Lions, Impala, and Bigraphs

ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
2016English

BigraphER: Rewriting and Analysis Engine for Bigraphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Temporal Analytics for Software Usage Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Symmetry in Temporal Logic Model Checking

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2006English

When Kinases Meet Mathematics: The Systems Biology of MAPK Signalling

FEBS Letters
GeneticsCell BiologyMolecular BiologyBiochemistryStructural BiologyBiophysics
2005English

Feature Interaction: A Critical Review and Considered Forecast

Computer Networks
Computer NetworksCommunications
2003English

Analysis of Signalling Pathways Using Continuous Time Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Process Algebra Modelling Styles for Biomolecular Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy