Carmen Graciani Díaz

According to our database, Carmen Graciani Díaz authored at least 10 papers between 2002 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2018

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

Proceedings of the Enjoying Natural Computing, 2018

2017

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

2015

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

Proceedings of the Membrane Computing, 2015

2014

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

2013

A Rete-based Algorithm for Rule Selection in P Systems.

Carmen Graciani Díaz, Miguel A. Gutiérrez-Naranjo, Ignacio Pérez-Hurtado, Agustin Riscos-Núñez, Álvaro Romero Jiménez

Int. J. Unconv. Comput., 2013

2012

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

Proceedings of the Membrane Computing, 2012

2009

An Approach to Ballistic Deposition Based on Membrane Computing.

Carmen Graciani Díaz, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez

Int. J. Unconv. Comput., 2009

2005

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

Proceedings of the Unconventional Computation, 4th International Conference, 2005

2004

Using Automated Reasoning Systems on Molecular Computing.

Carmen Graciani Díaz, Mario J. Pérez-Jiménez

Proceedings of the DNA Computing, 10th International Workshop on DNA Computing, 2004

2002

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

Proceedings of the Unconventional Models of Computation, Third International Conference, 2002