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, ...
Membrane Computing: 13th International Conference, CMC 2012, Budapest …, 2013
462013
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
382010
Specification of Adleman’s Restricted Model Using an Automated Reasoning System: Verification of Lipton’s Experiment
CG Díaz, FJM Mateos, MJ Pérez Jiménez
International Conference on Unconventional Methods of Computation, 126-136, 2002
112002
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
72000
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
72000
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
62002
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-Martín, C Graciani, LF Macías-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
Unconventional Computation: 4th International Conference, UC 2005, Sevilla …, 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
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: Essays Dedicated to Mario de Jesús Pérez-Jiménez …, 2018
22018
Revisiting sevilla carpets: a new tool for the P-lingua era
D Orellana Martín, C Graciani Díaz, MÁ Martínez del Amor, ...
Proceedings of the Twelfth Brainstorming Week on Membrane Computing, 281-292 …, 2014
22014
Sixth Brainstorming Week on Membrane Computing
D Diaz-Pernil, C Graciani, MA Gutiérrez-Naranjo, G Păun, ...
Fénix Editora, Sevilla, 2008
22008
Using automated reasoning systems on molecular computing
CG Díaz, MJ Pérez-Jiménez
International Workshop on DNA-Based Computers, 128-137, 2004
22004
Especificación y verificación de programas moleculares en PVS
C Graciani Díaz
22003
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, MA Gutiérrez-Naranjo, MJ Pérez-Jiménez
Fifth Brainstorming Week on Membrane Computing, 179, 2007
12007
The system can't perform the operation now. Try again later.
Articles 1–20