| Publication | Date of Publication | Type |
|---|
Probabilistic Bigraphs
Formal Aspects of Computing | 2023-08-31 | Paper |
Conditional bigraphs
Graph Transformation | 2022-09-01 | Paper |
Data-driven modelling and probabilistic analysis of interactive software usage
Journal of Logical and Algebraic Methods in Programming | 2018-10-01 | Paper |
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
Formal Aspects of Computing | 2016-08-05 | Paper |
An inductive technique for parameterised model checking of degenerative distributed randomised protocols
Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
Bigraphs with sharing
Theoretical Computer Science | 2015-04-01 | Paper |
Relating PDEs in cylindrical coordinates and CTMCs with levels of concentration
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Process algebra with hooks for models of pattern formation
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
A model and analysis of the AKAP scaffold
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
A process algebra framework for multi-scale modelling of biological systems
Theoretical Computer Science | 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
Lecture Notes in Computer Science | 2013-04-03 | Paper |
Modular modelling of signalling pathways and their cross-talk
Theoretical Computer Science | 2012-10-11 | Paper |
Formal methods for biochemical signalling pathways
Formal Methods: State of the Art and New Directions | 2010-04-23 | Paper |
Process Algebra Modelling Styles for Biomolecular Processes
Lecture Notes in Computer Science | 2009-11-10 | Paper |
An automatic abstraction technique for verifying featured, parameterised systems
Theoretical Computer Science | 2008-10-07 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2007-11-28 | Paper |
A template-based approach for the generation of abstractable and reducible models of featured networks
Computer Networks | 2006-12-14 | Paper |
Feature interaction detection by pairwise analysis of LTL properties -- A case study
Formal Methods in System Design | 2006-11-17 | Paper |
Objects, Agents, and Features
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
Formal Aspects of Computing | 2003-08-27 | Paper |
Feature interaction: a critical review and considered forecast.
Computer Networks | 2003-08-07 | Paper |
A Modal Logic for Full LOTOS based on Symbolic Transition Systems
The Computer Journal | 2003-04-06 | Paper |
scientific article; zbMATH DE number 1744963 (Why is no real title available?)
| 2002-05-23 | Paper |
scientific article; zbMATH DE number 1693439 (Why is no real title available?)
| 2002-01-22 | Paper |
Solving divergence in Knuth--Bendix completion by enriching signatures
Theoretical Computer Science | 1994-01-23 | Paper |
scientific article; zbMATH DE number 400814 (Why is no real title available?)
| 1993-08-29 | Paper |
scientific article; zbMATH DE number 3995032 (Why is no real title available?)
| 1987-01-01 | Paper |
