Ionut-Mihai Niculescu

Crowd formal modelling and simulation: The Sa'yee ritual

Marian Gheorghe, Florentin Ipate, Ilias Sakellariou, 2014, 2014 14th UK Workshop on Computational Intelligence (UKCI).

Extended Simulation and Verification Platform for Kernel P Systems

Florentin Ipate, Savas Konur, Laurentiu Mierla, 2014, Int. Conf. on Membrane Computing.

Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME

Luis F. Macías-Ramos, Raluca Lefticaru, Laurentiu Mierla, 2016, Int. Conf. on Membrane Computing.

From Kernel P Systems to X-Machines and FLAME

Marian Gheorghe, Florentin Ipate, Alin Stefanescu, 2014, J. Autom. Lang. Comb..

High Performance Simulations of Kernel P Systems

Marian Gheorghe, Florentin Ipate, Savas Konur, 2014, 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS).

Synchronization of P Systems with Simplex Channels pdf

Florentin Ipate, Radu Nicolescu, Cristian Stefan, 2011, ArXiv.

Spiking neural P systems: matrix representation and formal verification

Marian Gheorghe, Henry N. Adorna, Raluca Lefticaru, 2021, Journal of Membrane Computing.