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