M. 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
Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration	2014-03-21	Paper
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA	2014-03-21	Paper
Process Algebra with Hooks for Models of Pattern Formation	2014-03-21	Paper
A Model and Analysis of the AKAP Scaffold	2014-03-21	Paper
A process algebra framework for multi-scale modelling of biological systems	2013-12-19	Paper
\textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models	2013-10-02	Paper
Finding symmetry in models of concurrent systems by static channel diagram analysis	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

This page was built for person: M. Calder