Translating Mobile Ambients into P Systems. - Bogdan Aman; Gabriel Ciobanu (MeCBIC@ICALP, 2006)

Timers and Proximities for Mobile Ambients. - Bogdan Aman; Gabriel Ciobanu (CSR, 2007)

Mobile Ambients with Timers and Types. - Bogdan Aman; Gabriel Ciobanu (ICTAC, 2007)

On the Reachability Problem in P Systems with Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (Workshop on Membrane Computing, 2007)

Structural Properties and Observability in Membrane Systems. - Bogdan Aman; Gabriel Ciobanu (SYNASC, 2007)

Describing the Immune System Using Enhanced Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (FBTC@CONCUR, 2007)

Timed Mobile Ambients for Network Protocols. - Bogdan Aman; Gabriel Ciobanu (FORTE, 2008)

Resource Competition and Synchronization in Membranes. - Bogdan Aman; Gabriel Ciobanu (SYNASC, 2008)

On the relationship between membranes and ambients. - Gabriel Ciobanu; Bogdan Aman (Biosyst., 2008)

Type Disciplines for Analysing Biologically Relevant Properties. - Bogdan Aman; Mariangiola Dezani-Ciancaglini; Angelo Troina (MeCBIC, 2008)

Typed Membrane Systems. - Bogdan Aman; Gabriel Ciobanu (Workshop on Membrane Computing, 2009)

Turing Completeness Using Three Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (UC, 2009)

Mutual Mobile Membranes with Timers - Bogdan Aman; Gabriel Ciobanu (COMPMOD, 2009)

Simple, Enhanced and Mutual Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (Trans. Comp. Sys. Biology, 2009)

Formalizing the Behavior of Biological Processes with Mobility. - Bogdan Aman; Gabriel Ciobanu (UC, 2010)

Adding Lifetime to Objects and Membranes in P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. J. Comput. Commun. Control, 2010)

Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. - Bogdan Aman; Gabriel Ciobanu (Scholarpedia, 2010)

A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. - Bogdan Aman; Gabriel Ciobanu (Computation, Cooperation, and Life, 2011)

Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. - Bogdan Aman; Gabriel Ciobanu (Acta Informatica, 2011)

Time Delays in Membrane Systems and Petri Nets - Bogdan Aman; Gabriel Ciobanu (QAPL, 2011)

Spatial Dynamic Structures and Mobility in Computation - Bogdan Aman (CoRR, 2011)

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

Mutual mobile membranes with objects on surface. - Bogdan Aman; Gabriel Ciobanu (Nat. Comput., 2011)

Mobility in Process Calculi and Natural Computing - Bogdan Aman; Gabriel Ciobanu (Springer, 2011)

On the Computability Power of Membrane Systems with Controlled Mobility. - Shankara Narayanan Krishna; Bogdan Aman; Gabriel Ciobanu (CiE, 2012)

Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. - Bogdan Aman; Gabriel Ciobanu (COORDINATION, 2012)

Behavioural Equivalences over Migrating Processes with Timers. - Bogdan Aman; Gabriel Ciobanu; Maciej Koutny (FMOODS/FORTE, 2012)

Mobile Membranes with Objects on Surface as Colored Petri Nets. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2012)

Timed Catalytic Petri Nets. - Bogdan Aman; Gabriel Ciobanu; G. Michele Pinna (SYNASC, 2012)

Properties of enhanced mobile membranes via coloured Petri nets. - Bogdan Aman; Gabriel Ciobanu (Inf. Process. Lett., 2012)

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

Mobile Membranes: Computability and Complexity. - Bogdan Aman; Gabriel Ciobanu (ICTAC, 2013)

Behavioural Equivalences in Real-Time P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2013)

Real-Time Migration Properties of rTiMo Verified in Uppaal. - Bogdan Aman; Gabriel Ciobanu (SEFM, 2013)

Behavioural Types Inspired by Cellular Thresholds. - Bogdan Aman; Gabriel Ciobanu (SEFM Workshops, 2013)

Computational Power of Protein Interaction Networks. - Bogdan Aman; Gabriel Ciobanu (UCNC, 2013)

Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes. - Bogdan Aman; Gabriel Ciobanu (BICT, 2014)

Computational Power of Chemical Kinetics in Living Cells. - Gabriel Ciobanu; Bogdan Aman (BICT, 2014)

Matter and Anti-Matter in Membrane Systems. - Artiom Alhazov; Bogdan Aman; Rudolf Freund; Gheorghe Paun (DCFS, 2014)

P Systems with Anti-Matter. - Artiom Alhazov; Bogdan Aman; Rudolf Freund (Int. Conf. on Membrane Computing, 2014)

Red-Green P Automata. - Bogdan Aman; Erzsébet Csuhaj-Varjú; Rudolf Freund (Int. Conf. on Membrane Computing, 2014)

Mobility Types for Cloud Computing. - Bogdan Aman; Gabriel Ciobanu (EGC, 2015)

Timed Mobility and Timed Communication for Critical Systems. - Bogdan Aman; Gabriel Ciobanu (FMICS, 2015)

Natural Computing Modelling of the Polynomial Space Turing Machines. - Bogdan Aman; Gabriel Ciobanu (ICTERI, 2015)

Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. - Bogdan Aman; Gabriel Ciobanu (ICTERI (Revised Selected Papers), 2015)

Automated Verification of Stochastic Spiking Neural P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2015)

Verification of Bounded Real-Time Distributed Systems With Mobility. - Bogdan Aman; Gabriel Ciobanu (VECoS, 2015)

BioMaxP: A Formal Approach for Cellular Ion Pumps. - Bogdan Aman; Gabriel Ciobanu (Comput. Sci. J. Moldova, 2015)

Behavioural observations of cell movements with timing aspects. - Bogdan Aman; Gabriel Ciobanu (Nano Commun. Networks, 2015)

Verification of membrane systems with delays via Petri nets with delays. - Bogdan Aman; Gabriel Ciobanu (Theor. Comput. Sci., 2015)

Private Names in Non-Commutative Logic. - Ross Horne; Alwen Tiu; Bogdan Aman; Gabriel Ciobanu (CONCUR, 2016)

Simulating R Systems by P Systems. - Artiom Alhazov; Bogdan Aman; Rudolf Freund; Sergiu Ivanov 001 (Int. Conf. on Membrane Computing, 2016)

Computational Power of Protein Networks. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2016)

Simulating P systems with membrane dissolution in a chemical calculus. - Bogdan Aman; Péter Battyányi; Gabriel Ciobanu; György Vaszil (Nat. Comput., 2016)

Modelling and verification of weighted spiking neural systems. - Bogdan Aman; Gabriel Ciobanu (Theor. Comput. Sci., 2016)

Controlled Reversibility in Reaction Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2017)

Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. - Bogdan Aman; Gabriel Ciobanu (VECoS, 2017)

Efficiently solving the Bin Packing problem through bio-inspired mobility. - Bogdan Aman; Gabriel Ciobanu (Acta Informatica, 2017)

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. - Bogdan Aman; Jetty Kleijn; Maciej Koutny; Dorel Lucanu (Fundam. Informaticae, 2017)

Verification of distributed systems involving bounded-time migration. - Bogdan Aman; Gabriel Ciobanu (Int. J. Crit. Comput. Based Syst., 2017)

Reversibility in Parallel Rewriting Systems. - Bogdan Aman; Gabriel Ciobanu (J. Univers. Comput. Sci., 2017)

Verification of critical systems described in real-time TiMo. - Bogdan Aman; Gabriel Ciobanu (Int. J. Softw. Tools Technol. Transf., 2017)

Solving the N-Queens Puzzle by Using Few Membranes. - Bogdan Aman; Gabriel Ciobanu (Enjoying Natural Computing, 2018)

Analyzing the Shared Information in Social Networks. - Bogdan Aman; Gabriel Ciobanu (EDCC, 2018)

Adaptive P Systems. - Bogdan Aman; Gabriel Ciobanu (Int. Conf. on Membrane Computing, 2018)

Bonding calculus. - Bogdan Aman; Gabriel Ciobanu (Nat. Comput., 2018)

Verification of Multi-agent Systems with Timeouts for Migration and Communication. - Bogdan Aman; Gabriel Ciobanu (ICTAC, 2019)

Probabilities in Session Types. - Bogdan Aman; Gabriel Ciobanu (FROM, 2019)

Synchronization of rules in membrane computing. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2019)

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. - Ross Horne; Alwen Tiu; Bogdan Aman; Gabriel Ciobanu (ACM Trans. Comput. Log., 2019)

Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. - Bogdan Aman; Gabriel Ciobanu (SOFSEM, 2020)

Mobile Membranes. - Bogdan Aman; Gabriel Ciobanu (IEEE Access, 2020)

Imprecise Probability for Multiparty Session Types in Process Algebra. - Bogdan Aman; Gabriel Ciobanu (CoRR, 2020)

Spiking Neural P Systems with Astrocytes Producing Calcium. - Bogdan Aman; Gabriel Ciobanu (Int. J. Neural Syst., 2020)

Mutual exclusion and reversibility in reaction systems. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2020)

Reversible computation in nature inspired rule-based systems. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2020)

Local time membrane systems and time Petri nets. - Bogdan Aman; Péter Battyányi; Gabriel Ciobanu; György Vaszil (Theor. Comput. Sci., 2020)

Reversibility in Chemical Reactions. - Stefan Kuhn 001; Bogdan Aman; Gabriel Ciobanu; Anna Philippou; Kyriaki Psara; Irek Ulidowski (Selected Results of the COST Action IC1405, 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

Computation with cells enhanced by costs. - Bogdan Aman; Gabriel Ciobanu (SAC, 2021)

Type inference for hierarchical multiset structures in rule-based systems. - Bogdan Aman; Gabriel Ciobanu (Inf. Sci., 2021)

Travelling salesman problem in tissue P systems with costs. - Bogdan Aman; Gabriel Ciobanu (J. Membr. Comput., 2021)

From Networks of Reaction Systems to Communicating Reaction Systems and Back. - Bogdan Aman (MCU, 2022)

Synchronization operator for communication privacy. - Bogdan Aman; Gabriel Ciobanu (SAC, 2022)

Interval Probability for Sessions Types. - Bogdan Aman; Gabriel Ciobanu (WoLLIC, 2022)

New Editorial Team for SACS after 16 Years. - Bogdan Aman; Gabriel Ciobanu (Sci. Ann. Comput. Sci., 2022)

Dynamics of reputation in mobile agents systems and weighted timed automata. - Bogdan Aman; Gabriel Ciobanu (Inf. Comput., 2022)

The power of synchronizing rules in membrane computing. - Bogdan Aman; Gabriel Ciobanu (Inf. Sci., 2022)

On the efficiency of synchronized P systems. - Bogdan Aman (J. Membr. Comput., 2022)

Stochastic sharing calculus for reasoning about social networks. - Bogdan Aman; Gabriel Ciobanu (J. Log. Comput., 2022)

Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. - Andrei Alexandru; Bogdan Aman; Ross Horne (Theor. Comput. Sci., 2022)

Solving subset sum by spiking neural P systems with astrocytes producing calcium. - Bogdan Aman (Nat. Comput., 2023)

Solving SAT with P systems with anti-membranes. - Bogdan Aman (J. Membr. Comput., 2023)

Relating randomized right-hand sides to communicating rewriting rules. - Bogdan Aman; Gabriel Ciobanu (Theor. Comput. Sci., 2023)

Behavioural Equivalences over Reconfigurable Systems. - Bogdan Aman; Gabriel Ciobanu (SEFM, 2024)

Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. - Bogdan Aman; Gabriel Ciobanu (Comput. Sci. J. Moldova, 2024)

Introducing variables in the evolution rules of P systems. - Bogdan Aman (Inf. Comput., 2024)

Solving subset sum and SAT problems by reaction systems. - Bogdan Aman; Gabriel Ciobanu (Nat. Comput., 2024)

Arithmetic abilities of SNP systems with astrocytes producing calcium. - Bogdan Aman; Gabriel Ciobanu (Neural Networks, 2025)