 | 2012 |
| 24 |  | Bogdan Aman,
Gabriel Ciobanu:
Properties of enhanced mobile membranes via coloured Petri nets.
Inf. Process. Lett. 112(6): 243-248 (2012) |
| 2011 |
| 23 |  | Bogdan Aman,
Gabriel Ciobanu:
Mobility in Process Calculi and Natural Computing
Springer 2011: 1-194 |
| 22 |  | Bogdan Aman,
Gabriel Ciobanu:
A Temporal Logic for Mutual Mobile Membranes with Objects on Surface.
Computation, Cooperation, and Life 2011: 138-150 |
| 21 |  | Bogdan Aman,
Gabriel Ciobanu:
Time Delays in Membrane Systems and Petri Nets
QAPL 2011: 47-60 |
| 20 |  | Bogdan Aman,
Gabriel Ciobanu:
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems.
Acta Inf. 48(7-8): 409-415 (2011) |
| 19 |  | Bogdan Aman:
Spatial Dynamic Structures and Mobility in Computation
CoRR abs/1108.0496: (2011) |
| 18 |  | Oana Agrigoroaiei,
Bogdan Aman,
Gabriel Ciobanu:
Semantics, Causality and Mobility in Membrane Computing.
ERCIM News 2011(85): 22 (2011) |
| 17 |  | Bogdan Aman,
Gabriel Ciobanu:
Mutual mobile membranes with objects on surface.
Natural Computing 10(2): 777-793 (2011) |
| 2010 |
| 16 |  | Bogdan Aman,
Gabriel Ciobanu:
Formalizing the Behavior of Biological Processes with Mobility.
UC 2010: 187 |
| 15 |  | Bogdan Aman,
Gabriel Ciobanu:
Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients.
Scholarpedia 5(7): 9420 (2010) |
| 2009 |
| 14 |  | Bogdan Aman,
Gabriel Ciobanu:
Mutual Mobile Membranes with Timers
COMPMOD 2009: 1-15 |
| 13 |  | Bogdan Aman,
Gabriel Ciobanu:
Turing Completeness Using Three Mobile Membranes.
UC 2009: 42-55 |
| 12 |  | Bogdan Aman,
Gabriel Ciobanu:
Typed Membrane Systems.
Workshop on Membrane Computing 2009: 169-181 |
| 11 |  | Bogdan Aman,
Mariangiola Dezani-Ciancaglini,
Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties.
Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009) |
| 10 |  | Bogdan Aman,
Gabriel Ciobanu:
Simple, Enhanced and Mutual Mobile Membranes.
T. Comp. Sys. Biology 11: 26-44 (2009) |
| 2008 |
| 9 |  | Bogdan Aman,
Gabriel Ciobanu:
Timed Mobile Ambients for Network Protocols.
FORTE 2008: 234-250 |
| 8 |  | Bogdan Aman,
Gabriel Ciobanu:
Resource Competition and Synchronization in Membranes.
SYNASC 2008: 145-151 |
| 7 |  | Gabriel Ciobanu,
Bogdan Aman:
On the relationship between membranes and ambients.
Biosystems 91(3): 515-530 (2008) |
| 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) |