Ionut-Mihai Niculescu

According to our database, Ionut-Mihai Niculescu authored at least 9 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

A model learning based testing approach for kernel P systems.

Florentin Ipate, Ionut-Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe

Theor. Comput. Sci., 2023

Modelling and Search-Based Testing of Robot Controllers Using Enzymatic Numerical P Systems.

Radu Traian Bobe, Florentin Ipate, Ionut-Mihai Niculescu

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

2021

Spiking neural P systems: matrix representation and formal verification.

Marian Gheorghe, Raluca Lefticaru, Savas Konur, Ionut-Mihai Niculescu, Henry N. Adorna

J. Membr. Comput., 2021

2016

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

Raluca Lefticaru, Luis F. Macías-Ramos, Ionut-Mihai Niculescu, Laurentiu Mierla

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2014

From Kernel P Systems to X-Machines and FLAME.

Ionut-Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu

J. Autom. Lang. Comb., 2014

Crowd formal modelling and simulation: The Sa'yee ritual.

Ilias Sakellariou, Omar Kurdi, Marian Gheorghe, Daniela Romano, Petros Kefalas, Florentin Ipate, Ionut-Mihai Niculescu

Proceedings of the 14th UK Workshop on Computational Intelligence, 2014

Extended Simulation and Verification Platform for Kernel P Systems.

Mehmet E. Bakir, Florentin Ipate, Savas Konur, Laurentiu Mierla, Ionut-Mihai Niculescu

Proceedings of the Membrane Computing, 2014

High Performance Simulations of Kernel P Systems.

Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2011

Synchronization of P Systems with Simplex Channels

Florentin Ipate, Radu Nicolescu, Ionut-Mihai Niculescu, Cristian Stefan

CoRR, 2011