 | 2009 |
|---|
| 11 |       | Bogdan Aman,
Gabriel Ciobanu:
Turing Completeness Using Three Mobile Membranes.
UC 2009: 42-55 |
| 10 | | Bogdan Aman,
Gabriel Ciobanu:
Mutual Mobile Membranes with Timers
CoRR abs/0910.1217: (2009) |
| 9 | | Bogdan Aman,
Mariangiola Dezani-Ciancaglini,
Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties.
Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009) |
| 8 | | Bogdan Aman,
Gabriel Ciobanu:
Simple, Enhanced and Mutual Mobile Membranes.
T. Comp. Sys. Biology 11: 26-44 (2009) |
| 2008 |
|---|
| 7 | | Bogdan Aman,
Gabriel Ciobanu:
Timed Mobile Ambients for Network Protocols.
FORTE 2008: 234-250 |
| 6 | | Bogdan Aman,
Gabriel Ciobanu:
Describing the Immune System Using Enhanced Mobile Membranes.
Electr. Notes Theor. Comput. Sci. 194(3): 5-18 (2008) |
| 2007 |
|---|
| 5 | | Bogdan Aman,
Gabriel Ciobanu:
Timers and Proximities for Mobile Ambients.
CSR 2007: 33-43 |
| 4 | | Bogdan Aman,
Gabriel Ciobanu:
Mobile Ambients with Timers and Types.
ICTAC 2007: 50-63 |
| 3 | | Bogdan Aman,
Gabriel Ciobanu:
Structural Properties and Observability in Membrane Systems.
SYNASC 2007: 74-81 |
| 2 | | Bogdan Aman,
Gabriel Ciobanu:
On the Reachability Problem in P Systems with Mobile Membranes.
Workshop on Membrane Computing 2007: 113-123 |
| 1 | | Bogdan Aman,
Gabriel Ciobanu:
Translating Mobile Ambients into P Systems.
Electr. Notes Theor. Comput. Sci. 171(2): 11-23 (2007) |
