All papers authored by Muffy Calder
Refreshing results…
,
Muffy Calder
BigraphER: Rewriting and Analysis Engine for Bigraphs
Download from eprints.gla.ac.uk
,
Michele Sevegnani
Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow?
Download from eprints.gla.ac.uk
,
Alexandros Koliousis,
Michele Sevegnani ,
Joseph Sventek
Real-time verification of wireless home networks using bigraphs with sharing
Download from doi.org
,
Matthew Higgs,
Mark Girolami
Probabilistic Model Checking of DTMC Models of User Activity Patterns
Download from arxiv.org
,
M. Calder
A process algebra framework for multi-scale modelling of biological systems
Download from doi.org
,
Phil Gray,
Chris Unsworth
Is my configuration any good: checking usability in an interactive sensor-based activity monitor
Download from www.researchgate.net
,
Michele Sevegnani
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
Download from link.springer.com
Modular modelling of signalling pathways and their cross-talk
Download from doi.org
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein
Download from eprints.gla.ac.uk
,
Michele Sevegnani
Process algebra for event-driven runtime verification: a case study of wireless network management
Download from eprints.gla.ac.uk
,
Muffy Calder
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation
Download from www.researchgate.net
,
Andrew Pitt,
Boris Kholodenko,
Walter Kolch
The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier
Download from www.researchgate.net
,
Muffy Calder
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration
Download from doi.org
,
Muffy Calder
Process Algebra with Hooks for Models of Pattern Formation
Download from doi.org
,
Philip D. Gray,
Alice Miller,
Chris Unsworth
An Introduction to Pervasive Interface Automata
Download from www.researchgate.net
Understanding signalling networks as collections of signal transduction pathways
Download from www.researchgate.netMissing publications? Search for publications with a matching author name.