Vashti Galpin

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
CARMA: collective adaptive resource-sharing Markovian agents	2025-02-06	Paper
Hybrid performance modelling of opportunistic networks	2021-04-14	Paper
Hybrid performance modelling of opportunistic networks (available as arXiv preprint)	2021-04-14	Paper
HYPE with stochastic events	2021-03-10	Paper
HYPE with stochastic events (available as arXiv preprint)	2021-03-10	Paper
Automatic moment-closure approximation of spatially distributed collective adaptive systems ACM Transactions on Modeling and Computer Simulation	2017-06-30	Paper
HYPE: hybrid modelling by composition of flows Formal Aspects of Computing	2014-11-11	Paper
Hybrid semantics for Bio-PEPA Information and Computation	2014-06-06	Paper
HYPE Applied to the Modelling of Hybrid Biological Systems Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
Equivalences for a biological process algebra Theoretical Computer Science	2011-12-19	Paper
A semantic equivalence for Bio-PEPA based on discretisation of continuous values Theoretical Computer Science	2011-05-03	Paper
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
A format for semantic equivalence comparison Theoretical Computer Science	2004-10-27	Paper

Research outcomes over time

This page was built for person: Vashti Galpin