Muffy Calder

From MaRDI portal
Person:714862

Available identifiers

zbMath Open calder.muffyDBLPc/MuffyCalderWikidataQ14949107 ScholiaQ14949107MaRDI QIDQ714862

List of research outcomes

PublicationDate of PublicationType
Probabilistic Bigraphs2023-08-31Paper
Conditional Bigraphs2022-09-01Paper
Data-driven modelling and probabilistic analysis of interactive software usage2018-10-01Paper
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing2016-08-05Paper
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols2016-06-06Paper
Bigraphs with sharing2015-04-01Paper
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA2014-03-21Paper
A Model and Analysis of the AKAP Scaffold2014-03-21Paper
Process Algebra with Hooks for Models of Pattern Formation2014-03-21Paper
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration2014-03-21Paper
A process algebra framework for multi-scale modelling of biological systems2013-12-19Paper
https://portal.mardi4nfdi.de/entity/Q28510722013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q28484202013-09-26Paper
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein2013-04-03Paper
Modular modelling of signalling pathways and their cross-talk2012-10-11Paper
Formal Methods for Biochemical Signalling Pathways2010-04-23Paper
Process Algebra Modelling Styles for Biomolecular Processes2009-11-10Paper
An automatic abstraction technique for verifying featured, parameterised systems2008-10-07Paper
Fundamental Approaches to Software Engineering2007-11-28Paper
A template-based approach for the generation of abstractable and reducible models of featured networks2006-12-14Paper
Feature interaction detection by pairwise analysis of LTL properties -- A case study2006-11-17Paper
Objects, Agents, and Features2005-12-27Paper
Algebraic Methodology and Software Technology2005-08-25Paper
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol2003-08-27Paper
Feature interaction: a critical review and considered forecast.2003-08-07Paper
A Modal Logic for Full LOTOS based on Symbolic Transition Systems2003-04-06Paper
https://portal.mardi4nfdi.de/entity/Q45317572002-05-23Paper
https://portal.mardi4nfdi.de/entity/Q27639822002-01-22Paper
Solving divergence in Knuth--Bendix completion by enriching signatures1994-01-23Paper
https://portal.mardi4nfdi.de/entity/Q42019111993-08-29Paper
https://portal.mardi4nfdi.de/entity/Q47216341987-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Muffy Calder