Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. - Carmen Graciani Díaz; Francisco-Jesús Martín-Mateos; Mario J. Pérez-Jiménez (UMC, 2002)

Using Automated Reasoning Systems on Molecular Computing. - Carmen Graciani Díaz; Mario J. Pérez-Jiménez (DNA, 2004)

Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems. - Carmen Graciani Díaz; Agustin Riscos-Núñez (UC, 2005)

An Approach to Ballistic Deposition Based on Membrane Computing. - Carmen Graciani Díaz; Miguel Angel Gutiérrez-Naranjo; Mario J. Pérez-Jiménez (Int. J. Unconv. Comput., 2009)

DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. - Miguel A. Martínez-del-Amor; Ignacio Pérez-Hurtado; Manuel García-Quismondo; Luis F. Macías-Ramos; Luis Valencia-Cabrera; Álvaro Romero Jiménez; Carmen Graciani Díaz; Agustin Riscos-Núñez; Maria Angels Colomer; Mario J. Pérez-Jiménez (Int. Conf. on Membrane Computing, 2012)

A Rete-based Algorithm for Rule Selection in P Systems. - Carmen Graciani Díaz; Miguel Angel Gutiérrez-Naranjo; Ignacio Pérez-Hurtado; Agustin Riscos-Núñez; Álvaro Romero Jiménez (Int. J. Unconv. Comput., 2013)

Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. - David Orellana-Martín; Carmen Graciani Díaz; Luis-Felipe Macías-Ramos; Miguel Ángel Martínez-del-Amor; Agustin Riscos-Núñez; Álvaro Romero Jiménez; Luis Valencia-Cabrera (Fundam. Informaticae, 2014)

A New Strategy to Improve the Performance of PDP-Systems Simulators. - Carmen Graciani Díaz; Miguel A. Martínez-del-Amor; Agustin Riscos-Núñez (Int. Conf. on Membrane Computing, 2015)

Fuzzy reasoning spiking neural P systems revisited: A formalization. - Mario J. Pérez-Jiménez; Carmen Graciani Díaz; David Orellana-Martín; Agustin Riscos-Núñez; Álvaro Romero Jiménez; Luis Valencia-Cabrera (Theor. Comput. Sci., 2017)

Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla. - Manuel García-Quismondo; Carmen Graciani Díaz; Agustín Riscos-Núñez (Enjoying Natural Computing, 2018)

Random walk simulation by population dynamics P systems. - David Orellana-Martín; José A. Andreu-Guzmán; Carmen Graciani; Agustín Riscos-Núñez; Mario J. Pérez-Jiménez (J. Membr. Comput., 2024)