Bogdan Aman

Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna: Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT 2013: 432-443

Bogdan Aman, Gabriel Ciobanu: Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112(6): 243-248 (2012)

Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu: On the Computability Power of Membrane Systems with Controlled Mobility. CiE 2012: 626-635

Bogdan Aman, Gabriel Ciobanu: Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION 2012: 122-136

Bogdan Aman, Gabriel Ciobanu, Maciej Koutny: Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE 2012: 52-66

Bogdan Aman, Gabriel Ciobanu: Mobile Membranes with Objects on Surface as Colored Petri Nets. Int. Conf. on Membrane Computing 2012: 128-144

Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna: Timed Catalytic Petri Nets. SYNASC 2012: 319-326

Bogdan Aman, Gabriel Ciobanu: Mobility in Process Calculi and Natural Computing. Natural Computing Series, Springer 2011, isbn 978-3-642-24866-5, pp. 1-194

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)

Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu: Semantics, Causality and Mobility in Membrane Computing. ERCIM News 2011(85): 22 (2011)

Bogdan Aman, Gabriel Ciobanu: Mutual mobile membranes with objects on surface. Natural Computing 10(2): 777-793 (2011)

Bogdan Aman, Gabriel Ciobanu: A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life 2011: 138-150

Bogdan Aman, Gabriel Ciobanu: Time Delays in Membrane Systems and Petri Nets. QAPL 2011: 47-60

Bogdan Aman: Spatial Dynamic Structures and Mobility in Computation. CoRR abs/1108.0496 (2011)

Bogdan Aman, Gabriel Ciobanu: Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia 5(7): 9420 (2010)

Bogdan Aman, Gabriel Ciobanu: Formalizing the Behavior of Biological Processes with Mobility. UC 2010: 187

Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina: Type Disciplines for Analysing Biologically Relevant Properties. Electr. Notes Theor. Comput. Sci. 227: 97-111 (2009)

Bogdan Aman, Gabriel Ciobanu: Simple, Enhanced and Mutual Mobile Membranes. T. Comp. Sys. Biology 11: 26-44 (2009)

Bogdan Aman, Gabriel Ciobanu: Typed Membrane Systems. Workshop on Membrane Computing 2009: 169-181

Bogdan Aman, Gabriel Ciobanu: Turing Completeness Using Three Mobile Membranes. UC 2009: 42-55

Bogdan Aman, Gabriel Ciobanu: Mutual Mobile Membranes with Timers. COMPMOD 2009: 1-15

Gabriel Ciobanu, Bogdan Aman: On the relationship between membranes and ambients. Biosystems 91(3): 515-530 (2008)

Bogdan Aman, Gabriel Ciobanu: Describing the Immune System Using Enhanced Mobile Membranes. Electr. Notes Theor. Comput. Sci. 194(3): 5-18 (2008)

Bogdan Aman, Gabriel Ciobanu: Timed Mobile Ambients for Network Protocols. FORTE 2008: 234-250

Bogdan Aman, Gabriel Ciobanu: Resource Competition and Synchronization in Membranes. SYNASC 2008: 145-151

Bogdan Aman, Gabriel Ciobanu: Translating Mobile Ambients into P Systems. Electr. Notes Theor. Comput. Sci. 171(2): 11-23 (2007)

Bogdan Aman, Gabriel Ciobanu: Timers and Proximities for Mobile Ambients. CSR 2007: 33-43

Bogdan Aman, Gabriel Ciobanu: Mobile Ambients with Timers and Types. ICTAC 2007: 50-63

Bogdan Aman, Gabriel Ciobanu: On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing 2007: 113-123

Bogdan Aman, Gabriel Ciobanu: Structural Properties and Observability in Membrane Systems. SYNASC 2007: 74-81