Oana Andrei

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
PORGY: strategy-driven interactive transformation of graphs	2021-03-03	Paper
PORGY: strategy-driven interactive transformation of graphs (available as arXiv preprint)	2021-03-03	Paper
Data-driven modelling and probabilistic analysis of interactive software usage Journal of Logical and Algebraic Methods in Programming	2018-10-01	Paper
Runtime verification for biochemical programs	2016-04-19	Paper
Strategy-based proof calculus for membrane systems Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Patterns for Maude metalanguage applications Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
A port graph calculus for autonomic computing and invariant verification Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
A rewriting calculus for multigraphs with ports Electronic Notes in Theoretical Computer Science	2014-05-13	Paper
A model and analysis of the AKAP scaffold Electronic Notes in Theoretical Computer Science	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 Lecture Notes in Computer Science	2013-04-03	Paper
A higher-order graph calculus for autonomic computing Graph Theory, Computational Intelligence and Thought	2010-01-07	Paper
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application Algebra, Meaning, and Computation	2007-09-07	Paper
Expressing Control Mechanisms of Membranes by Rewriting Strategies Membrane Computing	2007-09-03	Paper
A rewriting logic framework for operational semantics of membrane systems Theoretical Computer Science	2007-04-19	Paper
Membrane Computing Lecture Notes in Computer Science	2006-11-13	Paper
Membrane Computing Lecture Notes in Computer Science	2005-09-14	Paper

Research outcomes over time

This page was built for person: Oana Andrei