Skip to content

Computational Modelling Research Unit Publications


  1. Gexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze, Marian Gheorghe (Eds.) Membrane Computing Models: Implementations. Springer, 2021.
  2. Apostolos Vourdas. Finite and Profinite Quantum Systems. Springer, 2017.
  3. Zhang, Gexiang, Pérez-Jiménez, Mario J., Gheorghe, Marian (Eds.) Real-life Applications with Membrane Computing. Springer, 2017.
  4. Frisco, Pierluigi, Gheorghe, Marian, Pérez-Jiménez, Mario J. (Eds.) Applications of Membrane Computing in Systems and Synthetic Biology. Springer, 2017.


  1. S Kabir, Y Papadopoulos. Computational Intelligence for Safety Assurance of Cooperative Systems of Systems. IEEE Computer, vol. 53, no. 12, pp. 24-34, 2020
  2. S Kabir, K Aslansefat, I Sorokos, Y Papadopoulos, S Konur. A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE ACCESS, 8, pp. 97175-97188, 2020.
  3. P Gope, Y Gheraibia, S Kabir, B Sikdar. A Secure IoT-based Modern Healthcare System with Fault-tolerant Decision Making Process. IEEE Journal of Biomedical and Health Informatics, 2020.
  4. S Kabir, T. K. Geok, M. Kumar, M. Yazdi, F. Hossain. A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation. IEEE ACCESS, 8, pp. 980-996, 2020.
  5. R Lefticaru, RM Hierons, M Núñez. Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 110738, 2020
  6. A Simons, R Lefticaru. A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Softw. Test. Verification Reliab. 30(3), e1729 (2020)
  7. S Konur, L Mierla, F Ipate and M Gheorghe. KPWorkbench: A Software Suite for Membrane Systems. Software X 11, 100407, 2020.
  8. M Zaka CW Sutton, Y Peng and  S Konur. Model-based Integration Analysis Revealed Preence of Novel Prognostic miRNA Targets and Important Cancer Driver Genes in Triple-Negative Breast Cancers. Cancers 12(3), 632, 2020.
  9. S Afazov, D Scrimieri. Chatter model for enabling a digital twin in machining. Int J Adv Manuf Technol 110, 2439–2444 (2020).
  10. M Gheorghe, R Ceterchi, F Ipate, S Konur, R Lefticaru. Kernel P systems: From modelling to verification and testing. Theor. Comput. Sci. 724: 45-60, 2018
  11. C Lei, A Vourdas, Selective corrleations in finite quantum systems and the Desargues property. Journal of Geometry and Physics. 128: 118-127, 2018