Learn and Test for Event-B - A Rodin Plugin. - Ionut Dinca; Florentin Ipate; Laurentiu Mierla; Alin Stefanescu (ABZ, 2012)

Kernel P Systems: Applications and Implementations. - Florentin Ipate; Raluca Lefticaru; Laurentiu Mierla; Luis Valencia-Cabrera; Han Huang; Gexiang Zhang; Ciprian Dragomir; Mario J. Pérez-Jiménez; Marian Gheorghe 001 (BIC-TA, 2013)

Model Checking Kernel P Systems. - Ciprian Dragomir; Florentin Ipate; Savas Konur; Raluca Lefticaru; Laurentiu Mierla (Int. Conf. on Membrane Computing, 2013)

3-Col problem modelling using simple kernel P systems. - Marian Gheorghe 001; Florentin Ipate; Raluca Lefticaru; Mario J. Pérez-Jiménez; Adrian Turcanu; Luis Valencia-Cabrera; Manuel García-Quismondo; Laurentiu Mierla (Int. J. Comput. Math., 2013)

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. - Daven Sanassy; Harold Fellermann; Natalio Krasnogor; Savas Konur; Laurentiu Mierla; Marian Gheorghe 001; Christophe Ladroue; Sara Kalvala (HPCC/CSS/ICESS, 2014)

Extended Simulation and Verification Platform for Kernel P Systems. - Mehmet E. Bakir; Florentin Ipate; Savas Konur; Laurentiu Mierla; Ionut-Mihai Niculescu (Int. Conf. on Membrane Computing, 2014)

An Integrated Model Checking Toolset for Kernel P Systems. - Marian Gheorghe 001; Savas Konur; Florentin Ipate; Laurentiu Mierla; Mehmet E. Bakir; Mike Stannett (Int. Conf. on Membrane Computing, 2015)

Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. - Raluca Lefticaru; Luis F. Macías-Ramos; Ionut-Mihai Niculescu; Laurentiu Mierla (Int. Conf. on Membrane Computing, 2016)

kPWorkbench: A software suit for membrane systems. - Savas Konur; Laurentiu Mierla; Florentin Ipate; Marian Gheorghe 001 (SoftwareX, 2020)

A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite. - Richard Oliver Matzko; Laurentiu Mierla; Savas Konur (IWBBIO (2), 2022)