 | 2009 |
|---|
| 12 |       | Oana Andrei,
Hélène Kirchner:
A Higher-Order Graph Calculus for Autonomic Computing.
Graph Theory, Computational Intelligence and Thought 2009: 15-26 |
| 11 | | Eugen-Ioan Goriac,
Georgiana Caltais,
Dorel Lucanu,
Oana Andrei,
Gheorghe Grigoras:
Patterns for Maude Metalanguage Applications.
Electr. Notes Theor. Comput. Sci. 238(3): 121-138 (2009) |
| 10 | | Oana Andrei,
Dorel Lucanu:
Strategy-Based Proof Calculus for Membrane Systems.
Electr. Notes Theor. Comput. Sci. 238(3): 23-43 (2009) |
| 9 | | Oana Andrei,
Hélène Kirchner:
A Port Graph Calculus for Autonomic Computing and Invariant Verification.
Electr. Notes Theor. Comput. Sci. 253(4): 17-38 (2009) |
| 2008 |
|---|
| 8 | | Oana Andrei,
Hélène Kirchner:
A Rewriting Calculus for Multigraphs with Ports.
Electr. Notes Theor. Comput. Sci. 219: 67-82 (2008) |
| 2007 |
|---|
| 7 | | Oana Andrei,
Hélène Kirchner:
Graph Rewriting and Strategies for Modeling Biochemical Networks.
SYNASC 2007: 407-414 |
| 6 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
A rewriting logic framework for operational semantics of membrane systems.
Theor. Comput. Sci. 373(3): 163-181 (2007) |
| 2006 |
|---|
| 5 | | Oana Andrei,
Liliana Ibanescu,
Hélène Kirchner:
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.
Essays Dedicated to Joseph A. Goguen 2006: 194-215 |
| 4 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Workshop on Membrane Computing 2006: 154-169 |
| 3 | | Oana Andrei,
Dorel Lucanu,
Gabriel Ciobanu:
Operational Semantics and Rewriting Logic in Membrane Computing.
Electr. Notes Theor. Comput. Sci. 156(1): 57-78 (2006) |
| 2005 |
|---|
| 2 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Structural Operational Semantics of P Systems.
Workshop on Membrane Computing 2005: 31-48 |
| 2004 |
|---|
| 1 | | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Executable Specifications of P Systems.
Workshop on Membrane Computing 2004: 126-145 |
