Oana Andrei

Available identifiers

zbMath Open andrei.oanaMaRDI QIDQ271707

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4964704	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
https://portal.mardi4nfdi.de/entity/Q2852095	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oana Andrei