Muffy Calder

Available identifiers

zbMath Open calder.muffyDBLPc/MuffyCalderWikidataQ14949107 ScholiaQ14949107MaRDI QIDQ714862

List of research outcomes

Publication	Date of Publication	Type
Probabilistic Bigraphs	2023-08-31	Paper
Conditional Bigraphs	2022-09-01	Paper
Data-driven modelling and probabilistic analysis of interactive software usage	2018-10-01	Paper
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing	2016-08-05	Paper
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols	2016-06-06	Paper
Bigraphs with sharing	2015-04-01	Paper
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA	2014-03-21	Paper
A Model and Analysis of the AKAP Scaffold	2014-03-21	Paper
Process Algebra with Hooks for Models of Pattern Formation	2014-03-21	Paper
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration	2014-03-21	Paper
A process algebra framework for multi-scale modelling of biological systems	2013-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q2851072	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848420	2013-09-26	Paper
Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein	2013-04-03	Paper
Modular modelling of signalling pathways and their cross-talk	2012-10-11	Paper
Formal Methods for Biochemical Signalling Pathways	2010-04-23	Paper
Process Algebra Modelling Styles for Biomolecular Processes	2009-11-10	Paper
An automatic abstraction technique for verifying featured, parameterised systems	2008-10-07	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
A template-based approach for the generation of abstractable and reducible models of featured networks	2006-12-14	Paper
Feature interaction detection by pairwise analysis of LTL properties -- A case study	2006-11-17	Paper
Objects, Agents, and Features	2005-12-27	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol	2003-08-27	Paper
Feature interaction: a critical review and considered forecast.	2003-08-07	Paper
A Modal Logic for Full LOTOS based on Symbolic Transition Systems	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4531757	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2763982	2002-01-22	Paper
Solving divergence in Knuth--Bendix completion by enriching signatures	1994-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q4201911	1993-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4721634	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Muffy Calder