Carmen Graciani Díaz

Publication Activity (10 Years)

Years Active: 2002-2018
Publications (10 Years): 3

Top Topics

Fuzzy Petri Net

Population Dynamics

Fuzzy Reasoning

Top Venues

Int. Conf. on Membrane Computing

Fundam. Informaticae

Int. J. Unconv. Comput.

Enjoying Natural Computing

Publications

Manuel García-Quismondo, Carmen Graciani Díaz, Agustín Riscos-Núñez
Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla. Enjoying Natural Computing (2018)
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
Fuzzy reasoning spiking neural P systems revisited: A formalization. Theor. Comput. Sci. 701 (2017)
Carmen Graciani Díaz, Miguel A. Martínez-del-Amor, Agustin Riscos-Núñez
A New Strategy to Improve the Performance of PDP-Systems Simulators. Int. Conf. on Membrane Computing (2015)
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
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. Fundam. Informaticae 134 (1-2) (2014)
Carmen Graciani Díaz, Miguel A. Gutiérrez-Naranjo, Ignacio Pérez-Hurtado, Agustin Riscos-Núñez, Álvaro Romero Jiménez
A Rete-based Algorithm for Rule Selection in P Systems. Int. J. Unconv. Comput. 9 (5-6) (2013)
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
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. Int. Conf. on Membrane Computing (2012)
Carmen Graciani Díaz, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez
An Approach to Ballistic Deposition Based on Membrane Computing. Int. J. Unconv. Comput. 5 (5) (2009)
Carmen Graciani Díaz, Agustin Riscos-Núñez
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems. UC (2005)
Carmen Graciani Díaz, Mario J. Pérez-Jiménez
Using Automated Reasoning Systems on Molecular Computing. DNA (2004)
Carmen Graciani Díaz, Francisco-Jesús Martín-Mateos, Mario J. Pérez-Jiménez
Specification of Adleman's Restricted Model Using an Automated Reasoning System: Verification of Lipton's Experiment. UMC (2002)