The following pages link to Oana Andrei (Q271707):
Displaying 16 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- A rewriting logic framework for operational semantics of membrane systems (Q877021) (← links)
- Data-driven modelling and probabilistic analysis of interactive software usage (Q1785866) (← links)
- (Q2852095) (← links)
- Expressing Control Mechanisms of Membranes by Rewriting Strategies (Q3591032) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein (Q4912376) (← links)
- (Q4964704) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
- Patterns for Maude Metalanguage Applications (Q5179132) (← links)
- Membrane Computing (Q5316646) (← links)
- A Model and Analysis of the AKAP Scaffold (Q5404083) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)
- Membrane Computing (Q5897714) (← links)
