| 2007 |
|---|
| 6 | EE | 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 | EE | 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 | EE | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Expressing Control Mechanisms of Membranes by Rewriting Strategies.
Workshop on Membrane Computing 2006: 154-169 |
| 3 | EE | 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 | EE | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Structural Operational Semantics of P Systems.
Workshop on Membrane Computing 2005: 31-48 |
| 2004 |
|---|
| 1 | EE | Oana Andrei,
Gabriel Ciobanu,
Dorel Lucanu:
Executable Specifications of P Systems.
Workshop on Membrane Computing 2004: 126-145 |
