All Stories

  1. New Editorial Team for SACS after 16 Years

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

    Bogdan Aman

  2. Modelling the Mutually Exclusive Oncogenic Mechanism

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

    Bogdan Aman

  3. Theories of life and computation

    Article • Theoretical Computer Science, August 2022, Elsevier

    Bogdan Aman

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

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

    Bogdan Aman

  5. Membrane Computing after 25 Years

    Article • Mathematics, June 2022, MDPI AG

    Bogdan Aman

  6. The power of synchronizing rules in membrane computing

    Article • Information Sciences, May 2022, Elsevier

    Bogdan Aman

  7. Synchronization operator for communication privacy

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

    Bogdan Aman, Prof Gabriel Ciobanu

  8. On the efficiency of synchronized P systems

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

    Bogdan Aman

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

    Article • Information and Computation, January 2022, Elsevier

    Bogdan Aman

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

    Article • January 2022, Springer Science + Business Media

    Bogdan Aman

  11. Interval Probability for Sessions Types

    Article • January 2022, Springer Science + Business Media

    Bogdan Aman

  12. Computational Power of Astrocytes and their Role in Neurobiology

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

    Bogdan Aman

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

    Article • Mathematics, November 2021, MDPI AG

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Information Sciences, November 2021, Elsevier

    Bogdan Aman

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

  16. Computation with cells enhanced by costs

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

    Prof Gabriel Ciobanu, Bogdan Aman

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

  18. Arithmetic Abilities of the Living Cell Pumps

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

    Prof Gabriel Ciobanu, Bogdan Aman

  19. Reversible computation in nature inspired rule-based systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  20. Mutual exclusion and reversibility in reaction systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  21. Local time membrane systems and time Petri nets

    Article • Theoretical Computer Science, January 2020, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  22. Foundations of Reversible Computation

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  23. Mobile Membranes

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

    Prof Gabriel Ciobanu, Bogdan Aman

  24. Reversibility in Chemical Reactions

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2020, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

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

  28. Synchronization of rules in membrane computing

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

    Bogdan Aman

  29. Probabilities in Session Types

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

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2019, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  31. Bonding calculus

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

    Prof Gabriel Ciobanu, Bogdan Aman

  32. Analyzing the Shared Information in Social Networks

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

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2018, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  34. Controlled Reversibility in Reaction Systems

    Article • December 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

  36. Computational Power of Protein Networks

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2017, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

  39. Simulating R Systems by P Systems

    Article • January 2017, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

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

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

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

    Prof Gabriel Ciobanu, Bogdan Aman

  42. Modelling and verification of weighted spiking neural systems

    Article • Theoretical Computer Science, April 2016, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

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

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

    Prof Gabriel Ciobanu, Bogdan Aman

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

  45. Behavioural observations of cell movements with timing aspects

    Article • Nano Communication Networks, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Theoretical Computer Science, September 2015, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  47. Timed Mobility and Timed Communication for Critical Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  48. Automated Verification of Stochastic Spiking Neural P Systems

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  49. Mobility Types for Cloud Computing

    Article • January 2015, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  50. Behavioural Types Inspired by Cellular Thresholds

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  51. Behavioural Equivalences in Real-Time P Systems

    Article • January 2014, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  52. Matter and Anti-Matter in Membrane Systems

    Article • January 2014, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  53. P Systems with Anti-Matter

    Article • January 2014, Springer Science + Business Media

    Artiom Alhazov, Bogdan Aman

  54. Red–Green P Automata

    Article • January 2014, Springer Science + Business Media

    Bogdan Aman

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

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

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2013, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  58. Timed Catalytic Petri Nets

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

    Prof Gabriel Ciobanu, Bogdan Aman

  59. Properties of enhanced mobile membranes via coloured Petri nets

    Article • Information Processing Letters, March 2012, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  60. Behavioural Equivalences over Migrating Processes with Timers

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2012, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

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

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

  65. Mutual mobile membranes with objects on surface

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

    Prof Gabriel Ciobanu, Bogdan Aman

  66. Mobility in Process Calculi and Natural Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  67. Encodings

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  68. Computing by Endocytosis and Exocytosis

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

    Prof Gabriel Ciobanu, Bogdan Aman

  69. Mobility in Process Calculi

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  70. Mobility in Membrane Computing

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • January 2011, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  72. Typed Membrane Systems

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  73. Formalizing the Behavior of Biological Processes with Mobility

    Article • January 2010, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Scholarpedia, January 2010, Scholarpedia

    Prof Gabriel Ciobanu, Bogdan Aman

  75. Mutual Mobile Membranes with Timers

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

    Prof Gabriel Ciobanu, Bogdan Aman

  76. Turing Completeness Using Three Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  77. Simple, Enhanced and Mutual Mobile Membranes

    Article • January 2009, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  78. Type Disciplines for Analysing Biologically Relevant Properties

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

    Bogdan Aman

  79. On the relationship between membranes and ambients

    Article • Biosystems, March 2008, Elsevier

    Prof Gabriel Ciobanu, Bogdan Aman

  80. Timed Mobile Ambients for Network Protocols

    Article • January 2008, Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  81. Resource Competition and Synchronization in Membranes

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

    Prof Gabriel Ciobanu, Bogdan Aman

  82. Describing the Immune System Using Enhanced Mobile Membranes

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

    Prof Gabriel Ciobanu, Bogdan Aman

  83. Structural Properties and Observability in Membrane Systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  84. Translating Mobile Ambients into P Systems

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

    Prof Gabriel Ciobanu, Bogdan Aman

  85. Timers and Proximities for Mobile Ambients

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

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

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman

  87. Mobile Ambients with Timers and Types

    Article • Springer Science + Business Media

    Prof Gabriel Ciobanu, Bogdan Aman