{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Graciani-D\'edaz, C., Paun G., Riscos-N\'fa\'f1ez A., & Valencia-Cabrera L.  (2017).??Proceedings of the Fifteenth Week on Membrane Computing.  \ul Fifteenth Brainstorming Week on Membrane Computing. \ul0  x+292.\par \par Graciani-D\'edaz, C., Orellana-Mart\'edn D., Riscos-N\'fa\'f1ez A., Romero-Jim\'e9nez \'c1., & Valencia-Cabrera L.  (2016).??Proceedings of the Fourteenth Brainstorming Week on Membrane Computing.  \ul Fourteenth Brainstorming Week on Membrane Computing. \ul0  xi+362.\par \par Orellana-Mart\'edn, D., Graciani-D\'edaz C., Mart\'ednez-del-Amor M. A., Riscos-N\'fa\'f1ez A., & Valencia-Cabrera L.  (2014).??Revisiting Sevilla Carpets: A New Tool for the P-Lingua Era.  \ul Twelfth Brainstorming Week on Membrane Computing (BWMC2014). \ul0  281-292.\par \par Orellana-Mart\'edn, D., Graciani-D\'edaz C., Mac\'edas-Ramos L. F., Mart\'ednez-del-Amor M. A., Riscos-N\'fa\'f1ez A., Romero-Jim\'e9nez \'c1., et al.  (2014).??Sevilla Carpets Revisited: Enriching Membrane Computing Toolbox.  \ul Fundamenta Informaticae. 134,\ul0  153?166.\par \par Graciani-D\'edaz, C., Guti\'e9rrez-Naranjo M. A., & Riscos-N\'fa\'f1ez A.  (2013).??Rete Algorithm for P Systems Simulators.  \ul Eleventh Brainstorming Week on Membrane Computing (11BWMC). \ul0  125-136.\par \par Mart\'ednez-del-Amor, M. A., P\'e9rez-Hurtado I., Garc\'eda-Quismondo M., Mac\'edas-Ramos L. F., Valencia-Cabrera L., Romero-Jim\'e9nez \'c1., et al.  (2013).??DCBA: Simulating population dynamics P systems with proportional objects distribution.  (Erzsebet Csuhaj-Varj\'fa, Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Gy\'f6rgy Vaszil, Ed.).\ul Lecture Notes in Computer Science. \ul0  257-276.\par \par Graciani-D\'edaz, C., Guti\'e9rrez-Naranjo M. A., P\'e9rez-Hurtado I., Riscos-N\'fa\'f1ez A., & Romero-Jim\'e9nez \'c1.  (2013).??A Rete-based Algorithm for Rule Selection in P Systems.  \ul International Journal of Unconventional Computing. 9\ul0 (5-6),?367-384.\par \par Mart\'ednez-del-Amor, M. A., P\'e9rez-Hurtado I., Garc\'eda-Quismondo M., Mac\'edas-Ramos L. F., Valencia-Cabrera L., Romero-Jim\'e9nez \'c1., et al.  (2012).??DCBA: Simulating population dynamics P systems with proportional object distribution.  \ul 13th International Conference on Membrane Computing (CMC13). \ul0  291-310.\par \par Mart\'ednez-del-Amor, M. A., P\'e9rez-Hurtado I., Garc\'eda-Quismondo M., Mac\'edas-Ramos L. F., Valencia-Cabrera L., Romero-Jim\'e9nez \'c1., et al.  (2012).??DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution.  \ul Tenth Brainstorming Week on Membrane Computing. II,\ul0  27-56.\par \par D\'edaz-Pernil, D., Graciani-D\'edaz C., Guti\'e9rrez-Naranjo M. A., P\'e9rez-Hurtado I., & P\'e9rez-Jim\'e9nez M. J.  (2010).??Software for P systems.  (Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Ed.).\ul The Oxford Handbook of Membrane Computing. \ul0  437-454.\par \par Graciani-D\'edaz, C., Guti\'e9rrez-Naranjo M. A., & P\'e9rez-Jim\'e9nez M. J.  (2009).??An approach to ballistic deposition based on Membrane Computing.  \ul International Journal of Unconventional Computing. 5\ul0 (5),?427-439.\par \par Rivero-Gil, E., Guti\'e9rrez-Naranjo M. A., & P\'e9rez-Jim\'e9nez M. J.  (2008).??Graphics and P systems: Experiments with JPLANT.  (Daniel D\'edaz-Pernil, Carmen Graciani-D\'edaz, Miguel A. Guti\'e9rrez-Naranjo, Gheorghe Paun, Ignacio P\'e9rez-Hurtado, Agust\'edn Riscos-N\'fa\'f1ez, Ed.).\ul Proceedings of the Sixth Brainstorming Week on Membrane Computing. \ul0  241-254.\par \par Guti\'e9rrez-Naranjo, M. A., D\'edaz-Pernil D., Graciani-D\'edaz C., Paun G., P\'e9rez-Hurtado I., & P\'e9rez-Jim\'e9nez M. J.  (2008).??Sixth brainstorming week on membrane computing.  \ul 6th Brainstorming Week on Membrane Computing. \ul0  \par \par Graciani-D\'edaz, C., Guti\'e9rrez-Naranjo M. A., & P\'e9rez-Jim\'e9nez M. J.  (2007).??A Membrane Computing Model for Ballistic Depositions.  (Miguel A. Guti\'e9rrez-Naranjo, Gheorghe Paun, \'c1lvaro Romero-Jim\'e9nez, Agust\'edn Riscos-N\'fa\'f1ez, Ed.).\ul Fifth Brainstorming Week on Membrane Computing . \ul0  179-197.\par \par Graciani-D\'edaz, C., Paun G., Romero-Jim\'e9nez \'c1., & Sancho-Caparrini F.  (2006).??Fourth Brainstorming Week on Membrane Computing.  \ul Fourth Brainstorming Week on Membrane Computing. II,\ul0  XII+278.\par \par Romero-Jim\'e9nez, \'c1., Guti\'e9rrez-Naranjo M. A., & P\'e9rez-Jim\'e9nez M. J.  (2006).??The Growth of Branching Structures with P Systems.  (Carmen Graciani-D\'edaz, Gheorghe Paun, \'c1lvaro Romero-Jim\'e9nez, Fernando Sancho-Caparrini, Ed.).\ul Fourth Brainstorming Week on Membrane Computing . II,\ul0  253-265.\par \par Paun, G.  (2006).??2006 Reseacrh Topics in Membrane Computing.  (Carmen Graciani-D\'edaz, Gheorghe Paun, \'c1lvaro Romero-Jim\'e9nez, Fernando Sancho-Caparrini, Ed.).\ul Fourth Brainstorming Week on Membrane Computing . II,\ul0  235-251.\par \par D\'edaz-Pernil, D., Guti\'e9rrez-Naranjo M. A., & P\'e9rez-Jim\'e9nez M. J.  (2006).??Solving 3-COL with Tissue P Systems.  (Carmen Graciani-D\'edaz, Gheorghe Paun, \'c1lvaro Romero-Jim\'e9nez, Fernando Sancho-Caparrini, Ed.).\ul Fourth Brainstorming Week on Membrane Computing . II,\ul0  17-29.\par \par Guti\'e9rrez-Naranjo, M. A., P\'e9rez-Jim\'e9nez M. J., Riscos-N\'fa\'f1ez A., & Romero-Campero F. J.  (2006).??An Approach to the degree of parallelism in P systems.  (Carmen Graciani-D\'edaz, Gheorghe Paun, \'c1lvaro Romero-Jim\'e9nez, Fernando Sancho-Caparrini, Ed.).\ul Fourth Brainstorming Week on Membrane Computing . II,\ul0  87-104.\par \par Graciani-D\'edaz, C., & P\'e9rez-Jim\'e9nez M. J.  (2005).??Automated reasoning systems and molecular computing.  (Mario J. P\'e9rez-Jim\'e9nez, \'c1lvaro Romero-Jim\'e9nez, Fernando Sancho-Caparrini, Ed.).\ul Recent Results in Natural Computing. \ul0  \par \par Graciani-D\'edaz, C., & Riscos-N\'fa\'f1ez A.  (2005).??Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems .  \ul Lecture Notes in Computer Science. 3699,\ul0  94-104.\par \par Graciani-D\'edaz, C., & P\'e9rez-Jim\'e9nez M. J.  (2005).??Using automated reasoning systems on molecular computing.  \ul Lecture Notes in Computer Science. 3384,\ul0  128-137.\par \par Graciani-D\'edaz, C., & P\'e9rez-Jim\'e9nez M. J.  (2003).??Using automated reasoning systems in Natural Computing.  \ul First Joint Meeting between the RSME and the AMS. \ul0  4.\par \par P\'e9rez-Jim\'e9nez, M. J., Sancho-Caparrini F., Graciani-D\'edaz C., & Romero-Jim\'e9nez \'c1.  (2002).??Formalizaci\'f3n computacional del experimento de Lipton sobre el problema SAT.  \ul Primer Congreso Espa\'f1ol de Algoritmos Evolutivos y Bioinspirados. \ul0  326-332.\par \par Graciani-D\'edaz, C., Mart\'edn-Mateos F. J., & P\'e9rez-Jim\'e9nez M. J.  (2002).??Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment.  \ul Lecture Notes in Computer Science. 2509,\ul0  126-136.\par \par Graciani-D\'edaz, C., P\'e9rez-Jim\'e9nez M. J., Romero-Jim\'e9nez \'c1., & Sancho-Caparrini F.  (2001).??Initial segments maximal ??-definable sets in fragments of arithmetic.  \ul Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt G\'f6del Colloquium. IV,\ul0  37-38.\par \par P\'e9rez-Jim\'e9nez, M. J., Graciani-D\'edaz C., Romero-Jim\'e9nez \'c1., & Sancho-Caparrini F.  (2000).??Soluciones moleculares del problema SAT de la L\'f3gica Proposicional.  (\'c1ngel Nepomuceno, Jos\'e9 F. Quesada, Francisco J. Salguero, Ed.).\ul Primeras Jornadas sobre L\'f3gica y Lenguaje. \ul0  243-252.\par \par Graciani-D\'edaz, C., P\'e9rez-Jim\'e9nez M. J., & Romero-Jim\'e9nez \'c1.  (2000).??Some Functional Schemes in Arithmetic.  \ul Logic Colloquium 2000. \ul0  154.\par \par Graciani-D\'edaz, C., P\'e9rez-Jim\'e9nez M. J., Romero-Jim\'e9nez \'c1., & Sancho-Caparrini F.  (2000).??NP-Completitud y Computaci\'f3n ADN.  (Emilio Briales-Morales, Alfonso Carriazo-Rubio, Tom\'e1s Chac\'f3n-Rebollo, Pedro  Real, \'c1lvaro Romero-Jim\'e9nez, Ed.).\ul Encuentro de Matem\'e1ticos Andaluces. II,\ul0  539-548.\par \par Graciani-D\'edaz, C., P\'e9rez-Jim\'e9nez M. J., & Romero-Jim\'e9nez \'c1.  (1998).??Descripciones funcionales de colecci\'f3n y colecci\'f3n fuerte en la aritm\'e9tica.  \ul I Congreso Iberoamericano de Filosof\'eda. \ul0  \par \par }