Laurentiu Mierla

According to our database, Laurentiu Mierla authored at least 10 papers between 2012 and 2022.

Collaborative distances:

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

2022

A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite.

Richard Oliver Matzko, Laurentiu Mierla, Savas Konur

Proceedings of the Bioinformatics and Biomedical Engineering, 2022

2020

kPWorkbench: A software suit for membrane systems.

Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe

SoftwareX, 2020

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

2015

An Integrated Model Checking Toolset for Kernel P Systems.

Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett

Proceedings of the Membrane Computing, 2015

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

Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates.

Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala

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

2013

3-Col problem modelling using simple kernel P systems.

Marian Gheorghe, 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

Model Checking Kernel P Systems.

Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla

Proceedings of the Membrane Computing, 2013

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

Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013

2012

Learn and Test for Event-B - A Rodin Plugin.

Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012