Publications of the Research Group on Natural Computing (from 2000 to present date)

Size: px
Start display at page:

Download "Publications of the Research Group on Natural Computing (from 2000 to present date)"

Transcription

1 Publications of the Research Group on Natural Computing (from 2000 to present date) November 27, 2013 Publications in ISI Ranked Journals (excluding LNCS) References [1] T. Song, L.F. Macías-Ramos, L. Pan, M.J. Pérez-Jiménez. Time-free solution to SAT problem using P systems with active membranes. Theoretical Computer Science, online version (doi: /j.tcs ). Impact Factor of [2] M.A. Martínez-del-Amor, J. Pérez-Carrasco, M.J. Pérez-Jiménez. Characterizing the Parallel Simulation of P Systems on the GPU. International Journal of Unconventional Computing, 9, 5-6 (2013), Impact Factor of [3] M. Gheorghe, Gh. Paun, M.J. Pérez-Jiménez, Gr. Rozenberg. Research frontiers in Membrane Computing: Open problems and research topics. International Journal of Foundations of Computer Science, 24, 5 (2013), Impact Factor of [4] M.J. Pérez-Jiménez, A. Riscos, M. Rius, A. Romero. Seeking sharper frontiers of eciency in tissue P systems. International Journal of Foundations of Computer Science, 24, 5 (2013), Impact Factor of [5] Gh. Paun, M.J. Pérez-Jiménez, Gr. Rozenberg. Bridging Membrane and Reaction SystemsFurther Results and Research Topics. Fundamenta Informaticae, 127, 14 (2013), Impact Factor of [6] L. Valencia, M-García-Quismondo, Y. Su, H. Yu, M.J. Pérez-Jiménez, L. Pan. Modeling Logic Gene Networks by Means of Probabilistic Dynamic P Systems. International Journal of Unconventional Computing, 9, 56 (2013), [7] J. Wang, P. Shi, H. Peng, M.J. Pérez-Jiménez, T. Wang. Weighted Fuzzy Spiking Neural P Systems. IEEE Transactions on Fuzzy Systems, 21, 2 (2013), Impact Factor of [8] M. A. Colomer, A. Margalida, M.J. Pérez-Jiménez. Population Dynamics P System (PDP) models: a standarized protocol for describing and applying novel bio-inspired computing tools. Plos One, 8, 4 (2013), 113. Impact Factor of [9] H. Peng, J. Wang, M.J. Pérez-Jiménez, P. Shi. A novel image thresholding method based on membrane computing and fuzzy entropy. Journal of Intelligent and Fuzzy Systems, 24, 2 (2013), Impact Factor of [10] D. Díaz-Pernil, A. Berciano, F. Peña-Cantillana, M.A. Gutiérrez Naranjo. Segmenting Images with Gradient-based Edge Detection Using Membrane Computing. Pattern Recognition Letters, online version ( In press. Impact Factor of

2 [11] Gh. Paun, M.J. Pérez-Jiménez. Editorial. Foreword. Special Issue: A selection of papers from the 10th Brainstorming Week on Membrane Computing. International Journal of Computer Mathematics, 90, 4 (2013), Impact factor of [12] R. Freund, I. Pérez-Hurtado, A. Riscos-Núñez, S. Verlan. A formalization of membrane systems with dynamically evolving structures. International Journal of Computer Mathematics, 90, 4 (2013), Impact Factor of [13] M.J. Pérez-Jiménez, A. Riscos, M. Rius, F.J. Romero. A polynomial alternative to unbounded environment for tissue P systems with cell division. International Journal of Computer Mathematics, 90, 4 (2013), Impact Factor of [14] M. Gheorghe, F. Ipate, R. Lefticaru, M.J. Pérez-Jiménez, A. Turcanu, L. Valencia-Cabrera, M. García- Quismondo, F. Mierla. 3-COL problem modelling using simple Kernel P systems. International Journal of Computer Mathematics, 90, 4 (2013), Impact Factor of [15] T. Song, L. Pan, Gh. Paun. Asynchronous spiking neural P systems with local synchronization. Information Sciences, 219 (2013), Impact Factor of [16] H. Peng, J. Wang, M.J. Pérez-Jiménez, H. Wang, J. Shao, T. Wang. Fuzzy reasoning spiking neural P system for fault diagnosis. Information Sciences, 2012, online version ( Impact Factor of [17] C.I. Vasile, A.B. Pavel, I. Dumitrache, G. Paun. On the power of enzymatic numerical P systems. Acta Informatica, 49, 6 (2012), Impact factor of [18] Y. Niu, L. Pan, M.J. Pérez-Jiménez. Solving Common Algorithmic Problem with recognizer tisse P systems. Romanian Journal of Information Science and Technology, 15-1 (2012), Impact Factor of [19] F.C. Cabarle, H.N. Adorna, M.A. Martínez, M.J. Pérez-Jiménez. Improving GPU simulations of Spiking Neural P systems. Romanian Journal of Information Science and Technology, 15-1 (2012), Impact Factor of [20] Gh. Paun, M.J. Pérez-Jiménez. Towards bridging two cell-inspired models: P systems and R systems. Theoretical Computer Science, 429 (2012), ( Impact Factor of [21] Gh. Paun, M.J. Pérez-Jiménez. P automata revised. Theoretical Computer Science, 454 (2012), ). Impact Factor of [22] Gh. Paun, M.J. Pérez-Jiménez. An innite hierarchy of languages dened by dp systems. Theoretical Computer Science, 431 (2012), Impact Factor of [23] J.M. Cecilia, J.M. García, G.D. Guerrero, M.A. Martínez-del-Amor, M.J. Pérez-Jiménez, M. Ujaldón. The GPU on the simulation of cellular computing models. Soft Computing, 16, 2 (2012), Impact Factor of [24] J. Blakes, J. Twycross, F.J. Romero-Campero, N. Krasnogor. The Infobiotics Workbench: an integrated in silico modelling platform for Systems and Synthetic Biology. Bioinformatics. 27, 23 (2011), Impact Factor of [25] M. Ionescu, Gh. Paun, M.J. Pérez-Jiménez, T. Yokomori. Spiking Neural dp Systems. Fundamenta Informaticae, 111, 4 (2011), Impact Factor of [26] M.J. Pérez-Jiménez, A. Riscos-Núñez, M. Rius-Font, F.J. Romero-Campero. Looking for small ecient P systems. Fundamenta Informaticae, 110, 1-4 (2011), Impact Factor of [27] Y. Niu, L. Pan, M.J. Pérez-Jiménez, M. Rius-Font. A tissue P systems based uniform solution to Tripartite Matching problem. Fundamenta Informaticae, 109, (2011), Impact Factor of

3 [28] R. Freund, M. Gheorghe, S. Marcus, V. Mitrana, M.J. Pérez-Jiménez. Special Issue-Natural Computing: Theory and applications. Preface. International Journal of Foundations of Computer Science, 22, 1 (2011), 1-6. Impact Factor of [29] L. Pan, Gh. Paun, M.J. Pérez-Jiménez. Spiking neural P systems with neuron division and budding. Science China. Information Sciences, 54, 8 (2011), (Impact Factor of [30] J. Karhumäki, Gh. Paun, G. Rozenberg, A. Salomaa. Preface. Fundamenta Informaticae. 110, 1-4 (2011), Impact Factor of [31] L. Pan. D. Díaz, M.J. Pérez-Jiménez. Computation of Rumsey numbers by P systems with active membranes. International Journal of Foundations of Computer Science, 22, 1 (2011), Impact Factor of [32] I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos, M.A. Gutiérrez, M. Rius. On a partial armative answer for a Paun's conjecture. International Journal of Foundations of Computer Science, 22, 1 (2011), Impact Factor of [33] M.A. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos, F. Sancho. A simulation algorithm for multienvironment probabilistic P systems: A formal verication. International Journal of Foundations of Computer Science, 22, 1 (2011), Impact Factor of [34] M. Cardona, A. Margalida, M.J. Pérez-Jiménez, D. Sanuy. A bio-inspired computing model as a new tool for modeling ecosystems: The avian scavengers as a case study. Ecological modelling, 222, 1 (2011), Impact Factor of [35] L. Pan, Gh. Paun. Spiking Neural P Systems: An improved Normal Form. Theoretical Computer Science, 441, 6 (2010), Impact Factor of [36] H.J. Hoogeboom; L. Pan; Gh. Paun; M.J. Pérez-Jiménez; J. Wang. Spiking Neural P Systems With Weights. Neural Computation, 22, 10 (2010), Impact Factor of [37] Gh. Paun: A quick introduction to membrane computing. Journal of Logic and Algebraic Programming, 79, 6 (2010), Impact Factor of [38] Gh. Paun, M.J. Pérez-Jiménez. Solving problems in a distributed way in Membrane Computing. International Journal of Computers, Communications and Control, 5, 2 (2010), Impact Factor of [39] Gh. Paun, M.J.Pérez-Jiménez, Gh. Stefanescu. Membrane Computing and Programming. Journal of Logic and Algebraic Programming, 79, 6 (2010), Impact Factor of [40] M.A. Martínez, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos. A P-Lingua based simulator for Tissue Psystems. Journal of Logic and Algebraic Programming, 79, 6 (2010), Impact Factor of [41] Gh. Paun, M.J. Pérez-Jiménez. Foreword. Special Issue on Membrane Computing. Romanian Journal of Information Science and Technology (ROMJIST), 13, 2 (2010), Impact Factor of [42] H. Adorna, Gh. Paun, M.J. Pérez-Jiménez. On Communication Complexity in Evolution- Communication P Systems. Romanian Journal of Information Science and Technology (ROMJIST), 13, 2 (2010), Impact Factor of [43] D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, P. Real, V. Sánchez-Canal es. Computing Homology Groups in Binary 2D Imagery by Tissue-like P Systems. Romanian Journal of Information Science and Technology (ROMJIST), 13, 2 (2010), Impact Factor of [44] H.A. Christinal, D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez. Thresholding of 2D Images with Cell-like P Systems. Romanian Journal of Information Science and Technology (ROMJIST), 13, 2 (2010), Impact Factor of

4 [45] J.M. Cecilia, J.M. García, G.D. Guerrero, M.A. Martínez, I. Pérez-Hurtado, M.J. Pérez-Jiménez. Simulating a Psystem based ecient solution to SAT by using GPUs. Journal of Logic and Algebraic Programming, 79, 6 (2010), Impact Factor of [46] J.M. Cecilia, J.M. García, G.D. Guerrero, M.A. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez- Jiménez. Simulation of P systems with Active Membranes on CUDA. Briengs in Bioinformatics, 11, 3 (2010), Impact Factor of [47] L. Pan, M.J. Pérez-Jiménez. Computational complexity of tissue-like P systems. Journal of Complexity, 26, 3 (2010), Impact Factor of [48] D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos. A Linear Time Solution to the Partition Problem in a Cellular Tissue-Like Model. Journal of Computational and Theoretical Nanoscience, 7, 5 (2010), Impact Factor of [49] F. Manea, M. Margenstern, V. Mitrana, M.J. Pérez-Jiménez. A New Characterization of NP, P and PSPACE with Accepting Hybrid Networks of Evolutionary Processors. Theory of Computing Systems, 46 (2010), Impact Factor of [50] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos, F.J. Romero. On the Eciency of Cell-Like and Tissue-Like Recognizing Membrane Systems. International Journal of Intelligent Systems, 24 (2009) Impact Factor of [51] M. García-Quismondo, R. Gutiérrez-Escudero, M.A. Martínez-del-Amor, E. Orejuela-Pinedo, I. Pérez- Hurtado. P-Lingua 2.0: A software framework for cell-like P systems, International Journal of Computers, Communications and Control, Vol. IV, 3 (2009), Impact Factor of [52] G. Ciobanu, S. Marcus, Gh. Paun. New strategies of using the rules of a P system in a maximal way. Power and complexity. Romanian Journal of Information Science and Technology, 12 (2009), Impact Factor of [53] L. Pan, Gh. Paun. Spiking neural P systems with anti-spikes, International Journal of Computers, Communications and Control, Vol. IV, 3 (2009), Impact Factor of [54] M. Cavaliere, E. Egecioglu, O.H. Ibarra, M. Ionescu, Gh. Paun, S. Woodworth. Asynchronous spiking neural P systems. Theoretical Computer Science, 410, (2009), Impact Factor of [55] F.J. Romero, J. Twycross, M. Camara, M. Bennett, M. Gheorghe, N. Krasnogor. Modular Assembly of Cell Systems Biology Models Using P systems, International Journal of Foundations of Computer Science, 20 (2009) Impact Factor of [56] N. Busi, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez. Ecient Computation in Rational-Valued P Systems. Mathematical Structures in Computer Science, 19 (2009) Impact Factor of [57] C. Graciani, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez. An Approach to Ballistic Deposition Based on Membrane Computing. International Journal of Unconventional Computing, 5, 5 (2009), Impact Factor of [58] Gh. Paun, M.J. Pérez-Jiménez. Foreword. Special Issue: Membrane Computing. Fifth Brainstorming Week on Membrane Computing. International Journal of Unconventional Computing, 5, 5 (2009), Impact Factor of [59] C. Zandron; A. Leporati; C. Ferretti; G. Mauri; M.J. Pérez Jiménez. On the computational eciency of polarizationless recognizer P systems with strong division and dissolution. Fundamenta Informaticae, 87, 1 (2008), Impact Factor of [60] Gh. Paun. Membrane computing and brane calculi. Old, New, and Future Bridges. Theoretical Computer Science, 404 (2008), Impact Factor of

5 [61] E. Csuhaj-Varju, Gh. Paun, G. Vaszil. Tissue-like P systems with dynamically emerging requests. International Journal of Foundations of Computer Science, 19 (2008), Impact Factor of [62] Gh. Paun, M.J. Pérez-Jiménez. Special Issue on Membrane Computing. Preface. Fundamenta Informaticae, 87 (2008), 1-2. Impact Factor of [63] F.J. Romero, M.J. Pérez-Jiménez. A model of the Quorum Sensing System in Vibrio Fischeri using P systems. Articial Life, 14, 1 (2008), Impact Factor of [64] F.J. Romero, M.J. Pérez-Jiménez. Modelling gene expression control using P systems: The Lac Operon, a case study. BioSystems, 91, 3 (2008), Impact Factor of [65] R. Brijder, M. Cavaliere, A. Riscos, G. Rozenberg, D. Sburlan. Membrane Systems with Proteins Embedded in Membranes. Theoretical Computer Science, 404, 1-2 (2008), Impact Factor of [66] D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos. A uniform family of tissue P systems with cell division solving 3-COL in a linear time. Theoretical Computer Science, 404, 1-2 (2008), Impact Factor of [67] E. Csuhaj-Varju, A. Di Nola, Gh. Paun, M.J. Pérez-Jiménez, G. Vaszil. Editing congurations of P systems. Fundamenta Informaticae, 82, 1-2 (2008), Impact Factor of [68] Gh. Paun, M.J. Pérez-Jiménez, T. Yokomori. Representations and characterizations of languages in Chomsky hierarchy by means of insertion-deletion systems. International Journal of Foundations of Computer Science, 19, 4 (2008), Impact Factor of [69] F. Manea, M. Margenstern, V. Mitrana, M.J.Pérez-Jiménez. A new characterization of NP, P, and PSPACE with accepting hybrid networks of evolutionary processors. Theory of Computing Systems, 46, 2 (2008), Impact Factor of [70] M. Ionescu, Gh. Paun; T. Yokomori. Spiking neural P systems with an exhaustive use of rules. International Journal of Unconventional Computing, 3 (2007), Impact Factor of [71] M. Cardona; M.A. Colomer; M.J. Pérez-Jiménez. Hierarchical clustering with Membrane Computing. Computing and Informatics, 27 (2008), Impact Factor of [72] Gh. Paun. Spiking neural P systems with astrocyte-like control. Journal of Universal Computer Science, 13 (2007), Impact Factor of [73] Gh. Paun, M.J. Pérez-Jiménez, Gr. Rozenberg. Computing morphisms by spiking neural P systems. International Journal of Foundations of Computer Science, 18, 6 (2007), Impact Factor of [74] G. Ciobanu, L. Pan, Gh. Paun, M.J. Pérez-Jiménez. P systems with minimal parallelism. Theoretical Computer Science, 378, 1 (2007), Impact Factor of [75] Gh. Paun, M.J. Pérez-Jiménez, A. Salomaa. Spiking neural P systems: An early survey. International Journal of Foundations of Computer Science, 18, 3 (2007), Impact Factor of [76] F.J. Romero, M. Gheorghe, G. Ciobanu, J.M. Auld, M.J. Pérez-Jiménez. Cellular modelling using P systems and process algebra. Progress in Natural Science, 17, 4 (2007), Impact Factor of [77] S. Cheruku, A. Paun, F.J. Romero, M.J. Pérez-Jiménez, O.H. Ibarra. Simulating FAS-induced apoptosis by using P systems. Progress in Natural Science, 17, 4 (2007), Impact Factor of [78] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos, F.J. Romero. How to express tumours using membrane systems. Progress in Natural Science, 17, 4 (2007), Impact Factor of [79] H. Chen, R. Freund, M. Ionescu, Gh. Paun, M.J. Pérez-Jiménez. On string languages generated by Spiking Neural P systems. Fundamenta Informaticae, 75, 1-4 (2007), Impact Factor of

6 [80] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos. On the degree of parallelism in membrane systems. Theoretical Computer Science, 372, 2-3 (2007), Impact Factor of [81] Gh. Paun, M.J. Pérez-Jiménez. Editorial. Fourth Brainstorming Week on Membrane Computing. Theoretical Computer Science, 372, 2-3 (2007), Impact Factor of [82] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, F.J. Romero. A uniform solution to SAT using membrane creation. Theoretical Computer Science, 371, 1-2 (2007), Impact Factor of [83] A. Paun, Gh. Paun. Small universal spiking neural P systems. BioSystems, 90 (2007), Impact Factor of [84] O. Ibarra, A. Paun, Gh. Paun, A. Rodriguez-Paton, P. Sosik, S. Woodworth. Normal forms for spiking neural P systems. Theoretical Computer Science, 372 (2007), Impact Factor of [85] E. Csuhaj-Varju, Gh. Paun, G. Vaszil. Grammar systems versus membrane computing: the case of CD grammar systems. Fundamenta Informaticae, 76 (2007), Impact Factor of [86] H. Chen, T-O. Ishdorj, Gh. Paun. Computing along the axon. Progress in Natural Science, 17 (2007), Impact Factor of [87] M. Ionescu, Gh. Paun; T. Yokomori. Spiking neural P systems with an exhaustive use of rules. International Journal of Unconventional Computing, 3 (2007), Impact Factor of [88] G. Ciobanu, Gh. Paun, Gh. Stefanescu. P Transducers. New Generation Computing, 24 (2006), Impact Factor of [89] M. Ionescu, Gh. Paun, T. Yokomori. Spiking Neural P Systems. Fundamenta Informaticae, 71 (2006), Impact Factor of [90] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos, F.J. Romero. Computational eciency of dissolution rules in membrane systems. International Journal of Computer Mathematics, 83, 7 (2006), Impact Factor of [91] A. Alhazov, R. Freund, A. Riscos. Membrane division, restricted membrane creation and object complexity in P systems. International Journal of Computer Mathematics, 83, 7 (2006), Impact Factor of [92] H. Chen, T-O. Ishdorj, Gh. Paun, M.J. Pérez-Jiménez. Handling languages with spiking neural P systems with extended rules. Romanian Journal of Information Science and Technology, 9, 3 (2006), Impact Factor of [93] Gh. Paun, M.J. Pérez-Jiménez, Gr. Rozenberg. Spike trains in spiking neural P systems. International Journal of Foundations of Computer Science, 17, 4 (2006), Impact Factor of [94] Gh. Paun, M.J. Pérez-Jiménez. Membrane Computing: Brief introduction, recent results and applications. BioSystems, 85, 1 (2006), Impact Factor of [95] G. Ciobanu, Gh. Paun, M.J. Pérez-Jiménez. On the branching complexity of P systems. Fundamenta Informaticae, 73, 1-2 (2006), Impact Factor of [96] Gh. Paun, M.J. Pérez-Jiménez. Preface. Special Issue Membrane Computing. International Journal of Foundations of Computer Science, 17, 1 (2006), 1-2. Impact Factor of [97] R. Ceterchi, M.J. Pérez-Jiménez. On simulating a class of parallel architectures. International Journal of Foundations of Computer Science, 17, 1 (2006), Impact Factor of [98] A. Leporati, C. Zandron, M.A. Gutiérrez-Naranjo. P systems with input in binary form. International Journal of Foundations of Computer Science, 17, 1 (2006), Impact Factor of

7 [99] Gh. Paun, R. Paun. Membrane computing and economics: numerical P systems. Fundamenta Informaticae, 73 (2006), Impact Factor of [100] O. Ibarra, Gh. Paun. Characterizations of context-sensitive languages and other language classes in terms of Symport/Antiport P systems. Theoretical Computer Science, 358 (2006), Impact Factor of [101] L. Cardelli, Gh. Paun. An universality result for a membrane calculus based on mate/drip operations. International Journal of Foundations of Computer Science, 17 (2006), Impact Factor of [102] M. Margenstern, Gh. Paun, Y. Rogozhin, S. Verlan. Context-free insertion-deletion systems. Theoretical Computer Science, 330 (2005), Impact Factor of [103] M.A. Gutiérrez-Naranjo, M.J. Pérez Jiménez, A. Riscos N. A fast P system for nding a balanced 2-partition. Soft Computing, 9, 9 (2005), Impact Factor of [104] M.J. PérezJiménez, A. Riscos N. Solving the Subset-Sum problem by P systems with active membranes. New Generation Computing, 23, 4 (2005), Impact Factor of [105] Gh. Paun, M.J. Pérez-Jiménez, J. Pazos, A. Rodríguez-Patón. Symport/antiport P systems with three objects are universal. Fundamenta Informaticae, 64 (2005), Impact Factor of [106] R. Freund, Gh. Paun, M.J. Pérez-Jiménez. Tissue-like P systems with channel-states. Theoretical Computer Science, 330 (2005), Impact Factor of [107] Gh. Paun, M.J. Pérez-Jiménez, F. Sancho. On the reachability problem for P systems with symport/antiport. Publicationes Mathematicae-Debrecen, 65 (2004), Impact Factor of [108] Gh. Paun, M.J. Pérez-Jiménez. Foreword. Second Brainstorming Week on Membrane Computing. Special Issue. Journal of Universal Computer Science, 10, 5 (2004), Impact Factor of [109] M.J. Pérez-Jiménez, F.J. Romero. An ecient family of P systems for packing items into bins. Journal of Universal Computer Science, 10, 5 (2004), Impact Factor of [110] A. Cordón, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, F. Sancho. A Prolog simulator for deterministic P systems with active membranes. New Generation Computing, 22, 4 (2004), Impact Factor of [111] C.S. Calude, Gh. Paun. Bio-steps beyond Turing. BioSystems, 77 (2004), Impact Factor of [112] Gh. Paun, Y. Suzuki, H. Tanaka, T. Yokomori. On the power of membrane division in P systems. Theoretical Computer Science, 324 (2004), Impact Factor of [113] R. Freund, C. Martin-Vide, Gh. Paun. From regulated rewriting to computing with membranes: three collapsing hierarchies. Theoretical Computer Science, 312 (2004), Impact Factor of [114] R. Freund, J. Kelemen, Gh. Paun. A note on emergence in multi-agent string processing systems. Computing and Informatics, 22 (2003), Impact Factor of [115] A. Obtulowicz, Gh. Paun. (In search of) Probabilistic P systems. BioSystems, 70 (2003), Impact Factor of [116] E. Csuhaj-Varju, Gh. Paun, G. Vaszil. PC grammar systems with ve context-free component scan generate all recursively enumerable languages. Theoretical Computer Science, 299 (2003), Impact Factor of [117] Martin-Vide, Gh. Paun, J. Pazos, A. Rodriguez-Paton. Tissue P systems. Theoretical Computer Science, 296 (2003), Impact Factor of

8 [118] C. Ferretti, G. Mauri, Gh. Paun, C. Zandron. On three variants of rewriting P systems. Theoretical Computer Science, 301 (2003), Impact Factor of [119] D. Besozzi, G. Mauri, Gh. Paun, C. Zandron. Gemmating P systems: Collapsing hierarchies. Theoretical Computer Science, 296 (2003), Impact Factor of [120] M.J. Pérez-Jiménez, F. Sancho. A formalization of transition P systems. Fundamenta Informaticae, 49, 1-3 (2002), Impact Factor of [121] A. Romero, M.J. Pérez-Jiménez. Simulating Turing Machines by P systems with External Output. Fundamenta Informaticae, 49, 1-3 (2002), Impact Factor of [122] A. Paun, Gh. Paun, G. Rozenberg. Computing by communication in networks of membranes. International Journal of Foundations of Computer Science, 13 (2002), Impact Factor of [123] C. Martin-Vide, A. Paun, Gh. Paun. On the power of P systems with symport rules. Journal of Universal Computer Science, 8 (2002), Impact Factor of [124] F. Arroyo, A. Baranda, J. Castellanos, Gh. Paun. Membrane computing: The power of (rule) creation. Journal of Universal Computer Science, 9 (2002), Impact Factor of [125] A. Paun, Gh. Paun. The power of communication. P systems with symport/antiport. New Generation Computing, 20 (2002), Impact Factor of [126] C. Martin-Vide, Gh. Paun, G. Rozenberg. Membrane systems with carriers. Theoretical Computer Science, 270 (2002), Impact Factor of [127] M. Amos, Gh. Paun, G. Rozenberg, A. Salomaa. Topics in the theory of DNA computing. Theoretical Computer Science, 287 (2002), Impact Factor of [128] Gh. Paun, G. Rozenberg. A guide to membrane computing. Theoretical Computer Science, 287 (2002), Impact Factor of [129] P. Bottoni, C. Martin-Vide, Gh. Paun, G. Rozenberg. Membrane systems with promoters/inhibitors. Acta Informatica, 38 (2002), Impact Factor of [130] Gh. Paun, N. Santean, G. Thierrin, S. Yu. On the robustness of primitive words. Discrete Applied Mathematics, 117 (2002), Impact Factor of [131] Gh. Paun, Y. Sakakibara, T. Yokomori. P systems on graphs of restricted forms. Publicationes Mathematicae Debrecen, 60 (2002), Impact Factor of [132] C. Martin-Vide, A. Paun, Gh. Paun, G. Rozenberg. Membrane systems with couples transport: Universality and normal forms. Fundamenta Informaticae, 49 (2002), Impact Factor of [133] S. Kobayashi, V. Mitrana, Gh. Paun, G. Rozenberg. Formal properties of PA-matching. Theoretical Computer Science, 262 (2001), Impact Factor of [134] S. Kobayashi, V. Mitrana, Gh. Paun, G. Rozenberg. Computing with membranes (P systems). BioSystems, 59 (2001), Impact Factor of [135] Gh. Paun, Y. Suzuki, H. Tanaka. P systems with energy accounting. International Journal of Computer Mathematics, 78 (2001), Impact Factor of [136] Gh. Paun, G. Rozenberg, T. Yokomori. Hairpin languages. International Journal of Foundations of Computer Science, 12 (2001), Impact Factor of [137] J. Dassow, Gh. Paun, G. Thierrin, S. Yu. Tree-systems of morphisms. Acta Informatica, 38 (2001), Impact Factor of [138] P. Bottoni, G. Mauri, P. Mussio, Gh. Paun. Computing with shapes. Journal of Visual Languages and Computing, 12 (2001), Impact Factor of

9 [139] C.S. Calude, Gh. Paun, M. Tataram. A glimpse into natural computing. Journal of Multi-valuate Logic, 7 (2001), [140] Gh. Paun. Computing with membranes (P systems): A variant. International Journal of Foundations of Computer Science, 11 (2001), Impact Factor of [141] J. Dassow, C. Martin-Vide, Gh. Paun, A. Rodriguez-Paton. Conditional concatenation. Fundamenta Informaticae, 44, (2000), , Impact Factor of [142] Gh. Paun, G. Rozenberg, A. Salomaa. Membrane computing with external output. Fundamenta Informaticae, 41 (2000), Impact Factor of [143] L. Ilie, Gh. Paun, G. Rozenberg, A. Salomaa. On strongly context-free languages. Discrete Applied Mathematics, 103 (2000), Impact Factor of [144] C.S. Calude, Gh. Paun. Computing with cells and atoms in a nutshell. Complexity, 6 (2000), Impact Factor of [145] P. Bottoni, G. Mauri, P. Mussio, Gh. Paun. On the power of pictorial languages. International Journal of Pattern Recognition and Articial Intelligence, 14 (2000), Impact Factor of [146] Gh. Paun. Computing with membranes. Journal of Computer and System Sciences, 61 (2000), Impact Factor of [147] Gh. Paun. DNA computing based on splicing. Universality results. Theoretical Computer Science, 231 (2000), Impact Factor of [148] J. Kelemen, Gh. Paun. Robustness of decentralized knowledge systems: A grammar-theoretic view. Journal of Experimental and Theoretical Articial Intelligence, 12, (2000), [149] Gh. Paun, T. Yokomori. Simulating H systems by P systems. Journal of Universal Computer Science, 6, 1 (2000), Impact Factor of Publications in other Journals (including LNCS). References [1] H.A. Christinal, D. Díaz-Pernil, P. Real, E.S. Selvan. Color Segmentation of 2D Images with Thresholding. Communications in Computer and Information Science, 305, (2012), [2] M.A. Martínez-del-Amor, I. Pérez-Hurtado, M. García-Quismondo, L.F. Macías-Ramos, L. Valencia- Cabrera, A. Romero-Jiménez, C. Graciani-Díaz, A. Riscos-Núñez, M.A. Colomer, M.J. Pérez-Jiménez DCBA: Simulating population dynamics P systems with proportional objects distribution. Membrane Computing- 13th International Conference CMC 2012 Budapest, Hungary, August 28-31, 2012, Revised Selected Papers. Lecture Notes in Computer Science, 7762 (2013), [3] L.F. Macías-Ramos, M.J. Pérez-Jiménez, A. Riscos-Núñez, M. Rius The eciency of tissue P systems with cell separation relies on the environment. Membrane Computing- 13th International Conference CMC 2012 Budapest, Hungary, August 28-31, 2012, Revised Selected Papers. Lecture Notes in Computer Science, 7762 (2013), [4] L.F. Macías-Ramos, M.J. Pérez-Jiménez. Spiking Neural P systems with functional astrocytes. Membrane Computing- 13th International Conference CMC 2012 Budapest, Hungary, August 28-31, 2012, Revised Selected Papers. Lecture Notes in Computer Science, 7762 (2013), [5] H.A. Christinal, D. Díaz-Pernil, M.A. Gutiérrez Naranjo, P. Real. Using Membrane Computing for Eective Homology. Applicable Algebra in Engineering, Communication and Computing, 23, 5-6 (2012),

10 [6] Gh. Paun. Towards Fypercomputations (in Membrane Computing). Lecture Notes in Computer Science, 7300 (2012), [7] M.A. Martínez-del-Amor, I. Pérez-Hurtado, A. Gastalver-Rubio, A.C. Elster, M.J. Pérez-Jiménez. Population Dynamics P Systems on CUDA. Computational Methods in Systems Biology. Lecture Notes in Computer Science, 7605 (2012), [8] S. Stepney, S. Abramsky, M. Bechmann, J. Gorecki, V. Kendon, T.J. Naughton, Mario J. Pérez-Jiménez, F.J. Romero-Campero, A. Sebald. Heterotic Computing Examples with Optics, Bacteria, and Chemicals. Unconventional Computation and Natural Computation. Lecture Notes in Computer Science, 7445 (2012), [9] D. Díaz-Pernil, M.A. Gutiérrez Naranjo, H., Molina-Abril, P. Real, Designing a New Software Tool for Digital Imagery Based on P Systems. Natural Computing, 11, (2012), [10] F. Peña-Cantillana, A. Berciano, D. Díaz-Pernil, M.A. Gutiérrez Naranjo. Parallel Skeletonizing of Digital Imagery by Using Cellular Automata Lecture Notes in Computer Science, 7309 (2012), [11] Gh. Paun, M.J. Pérez-Jiménez. Languages and P systems: Recent developments. Computer Science Journal of Moldova, 20, 2 (2012), [12] A. Nagar, Gh. Paun: Foreword. Natural Computing, 11, 3 (2012), [13] Gh. Paun, M.J. Pérez-Jiménez. dp automata versus right-linear simple matrix grammars. Computation, Physics and Beyond. Dedicated to Cristian S. Calude on the ocassion of his 60th Birthday. Lecture Notes in Computer Science, 7160 (2012), [14] A Spiking Neural P System Simulator Based on CUDA, F. Cabarle, H. Adorna, M.A. Martínez-del- Amor, Lecture Notes in Computer Science, 7184, (2012), [15] M. Gheorghe, Gh. Paun, G. Rozenberg, S. Verlan. Preface. Proceedings of the 12th International Conference on Membrane Computing (CMC12), Membrane Computing, 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Lecture Notes in Computer Science, 7184 (2012), V-VI. [16] L.F. Macías-Ramos, I. Pérez-Hurtado, M. García-Quismondo, L. Valencia, M.J. Pérez-Jiménez, A. Riscos-Núñez. A P-Lingua based simulator for Spiking Neural P systems. Membrane Computing, 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Lecture Notes in Computer Science, 7184 (2012), [17] X. Zhang, Y. Niu, L. Pan, M.J. Pérez-Jiménez. Linear Time Solution to Prime Factorization by Tissue P Systems with Cell Division. International Journal of Natural Computing Research, 2, 3 (2011), [18] F. Ipate, R. Lefticaru, I. Pérez-Hurtado, M.J. Pérez-Jiménez, C. Tudose. Formal verication of P systems with active membranes through model checking. Membrane Computing, 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers. Lecture Notes in Computer Science, 7184 (2012), [19] X. Zhang, Y. Niu, L. Pan, M.J. Pérez-Jiménez. Linear time solution to prime factorization by tissue P systems with cell division. International Journal of Natural Computing Research, 2, 3 (2011), [20] P. Frisco, Gh. Paun, M.J. Pérez-Jiménez. Guest Editorial Preface. Special Issue on Membrane Computing. International Journal of Natural Computing Research, 2, 2 (2011), i-iii. [21] M.A. Gutiérrez, M.J. Pérez-Jiménez. Local search with P systems: A case study. International Journal of Natural Computing Research, 2, 2 (2011), [22] F. Cabarle, H. Adorna, M.A. Martínez-del-Amor, M.J. Pérez-Jiménez. Spiking Neural P System Simulations on a High Performance GPU Platform. Lecture Notes in Computer Science, 7017 (2011),

11 [23] R. Barbuti, G. Franco, Gheorghe Paun. Foreword. Natural Computing, 10, 1 (2011) [24] M.A. Colomer, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos-Núñez. Comparing Simulation Algorithms for multienvironmental probabilistic P systems over a standard virtual ecosystem. Natural Computing, 11 (2012), [25] P. Frisco, Gh. Paun, M.J. Pérez-Jiménez. Guest Editorial Preface. Special Issue on Membrane Computing. International Journal on Natural Computing Research, 2, 2 (2011), i-iii. [26] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez. Local Search with P systems: A Case Study. International Journal on Natural Computing Research, 2, 2 (2011), [27] F. Cabarle, H. Adorna, M.A. Martínez-del-Amor. Simulating Spiking Neural P Systems Without Delays Using GPUs. International Journal on Natural Computing Research, 2, 2 (2011), [28] S. Ivanov, A. Alhazov, V. Rogojin, M.A. Gutiérrez-Naranjo. Forward and Backward Chaining with P Systems. International Journal on Natural Computing Research, 2, 2 (2011), [29] F. Peña-Cantillana, D. Díaz-Pernil, A. Christinal-Hepzibah, M.A. Gutiérrez-Naranjo. Implementation on CUDA of the Smoothing Problem with Tissue-Like P Systems. International Journal on Natural Computing Research, 2, 3 (2011), [30] F. Peña-Cantillana, D. Díaz-Pernil, A. Berciano, M.A. Gutiérrez Naranjo. A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P System. Lecture Notes in Computer Science, 6855 (2011), [31] M. Ionescu, Gh. Paun. Notes about spiking neural P systems. Annals of Bucharest Univ. Mathematics- Informatics Series [32] Gh. Paun, Membrane computing at twelve years. Back to Turku. Lecture Notes in Computer Science, 6714 (2011), [33] E. Rivero-Gil, M.A. Gutiérrez-Naranjo, A. Romero-Jiménez, A. Riscos-Núñez. A Software Tool for Generating Graphics by Means of P Systems. Natural Computing, 10, 2 (2011), p [34] M.J. Pérez-Jiménez, A. Ortega, José M. Sempere. The Spanish Network on Biomolecular and Biocellular Computing: Bio-inspired Natural Computing in Spain. ERCIM (European Research Consortium for Informatics and Mathematics) News, 85, (2011), 25. [35] J.M. Cecilia, J.M. García, G.D. Guerrero, M.A. Martínez-del-Amor, M.J. Pérez-Jiménez, M. Ujaldón. The GPU on the simulation of cellular computing models. Soft Computing, 16, 2 (2012), [36] Gh. Paun, M.J. Pérez-Jiménez. P and dp Automata: a Survey. Lecture Notes in Computer Science, 6570 (2011), [37] M.J. Pérez-Jiménez, I. Pérez-Hurtado, A. Riscos-Núñez, F.J. Romero-Campero. Membrane Computing (Tutorial). Lecture Notes in Computer Science, 6714 (2011), [38] M. Gheorghe, T. Hinze, Gh. Paun, G. Rozenberg, A. Salomaa. Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, Revised Selected Papers. Preface. Lecture Notes in Computer Science, 6501 (2011), v-vi. [39] Gh. Paun. Membrane Computing at Twelve Years. Lecture Notes in Computer Science, 6501 (2011), 1-2. [40] M.A. Colomer, S. Lavín, I. Marco, A. Margalida, I. Pérez-Hurtado, M.J. Pérez-Jiménez, D. Sanuy, E. Serrano, L. Valencia-Cabrera. Modeling population growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by using P systems. Lecture Notes in Computer Science, 6501 (2011), [41] X. Zeng, H. Adorna, M.A. Martínez-del-Amor, L. Pan, M.J. Pérez-Jiménez. Matrix representation of Spiking Neural P systems. Lecture Notes in Computer Science, 6501 (2011),

12 [42] M.A. Gutiérrez M.J. Pérez-Jiménez. Depth-First search with P systems. Lecture Notes in Computer Science, 6501 (2011), [43] M. Gheorghe, V. Manca, F.J. Romero-Campero: Deterministic and stochastic P systems for modelling cellular processes. Natural Computing, 9, 2 (2010), [44] J. Smaldon, F.J. Romero-Campero, F. Fernández Trillo, M. Gheorghe, C. Alexander, N. Krasnogor. A computational study of liposome logic: towards cellular computing from the bottom up. Systems and Synthetic Biology, 4, 3 (2010), [45] P. Milazzo, M.J. Pérez-Jiménez. Preface. Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology. Electronic Proceedings in Theoretical Computer Science, 33 (2010). [46] E. Rivero-Gil, M.A. Gutiérrez-Naranjo, A. Romero, A. Riscos. A Software Tool for Generating Graphics by Means of P Systems. Natural Computing, 10, 2 (2010), [47] P. Bonizzoni, Gh. Paun, G. Rozenberg, C. Zandron. Preface. Natural Computing, 9, 2 (2010), [48] R. Freund, M. Kogler, Gh. Paun, M.J. Perez-Jimenez: On the power of P and dp automata. Annals of the University of Bucharest Mathematics-Informatics Series, 2010, LVIII (2009), [49] M. Cardona, M. Colomer, A. Margalida, I. Pérez-Hurtado, M.J. Pérez-Jiménez, D. Sanuy. A P system Based Model of an Ecosystem of Some Scavenger Birds. Membrane Computing. 10th International Workshop, WMC Lecture Notes in Computer Science, 5957 (2010), [50] M. Cardona, M.A. Colomer, A. Margalida, A. Palau, I. Pérez-Hurtado, M.J. Pérez-Jiménez, D. Sanuy. A computational modeling for real ecosystems based on P systems. Natural Computing, 10, 1 (2011), [51] M. García-Quismondo, R. Gutiérrez-Escudero, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos-Núñez. An Overview of P-Lingua 2.0, 10th International Workshop, WMC Lecture Notes in Computer Science, 5957 (2010), [52] O.H. Ibarra, M.J. Pérez-Jiménez, T. Yokomori. On Spiking Neural P systems, Natural Computing, 9, 2 (2010), [53] H. Cao, F.J. Romero-Campero, S. Heeb, M. Camara, N. Krasnogor. Evolving Cell Models for Systems and Synthetic Biology. Systems and Synthetic Biology, 4, 1 (2010), [54] J.M. Cecilia, J.M. García, G. Guerrero, M. Martínez-del-Amor, I. Pérez-Hurtado, M.J. Pérez-Jiménez. Implementing P systems Parallelism by means of GPUs, 10th International Workshop, WMC Lecture Notes in Computer Science, 5957 (2010), [55] A. Riscos-Núñez. A framework for complexity classes in membrane computing, Electronic Notes in Theoretical Computer Science, Vol. 225 (2009), p [56] A. Leporati, C. Ferretti, G. Mauri, M.J. Pérez-Jiménez, C. Zandron. Complexity Aspects of Polarizationless Membrane Systems, Natural Computing, 8 (2009), [57] D. Diaz, A. Romero, M.J. Pérez-Jiménez. Ecient Simulation of Tissue-like P systems by Transition Cell-like P systems, Natural Computing, 8 (2009), [58] M.A. Gutiérrez-Naranjo, A. Leporati. First steps towards a CPU made of Spiking Neural P systems. International Journal of Computers, Communication and Control, 4, 3 (2009), [59] D. Woods, N. Murphy, M.J. Pérez-Jiménez, A. Riscos-Núñez. Membrane Dissolution and Division in P. Lecture Notes in Computer Science, 5715 (2009), [60] M. Cardona, M. Colomer, A. Riscos, M. Rius. P Systems Computing the Period of Irreducible Markov Chains, International Journal of Computers, Communications and Control, 4 (2009),

13 [61] A. Leporati, G. Mauri, C. Zandron, G. Paun, M.J. Pérez-Jiménez. Uniform Solutions to SAT and SUBSET SUM by Spiking Neural P Systems, Natural Computing, 8 (2009), [62] D. Díaz, I. Pérez-Hurtado, M.J. Pérez-Jiménez, A. Riscos-Núñez. A P-Lingua programming environment for Membrane Computing. Membrane Computing. 9th International Workshop WMC Lecture Notes in Computer Science, 5391 (2009), [63] D. Díaz-Pernil, P. Gallego-Ortiz, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez. Descriptional complexity of tissue-like P systems with cell division. 8th International Conference on Unconventional Computation. Lecture Notes in Computer Science, Vol. 5715, (2009), [64] D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez. Solving the Independent Set problem by using tissue-like P systems with cell division. 3rd International Work-Conference on the Interplay Between Natural and Articial Computation. Lecture Notes in Computer Science, Vol. 5601, (2009), [65] F.J. Romero-Campero, J. Twycross, C. Hongqing, J. Blakes, N. Krasnogor. A multiscale modelling framework based on P systems. Membrane Computing. 9th International Workshop WMC 2008, Lecture Notes in Computer Science, 5391 (2009), [66] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez. Hebbian learning from spiking neural P systems view. Membrane Computing. 9th International Workshop WMC 2008, Lecture Notes in Computer Science, 5391 (2009), [67] M. Cardona, M.A. Colomer, M.J. Pérez-Jiménez, D. Sanuy, A. Margalida. Modeling ecosystem using P systems: The bearded vulture, a case study. Membrane Computing. 9th International Workshop WMC 2008, Lecture Notes in Computer Science, 5391 (2009), [68] H. Chen, M. Ionescu, T.-O. Ishdorj, A. Paun, Gh. Paun, M.J. Pérez-Jiménez Spiking Neural P systems with extended rules: universality and languages. Natural Computing, 7, 2 (2008), [69] Gh. Paun, M.J. Pérez-Jiménez, A. Riscos. Tissue P systems with cell division. International Journal of Computers, Communications and Control, 3, 3 (2008), [70] M. Cardona, M. Colomer, A. Riscos, M. Rius. Computing the Period of Irreducible Markov Chains. International Journal of Computers, Communication and Control, 4, 3 (2008), [71] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, D. Ramírez. A software tool for verication of spiking neural P systems. Natural Computing, 7, 4 (2008), [72] A. Leporati, G. Mauri, C. Ferretti, M.J. Pérez Jiménez, C. Zandron. Complexity aspects of polarizationless membrane systems. Natural Computing, 8, 4 (2008), [73] A. Leporati, G. Mauri, C. Zandron, Gh. Paun, M.J. Pérez-Jiménez. Uniform solutions to SAT and Subset Sum by spiking neural P systems. Natural Computing, 8, 4 (2008), [74] D. Díaz-Pernil, M.J. Pérez Jiménez, A. Romero. Ecient simulation of tissue-like P systems by transition cell-like P systems. Natural Computing, 8, 4 (2008), [75] Gh. Paun. Natural Computing. Between Necessity and Fashion. International Journal of Computers, Communication and Control, Vol. III, 3 (2008), [76] C.S. Calude, Gh. Paun. Foreword, Natural Computing, 7(1), 1 (2008), 1. [77] M. Ionescu, Gh. Paun, T. Yokomori: Preface. Natural Computing, 7, 4 (2008), [78] Gh. Paun. Bibliography of spiking neural P systems. Natural Computing, 7, 4 (2008), [79] O. Ibarra, Gh. Paun. Membrane computing: a general view. Annals of European Academy of Sciences, 2008,

14 [80] Gh. Paun; M.J. Pérez Jiménez; A. Riscos. Tissue P systems with cell division. International Journal of Computers, Communications and Control, 3, 3 (2008). [81] A. Romero, M.J. Pérez Jiménez, D. Díaz. Ecient Simulation of Tissue-like P Systems by Transition Cell-like P Systems. Natural Computing, 8(4) (2008), [82] E. Csuhaj-Varju, Gh. Paun, G. Vaszil. Tissue-like P systems communicating by request. Ramanujan Mathematical Society. Lecture Notes Series in Mathematics, (2008), [83] Gh. Paun, F.J. Romero Campero. Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. 8th International School on Formal Methods for the Design of Computer, Communication, and Software. Lecture Notes in Computer Science, Volume 5016, (2008), p [84] D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos, A. Romero. Computational eciency of cellular division in tissue-like P systems. Romanian Journal of Information Science and Technology, 11, 3 (2008), [85] Gh. Paun. A quick overview of membrane computing with details about spiking neural P systems. Frontiers of Computer Science in China, (2007), [86] Gh. Paun. Spiking neural P systems. A tutorial. Bulletin of the European Association for Theoretial Computer Science, 91 (2007), [87] D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos. A linear-time tissue P system based solution for the 3-coloring problem. Electronic Notes in Theoretical Computer Science, 171 (2007), [88] M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos. Multidimensional descriptional complexity of P systems. Journal of Automata, Languages and Combinatorics, 12, 1-2 (2007), [89] R. Brijder, M. Cavaliere, A. Riscos, G. Rozenberg, D. Sburlan. Membrane systems with marked membranes. Electronic Notes in Theoretical Computer Science, 171 (2007), [90] Gh. Paun. Membrane Computing as a Framework for Bio-Modeling (an Informal Glimpse). Algebraic Biology: 2nd International Conference. Lecture Notes in Computer Science, 4545 (2007), [91] Gh. Paun. Spiking Neural P Systems. Power and Eciency. Bio-inspired Modeling of cognitive tasks. Lecture Notes in Computer Science, 4527 (2007), [92] A. Alhazov, M.J. Pérez-Jiménez. Uniform solution of QSAT using polarizationless active membranes. Machines, Computations, and Universality. Lecture Notes in Computer Science, 4664 (2007), [93] R. Ceterchi, M.J. Pérez-Jiménez, A.I. Tomescu. Simulating the bitonic sort using P systems. Membrane Computing. 8th International Workshop WMC Lecture Notes in Computer Science, 4860 (2007), [94] D. Díaz, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos. A logarithmic bound for solving Subset Sum with P systems. Membrane Computing. 8th International Workshop WMC Lecture Notes in Computer Science, 4860 (2007), [95] D. Díaz-Pernil, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos. Solving Subset-Sum in linear time by using tissue P systems with cell division. Bio-inspired Modeling of cognitive tasks. Lecture Notes in Computer Science, 4527 (2007), [96] G. Mauri, M.J. Pérez-Jiménez, C. Zandron. On a Paun's conjecture in membrane systems. Bio-inspired Modeling of cognitive tasks. Lecture Notes in Computer Science, 4527 (2007), [97] R. Freund, Gh. Paun, M.J. Pérez-Jiménez. Polarizationless P systems with active membranes working in the minimally parallel mode. 6th International Conference on Unconventional Computation. Lecture Notes in Computer Science, 4618 (2007),

15 [98] M.J. Pérez-Jiménez, F.J. Romero. P systems, a new computational modelling tool for Systems Biology. Transactions on Computational Systems Biology VI. Lecture Notes in Bioinformatics, 4220 (2006), [99] Gh. Paun, M.J. Pérez-Jiménez, A. Salomaa. Bounding the indegree of Spiking Neural P systems. Turku Center for Computer Science - TUCS, Report Nr. 773, June [100] M.J. Pérez-Jiménez, A. Romero, F. Sancho. A polynomial complexity class in P systems using membrane division. Journal of Automata, Languages and Combinatorics, 11, 4 (2006), [101] Gh. Paun, M.J. Pérez-Jiménez (eds.). Selected papers dedicated to Membrane Computing. Editorial. Journal of Automata, Languages and Combinatorics, 11, 3 (2006), 239. [102] R. Brijder, M. Cavaliere, A. Riscos, G. Rozenberg, D. Sburlan. Communication membrane systems with active symports. Journal of Automata, Languages and Combinatorics, 11, 3 (2006), [103] Gh. Paun. One More Universality Result for P Systems with Objects on Membranes. International Journal of Computers, Communications and Control, 1 (2006), [104] M. Cavaliere, R. Freund, A. Leistch, Gh. Paun. Event-related outputs of computations in P systems. Journal of Automata, Languages and Combinatorics, 11 (2006), [105] Gh. Paun. Languages in Membrane Computing. Some Details for Spiking Neural P Systems. Developments in Language Theory: 10th International Conference, DLT Lecture Notes in Computer Science, 4036 (2006), [106] M. Cardona, M.A. Colomer, M.J. Pérez Jiménez, A. Zaragoza. Handling Markov chains with Membrane Computing. 5th International Conference on Unconventional Computation. Lecture Notes in Computer Science, 4135 (2006), [107] F. Bernardini, F.J. Romero, M. Gheorghe, M.J. Pérez-Jiménez. A modeling approach based on P systems with bounded parallelism. Membrane Computing. 7th International Workshop WMC Lecture Notes in Computer Science, 4361 (2006), [108] N. Busi, M.A. Gutiérrez-Naranjo. A Case Study in (Mem)Brane Computation: Generating n2: n>=1. Membrane Computing. 7th International Workshop WMC Lecture Notes in Computer Science, 4361 (2006), [109] A. Paun, M.J. Pérez-Jiménez, F.J. Romero. Modeling signal transduction using P systems. Membrane Computing. 7th International Workshop WMC Lecture Notes in Computer Science, 4361 (2006), [110] R. Brijder, M. Cavaliere, A. Riscos, G. Rozenberg, D. Sburlan. Membrane systems with external control. Membrane Computing. 7th International Workshop WMC Lecture Notes in Computer Science, 4361 (2006), pp [111] M. Cardona, M.A. Colomer, M.J. Pérez-Jiménez, A. Zaragoza. Classifying states of a nite Markov chains with Membrane Computing. Membrane Computing. 7th International Workshop WMC Lecture Notes in Computer Science, 4361 (2006), [112] F.J. Romero, M. Gheorghe, L. Bianco, D. Pescini, [113] M.J. Pérez-Jiménez, R. Ceterchi. Towards probabilistic model checking on P systems using PRISM. Membrane Computing. 7th International Workshop WMC Lecture Notes in Computer Science, 4361 (2006), [114] A. Romero, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez. Graphical modeling of higher plants using P systems. Membrane Computing. 7th International Workshop WMC Lecture Notes in Computer Science, 4361 (2006),

A Framework for Complexity Classes in Membrane Computing

A Framework for Complexity Classes in Membrane Computing Electronic Notes in Theoretical Computer Science 225 (2009) 319 328 www.elsevier.com/locate/entcs A Framework for Complexity Classes in Membrane Computing Agustín Riscos-Núñez 1,2 Dpt. Computer Science

More information

CuSNP: Spiking Neural P Systems Simulators in CUDA

CuSNP: Spiking Neural P Systems Simulators in CUDA CuSNP: SN P Systems Simulator in CUDA 1 ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 20, Number 1, 2017, 57 70 CuSNP: Spiking Neural P Systems Simulators in CUDA Jym Paul A. Carandang

More information

Spiking Neural P Systems with Astrocyte-Like Control 1

Spiking Neural P Systems with Astrocyte-Like Control 1 Journal of Universal Computer Science, vol. 13, no. 11 (2007), 1707-1721 submitted: 10/9/06, accepted: 19/11/07, appeared: 28/11/07 J.UCS Spiking Neural P Systems with Astrocyte-Like Control 1 Gheorghe

More information

Adaptive Fuzzy Spiking Neural P Systems for Fuzzy Inference and Learning

Adaptive Fuzzy Spiking Neural P Systems for Fuzzy Inference and Learning Adaptive Fuzzy Spiking Neural P Systems for Fuzzy Inference and Learning Jun Wang 1 and Hong Peng 2 1 School of Electrical and Information Engineering, Xihua University, Chengdu, Sichuan, 610039, China

More information

Improving Simulations of Spiking Neural P Systems in NVIDIA CUDA GPUs: CuSNP

Improving Simulations of Spiking Neural P Systems in NVIDIA CUDA GPUs: CuSNP Improving Simulations of Spiking Neural P Systems in NVIDIA CUDA GPUs: CuSNP 1 Jym Paul Carandang, 1 John Matthew B. Villaflores, 1 Francis George C. Cabarle, 1 Henry N. Adorna, 2 Miguel Ángel Martínez-del-Amor

More information

MINIMAL INGREDIENTS FOR TURING COMPLETENESS IN MEMBRANE COMPUTING

MINIMAL INGREDIENTS FOR TURING COMPLETENESS IN MEMBRANE COMPUTING THE PUBLISHING HOUSE PROCEEDINGS OF THE ROMANIAN ACADEMY, Series A, OF THE ROMANIAN ACADEMY Volume 18, Number 2/2017, pp. 182 187 MINIMAL INGREDIENTS FOR TURING COMPLETENESS IN MEMBRANE COMPUTING Bogdan

More information

Rete Algorithm for P System Simulators

Rete Algorithm for P System Simulators Rete Algorithm for P System Simulators Carmen Graciani, Miguel A. Gutiérrez-Naranjo, Agustín Riscos-Núñez Research Group on Natural Computing Department of Computer Science and Artificial Intelligence

More information

Solving Subset Sum Problems by Time-free Spiking Neural P Systems

Solving Subset Sum Problems by Time-free Spiking Neural P Systems Appl. Math. Inf. Sci. 8, No. 1, 327-332 (2014) 327 Applied Mathematics & Information Sciences An International Journal http://dx.doi.org/10.12785/amis/080140 Solving Subset Sum Problems by Time-free Spiking

More information

Hybrid Transition Modes in (Tissue) P Systems

Hybrid Transition Modes in (Tissue) P Systems Hybrid Transition Modes in (Tissue) P Systems Rudolf Freund and Marian Kogler Faculty of Informatics, Vienna University of Technology Favoritenstr. 9, 1040 Vienna, Austria {rudi,marian}@emcc.at Summary.

More information

A Note on the Probabilistic Evolution for P Systems

A Note on the Probabilistic Evolution for P Systems A Note on the Probabilistic Evolution for P Systems Sergey Verlan Laboratoire d Algorithmique, Complexité et Logique, Université Paris Est Créteil Val de Marne, 61, av. gén. de Gaulle, 94010, Créteil,

More information

Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets

Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets Cell-like Versus Tissue-like P Systems by Means of Sevilla Carpets Daniel Díaz-Pernil 1, Pilar Gallego-Ortiz 2, Miguel A. Gutiérrez-Naranjo 2, Mario J. Pérez-Jiménez 2, Agustín Riscos-Núñez 2 1 Research

More information

Frontiers of Membrane Computing: Open Problems and Research Topics

Frontiers of Membrane Computing: Open Problems and Research Topics Frontiers of Membrane Computing: Open Problems and Research Topics Marian Gheorghe 1, Gheorghe Păun 2,3, Mario J. Pérez-Jiménez 3 Editors 1 Department of Computer Science, University of Sheffield Regent

More information

Membrane Computing: Power, Efficiency, Applications

Membrane Computing: Power, Efficiency, Applications Membrane Computing: Power, Efficiency, Applications (A Quick Introduction) Gheorghe Păun Romanian Academy, Bucharest, RGNC, Sevilla University, Spain george.paun@imar.ro, gpaun@us.es Gh. Păun, Membrane

More information

Spiking Neural P Systems. A Tutorial

Spiking Neural P Systems. A Tutorial Spiking Neural P Systems. A Tutorial Gheorghe P UN Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucure³ti, Romania E-mail: george.paun@imar.ro, gpaun@us.es Abstract. We briey present

More information

13th Brainstorming Week on Membrane Computing

13th Brainstorming Week on Membrane Computing 13th Brainstorming Week on Membrane Computing Sevilla, February 2 6, 2015 Luis F. Macías-Ramos Gheorghe Păun Agustín Riscos-Núñez Luis Valencia-Cabrera Editors 13th Brainstorming Week on Membrane Computing

More information

On P Systems with Bounded Parallelism

On P Systems with Bounded Parallelism On P Systems with Bounded Parallelism Francesco Bernardini Department of Computer Science, The University of Sheffield Regent Court, Portobello Street, Sheffield S1 4DP, UK F.Bernardini@dcs.shef.ac.uk

More information

Membrane Computing: from biology to computation and back

Membrane Computing: from biology to computation and back 2014 Isonomia Epistemologica Rivista online di Filosofia Università degli Studi di Urbino Carlo Bo Membrane Computing: from biology to computation and back Paolo Milazzo University of Pisa milazzo@di.unipi.it

More information

Solving Vertex Cover Problem by Tissue P Systems with Cell Division

Solving Vertex Cover Problem by Tissue P Systems with Cell Division Appl. Math. Inf. Sci. 8, No. 1, 333-337 (2014) 333 Applied Mathematics & Information Sciences An International Journal http://dx.doi.org/10.12785/amis/080141 Solving Vertex Cover Problem by Tissue P Systems

More information

Further Twenty Six Open Problems in Membrane Computing

Further Twenty Six Open Problems in Membrane Computing Further Twenty Six Open Problems in Membrane Computing Gheorghe PĂUN Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucureşti, Romania and Research Group on Natural Computing Department

More information

Minimal Cooperation in Symport/Antiport Tissue P Systems

Minimal Cooperation in Symport/Antiport Tissue P Systems Minimal Cooperation in Symport/Antiport Tissue P Systems Artiom Alhazov Yurii Rogozhin Institute of Mathematics and Computer Science Academy of Sciences of Moldova Academiei 5, Chişinău, MD-08, Moldova

More information

Extended Spiking Neural P Systems

Extended Spiking Neural P Systems Extended Spiking Neural P Systems Artiom ALHAZOV 1,2, Rudolf FREUND 3, Marion OSWALD 3, and Marija SLAVKOVIK 3 1 Institute of Mathematics and Computer Science Academy of Sciences of Moldova Str. Academiei

More information

Natural Computing Modelling of the Polynomial Space Turing Machines

Natural Computing Modelling of the Polynomial Space Turing Machines Natural Computing Modelling of the Polynomial Space Turing Machines Bogdan Aman and Gabriel Ciobanu Romanian Academy, Institute of Computer Science Blvd. Carol I no., 756 Iaşi, Romania baman@iit.tuiasi.ro,

More information

Tissue P Systems with Cell Division

Tissue P Systems with Cell Division Tissue P Systems with Cell Division Gheorghe PĂUN 1,2, Mario PÉREZ-JIMÉNEZ 2, Agustín RISCOS-NÚÑEZ 2 1 Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucureşti, Romania 2 Research

More information

Asynchronous Spiking Neural P Systems with Structural Plasticity

Asynchronous Spiking Neural P Systems with Structural Plasticity Asynchronous Spiking Neural P Systems with Structural Plasticity Francis George Carreon-Cabarle 1, Henry N. Adorna 1, Mario J. Pérez-Jiménez 2 1 Department of Computer Science, University of the Philippines

More information

Solving Problems in a Distributed Way in Membrane Computing: dp Systems

Solving Problems in a Distributed Way in Membrane Computing: dp Systems Solving Problems in a Distributed Way in Membrane Computing: dp Systems Gheorghe Păun 1,2, Mario J. Pérez-Jiménez 2 1 Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucureşti, Romania

More information

On Communication Complexity in Evolution-Communication P Systems

On Communication Complexity in Evolution-Communication P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 13, Number 2, 2010, 113 130 On Communication Complexity in Evolution-Communication P Systems Henry ADORNA 1, Gheorghe PĂUN2,3, Mario J. PÉREZ-JIMÉNEZ3

More information

Spiking Neural P Systems with Anti-Spikes as Transducers

Spiking Neural P Systems with Anti-Spikes as Transducers ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 14, Number 1, 2011, 20 30 Spiking Neural P Systems with Anti-Spikes as Transducers Venkata Padmavati METTA 1, Kamala KRITHIVASAN 2, Deepak

More information

On small universal antiport P systems

On small universal antiport P systems Theoretical Computer Science 372 (2007) 152 164 www.elsevier.com/locate/tcs On small universal antiport P systems Erzsébet Csuhaj-Varjú a,, Maurice Margenstern b, György Vaszil a, Sergey Verlan c a Computer

More information

2006 Research Topics in Membrane Computing

2006 Research Topics in Membrane Computing 2006 Research Topics in Membrane Computing Gheorghe Păun Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucharest, Romania and Research Group on Natural Computing Department of Computer

More information

Further Open Problems in Membrane Computing

Further Open Problems in Membrane Computing Further Open Problems in Membrane Computing Gheorghe PĂUN Institute of Mathematics of the Romanian Academy PO Box 1-764, 014700 Bucureşti, Romania and Research Group on Natural Computing Department of

More information

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE Volume 22, Number 1, January 2011 CONTENTS

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE Volume 22, Number 1, January 2011 CONTENTS INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE Volume 22, Number 1, January 2011 CONTENTS Special Issue Natural Computing: Theory and Applications Preface 1 R. Freund, M. Gheorghe, S. Marcus,

More information

An Overview of Membrane Computing

An Overview of Membrane Computing An Overview of Membrane Computing Krishna Shankara Narayanan Department of Computer Science & Engineering Indian Institute of Technology Bombay Membrane Computing The paradigmatic idea of membrane computing

More information

P Automata: Concepts, Results and New Aspects

P Automata: Concepts, Results and New Aspects P Automata: Concepts, Results and New Aspects Erzsébet Csuhaj-Varjú Computer and Automation Research Institute Hungarian Academy of Sciences Kende u. 13-17, 1111 Budapest, Hungary and Department of Algorithms

More information

An Application of Genetic Algorithms to Membrane Computing

An Application of Genetic Algorithms to Membrane Computing An Application of Genetic Algorithms to Membrane Computing Gabi Escuela 1, Miguel A. Gutiérrez-Naranjo 2 1 Bio Systems Analysis Group Friedrich Schiller University Jena gabi.escuela@uni-jena.de 2 Research

More information

On Two Families of Multiset Tree Automata

On Two Families of Multiset Tree Automata On Two Families of Multiset Tree Automata José M. Sempere, Damián López Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia {jsempere,dlopez}@dsic.upv.es Summary. The

More information

On P Systems with Active Membranes

On P Systems with Active Membranes On P Systems with Active Membranes Andrei Păun Department of Computer Science, University of Western Ontario London, Ontario, Canada N6A 5B7 E-mail: apaun@csd.uwo.ca Abstract. The paper deals with the

More information

Notes on Spiking Neural P Systems and Finite Automata

Notes on Spiking Neural P Systems and Finite Automata Notes on Spiking Neural P Systems and Finite Automata Francis George C. Cabarle 1, Henry N. Adorna 1, Mario J. Pérez-Jiménez 2 1 Department of Computer Science University of the Philippines Diliman Diliman,

More information

Fifth Brainstorming Week on Membrane Computing

Fifth Brainstorming Week on Membrane Computing Fifth Brainstorming Week on Membrane Computing Sevilla, January 29 February 2, 2007 Miguel Angel Gutiérrez-Naranjo, Gheorghe Păun, Alvaro Romero-Jiménez, Agustín Riscos-Núñez Editors Fifth Brainstorming

More information

Solving the N-Queens Puzzle with P Systems

Solving the N-Queens Puzzle with P Systems Solving the N-Queens Puzzle with P Systems Miguel A. Gutiérrez-Naranjo, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez Research Group on Natural Computing Department of Computer

More information

Model Checking Based Test Generation from P Systems Using P-Lingua

Model Checking Based Test Generation from P Systems Using P-Lingua ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 13, Number 2, 2010, 153 168 Model Checking Based Test Generation from P Systems Using P-Lingua Raluca LEFTICARU 1, Florentin IPATE 1, Marian

More information

Array Insertion and Deletion P Systems

Array Insertion and Deletion P Systems Array Insertion and Deletion P Systems Henning Fernau 1 Rudolf Freund 2 Sergiu Ivanov 3 Marion Oswald 2 Markus L. Schmid 1 K.G. Subramanian 4 1 Universität Trier, D-54296 Trier, Germany Email: {fernau,mschmid}@uni-trier.de

More information

Membrane Computing - current results and future problems

Membrane Computing - current results and future problems Membrane Computing - current results and future problems Francesco Bernardini 1, Marian Gheorghe 1, Natalio Krasnogor 2 and German Terrazas 2 1 Department of Computer Science, University of Sheffield,

More information

Solving Multidimensional 0-1 Knapsack Problem by P Systems with Input and Active Membranes

Solving Multidimensional 0-1 Knapsack Problem by P Systems with Input and Active Membranes Solving Multidimensional 0-1 Knapsack Problem by P Systems with Input and Active Membranes Linqiang PAN 1,2, Carlos MARTIN-VIDE 2 1 Department of Control Science and Engineering Huazhong University of

More information

Characterizations of Catalytic Membrane Computing Systems

Characterizations of Catalytic Membrane Computing Systems Characterizations of Catalytic Membrane Computing Systems (Extended Abstract) Oscar H. Ibarra, Zhe Dang, Omer Egecioglu, and Gaurav Saxena Department of Computer Science University of California Santa

More information

On Controlled P Systems

On Controlled P Systems On Controlled P Systems Kamala Krithivasan 1, Gheorghe Păun 2,3, Ajeesh Ramanujan 1 1 Department of Computer Science and Engineering Indian Institute of Technology, Madras Chennai-36, India kamala@iitm.ac.in,

More information

On Flip-Flop Membrane Systems with Proteins

On Flip-Flop Membrane Systems with Proteins On Flip-Flop Membrane Systems with Proteins Andrei Păun 1,2, Alfonso Rodríguez-Patón 2 1 Department of Computer Science/IfM Louisiana Tech University P.O. Box 10348, Ruston, LA 71272, USA apaun@latech.edu

More information

SOLVING DIOPHANTINE EQUATIONS WITH A PARALLEL MEMBRANE COMPUTING MODEL Alberto Arteta, Nuria Gomez, Rafael Gonzalo

SOLVING DIOPHANTINE EQUATIONS WITH A PARALLEL MEMBRANE COMPUTING MODEL Alberto Arteta, Nuria Gomez, Rafael Gonzalo 220 International Journal "Information Models and Analyses" Vol.1 / 2012 SOLVING DIOPHANTINE EQUATIONS WITH A PARALLEL MEMBRANE COMPUTING MODEL Alberto Arteta, Nuria Gomez, Rafael Gonzalo Abstract: Membrane

More information

P Finite Automata and Regular Languages over Countably Infinite Alphabets

P Finite Automata and Regular Languages over Countably Infinite Alphabets P Finite Automata and Regular Languages over Countably Infinite Alphabets Jürgen Dassow 1 and György Vaszil 2 1 Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik PSF 4120, D-39016 Magdeburg,

More information

Twelfth Brainstorming Week on Membrane Computing

Twelfth Brainstorming Week on Membrane Computing Twelfth Brainstorming Week on Membrane Computing Sevilla, February 3 7, 2014 Luis F. Macías-Ramos Miguel Ángel Martínez-del-Amor Gheorghe Păun Agustín Riscos-Núñez Luis Valencia-Cabrera Editors Twelfth

More information

Modeling, Verification and Testing of P Systems Using Rodin and ProB

Modeling, Verification and Testing of P Systems Using Rodin and ProB Modeling, Verification and Testing of P Systems Using Rodin and ProB Florentin Ipate, Adrian Ţurcanu Department of Computer Science, University of Pitesti, Romania Summary. In this paper we present an

More information

First Steps Towards a CPU Made of Spiking Neural P Systems

First Steps Towards a CPU Made of Spiking Neural P Systems Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844 Vol. IV (2009), No. 3, pp. 244-252 First Steps Towards a CPU Made of Spiking Neural P Systems Miguel A. Gutiérrez-Naranjo,

More information

Testing Einstein s Formula on Brownian Motion Using Membrane Computing

Testing Einstein s Formula on Brownian Motion Using Membrane Computing Testing Einstein s Formula on Brownian Motion Using Membrane Computing Manuel A. Gálvez-Santisteban, Miguel A. Gutiérrez-Naranjo, Daniel Ramírez-Martínez, Elena Rivero-Gil Research Group on Natural Computing

More information

14th Brainstorming Week on Membrane Computing

14th Brainstorming Week on Membrane Computing 14th Brainstorming Week on Membrane Computing Sevilla, February 1 5, 2016 Carmen Graciani David Orellana-Martín Agustín Riscos-Núñez Álvaro Romero-Jiménez Luis Valencia-Cabrera Editors 14th Brainstorming

More information

University of Sheffield Portobello Street, Regent Court, Sheffield, S1 4DP, UK {m.gheorghe,

University of Sheffield Portobello Street, Regent Court, Sheffield, S1 4DP, UK {m.gheorghe, A Kernel P System Marian Gheorghe 1,2, Florentin Ipate 2, and Ciprian Dragomir 1 1 Department of Computer Science University of Sheffield Portobello Street, Regent Court, Sheffield, S1 4DP, UK {m.gheorghe,

More information

Active membrane systems without charges and using only symmetric elementary division characterise P

Active membrane systems without charges and using only symmetric elementary division characterise P Active membrane systems without charges and using only symmetric elementary division characterise P Niall Murphy 1 and Damien Woods 2 1 Department of Computer Science, National University of Ireland, Maynooth,

More information

Membrane Division, Oracles, and the Counting Hierarchy

Membrane Division, Oracles, and the Counting Hierarchy Fundamenta Informaticae? (214) 11 114 11 DOI 1.3233/FI-212- IOS Press embrane Division, Oracles, and the Counting Hierarchy Alberto eporati, uca anzoni, Giancarlo auri, Antonio E. Porreca, Claudio Zandron

More information

P Systems for Traffic Flow Simulation

P Systems for Traffic Flow Simulation P Systems for Traffic Flow Simulation Jiří Dvorský 21, Zbyněk Janoška 1, and Lukáš Vojáček 2 1 Department of Geoinformatics, Palacký University, Třída Svobody 26, 771 46, Olomouc, Czech Republic jiri.dvorsky@upol.cz,zbynek.janoska@cdv.cz

More information

Simulation of Spiking Neural P Systems using Pnet Lab

Simulation of Spiking Neural P Systems using Pnet Lab Simulation of Spiking Neural P Systems using Pnet Lab Venkata Padmavati Metta Bhilai Institute of Technology, Durg vmetta@gmail.com Kamala Krithivasan Indian Institute of Technology, Madras kamala@iitm.ac.in

More information

Boundaries of membrane in P systems relying on multiset approximation spaces in language R

Boundaries of membrane in P systems relying on multiset approximation spaces in language R Annales Mathematicae et Informaticae 44 (2015) pp. 197 210 http://ami.ektf.hu Boundaries of membrane in P systems relying on multiset approximation spaces in language R Péter Takács a, Zoltán Ernő Csajbók

More information

P Systems with Symport/Antiport of Rules

P Systems with Symport/Antiport of Rules P Systems with Symport/Antiport of Rules Matteo CAVALIERE Research Group on Mathematical Linguistics Rovira i Virgili University Pl. Imperial Tárraco 1, 43005 Tarragona, Spain E-mail: matteo.cavaliere@estudiants.urv.es

More information

Eighth Brainstorming Week on Membrane Computing Sevilla, February 1-5, 2010

Eighth Brainstorming Week on Membrane Computing Sevilla, February 1-5, 2010 RGNC REPORT 1/2010 Eighth Brainstorming Week on Membrane Computing Sevilla, February 1-5, 2010 Miguel Ángel Martínez del Amor Gheorghe Păun Ignacio Pérez Hurtado de Mendoza Agustín Riscos Núñez Editors

More information

Descriptional Complexity of Formal Systems (Draft) Deadline for submissions: April 20, 2009 Final versions: June 18, 2009

Descriptional Complexity of Formal Systems (Draft) Deadline for submissions: April 20, 2009 Final versions: June 18, 2009 DCFS 2009 Descriptional Complexity of Formal Systems (Draft) Deadline for submissions: April 20, 2009 Final versions: June 18, 2009 On the Number of Membranes in Unary P Systems Rudolf Freund (A,B) Andreas

More information

Solving NP-complete Problems by Spiking Neural P Systems with Budding Rules

Solving NP-complete Problems by Spiking Neural P Systems with Budding Rules Solving NP-complete Problems by Spiking Neural P Systems with Budding Rules Tseren-Onolt Ishdorj 1 Alberto Leporati 2 Linqiang Pan 34 Jun Wang 3 1 Computational Biomodelling Laboratory Åbo Akademi University

More information

A Tissue P Systems Based Uniform Solution To Tripartite Matching Problem

A Tissue P Systems Based Uniform Solution To Tripartite Matching Problem Fundamenta Informaticae 109 (2011) 1 10 1 DOI 10.3233/FI-2011-420 IOS Press A Tissue P Systems Based Uniform Solution To Tripartite Matching Problem Yunyun Niu, Linqiang Pan Key Laboratory of Image Processing

More information

COSC 594 Final Presentation Membrane Systems/ P Systems

COSC 594 Final Presentation Membrane Systems/ P Systems COSC 594 Final Presentation Membrane Systems/ P Systems Mesbah Uddin & Gangotree Chakma November, 6 Motivation of Unconventional Computing Parallel computing-- restricted in conventional computers Deterministic

More information

15th Brainstorming Week on Membrane Computing

15th Brainstorming Week on Membrane Computing 15th Brainstorming Week on Membrane Computing Sevilla, January 31 February 3, 2017 Carmen Graciani Gheorghe Păun Agustín Riscos-Núñez Luis Valencia-Cabrera Editors 15th Brainstorming Week on Membrane

More information

An Application of the PCol Automata in Robot Control

An Application of the PCol Automata in Robot Control An Application of the PCol Automata in Robot Control Miroslav Langer 1, Luděk Cienciala 1, Lucie Ciencialová 1, Michal Perdek 1, and Alice Kelemenová 1 Institute of Computer Science and Research Institute

More information

CSCI 6304: Visual Languages A Shape-Based Computational Model

CSCI 6304: Visual Languages A Shape-Based Computational Model CSCI 6304: Visual Languages A Shape-Based Computational Model November 2, 2005 Matt.Boardman@dal.ca Research Article Computing with Shapes Paulo Bottoni (Rome) Giancarlo Mauri (Milan) Piero Mussio (Brescia)

More information

Membrane Systems with Peripheral Proteins: Transport and Evolution

Membrane Systems with Peripheral Proteins: Transport and Evolution Technical Report CoSBi 04/2006 Membrane Systems with Peripheral Proteins: Transport and Evolution Matteo Cavaliere The Microsoft Research University of Trento Centre for Computational and Systems Biology

More information

About the Efficiency of Spiking Neural P Systems

About the Efficiency of Spiking Neural P Systems About the Efficiency of Spiing Neural P Systems Jun Wang 1, Tseren-Onolt Ishdorj 2, Linqiang Pan 1,3 1 Key Laboratory of Image Processing and Intelligent Control Department of Control Science and Engineering

More information

Complexity Classes in Membrane Computing

Complexity Classes in Membrane Computing Complexity Classes in Membrane Computing Fernando Sancho Caparrini Research Group on Natural Computing Dpt. Computer Science and Artificial Intelligence University of Seville, Spain Goal Main Object of

More information

Membrane Computing Applications in Computational Economics

Membrane Computing Applications in Computational Economics Membrane Computing Applications in Computational Economics Eduardo Sánchez Karhunen, Luis Valencia-Cabrera Research Group on Natural Computing Department of Computer Science and Artificial Intelligence

More information

Modeling Neural Processes in Lindenmayer Systems

Modeling Neural Processes in Lindenmayer Systems Modeling Neural Processes in Lindenmayer Systems Carlos Martín-Vide and Tseren-Onolt Ishdorj Research Group on Mathematical Linguistics Rovira i Virgili University Pl. Imperial Tàrraco 1, 43005 Tarragona,

More information

Time and Synchronization in Membrane Systems

Time and Synchronization in Membrane Systems Fundamenta Informaticae XX (2007) 1 14 1 IOS Press Time and Synchronization in Membrane Systems Matteo Cavaliere Department of Computer Science and Artificial Intelligence University of Sevilla, Av. Reina

More information

P systems based on tag operations

P systems based on tag operations Computer Science Journal of Moldova, vol.20, no.3(60), 2012 P systems based on tag operations Yurii Rogozhin Sergey Verlan Abstract In this article we introduce P systems using Post s tag operation on

More information

P Colonies with a Bounded Number of Cells and Programs

P Colonies with a Bounded Number of Cells and Programs P Colonies with a Bounded Number of Cells and Programs Erzsébet Csuhaj-Varjú 1 Maurice Margenstern 2 György Vaszil 1 1 Computer and Automation Research Institute Hungarian Academy of Sciences Kende utca

More information

Spiking Neural P Systems and Modularization of Complex Networks from Cortical Neural Network to Social Networks

Spiking Neural P Systems and Modularization of Complex Networks from Cortical Neural Network to Social Networks Spiking Neural P Systems and Modularization of Complex Networks from Cortical Neural Network to Social Networks Adam Obtu lowicz Institute of Mathematics, Polish Academy of Sciences Śniadeckich 8, P.O.B.

More information

A Model for Molecular Computing: Membrane Systems

A Model for Molecular Computing: Membrane Systems A Model for Molecular Computing: Membrane Systems Claudio Zandron DISCo - Universita di Milano-Bicocca zandron@disco.unimib.it A Model for Molecular Computing: Membrane Systems p.1/43 Summary Membrane

More information

TECHNICAL P-SYSTEMS: OPERATING IN THE STOCK MARKETS WITH TRANSITION P-SYSTEMS. Alberto Arteta, Angel Luis Castellanos, Nuria Gómez Blas

TECHNICAL P-SYSTEMS: OPERATING IN THE STOCK MARKETS WITH TRANSITION P-SYSTEMS. Alberto Arteta, Angel Luis Castellanos, Nuria Gómez Blas 236 TECHNICAL P-SYSTEMS: OPERATING IN THE STOCK MARKETS WITH TRANSITION P-SYSTEMS Alberto Arteta, Angel Luis Castellanos, Nuria Gómez Blas Abstract: During last 50 years, the markets have been object of

More information

The Power of Maximal Parallelism in P Systems

The Power of Maximal Parallelism in P Systems The Power of Maximal Parallelism in P Systems Oscar H. Ibarra 1, Hsu-Chun Yen 2, and Zhe Dang 3 1 Department of Computer Science, University of California, Santa Barbara, CA, USA ibarra@cs.ucsb.edu 2 Department

More information

An Approach to Computational Complexity in Membrane Computing

An Approach to Computational Complexity in Membrane Computing An Approach to Computational Complexity in Membrane Computing Mario J. Pérez-Jiménez Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla

More information

ON MINIMAL CONTEXT-FREE INSERTION-DELETION SYSTEMS

ON MINIMAL CONTEXT-FREE INSERTION-DELETION SYSTEMS ON MINIMAL CONTEXT-FREE INSERTION-DELETION SYSTEMS Sergey Verlan LACL, University of Paris XII 61, av. Général de Gaulle, 94010, Créteil, France e-mail: verlan@univ-paris12.fr ABSTRACT We investigate the

More information

Power and size of extended Watson Crick L systems

Power and size of extended Watson Crick L systems Theoretical Computer Science 290 (2003) 1665 1678 www.elsevier.com/locate/tcs Power size of extended Watson Crick L systems Judit Csima a, Erzsebet Csuhaj-Varju b; ;1, Arto Salomaa c a Department of Computer

More information

Theoretical Computer Science

Theoretical Computer Science Theoretical Computer Science 412 (2011) 1581 1591 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Minimization strategies for maximally

More information

Characterizations of Catalytic Membrane Computing Systems?

Characterizations of Catalytic Membrane Computing Systems? Characterizations of Catalytic Membrane Computing Systems? (Extended Abstract) Oscar H. Ibarra 1, Zhe Dang 2, Omer Egecioglu 1, and Gaurav Saxena 1 1 Department of Computer Science University of California

More information

A Formal Language Model of DNA Polymerase Enzymatic Activity

A Formal Language Model of DNA Polymerase Enzymatic Activity Fundamenta Informaticae 138 (2015) 179 192 179 DOI 10.3233/FI-2015-1205 IOS Press A Formal Language Model of DNA Polymerase Enzymatic Activity Srujan Kumar Enaganti, Lila Kari, Steffen Kopecki Department

More information

Theoretical Computer Science

Theoretical Computer Science Theoretical Computer Science 410 (2009) 2982 2991 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Sequential SNP systems based on min/max

More information

P Colonies with a Bounded Number of Cells and Programs

P Colonies with a Bounded Number of Cells and Programs P Colonies with a Bounded Number of Cells and Programs Erzsébet Csuhaj-Varjú 1,2, Maurice Margenstern 3, and György Vaszil 1 1 Computer and Automation Research Institute, Hungarian Academy of Sciences

More information

An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division

An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division An Optimal Frontier of the Efficiency of Tissue P Systems with Cell Division A.E. Porreca 1, Niall Murphy 2,3, Mario J. Pérez-Jiménez 4 1 Dipartimento di Informatica, Sistemistica e Comunicazione Università

More information

B U L L E T I N of the International Membrane Computing Society I M C S

B U L L E T I N of the International Membrane Computing Society I M C S B U L L E T I N of the International Membrane Computing Society I M C S Number 2 December 2016 Bulletin Webpage: http://membranecomputing.net/imcsbulletin Webmaster: Andrei Florea, andrei91ro@gmail.com

More information

Decision Problems Concerning. Prime Words and Languages of the

Decision Problems Concerning. Prime Words and Languages of the Decision Problems Concerning Prime Words and Languages of the PCP Marjo Lipponen Turku Centre for Computer Science TUCS Technical Report No 27 June 1996 ISBN 951-650-783-2 ISSN 1239-1891 Abstract This

More information

Fundamenta Informaticae 94 (2009) DOI /FI IOS Press. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo

Fundamenta Informaticae 94 (2009) DOI /FI IOS Press. Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo Fundamenta Informaticae 94 (2009) 1 19 1 DOI 10.3233/FI-2009-115 IOS Press Timed P Automata Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo Dipartimento di Informatica, Università di Pisa Largo

More information

Accepting H-Array Splicing Systems and Their Properties

Accepting H-Array Splicing Systems and Their Properties ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 21 Number 3 2018 298 309 Accepting H-Array Splicing Systems and Their Properties D. K. SHEENA CHRISTY 1 V.MASILAMANI 2 D. G. THOMAS 3 Atulya

More information

Substitutions, Trajectories and Noisy Channels

Substitutions, Trajectories and Noisy Channels Substitutions, Trajectories and Noisy Channels Lila Kari 1, Stavros Konstantinidis 2, and Petr Sosík 1,3, 1 Department of Computer Science, The University of Western Ontario, London, ON, Canada, N6A 5B7

More information

Improved TBL algorithm for learning context-free grammar

Improved TBL algorithm for learning context-free grammar Proceedings of the International Multiconference on ISSN 1896-7094 Computer Science and Information Technology, pp. 267 274 2007 PIPS Improved TBL algorithm for learning context-free grammar Marcin Jaworski

More information

The University of Bradford Institutional Repository

The University of Bradford Institutional Repository The University of Bradford Institutional Repository http://bradscholars.brad.ac.uk This work is made available online in accordance with publisher policies. Please refer to the repository record for this

More information

Computational Modelling in Systems and Synthetic Biology

Computational Modelling in Systems and Synthetic Biology Computational Modelling in Systems and Synthetic Biology Fran Romero Dpt Computer Science and Artificial Intelligence University of Seville fran@us.es www.cs.us.es/~fran Models are Formal Statements of

More information

Solving HPP and SAT by P Systems with Active Membranes and Separation Rules

Solving HPP and SAT by P Systems with Active Membranes and Separation Rules Solving HPP and SAT b P Sstems with Active Membranes and Separation Rules Linqiang PAN 1,3, Artiom ALHAZOV,3 1 Department of Control Science and Engineering Huahong Universit of Science and Technolog Wuhan

More information

Parallel and Distributed Algorithms in P Systems

Parallel and Distributed Algorithms in P Systems CDMTCS Research Report Series Parallel and Distributed Algorithms in P Systems Radu Nicolescu Department of Computer Science, University of Auckland, Auckland, New Zealand CDMTCS-5 December 0 Centre for

More information

On String Languages Generated by Numerical P Systems

On String Languages Generated by Numerical P Systems ROMANIAN JOURNAL OF INFORMATION SCIENCE AND TECHNOLOGY Volume 8, Number 3, 205, 273 295 On String Languages Generated by Numerical P Systems Zhiqiang ZHANG, Tingfang WU, Linqiang PAN, Gheorghe PĂUN2 Key

More information