All Stories

  1. 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

  2. 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

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

    Article • Theoretical Computer Science, September 2023, Elsevier

    Bogdan Aman

  4. Solving SAT with P systems with anti-membranes

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

    Bogdan Aman

  5. New Editorial Team for SACS after 16 Years

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

    Bogdan Aman

  6. Modelling the Mutually Exclusive Oncogenic Mechanism

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

    Bogdan Aman, Prof Gabriel Ciobanu

  7. Theories of life and computation

    Article • Theoretical Computer Science, August 2022, Elsevier

    Bogdan Aman

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

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

    Bogdan Aman

  9. Membrane Computing after 25 Years

    Article • Mathematics, June 2022, MDPI AG

    Bogdan Aman

  10. The power of synchronizing rules in membrane computing

    Article • Information Sciences, May 2022, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  11. Synchronization operator for communication privacy

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

    Bogdan Aman, Prof Gabriel Ciobanu

  12. Stochastic sharing calculus for reasoning about social networks

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

    Bogdan Aman

  13. On the efficiency of synchronized P systems

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

    Bogdan Aman

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

    Article • Information and Computation, January 2022, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

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

    Article • January 2022, Springer Science + Business Media

    Bogdan Aman

  16. Interval Probability for Sessions Types

    Article • January 2022, Springer Science + Business Media

    Bogdan Aman, Prof Gabriel Ciobanu

  17. Computational Power of Astrocytes and their Role in Neurobiology

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

    Bogdan Aman

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

    Article • Mathematics, November 2021, MDPI AG

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Information Sciences, November 2021, Elsevier

    Bogdan Aman, Prof Gabriel Ciobanu

  20. 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

  21. Computation with cells enhanced by costs

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

    Prof Gabriel Ciobanu, Bogdan Aman

  22. 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

  23. Arithmetic Abilities of the Living Cell Pumps

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

    Prof Gabriel Ciobanu, Bogdan Aman

  24. Reversible computation in nature inspired rule-based systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  25. Mutual exclusion and reversibility in reaction systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  26. Local time membrane systems and time Petri nets

    Article • Theoretical Computer Science, January 2020, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  27. Foundations of Reversible Computation

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  28. Mobile Membranes

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

    Prof Gabriel Ciobanu, Bogdan Aman

  29. Reversibility in Chemical Reactions

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  31. 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

  32. 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

  33. Synchronization of rules in membrane computing

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

    Bogdan Aman

  34. Probabilities in Session Types

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

    Prof Gabriel Ciobanu, Bogdan Aman

  35. Adaptive P Systems

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  37. Bonding calculus

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

    Prof Gabriel Ciobanu, Bogdan Aman

  38. Analyzing the Shared Information in Social Networks

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

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2018, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  40. Controlled Reversibility in Reaction Systems

    Article • December 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  41. 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

  42. Computational Power of Protein Networks

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  44. 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

  45. Simulating R Systems by P Systems

    Article • January 2017, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  46. 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

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

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

    Prof Gabriel Ciobanu, Bogdan Aman

  48. Modelling and verification of weighted spiking neural systems

    Article • Theoretical Computer Science, April 2016, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

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

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

    Prof Gabriel Ciobanu, Bogdan Aman

  50. 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

  51. Behavioural observations of cell movements with timing aspects

    Article • Nano Communication Networks, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Theoretical Computer Science, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  53. Timed Mobility and Timed Communication for Critical Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  54. Automated Verification of Stochastic Spiking Neural P Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  55. Mobility Types for Cloud Computing

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  56. Behavioural Types Inspired by Cellular Thresholds

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  57. Behavioural Equivalences in Real-Time P Systems

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  58. Matter and Anti-Matter in Membrane Systems

    Article • January 2014, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  59. P Systems with Anti-Matter

    Article • January 2014, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  60. Red–Green P Automata

    Article • January 2014, Springer Science + Business Media

    Bogdan Aman

  61. 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

  62. Computational Power of Protein Interaction Networks

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  65. Timed Catalytic Petri Nets

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

    Prof Gabriel Ciobanu, Bogdan Aman

  66. Properties of enhanced mobile membranes via coloured Petri nets

    Article • Information Processing Letters, March 2012, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  67. Behavioural Equivalences over Migrating Processes with Timers

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  69. 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

  70. 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

  71. 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

  72. Mutual mobile membranes with objects on surface

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

    Prof Gabriel Ciobanu, Bogdan Aman

  73. Mobility in Process Calculi and Natural Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  74. Encodings

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  75. Computing by Endocytosis and Exocytosis

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

    Prof Gabriel Ciobanu, Bogdan Aman

  76. Mobility in Process Calculi

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  77. Mobility in Membrane Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  79. 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

  80. Typed Membrane Systems

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  81. Formalizing the Behavior of Biological Processes with Mobility

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Scholarpedia, January 2010, Scholarpedia

    Prof Gabriel Ciobanu, Bogdan Aman

  83. Mutual Mobile Membranes with Timers

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

    Prof Gabriel Ciobanu, Bogdan Aman

  84. Turing Completeness Using Three Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  85. Simple, Enhanced and Mutual Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  86. Type Disciplines for Analysing Biologically Relevant Properties

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

    Bogdan Aman

  87. On the relationship between membranes and ambients

    Article • Biosystems, March 2008, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  88. Timed Mobile Ambients for Network Protocols

    Article • January 2008, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  89. Resource Competition and Synchronization in Membranes

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

    Prof Gabriel Ciobanu, Bogdan Aman

  90. Describing the Immune System Using Enhanced Mobile Membranes

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

    Prof Gabriel Ciobanu, Bogdan Aman

  91. Structural Properties and Observability in Membrane Systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  92. Translating Mobile Ambients into P Systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  93. Timers and Proximities for Mobile Ambients

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  95. Mobile Ambients with Timers and Types

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman