Bogdan Aman

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 45

Top Topics

Top Venues

Int. Conf. on Membrane Computing

J. Membr. Comput.

Theor. Comput. Sci.

Publications

Bogdan Aman, Gabriel Ciobanu
Solving subset sum and SAT problems by reaction systems. Nat. Comput. 23 (2) (2024)
Bogdan Aman, Gabriel Ciobanu
Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing. Comput. Sci. J. Moldova 32 (1) (2024)
Bogdan Aman
Solving subset sum by spiking neural P systems with astrocytes producing calcium. Nat. Comput. 22 (1) (2023)
Bogdan Aman
Solving SAT with P systems with anti-membranes. J. Membr. Comput. 5 (2) (2023)
Bogdan Aman, Gabriel Ciobanu
Relating randomized right-hand sides to communicating rewriting rules. Theor. Comput. Sci. 971 (2023)
Andrei Alexandru, Bogdan Aman, Ross Horne
Theories of life and computation: Special issue on the occasion of the 65th birthday of Professor Gabriel Ciobanu. Theor. Comput. Sci. 926 (2022)
Bogdan Aman, Gabriel Ciobanu
Stochastic sharing calculus for reasoning about social networks. J. Log. Comput. 32 (6) (2022)
Bogdan Aman, Gabriel Ciobanu
Synchronization operator for communication privacy. SAC (2022)
Bogdan Aman, Gabriel Ciobanu
Interval Probability for Sessions Types. WoLLIC (2022)
Bogdan Aman, Gabriel Ciobanu
The power of synchronizing rules in membrane computing. Inf. Sci. 594 (2022)
Bogdan Aman
On the efficiency of synchronized P systems. J. Membr. Comput. 4 (1) (2022)
Bogdan Aman, Gabriel Ciobanu
Dynamics of reputation in mobile agents systems and weighted timed automata. Inf. Comput. 282 (2022)
Bogdan Aman, Gabriel Ciobanu
New Editorial Team for SACS after 16 Years. Sci. Ann. Comput. Sci. 32 (2) (2022)
Bogdan Aman
From Networks of Reaction Systems to Communicating Reaction Systems and Back. MCU (2022)
Bogdan Aman, Gabriel Ciobanu
Computation with cells enhanced by costs. SAC (2021)
Bogdan Aman, Gabriel Ciobanu
Travelling salesman problem in tissue P systems with costs. J. Membr. Comput. 3 (2) (2021)
Bogdan Aman, Gabriel Ciobanu
Type inference for hierarchical multiset structures in rule-based systems. Inf. Sci. 580 (2021)
Bogdan Aman, Gabriel Ciobanu
Mutual exclusion and reversibility in reaction systems. J. Membr. Comput. 2 (3) (2020)
Bogdan Aman, Gabriel Ciobanu
Spiking Neural P Systems with Astrocytes Producing Calcium. Int. J. Neural Syst. 30 (12) (2020)
Bogdan Aman, Gabriel Ciobanu
Mobile Membranes. IEEE Access 8 (2020)
Bogdan Aman, Gabriel Ciobanu
Imprecise Probability for Multiparty Session Types in Process Algebra. CoRR (2020)
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Local time membrane systems and time Petri nets. Theor. Comput. Sci. 805 (2020)
Bogdan Aman, Gabriel Ciobanu
Reversible computation in nature inspired rule-based systems. J. Membr. Comput. 2 (4) (2020)
Bogdan Aman, Gabriel Ciobanu
Employing Costs in Multiagent Systems with Timed Migration and Timed Communication. SOFSEM (2020)
Bogdan Aman, Gabriel Ciobanu
Synchronization of rules in membrane computing. J. Membr. Comput. 1 (4) (2019)
Bogdan Aman, Gabriel Ciobanu
Verification of Multi-agent Systems with Timeouts for Migration and Communication. ICTAC (2019)
Bogdan Aman, Gabriel Ciobanu
Probabilities in Session Types. FROM (2019)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic. ACM Trans. Comput. Log. 20 (4) (2019)
Bogdan Aman, Gabriel Ciobanu
Bonding calculus. Nat. Comput. 17 (4) (2018)
Bogdan Aman, Gabriel Ciobanu
Solving the N-Queens Puzzle by Using Few Membranes. Enjoying Natural Computing (2018)
Bogdan Aman, Gabriel Ciobanu
Analyzing the Shared Information in Social Networks. EDCC (2018)
Bogdan Aman, Gabriel Ciobanu
Adaptive P Systems. Int. Conf. on Membrane Computing (2018)
Bogdan Aman, Gabriel Ciobanu
Controlled Reversibility in Reaction Systems. Int. Conf. on Membrane Computing (2017)
Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153 (1-2) (2017)
Bogdan Aman, Gabriel Ciobanu
Reversibility in Parallel Rewriting Systems. J. Univers. Comput. Sci. 23 (7) (2017)
Bogdan Aman, Gabriel Ciobanu
Verification of critical systems described in real-time TiMo. Int. J. Softw. Tools Technol. Transf. 19 (4) (2017)
Bogdan Aman, Gabriel Ciobanu
Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. VECoS (2017)
Bogdan Aman, Gabriel Ciobanu
Efficiently solving the Bin Packing problem through bio-inspired mobility. Acta Informatica 54 (4) (2017)
Bogdan Aman, Gabriel Ciobanu
Verification of distributed systems involving bounded-time migration. Int. J. Crit. Comput. Based Syst. 7 (3) (2017)
Bogdan Aman, Gabriel Ciobanu
Modelling and verification of weighted spiking neural systems. Theor. Comput. Sci. 623 (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CONCUR (2016)
Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov
Simulating R Systems by P Systems. Int. Conf. on Membrane Computing (2016)
Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Simulating P systems with membrane dissolution in a chemical calculus. Nat. Comput. 15 (4) (2016)
Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
Private Names in Non-Commutative Logic. CoRR (2016)
Bogdan Aman, Gabriel Ciobanu
Computational Power of Protein Networks. Int. Conf. on Membrane Computing (2016)
Bogdan Aman, Gabriel Ciobanu
Automated Verification of Stochastic Spiking Neural P Systems. Int. Conf. on Membrane Computing (2015)
Bogdan Aman, Gabriel Ciobanu
Mobility Types for Cloud Computing. EGC (2015)
Bogdan Aman, Gabriel Ciobanu
Solving NP-complete Problems in Polynomial Time by Using a Natural Computing Model. ICTERI (Revised Selected Papers) (2015)
Bogdan Aman, Gabriel Ciobanu
Natural Computing Modelling of the Polynomial Space Turing Machines. ICTERI (2015)
Bogdan Aman, Gabriel Ciobanu
Verification of Bounded Real-Time Distributed Systems With Mobility. VECoS (2015)
Bogdan Aman, Gabriel Ciobanu
Timed Mobility and Timed Communication for Critical Systems. FMICS (2015)
Bogdan Aman, Gabriel Ciobanu
Verification of membrane systems with delays via Petri nets with delays. Theor. Comput. Sci. 598 (2015)
Bogdan Aman, Gabriel Ciobanu
BioMaxP: A Formal Approach for Cellular Ion Pumps. Comput. Sci. J. Moldova 23 (2) (2015)
Bogdan Aman, Gabriel Ciobanu
Behavioural observations of cell movements with timing aspects. Nano Commun. Networks 6 (3) (2015)
Artiom Alhazov, Bogdan Aman, Rudolf Freund, Gheorghe Paun
Matter and Anti-Matter in Membrane Systems. DCFS (2014)
Bogdan Aman, Erzsébet Csuhaj-Varjú, Rudolf Freund
Red-Green P Automata. Int. Conf. on Membrane Computing (2014)
Gabriel Ciobanu, Bogdan Aman
Computational Power of Chemical Kinetics in Living Cells. BICT (2014)
Bogdan Aman, Gabriel Ciobanu
Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes. BICT (2014)
Artiom Alhazov, Bogdan Aman, Rudolf Freund
P Systems with Anti-Matter. Int. Conf. on Membrane Computing (2014)
Bogdan Aman, Gabriel Ciobanu
Real-Time Migration Properties of rTiMo Verified in Uppaal. SEFM (2013)
Bogdan Aman, Gabriel Ciobanu
Behavioural Equivalences in Real-Time P Systems. Int. Conf. on Membrane Computing (2013)
Bogdan Aman, Gabriel Ciobanu
Behavioural Types Inspired by Cellular Thresholds. SEFM Workshops (2013)
Bogdan Aman, Gabriel Ciobanu
Mobile Membranes: Computability and Complexity. ICTAC (2013)
Bogdan Aman, Gabriel Ciobanu, Shankara Narayanan Krishna
Solving the 4QBF Problem in Polynomial Time by Using the Biological-Inspired Mobility. ICDCIT (2013)
Bogdan Aman, Gabriel Ciobanu
Computational Power of Protein Interaction Networks. UCNC (2013)
Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
Behavioural Equivalences over Migrating Processes with Timers. FMOODS/FORTE (2012)
Bogdan Aman, Gabriel Ciobanu
Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps. COORDINATION (2012)
Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna
Timed Catalytic Petri Nets. SYNASC (2012)
Bogdan Aman, Gabriel Ciobanu
Mobile Membranes with Objects on Surface as Colored Petri Nets. Int. Conf. on Membrane Computing (2012)
Bogdan Aman, Gabriel Ciobanu
Properties of enhanced mobile membranes via coloured Petri nets. Inf. Process. Lett. 112 (6) (2012)
Shankara Narayanan Krishna, Bogdan Aman, Gabriel Ciobanu
On the Computability Power of Membrane Systems with Controlled Mobility. CiE (2012)
Bogdan Aman, Gabriel Ciobanu
A Temporal Logic for Mutual Mobile Membranes with Objects on Surface. Computation, Cooperation, and Life (2011)
Bogdan Aman, Gabriel Ciobanu
Mutual mobile membranes with objects on surface. Nat. Comput. 10 (2) (2011)
Bogdan Aman, Gabriel Ciobanu
Time Delays in Membrane Systems and Petri Nets QAPL (2011)
Oana Agrigoroaiei, Bogdan Aman, Gabriel Ciobanu
Semantics, Causality and Mobility in Membrane Computing. ERCIM News 2011 (85) (2011)
Bogdan Aman
Spatial Dynamic Structures and Mobility in Computation CoRR (2011)
Bogdan Aman, Gabriel Ciobanu
Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica 48 (7-8) (2011)
Bogdan Aman, Gabriel Ciobanu
Adding Lifetime to Objects and Membranes in P Systems. Int. J. Comput. Commun. Control 5 (3) (2010)
Bogdan Aman, Gabriel Ciobanu
Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients. Scholarpedia 5 (7) (2010)
Bogdan Aman, Gabriel Ciobanu
Formalizing the Behavior of Biological Processes with Mobility. UC (2010)
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina
Type Disciplines for Analysing Biologically Relevant Properties. Electron. Notes Theor. Comput. Sci. 227 (2009)
Bogdan Aman, Gabriel Ciobanu
Simple, Enhanced and Mutual Mobile Membranes. Trans. Comp. Sys. Biology 11 (2009)
Bogdan Aman, Gabriel Ciobanu
Mutual Mobile Membranes with Timers COMPMOD (2009)
Bogdan Aman, Gabriel Ciobanu
Turing Completeness Using Three Mobile Membranes. UC (2009)
Bogdan Aman, Gabriel Ciobanu
Typed Membrane Systems. Workshop on Membrane Computing (2009)
Bogdan Aman, Gabriel Ciobanu
Resource Competition and Synchronization in Membranes. SYNASC (2008)
Bogdan Aman, Gabriel Ciobanu
Timed Mobile Ambients for Network Protocols. FORTE (2008)
Gabriel Ciobanu, Bogdan Aman
On the relationship between membranes and ambients. Biosyst. 91 (3) (2008)
Bogdan Aman, Gabriel Ciobanu
Describing the Immune System Using Enhanced Mobile Membranes. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Bogdan Aman, Gabriel Ciobanu
Structural Properties and Observability in Membrane Systems. SYNASC (2007)
Bogdan Aman, Gabriel Ciobanu
Mobile Ambients with Timers and Types. ICTAC (2007)
Bogdan Aman, Gabriel Ciobanu
On the Reachability Problem in P Systems with Mobile Membranes. Workshop on Membrane Computing (2007)
Bogdan Aman, Gabriel Ciobanu
Timers and Proximities for Mobile Ambients. CSR (2007)
Bogdan Aman, Gabriel Ciobanu
Translating Mobile Ambients into P Systems. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)