Amanote Research
Register
Sign In
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 Engineering
Electrical
Computer Science
On Lions, Impala, and Bigraphs
ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
BigraphER: Rewriting and Analysis Engine for Bigraphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Analytics for Software Usage Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symmetry in Temporal Logic Model Checking
ACM Computing Surveys
Computer Science
Theoretical Computer Science
When Kinases Meet Mathematics: The Systems Biology of MAPK Signalling
FEBS Letters
Genetics
Cell Biology
Molecular Biology
Biochemistry
Structural Biology
Biophysics
Feature Interaction: A Critical Review and Considered Forecast
Computer Networks
Computer Networks
Communications
Analysis of Signalling Pathways Using Continuous Time Markov Chains
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Process Algebra Modelling Styles for Biomolecular Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science