论文信息 - Kernel P Systems - Version 1

Kernel P Systems - Version 1

1 Department of Computer Science University of Sheffield Portobello Street, Regent Court, Sheffield, S1 4DP, UK {m.gheorghe, c.dragomir}@sheffield.ac.uk 2 Department of Computer Science University of Bucarest Str Academiei, 14, Bucarest, Romania florentin.ipate@ifsoft.ro, laurentiu.mierla@gmail.com 3 Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Seville Avda. Reina Mercedes s/n, 41012 Seville, Spain {lvalencia, mgarciaquismondo, marper}@us.es

[1] M. Pérez-Jiménez,et al. A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model , 2010 .

[2] Mordechai Ben-Ari,et al. Principles of the spin model checker , 2008 .

[3] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..

[4] Artiom Alhazov,et al. Static Sorting P Systems , 2006, Applications of Membrane Computing.

[5] Marian Gheorghe,et al. 3-Col problem modelling using simple kernel P systems , 2013, Int. J. Comput. Math..

[6] Marian Gheorghe,et al. Deterministic and stochastic P systems for modelling cellular processes , 2009, Natural Computing.

[7] Mario J. Pérez-Jiménez,et al. A uniform family of tissue P systems with cell division solving 3-COL in a linear time , 2008, Theor. Comput. Sci..

[8] Gheorghe Paun,et al. Membrane Computing , 2002, Natural Computing Series.

[9] Mario J. Pérez-Jiménez,et al. Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem , 2011, Natural Computing.

[10] Artiom Alhazov,et al. Trading polarizations for labels in P systems with active membranes , 2004, Acta Informatica.

[11] Radu Nicolescu,et al. Structured Modelling with Hyperdag~P~Systems: Part B , 2009 .

[12] Gheorghe Paun,et al. The Oxford Handbook of Membrane Computing , 2010 .

[13] Gabriel Ciobanu,et al. Applications of Membrane Computing , 2006, Applications of Membrane Computing.