Yezhou Liu, Radu Nicolescu & Jing Sun. (2021) Formal verification of cP systems using Coq. Journal of Membrane Computing 3:3, pages 205-220.
Crossref
Gexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze & Marian GheorgheGexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze & Marian Gheorghe. 2021. Membrane Computing Models: Implementations. Membrane Computing Models: Implementations
245
276
.
Gexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze & Marian GheorgheGexiang Zhang, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Sergey Verlan, Savas Konur, Thomas Hinze & Marian Gheorghe. 2021. Membrane Computing Models: Implementations. Membrane Computing Models: Implementations
11
30
.
Juan Hu, Zhiliang Chen, Liping Shi, Jiao He, Hong Peng & Jun Wang. 2021. Bio-Inspired Computing: Theories and Applications. Bio-Inspired Computing: Theories and Applications
596
610
.
Yezhou Liu, Radu Nicolescu & Jing Sun. (2020) Formal verification of cP systems using PAT3 and ProB. Journal of Membrane Computing 2:2, pages 80-94.
Crossref
Jinyu Yang, Hong Peng, Xiaohui Luo & Jun Wang. (2020) Stochastic Numerical P Systems With Application in Data Clustering Problems. IEEE Access 8, pages 31507-31518.
Crossref
Savas Konur, Laurenţiu Mierlă, Florentin Ipate & Marian Gheorghe. (2020) kPWorkbench: A software suit for membrane systems. SoftwareX 11, pages 100407.
Crossref
Hong Peng, Bo Li, Jun Wang, Xiaoxiao Song, Tao Wang, Luis Valencia-Cabrera, Ignacio Pérez-Hurtado, Agustín Riscos-Núñez & Mario J. Pérez-Jiménez. (2020) Spiking neural P systems with inhibitory rules. Knowledge-Based Systems 188, pages 105064.
Crossref
Luis Valencia-Cabrera, David Orellana-Martín, Miguel Ángel Martínez-del-Amor & Mario J. Pérez-Jiménez. (2019) An interactive timeline of simulators in membrane computing. Journal of Membrane Computing 1:3, pages 209-222.
Crossref
Hong Peng & Jun Wang. (2019) Coupled Neural P Systems. IEEE Transactions on Neural Networks and Learning Systems 30:6, pages 1672-1682.
Crossref
James Cooper & Radu Nicolescu. (2019) Alternative representations of P systems solutions to the graph colouring problem. Journal of Membrane Computing 1:2, pages 112-126.
Crossref
Suxia Jiang, Yanfeng Wang & Yansen Su. (2018) A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division. Soft Computing 23:12, pages 3903-3911.
Crossref
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru & Ana Turlea. 2019. Membrane Computing. Membrane Computing
142
159
.
Erzsébet Csuhaj-Varjú, Marian Gheorghe & Raluca Lefticaru. (2018) P colonies and kernel P systems. International Journal of Advances in Engineering Sciences and Applied Mathematics 10:3, pages 181-192.
Crossref
A. Hepzibah Christinal, Daniel Díaz-Pernil & T. Mathu. (2016) A uniform family of tissue P systems with protein on cells solving 3-coloring in linear time. Natural Computing 17:2, pages 311-319.
Crossref
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur & Raluca Lefticaru. (2018) Kernel P systems: From modelling to verification and testing. Theoretical Computer Science 724, pages 45-60.
Crossref
Luis Valencia-Cabrera, Miguel Á. Martínez-del-Amor & Ignacio Pérez-Hurtado. 2018. Enjoying Natural Computing. Enjoying Natural Computing
291
303
.
Manuel García-Quismondo, J. Michael Reed, Frances S. Chew, Miguel A. Martínez-del-Amor & Mario J. Pérez-Jiménez. (2017) Evolutionary response of a native butterfly to concurrent plant invasions: Simulation of population dynamics. Ecological Modelling 360, pages 410-424.
Crossref
Manuel García-Quismondo, Michael Levin & Daniel Lobo. (2017) Modeling regenerative processes with membrane computing. Information Sciences 381, pages 229-249.
Crossref
Naeimeh Elkhani & Ravie Chandren Muniyandi. (2017) A Multiple Core Execution for Multiobjective Binary Particle Swarm Optimization Feature Selection Method with the Kernel P System Framework. Journal of Optimization 2017, pages 1-14.
Crossref
Gexiang Zhang, Mario J. Pérez-Jiménez & Marian GheorgheGexiang Zhang, Mario J. Pérez-Jiménez & Marian Gheorghe. 2017. Real-life Applications with Membrane Computing. Real-life Applications with Membrane Computing
259
355
.
Marian Gheorghe, Rodica Ceterchi, Florentin Ipate & Savas Konur. 2017. Membrane Computing. Membrane Computing
233
250
.
Marian Gheorghe, Savas Konur & Florentin Ipate. 2017. Advances in Unconventional Computing. Advances in Unconventional Computing
661
675
.
Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir & Mike Stannett. 2015. Membrane Computing. Membrane Computing
153
170
.
T. Mathu, Hepzibah A. Christinal & Daniel Díaz-Pernil. 2015. Unconventional Computation and Natural Computation. Unconventional Computation and Natural Computation
239
249
.
Ali Maroosi & Ravie Chandren Muniyandi. (2014) Accelerated execution of P systems with active membranes to solve the N-queens problem. Theoretical Computer Science 551, pages 39-54.
Crossref
Marian Gheorghe & Florentin Ipate. 2014. Membrane Computing. Membrane Computing
1
9
.
Adrian Ţurcanu, Laurenţiu Mierlă, Florentin Ipate, Alin Stefanescu, Hao Bai, Mike Holcombe & Simon Coakley. 2014. Applications of Membrane Computing in Systems and Synthetic Biology. Applications of Membrane Computing in Systems and Synthetic Biology
247
266
.
Florentin Ipate, Raluca Lefticaru, Laurenţiu Mierlă, Luis Valencia Cabrera, Huang Han, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez Jiménez & Marian Gheorghe. 2013. Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013. Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013
1081
1089
.
Adrian Turcanu & Florentin Ipate. (2012) Computational Properties of Two P Systems Solving the 3-colouring Problem. Computational Properties of Two P Systems Solving the 3-colouring Problem.