Francis George C. Cabarle


  • Email: fccabarle `at' up `dot' edu `dot' ph
  • Postdoctoral researcher at the Dept. of Computer Science, Xiamen University, Xiamen 361005, Fujian, China (12.2016 -- present).
    • Supported by the National Natural Science Foundation of China (No. 61672033) and Xiamen University research fund 20720170054.
  • Main research interests (intersections of):
    • Natural computing (in particular, membrane computing)
    • Parallel computing
    • Computability and computational complexity

Teaching: CS21, CS133, CS135, CS 198 y 199, CS239, CS290.


Some publications, list generated using htlatex (last updated: 06.2019):


[1]   Cabarle, F.G.C., de la Cruz, R.T.A., Cailipan, D.P.P., Zhang, D., Liu, X., Zeng, X.: On solutions and representations of spiking neural p systems with rules on synapses. Information Sciences 501 (2019) 30 – 49

[2]   Aboy, B.C., Bariring, E.J., Carandang, J.P., Cabarle, F.G.C., dela Cruz, R.T., Adorna, H.N., Martínez-del Amor, M.Á.: Optimizations in CuSNP simulator for Spiking Neural P Systems on CUDA GPUs . In: Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions (BICAS 2019), Dublin, Ireland 15–19 July 2019. (2019)

[3]   Bibi, A., Xu, F., Adorna, H.N., Cabarle, F.G.C.: Sequential Spiking Neural P Systems with Local Scheduled Synapses without Delay. Complexity 2019 (2019)

[4]   Jimenez, Z., Cabarle, F.G.C., de la Cruz, R.T.A., Buño, K.C., Adorna, H.N., Hernandez, N.H.S., Zeng, X.: Matrix Representation and Simulation Algorithm of Spiking Neural P Systems with Structural Plasticity. In Dinneen, M.J., Nicolescu, R., eds.: Asian Conference on Membrane Computing 2018 (ACMC2018) CDMTCS-530 research report, Dept. of Computer Science, University of Auckland, Auckland, New Zealand. (December 2018) 54–76

[5]   dela Cruz, R.T.A., Cabarle, F.G.C.: Generating Context-Free Languages using Spiking Neural P Systems with Structural Plasticity. In Dinneen, M.J., Nicolescu, R., eds.: Asian Conference on Membrane Computing 2018 (ACMC2018) CDMTCS-530 research report, Dept. Computer Science, University of Auckland, Auckland, New Zealand. (December 2018) 17–44

[6]   Carandang, J.P.A., Cabarle, F.G.C., Adorna, H.N., Hernandez, N.H.S., , Martínez-del Amor, M.Á.: Handling Non-determinism in Spiking Neural P Systems: Algorithms and Simulations. Fundamenta Informaticae 164 (2019) 139–155

[7]   Cabarle, F.G.C., de la Cruz, R.T.A., Zhang, X., Jiang, M., Liu, X., Zeng, X.: On String Languages Generated by Spiking Neural P Systems With Structural Plasticity. IEEE Transactions on NanoBioscience 17(4) (Oct 2018) 560–566

[8]   Cabarle, F.G.C., de la Cruz, R.T.A., Adorna, H.N., Dimaano, M.D., Peña, F.T., Zeng, X.: Small Spiking Neural P Systems with Structural Plasticity. In Graciani, C., Riscos-Nuñez, A., Paun, G., Rozenberg, G., Salomaa, A., eds.: Enjoying Natural Computing. Volume 11270 of LNCS. Springer Cham (2018) 45–56

[9]   Buño, K.C., Cabarle, F.G.C., Calabia, M.D., Adorna, H.N.: Solving the N-Queens problem using dP systems with active membranes. Theoretical Computer Science 736 (2017) 1–14

[10]   De la Cruz, R.T., Jimenez, Z., Cabarle, F.G.C., Adorna, H., Buño, H., Hernandez, N.H., Carandang, J.P.: Matrix Representation of Spiking Neural P Systems with Structural Plasticity. Proc. 18th Philippine Computing Science Congress. Cagayan de Oro City, Misamis Oriental, Philippines (P.L. Fernandez, Jr., H.N. Adorna, A.A. Sioson, J.D.L. Caro, (Eds.)) (2018) 152–164

[11]   De la Cruz, R.T., Cailipan, D.P., Cabarle, F.G.C., , Adorna, H., Buño, H., Hernandez, N.H., Carandang, J.P.: Matrix Representation and Simulation Algorithm for Spiking Neural P Systems with Rules on Synapses. Proc. 18th Philippine Computing Science Congress. Cagayan de Oro City, Misamis Oriental, Philippines (P.L. Fernandez, Jr., H.N. Adorna, A.A. Sioson, J.D.L. Caro, (Eds.)) (2018) 104–112

[12]   Martínez del Amor, M.Á., Orellana-Martín, D., Cabarle, F.G.C., Pérez-Jiménez, M.J., Adorna, H.N.: Sparse-matrix Representation of Spiking Neural P Systems for GPU. Proc. 15th Brainstorming Week on Membrane Computing (BWMC2017), Sevilla, Spain 15 (2017) 161–170

[13]   Cabarle, F.G.C., Adorna, H.N., Jiang, M., Zeng, X.: Spiking Neural P Systems With Scheduled Synapses. IEEE Transactions on NanoBioscience 16(8) (Dec 2017) 792–801

[14]   dela Cruz, R.T.A., Cabarle, F.G.C., Zeng, X.: Arithmetic and Memory Module using Spiking Neural P Systems with Structural Plasticity. Pre-proc. 6th Asian Conference on Membrane Computing (ACMC2017), 21 to 25 September 2017, Xihua University, Chengdu, China. (2017)

[15]   Carandang, J.P.A., Cabarle, F.G.C., Adorna, H.N., Hernandez, N.H.S., , Martinez-del Amor, M.A.: Nondeterminism in Spiking Neural P Systems: Algorithms and Simulations. Pre-proc. 6th Asian Conference on Membrane Computing (ACMC2017), 21 to 25 September 2017, Xihua University, Chengdu, China. (2017)

[16]   Torres, J.G.Q., Buño, K.C., Cabarle, F.G.C.: Some Notes on Spiking Neural dP Systems. Pre-proc. 6th Asian Conference on Membrane Computing (ACMC2017), 21 to 25 September 2017, Xihua University, Chengdu, China. (2017)

[17]   Juayong, R.A.B., Hernandez, N.H.S., Cabarle, F.G.C., Buño, K.C., Adorna, H.N.: On On Evolution-Communication P systems with Energy Having Bounded and Unbounded Communication. Pre-proc. 18th International Conference on Membrane Computing (CMC18), 24 to 28 July 2017, University of Bradford, U.K. (2017) 189–204

[18]   Macababayao, I.C.H., Amores, E.M.L., Hernandez, N.H.S., Cabarle, F.G.C.: Deterministic and Uniform Solutions to NP-Complete Problems using Numerical P Systems with Lower Thresholds. Pre-proc. 18th International Conference on Membrane Computing (CMC18), 24 to 28 July 2017, University of Bradford, U.K. (2017) 253–272

[19]   de la Cruz, R.T.A., Cabarle, F.G.C., Zeng, X.: On Languages Generated by Spiking Neural P System with Structural Plasticity. Pre-proc. 18th International Conference on Membrane Computing (CMC18), 24 to 28 July 2017, University of Bradford, U.K. (2017) 115–132

[20]   Carandang, J.P.A., Villaflores, J.M.B., Cabarle, F.G.C., Adorna, H.N., Martinez-del Amor, M.A.: CuSNP: Spiking Neural P Systems Simulators in CUDA. Romanian Journal of Information Science and Technology 20(1) (2017) 57–70

[21]   Carandang, J.P., Villaflores, J.M., Cabarle, F.G.C., Adorna, H.N., del Amor, M.Á.M.: CuSNP: Spiking Neural P Systems Simulators in CUDA. Pre-proc. 5th Asian Conference on Membrane Computing (ACMC2016), 14 to 16 November 2016, University Kebangsaan, Malaysia. (2016)

[22]   Gapuz, K., Juayong, E.M.R.A., Hernandez, N.H.S., Cabarle, F.G.C., Adorna, H.N.: Solution to Motif Finding Problem in Membranes. Pre-proc. 5th Asian Conference on Membrane Computing (ACMC2016), 14 to 16 November 2016, University Kebangsaan, Malaysia. (2016)

[23]   Hernandez, N.H.S., Cabarle, F.G.C.: Solving some Computationally Hard Problems using Numerical P Systems with Thresholds. Pre-proc. 5th Asian Conference on Membrane Computing (ACMC2016), 14 to 16 November 2016, University Kebangsaan, Malaysia. (2016)

[24]   Buño, K.C., Cabarle, F.G.C., Adorna, H.N., Calabia, M.: Solving the N-Queens Problem using dP Systems with Active Membranes. Pre-proc. 5th Asian Conference on Membrane Computing (ACMC2016), 14 to 16 November 2016, University Kebangsaan, Malaysia. (2016)

[25]   Carandang, J.P., Villaflores, J.M., Cabarle, F.G.C., Adorna, H.N., Martínez del Amor, M.Á.: Improving Simulations of Spiking Neural P Systems in NVIDIA CUDA GPUs: CuSNP. Proc. 14th Brainstorming Week on Membrane Computing (BWMC2016), Sevilla, Spain 14 (2016) 135–150

[26]   Argarin, P.J., Joaquin, N.J., Juayong, R.A., Hernandez, N.H., Adorna, H., Cabarle, F.G.C.: Implementation of Computations in Evolution-Communication P systems with Energy Using Open Computing Language. Proc. 16th Philippine Computing Science Congress, 16-18 March 2016, Puerto Princesa, Palawan, Philippines. (2016) 63–76

[27]   Carandang, J.P., Villaflores, J.M., Cabarle, F.G.C., Adorna, H.: CuSNP: Improvements on GPU Simulations of Spiking Neural P Systems in CUDA. Proc. 16th Philippine Computing Science Congress, 16-18 March 2016, Puerto Princesa, Palawan, Philippines. (2016) 77–84

[28]   Lagunda, A.R., Palaganas, G.I., Cabarle, F.G.C., Adorna, H.: Spiking Neural P Systems GPU Simulation using OpenCL. Proc. 16th Philippine Computing Science Congress, 16-18 March 2016, Puerto Princesa, Palawan, Philippines. (2016) 215–221

[29]   Cabarle, F.G.C., Adorna, H.N., Pérez-Jiménez, M.J.: Notes on spiking neural P systems and finite automata. Natural Computing 15(4) (2016) 533–539

[30]   Adorna, H.N., Cabarle, F.G.C., Macías-Ramos, L.F., Pan, L., Pérez-Jiménez, M.J., Song, B., Song, T., Valencia-Cabrera, L.: Taking the Pulse of SN P Systems: a Quick Survey. In Gheorghe, M., Petre, I., Perez-Jimenez, M.J., Rozenberg, G., Salomaa, A., eds.: Multidisciplinary Creativity: Homage to Gheorghe Păun on His 65th Birthday. Spandugino (2015) 3–16

[31]   Cabarle, F.G.C., Hernandez, N.H.S., Martínez-del Amor, M.A.: Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem. In Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C., eds.: Membrane Computing. Volume 9504 of LNCS. Springer International Publishing (2015) 106–116

[32]   Cabarle, F.G.C., Adorna, H.N., Pérez-Jiménez, M.J.: Sequential spiking neural P systems with structural plasticity based on max/min spike number. Neural Computing and Applications 27(5) (2015) 1337–1347

[33]   Cabarle, F.G.C., Adorna, H.N., Pérez-Jiménez, M.J., Song, T.: Spiking neural P systems with structural plasticity. Neural Computing and Applications 26(8) (2015) 1905–1917

[34]   Cabarle, F.G.C., Adorna, H.N., Pérez-Jiménez, M.J.: Asynchronous Spiking Neural P Systems with Structural Plasticity. In Calude, C.S., Dinneen, M.J., eds.: Unconventional Computation and Natural Computation. Volume 9252 of LNCS. Springer International Publishing (2015) 132–143

[35]   Adorna, H.N., Buño, K.C., Cabarle, F.G.C.: Notes in Delays and Bisimulations of spiking neural P systems using SNP Algebra. Proceedings of Workshop on Computation: Theory and Practice WCTP2013. World Scientific (2014) 15–34

[36]   Juayong, R.A.B., Hernandez, N.H.S., Cabarle, F.G.C., Adorna, H.N.: A Simulation of Transition P Systems in Weighted Spiking Neural P Systems. Proceedings of Workshop on Computation: Theory and Practice WCTP2013. World Scientific (2014) 62–78

[37]   Cabarle, F.G.C., Adorna, H.N., Ibo, N.: Spiking neural P systems with structural plasticity. Proc. Asian Conference on Membrane Computing (ACMC) (2013) Chengdu, China, 4-7 Nov 2013.

[38]   Cabarle, F.G.C., Adorna, H.N.: On Structures and Behaviors of Spiking Neural P Systems and Petri Nets. In: Membrane Computing. Volume 7762 of LNCS. Springer Berlin Heidelberg (2013) 145–160

[39]   Bangalan, Z.F., Soriano, K.A.N., Juayong, R.A.B., Cabarle, F.G.C., Adorna, H.N., Martínez del Amor, M.Á.: A GPU Simulation for Evolution-Communication P Systems with Energy Having no Antiport Rules. In: Proceedings of the 11th Brainstorming Week on Membrane Computing. Fénix Editora (2013) 25–50

[40]   Cabarle, F.G.C., Buño, K.C., Adorna, H.N.: Time after Time: Notes on Delays in Spiking Neural P Systems. In: Proceedings of Theory and Practice of Computation: 2nd Workshop on Computation: Theory and Practice. Springer Japan (2013) 82–92

[41]   Cabarle, F.G.C., Buño, K.C., Adorna, H.N.: On the Delays in Spiking Neural P Systems. Philippine Computing Journal 7(2) (2013) 12–17

[42]   Cabarle, F.G.C., Adorna, H., Martínez-del Amor, M., Pérez-Jiménez, M.: Improving GPU Simulations of Spiking Neural P Systems. Romanian Journal of Information Science and Technology 15(1) (2012) 5–20

[43]   Lee, J.B., Cabunducan, G., Cabarle, F.G.C., Castillo, R., Malinao, J.A.: Uncovering the Social Dynamics of Online Elections. Journal of Universal Computer Science 18(4) (2012) 487–505

[44]   Clemente, J.B., Cabarle, F.G.C., Adorna, H.N.: PROJECTION Algorithm for Motif Finding on GPUs. In: Theory and Practice of Computation: Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings. Springer Japan (2012) 101–115

[45]   Cabarle, F.G.C., Adorna, H.N.: Some Notes on Spiking Neural dP Systems and Petri Nets. In: Theory and Practice of Computation: Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedings. Springer Japan (2012) 62–77

[46]   Juayong, R.A.B., Cabarle, F.G.C., Adorna, H.N., Martínez del Amor, M.Á.: On the Simulations of Evolution-Communication P Systems with Energy without Antiport Rules for GPUs. In: Proceedings of the 10th Brainstorming Week on Membrane Computing. Fénix Editora (2012) 267–290

[47]   Cabarle, F.G.C., Adorna, H., Martínez-del Amor, M.A.: Simulating Spiking Neural P Systems Without Delays Using GPUs. International Journal of Natural Computing Research 2(2) (2011) 19–31

[48]   Cabarle, F.G.C., Adorna, H., Martínez-del Amor, M.A., Pérez-Jiménez, M.J.: Spiking Neural P System Simulations on a High Performance GPU Platform. In: Algorithms and Architectures for Parallel Processing: 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II. Springer Berlin Heidelberg (2011) 99–108

[49]   Cabarle, F.G.C., Adorna, H., Martínez-del Amor, M.A.: A Spiking Neural P System Simulator Based on CUDA. In: Membrane Computing. Volume 7184. Springer Berlin Heidelberg (2012) 87–103

[50]   Cabarle, F.G.C., Adorna, H.N., Martínez del Amor, M.Á.: Simulating Spiking Neural P Systems Without Delays Using GPUs. In: Proceedings of the 9th Brainstorming Week on Membrane Computing. Fénix Editora (2011) 23–42

[51]   Cabarle, F.G.C., Adorna, H.N., Martínez del Amor, M.Á.: An Improved GPU Simulator for Spiking Neural P Systems. In: Bio-Inspired Computing: Theories and Applications (BIC-TA), 2011 Sixth International Conference on. (Sept 2011) 262–267

[52]   Cabarle, F.G.C., Adorna, H.N., Martínez del Amor, M.Á.: Spiking Neural P system without delay simulator implementation using GPGPUs. Proceedings of the 11th Philippine Computing Science Congress, Naga city, Philippines (2011) 35–43



Cabarle, F.G.C. Computations in Spiking Neural P Systems: Simulations and Structural Plasticity. PhD dissertation. University of the Philippines Diliman. June 2015.

Download errata file separately here.


I also manage ``small'' GPU servers for AClab research purposes.



Best known upper bound of my Erdős number is 4 via:

  • Cabarle, F.G.C., Adorna, H., Martínez-del Amor, M., Pérez-Jiménez, M.: Improving GPU Simulations of Spiking Neural P Systems. Romanian Journal of Information Science and Technology 15(1) (2012) 5–20
  • Henry ADORNA, Gheorghe PAUN, and M. J. PEREZ-JIMENEZ, On Communication Complexity in Evolution-Communication P Systems, Romanian Journal of Information Science and Technology, Vol. 13 No. 2 pp. 113–130, 2010
  • Solomon Marcus and Gheorghe Pâun, On symmetry in languages, International Journal of Computer Mathematics, 1029-0265, Volume 52, Issue 1, pp. 1 – 15, 1994
  • Paul Erdös and Solomon Marcus, Sur la decomposition de l'espace euclidien en ensembles homogenes, Acta Mathematica Academiae Scientiarum Hungaricae, Vol. 8, Number 3-4, pp. 443-452, 1957