Oana Andrei

Available identifiers

Publication	Date of Publication	Type
PORGY: strategy-driven interactive transformation of graphs	2021-03-03	Paper
Data-driven modelling and probabilistic analysis of interactive software usage	2018-10-01	Paper
Runtime verification for biochemical programs	2016-04-19	Paper
Strategy-based proof calculus for membrane systems	2015-03-19	Paper
Patterns for Maude metalanguage applications	2015-03-19	Paper
A port graph calculus for autonomic computing and invariant verification	2014-07-23	Paper
A rewriting calculus for multigraphs with ports	2014-05-13	Paper
A model and analysis of the AKAP scaffold	2014-03-21	Paper
Operational semantics and rewriting logic in membrane computing	2013-10-07	Paper
Trend-based analysis of a population model of the AKAP scaffold protein	2013-04-03	Paper
A higher-order graph calculus for autonomic computing	2010-01-07	Paper
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application	2007-09-07	Paper
Expressing Control Mechanisms of Membranes by Rewriting Strategies	2007-09-03	Paper
A rewriting logic framework for operational semantics of membrane systems	2007-04-19	Paper
Membrane Computing	2006-11-13	Paper
Membrane Computing	2005-09-14	Paper

This page was built for person: Oana Andrei