Laurentiu Mierla

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 4

Top Topics

Finite State Machines

Artifact Centric

Stochastic Simulation

Top Venues

Int. Conf. on Membrane Computing

Publications

Richard Oliver Matzko, Laurentiu Mierla, Savas Konur
A 3D Multicellular Simulation Layer for the Synthetic Biology CAD Infobiotics Workbench Suite. IWBBIO (2) (2022)
Savas Konur, Laurentiu Mierla, Florentin Ipate, Marian Gheorghe
kPWorkbench: A software suit for membrane systems. SoftwareX 11 (2020)
Raluca Lefticaru, Luis F. Macías-Ramos, Ionut-Mihai Niculescu, Laurentiu Mierla
Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. Int. Conf. on Membrane Computing (2016)
Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing (2015)
Mehmet E. Bakir, Florentin Ipate, Savas Konur, Laurentiu Mierla, Ionut-Mihai Niculescu
Extended Simulation and Verification Platform for Kernel P Systems. Int. Conf. on Membrane Computing (2014)
Daven Sanassy, Harold Fellermann, Natalio Krasnogor, Savas Konur, Laurentiu Mierla, Marian Gheorghe, Christophe Ladroue, Sara Kalvala
Modelling and Stochastic Simulation of Synthetic Biological Boolean Gates. HPCC/CSS/ICESS (2014)
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla
3-Col problem modelling using simple kernel P systems. Int. J. Comput. Math. 90 (4) (2013)
Ciprian Dragomir, Florentin Ipate, Savas Konur, Raluca Lefticaru, Laurentiu Mierla
Model Checking Kernel P Systems. Int. Conf. on Membrane Computing (2013)
Florentin Ipate, Raluca Lefticaru, Laurentiu Mierla, Luis Valencia-Cabrera, Han Huang, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez-Jiménez, Marian Gheorghe
Kernel P Systems: Applications and Implementations. BIC-TA (2013)
Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu
Learn and Test for Event-B - A Rodin Plugin. ABZ (2012)