All Stories

  1. Behavioural Equivalences in Timed Reactive Systems

    Article • Romanian Journal of Information Science and Technology, February 2026, Editura Academiei Romane

    Bogdan Aman

  2. Behavioural Equivalences over Reconfigurable Systems

    Article • August 2025, Springer Science + Business Media

    Bogdan Aman

  3. Reaction systems with nondeterministic behaviour

    Article • Natural Computing, July 2025, Springer Science + Business Media

    Bogdan Aman

  4. Multi-Agent Systems with Information Sharing: Strategies and Model Checking

    Article • Applied Sciences, April 2025, MDPI AG

    Bogdan Aman

  5. Arithmetic abilities of SNP systems with astrocytes producing calcium

    Article • Neural Networks, March 2025, Elsevier

    Bogdan Aman

  6. Safety of Uncertain Session Types with Interval Probability

    Article • Symmetry, February 2025, MDPI AG

    Bogdan Aman

  7. Introducing variables in the evolution rules of P systems

    Article • Information and Computation, December 2024, Elsevier

    Bogdan Aman

  8. Solving subset sum and SAT problems by reaction systems

    Article • Natural Computing, April 2024, Springer Science + Business Media

    Bogdan Aman

  9. Formal Analysis of Medical Systems using Multi-Agent Systems with Information Sharing

    Article • Computer Science Journal of Moldova, April 2024, Moldova State University

    Bogdan Aman

  10. Relating Various Types of Distributed Reaction Systems

    Article • International Journal of Foundations of Computer Science, October 2023, World Scientific Pub Co Pte Lt

    Bogdan Aman

  11. Relating randomized right-hand sides to communicating rewriting rules

    Article • Theoretical Computer Science, September 2023, Elsevier

    Bogdan Aman

  12. Solving SAT with P systems with anti-membranes

    Article • Journal of Membrane Computing, April 2023, Springer Science + Business Media

    Bogdan Aman

  13. New Editorial Team for SACS after 16 Years

    Article • Scientific Annals of Computer Science, December 2022, Scientific Annals of Computer Science

    Bogdan Aman

  14. Modelling the Mutually Exclusive Oncogenic Mechanism

    Article • November 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Bogdan Aman, Prof Gabriel Ciobanu

  15. Theories of life and computation

    Article • Theoretical Computer Science, August 2022, Elsevier

    Bogdan Aman

  16. Solving subset sum by spiking neural P systems with astrocytes producing calcium

    Article • Natural Computing, July 2022, Springer Science + Business Media

    Bogdan Aman

  17. Membrane Computing after 25 Years

    Article • Mathematics, June 2022, MDPI AG

    Bogdan Aman

  18. The power of synchronizing rules in membrane computing

    Article • Information Sciences, May 2022, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  19. Synchronization operator for communication privacy

    Article • April 2022, ACM (Association for Computing Machinery)

    Bogdan Aman, Prof Gabriel Ciobanu

  20. Stochastic sharing calculus for reasoning about social networks

    Article • Journal of Logic and Computation, April 2022, Oxford University Press (OUP)

    Bogdan Aman

  21. On the efficiency of synchronized P systems

    Article • Journal of Membrane Computing, January 2022, Springer Science + Business Media

    Bogdan Aman

  22. Dynamics of reputation in mobile agents systems and weighted timed automata

    Article • Information and Computation, January 2022, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  23. From Networks of Reaction Systems to Communicating Reaction Systems and Back

    Article • January 2022, Springer Science + Business Media

    Bogdan Aman

  24. Interval Probability for Sessions Types

    Article • January 2022, Springer Science + Business Media

    Bogdan Aman, Prof Gabriel Ciobanu

  25. Computational Power of Astrocytes and their Role in Neurobiology

    Article • November 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Bogdan Aman

  26. Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems

    Article • Mathematics, November 2021, MDPI AG

    Prof Gabriel Ciobanu, Bogdan Aman

  27. Type inference for hierarchical multiset structures in rule-based systems

    Article • Information Sciences, November 2021, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  28. Travelling salesman problem in tissue P systems with costs

    Article • Journal of Membrane Computing, May 2021, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  29. Computation with cells enhanced by costs

    Article • March 2021, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu, Bogdan Aman

  30. Spiking Neural P Systems with Astrocytes Producing Calcium

    Article • International Journal of Neural Systems, November 2020, World Scientific Pub Co Pte Lt

    Prof Gabriel Ciobanu, Bogdan Aman

  31. Arithmetic Abilities of the Living Cell Pumps

    Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  32. Reversible computation in nature inspired rule-based systems

    Article • Journal of Membrane Computing, October 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  33. Mutual exclusion and reversibility in reaction systems

    Article • Journal of Membrane Computing, October 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  34. Local time membrane systems and time Petri nets

    Article • Theoretical Computer Science, January 2020, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  35. Foundations of Reversible Computation

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  36. Mobile Membranes

    Article • IEEE Access, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  37. Reversibility in Chemical Reactions

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  38. Employing Costs in Multiagent Systems with Timed Migration and Timed Communication

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  39. How the Formal Description of the Transmembrane Proteins can Reduce the Bio-Medical Experiments

    Article • November 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  40. A logic featuring new nominal quantifiers designed to provide a semantics for processes

    Article • ACM Transactions on Computational Logic, October 2019, ACM (Association for Computing Machinery)

    Prof Gabriel Ciobanu, Ross Horne, Bogdan Aman

  41. Synchronization of rules in membrane computing

    Article • Journal of Membrane Computing, October 2019, Springer Science + Business Media

    Bogdan Aman

  42. Probabilities in Session Types

    Article • Electronic Proceedings in Theoretical Computer Science, September 2019, Open Publishing Association

    Prof Gabriel Ciobanu, Bogdan Aman

  43. Adaptive P Systems

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  44. Verification of Multi-agent Systems with Timeouts for Migration and Communication

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  45. Bonding calculus

    Article • Natural Computing, September 2018, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  46. Analyzing the Shared Information in Social Networks

    Article • September 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  47. Solving the N-Queens Puzzle by Using Few Membranes

    Article • January 2018, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  48. Controlled Reversibility in Reaction Systems

    Article • December 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  49. Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu

    Article • Fundamenta Informaticae, June 2017, IOS Press

    Bogdan Aman

  50. Computational Power of Protein Networks

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  51. Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  52. Verification of distributed systems involving bounded-time migration

    Article • International Journal of Critical Computer-Based Systems, January 2017, Inderscience Publishers

    Prof Gabriel Ciobanu, Bogdan Aman

  53. Simulating R Systems by P Systems

    Article • January 2017, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  54. Verification of critical systems described in real-time TiMo 

    Article • International Journal on Software Tools for Technology Transfer, November 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  55. Simulating P systems with membrane dissolution in a chemical calculus

    Article • Natural Computing, July 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  56. Modelling and verification of weighted spiking neural systems

    Article • Theoretical Computer Science, April 2016, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  57. Efficiently solving the Bin Packing problem through bio-inspired mobility

    Article • Acta Informatica, March 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2016, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  59. Behavioural observations of cell movements with timing aspects

    Article • Nano Communication Networks, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  60. Verification of membrane systems with delays via Petri nets with delays

    Article • Theoretical Computer Science, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  61. Timed Mobility and Timed Communication for Critical Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  62. Automated Verification of Stochastic Spiking Neural P Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  63. Mobility Types for Cloud Computing

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  64. Behavioural Types Inspired by Cellular Thresholds

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  65. Behavioural Equivalences in Real-Time P Systems

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  66. Matter and Anti-Matter in Membrane Systems

    Article • January 2014, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  67. P Systems with Anti-Matter

    Article • January 2014, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  68. Red–Green P Automata

    Article • January 2014, Springer Science + Business Media

    Bogdan Aman

  69. RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS

    Article • International Journal of Foundations of Computer Science, August 2013, World Scientific Pub Co Pte Lt

    Prof Gabriel Ciobanu, Artiom Alhazov, Bogdan Aman

  70. Computational Power of Protein Interaction Networks

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  71. Mobile Membranes with Objects on Surface as Colored Petri Nets

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  72. Real-Time Migration Properties of rTiMo Verified in Uppaal

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  73. Timed Catalytic Petri Nets

    Article • September 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  74. Properties of enhanced mobile membranes via coloured Petri nets

    Article • Information Processing Letters, March 2012, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  75. Behavioural Equivalences over Migrating Processes with Timers

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  76. On the Computability Power of Membrane Systems with Controlled Mobility

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  77. Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  78. Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems

    Article • Acta Informatica, November 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  79. Time Delays in Membrane Systems and Petri Nets

    Article • Electronic Proceedings in Theoretical Computer Science, July 2011, Open Publishing Association

    Prof Gabriel Ciobanu, Bogdan Aman

  80. Mutual mobile membranes with objects on surface

    Article • Natural Computing, February 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  81. Mobility in Process Calculi and Natural Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  82. Encodings

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  83. Computing by Endocytosis and Exocytosis

    Article • Annals of the Alexandru Ioan Cuza University - Mathematics, January 2011, De Gruyter

    Prof Gabriel Ciobanu, Bogdan Aman

  84. Mobility in Process Calculi

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  85. Mobility in Membrane Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  86. A Temporal Logic for Mutual Mobile Membranes with Objects on Surface

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  87. Adding Lifetime to Objects and Membranes in P Systems

    Article • International Journal of Computers Communications & Control, September 2010, Agora University in Oradea

    Prof Gabriel Ciobanu, Bogdan Aman

  88. Typed Membrane Systems

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  89. Formalizing the Behavior of Biological Processes with Mobility

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  90. Computational Aspects of Mobile Membranes, Brane Calculi and Mobile Ambients

    Article • Scholarpedia, January 2010, Scholarpedia

    Prof Gabriel Ciobanu, Bogdan Aman

  91. Mutual Mobile Membranes with Timers

    Article • Electronic Proceedings in Theoretical Computer Science, October 2009, Open Publishing Association

    Prof Gabriel Ciobanu, Bogdan Aman

  92. Turing Completeness Using Three Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  93. Simple, Enhanced and Mutual Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  94. Type Disciplines for Analysing Biologically Relevant Properties

    Article • Electronic Notes in Theoretical Computer Science, January 2009, Elsevier

    Bogdan Aman

  95. On the relationship between membranes and ambients

    Article • Biosystems, March 2008, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  96. Timed Mobile Ambients for Network Protocols

    Article • January 2008, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  97. Resource Competition and Synchronization in Membranes

    Article • January 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  98. Describing the Immune System Using Enhanced Mobile Membranes

    Article • Electronic Notes in Theoretical Computer Science, January 2008, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  99. Structural Properties and Observability in Membrane Systems

    Article • September 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Gabriel Ciobanu, Bogdan Aman

  100. Translating Mobile Ambients into P Systems

    Article • Electronic Notes in Theoretical Computer Science, July 2007, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  101. Timers and Proximities for Mobile Ambients

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  102. On the Reachability Problem in P Systems with Mobile Membranes

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  103. Mobile Ambients with Timers and Types

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman