Follow
Carmen Graciani
Carmen Graciani
Verified email at us.es
Title
Cited by
Cited by
Year
DCBA: Simulating population dynamics P systems with proportional object distribution
MA Martínez-del-Amor, I Pérez-Hurtado, M García-Quismondo, ...
International Conference on Membrane Computing, 257-276, 2012
422012
Software for P systems
D Dıaz-Pernil, C Graciani, MA Gutiérrez-Naranjo, I Pérez-Hurtado, ...
Handbook of membrane computing, 437-454, 2010
372010
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
CG Díaz, FJ Mateos, MJ Pérez Jiménez
International Conference on Unconventional Methods of Computation, 126-136, 2002
112002
Soluciones moleculares del problema SAT de la Lógica Proposicional
MJ Pérez-Jiménez, F Sancho, MC Graciani, A Romero, I Articial
Lógica, Lenguaje e Información, JOLL, 243-252, 2000
82000
NP completitud y Computación ADN
MJ Pérez-Jiménez, F Sancho, MC Graciani, A Romero, I Articial
Actas del Encuentro de Matemáticos Andaluces 2, 539-548, 2000
62000
Formalización computacional del experimento de Lipton sobre el problema SAT
MJ Pérez-Jiménez, MC Graciani, A Romero, F Sancho
Actas del Primer Congreso Espanol de Algoritmos Evolutivos y Bio-inspirados …, 2002
52002
Membrane computing as a modelling tool: looking back and forward from Sevilla
M García-Quismondo, C Graciani, A Riscos-Núñez
Enjoying Natural Computing, 114-129, 2018
32018
Fuzzy reasoning spiking neural P systems revisited: A formalization
MJ Pérez-Jiménez, C Graciani, D Orellana-Martín, A Riscos-Núñez, ...
Theoretical Computer Science 701, 216-225, 2017
32017
Sevilla carpets revisited: Enriching the membrane computing toolbox
D Orellana-Martin, C Graciani, LF Macias-Ramos, MÁ Martínez-del-Amor, ...
Fundamenta Informaticae 134 (1-2), 153-166, 2014
32014
A Rete-based Algorithm for Rule Selection in P Systems.
C Graciani, MA Gutierrez-Naranjo, I Perez-Hurtado, A Riscos-Nunez, ...
International Journal of Unconventional Computing 9, 2013
32013
Looking for simple common schemes to design recognizer p systems with active membranes that solve numerical decision problems
C Graciani-Díaz, A Riscos-Núñez
International conference on unconventional computation, 94-104, 2005
32005
A decade of ecological membrane computing applications
L Valencia Cabrera, C Graciani Díaz, I Pérez Hurtado de Mendoza, ...
The Bulletin of International Membrane Computing Society, 6 (december 2018 …, 2018
22018
Sixth Brainstorming Week on Membrane Computing
D Diaz-Pernil, C Graciani, MA Gutiérrez-Naranjo, G Păun, ...
Fénix Editora, Sevilla, 2008
22008
Especificación y verificación de programas moleculares en PVS
MCG Díaz
Universidad de Sevilla, 2003
22003
Especificación y verificación de programas moleculares en PVS
MCG Díaz
Universidad de Sevilla, 2003
22003
Enjoying natural computing: essays dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
C Graciani, A Riscos-Núñez, G Păun, G Rozenberg, A Salomaa
Springer, 2018
12018
A membrane computing model for ballistic depositions
C Graciani Díaz, MÁ Gutiérrez Naranjo, MJ Pérez Jiménez
Proceedings of the Fifth Brainstorming Week on Membrane Computing, 179-197 …, 2007
12007
Using automated reasoning systems on molecular computing
CG Díaz, MJ Pérez-Jiménez
International Workshop on DNA-Based Computers, 128-137, 2004
12004
Especificación y verificación de programas moleculares en PVS
C Graciani Díaz
12003
Fuzzy reasoning spiking neural P systems revisited
MJ Prez-Jimnez, C Graciani, D Orellana-Martn, A Riscos-Nez, ...
Theoretical Computer Science 701 (C), 216-225, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20