Bogdan Aman

发表

Computing by Endocytosis and Exocytosis

Gabriel Ciobanu, Bogdan Aman, 2011 .

The power of synchronizing rules in membrane computing

Gabriel Ciobanu, Bogdan Aman, 2022, Information Sciences.

On the efficiency of synchronized P systems

Bogdan Aman, 2022, J. Membr. Comput..

MINIMAL INGREDIENTS FOR TURING COMPLETENESS IN MEMBRANE COMPUTING

Gabriel Ciobanu, Bogdan Aman, 2017 .

Describing the Immune System Using Enhanced Mobile Membranes

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2007, FBTC@CONCUR.

Automated Verification of Stochastic Spiking Neural P Systems

Gabriel Ciobanu, Bogdan Aman, 2015, Int. Conf. on Membrane Computing.

Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model

Gabriel Ciobanu, Bogdan Aman, 2015 .

Synchronization operator for communication privacy

Gabriel Ciobanu, Bogdan Aman, 2022, SAC.

Membrane Computing after 25 Years

Gabriel Ciobanu, Bogdan Aman, 2022, Mathematics.

Simulating Membrane Systems and Dissolution in a Typed Chemical Calculus

Gabriel Ciobanu, Bogdan Aman, György Vaszil, 2015 .

Mutual Mobile Membranes with Timers

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2009, COMPMOD.

Computational Power of Protein Networks

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2016, Int. Conf. on Membrane Computing.

Bonding calculus

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2018, Natural Computing.

Reversibility in Chemical Reactions

Bogdan Aman, Gabriel Ciobanu, Irek Ulidowski, 2020, Selected Results of the COST Action IC1405.

P Systems with Anti-Matter

Artiom Alhazov, Rudolf Freund, Bogdan Aman, 2014, Computing with New Resources.

Modelling and verification of weighted spiking neural systems

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2016, Theor. Comput. Sci..

Mobility Types for Cloud Computing

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2015, EGC.

Knowledge Dynamics and Behavioural Equivalencesin Multi-Agent Systems

Gabriel Ciobanu, Bogdan Aman, 2021, Mathematics.

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic

Bogdan Aman, Gabriel Ciobanu, Ross Horne, 2016, ACM Trans. Comput. Log..

Private Names in Non-Commutative Logic pdf

Gabriel Ciobanu, Bogdan Aman, Ross Horne, 2016, CONCUR.

Foundations of Reversible Computation

Robert Glück, Ivan Lanese, Jarkko Kari, 2020, Selected Results of the COST Action IC1405.

Timed Mobile Ambients for Network Protocols

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2008, FORTE.

Mobile Ambients with Timers and Types

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2007, ICTAC.

EXPRESSING MOBILE AMBIENTS IN TEMPORAL LOGIC OF ACTIONS

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2014 .

Dynamics of reputation in mobile agents systems and weighted timed automata

Bogdan Aman, Gabriel Ciobanu, Gabriel Ciobanu, 2020, Inf. Comput..

Simple, Enhanced and Mutual Mobile Membranes

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2009, Trans. Comp. Sys. Biology.

Behavioural observations of cell movements with timing aspects

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2015, Nano Commun. Networks.

Mobile Membranes with Objects on Surface as Colored Petri Nets

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2012, Int. Conf. on Membrane Computing.

Time Delays in Membrane Systems and Petri Nets

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2011, QAPL.

Bonding calculus

Gabriel Ciobanu, Bogdan Aman, 2018, Natural Computing.

Local time membrane systems and time Petri nets

Gabriel Ciobanu, Bogdan Aman, György Vaszil, 2020, Theor. Comput. Sci..

Verification of membrane systems with delays via Petri nets with delays

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2015, Theor. Comput. Sci..

Properties of enhanced mobile membranes via coloured Petri nets

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2012, Inf. Process. Lett..

Membrane Systems and Time Petri Nets

Gabriel Ciobanu, Bogdan Aman, György Vaszil, 2017 .

Reversibility in Parallel Rewriting Systems

Gabriel Ciobanu, Bogdan Aman, Gabriel Ciobanu, 2017, J. Univers. Comput. Sci..