@article {2190,
	title = {P systems based computing polynomials with integer coefficients: Design and formal verification},
	journal = {IEEE Transactions on NanoBioscience},
	year = {2018},
	url = {https://ieeexplore.ieee.org/document/8360137/},
	author = {Ming Zhu and Gexiang Zhang and Qiang Yang and Haina Rong and Weitao Yuan and Mario J. P{\'e}rez-Jim{\'e}nez}
}
@proceedings {2173,
	title = {P systems based computing polynomials with integer coefficients: Design and formal verification},
	journal = {Asian Conference on Membrane Computing (ACMC 2017)},
	year = {2017},
	month = {09/2017},
	pages = {416-443},
	author = {Gexiang Zhang and M. Zhu and Q. Yang and Haina Rong and Weitao Yuan and Mario J. P{\'e}rez-Jim{\'e}nez}
}
@article {1775,
	title = {Application of fuzzy reasoning spiking neural P systems to fault diagnosis},
	journal = {International Journal of Computers, Communications and Control},
	volume = {9},
	year = {2014},
	pages = {720-733},
	publisher = {Agora University Editing House - CCC Publications},
	address = {Oradea, Romania},
	issn = {1841-9836},
	author = {Tao Wang and Gexiang Zhang and Haina Rong and Mario J. P{\'e}rez-Jim{\'e}nez}
}
@article {1773,
	title = {Automatic Design of Deterministic and Non-Halting Membrane Systems by Tuning Syntactical Ingredients},
	journal = {IEEE Transactions on NanoBioscience},
	year = {2014},
	issn = {1536-1241},
	doi = {10.1109/TNB.2014.2341618},
	author = {Gexiang Zhang and Haina Rong and Zhu Ou and Mario J. P{\'e}rez-Jim{\'e}nez and Marian Gheorghe}
}
@article {1771,
	title = {An optimization spiking neural P system for approximately solving combinatorial optimization problems},
	journal = {International Journal of Neural Systems},
	volume = {24},
	year = {2014},
	pages = {1-16},
	publisher = {World Scientific},
	address = {Singapore, Singapore},
	issn = {0129-0657},
	doi = {10.1142/S0129065714400061},
	author = {Gexiang Zhang and Haina Rong and Ferrante Neri and Mario J. P{\'e}rez-Jim{\'e}nez}
}
