@article {893,
	title = {3-COL problem modelling using simple Kernel P systems},
	journal = {International Journal of Computer Mathematics},
	volume = {90},
	year = {2013},
	month = {10/2013},
	pages = {816-830},
	publisher = {Taylor and Francis},
	address = {London, UK},
	abstract = {This paper presents the newly introduced class of (simple) kernel P systems ((s)kP systems) and investigates through a 3-colouring problem case study the expressive power and efficiency of kernel P systems. It describes two skPsystems that model the problem and analyzes them in terms of efficiency and complexity. The skP models prove to be more succinct (in terms of number of rules, objects, number of cells and execution steps) than the corresponding tissue P system, availablein the literature, that solves the same problem, at the expense of a greater length of the rules.},
	keywords = {3-colour problem, Formal Verification, kernel P systems, Membrane computing, Tissue P Systems},
	issn = {0020-7160},
	doi = {10.1080/00207160.2012.743712},
	url = {http://dx.doi.org/10.1080/00207160.2012.743712},
	author = {Marian Gheorghe and Florentin Ipate and Raluca Lefticaru and Mario J. P{\'e}rez-Jim{\'e}nez and Adrian Turcanu and Luis Valencia-Cabrera and Manuel Garc{\'\i}a-Quismondo and Laurentiu Mierla}
}
@article {959,
	title = {Kernel P Systems - Version I},
	journal = {Eleventh Brainstorming Week on Membrane Computing (11BWMC)},
	year = {2013},
	month = {08/2013},
	pages = {97-124},
	publisher = {F{\'e}nix Editora},
	address = {Sevilla, Espa{\~n}a},
	abstract = {A basic P system, called kernel P system4 (kP system for short), combining
features of dierent P systems introduced and studied so far is dened and discussed. The
structure of such systems is dened as a dynamic graph, similar to tissue-like P systems,
the objects are organised as multisets, and the rules in each compartment, rewriting and
communication together with system structure changing rules, are applied in accordance
with a specic execution strategy. The denition of kP systems is introduced and some
examples illustrate this concept. Two classes of P systems, namely neural-like and generalised
communicating P systems are simulated by kP systems. Some case studies prove
the expressive power of these systems.},
	isbn = {978-84-940691-9-2},
	url = {http://www.gcn.us.es/files/11bwmc/097_gheorghe_ipate.pdf},
	author = {Marian Gheorghe and Florentin Ipate and Ciprian Dragomir and Laurentiu Mierla and Luis Valencia-Cabrera and Manuel Garc{\'\i}a-Quismondo and Mario J. P{\'e}rez-Jim{\'e}nez}
}
@article {956,
	title = {Kernel P Systems: Applications and Implementations},
	journal = {Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013},
	volume = {212},
	year = {2013},
	month = {07/2013},
	pages = {1081-1089},
	publisher = {Springer Berlin Heidelberg},
	address = {Amsterdam, the Netherlands},
	abstract = {This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on GPU parallel architectures, realized using CUDA, is presented and the results are compared with the ones obtained using Promela and Spin. A case study, namely the Subset sum problem, which has been modelled with kernel P systems and further implemented in Promela is presented.},
	keywords = {Formal Verification, kernel P systems, Membrane computing, Subset sum problem},
	isbn = {978-3-642-37501-9},
	doi = {10.1007/978-3-642-37502-6_126},
	url = {http://link.springer.com/chapter/10.1007\%2F978-3-642-37502-6_126},
	author = {Florentin Ipate and Raluca Lefticaru and Laurentiu Mierla and Luis Valencia-Cabrera and Huang Han and Gexiang Zhang and Ciprian Dragomir and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Zhixiang Yin and Linqiang Pan and Xianwen Fang}
}
@article {884,
	title = {Using a kernel P system to solve the 3-Col problem},
	journal = {13th International Conference on Membrane Computing (CMC13)},
	year = {2012},
	month = {08/2012},
	pages = {243-258},
	address = {Budapest, Hungary},
	isbn = {978-963-311-372-1},
	url = {http://www.sztaki.hu/tcs/proba/cmc13/CMC13-proceedings.pdf},
	author = {Florentin Ipate and Ciprian Dragomir and Raluca Lefticaru and Laurentiu Mierla and Mario J. P{\'e}rez-Jim{\'e}nez}
}
