Directorio
ALVARO ROMERO JIMENEZ
Categoría
Profesor Contratado Doctor
Contacto
Correo electrónico
Departamento
Área
Ciencia de la Computación e Inteligenc. Artificial
Docencia
Investigación
Grupo de investigación
COMPUTACION NATURAL (CN)
Proyectos y contratos de investigación
DESARROLLO, VERIFICACIÓN Y AUTOMATIZACIÓN DE MODELOS MOLECULARES Y CELULARES CON MEMBRANAS (TIC2002-04220-C03-01 - Investigador/a)
FINITE MODEL THEORY AND BOUNDED ARITHMETIC (ERBFMBICT971999 - Investigador/a)
CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO (DGES PB96-1345 - Investigador/a)
FOURTH INTERNATIONAL CONFERENCE ON UNCONVENTIONAL COMPUTATION (TIN2004-23021-E - Investigador/a)
THIRD BRAINSTORMING WEEK ON MEMBRANE COMPUTING (PP2004/01-17 - Investigador/a)
EXPLORATORY WORKSHOP ON CELLULAR COMPUTING (COMPLEXITY ASPECTS) (2004/1401 - Investigador/a)
RED TEMATICA ESPAÑOLA DE COMPUTACION MOLECULAR CON ADN Y COMPUTACION CELULAR CON MEMBRANAS (TIC 2002-10648-E - Investigador/a)
MODELIZACIÓN Y SIMULACIÓN DE PROCESOS BIOLÓGICOS Y COMPUTACIONALES A TRAVÉS DE SISTEMAS CELULARES CON MEMBRANAS (TIN2005-09345-C04-01 - Investigador/a)
THEORY AND PRACTICE OF MEMBRANE COMPUTING (HI2005-0194 - Investigador/a)
DESARROLLO DE MODELOS Y HERRAMIENTAS DE COMPUTACIÓN CELULAR CON MEMBRANAS PARA APLICACIONES EN BIOLOGÍA Y ECONOMÍA (EXC/2005/TIC-581 - Investigador/a)
ANÁLISIS COMPUTACIONAL Y SIMULACIÓN DE PROCESOS BIOLÓGICOS EN COMPUTACIÓN CELULAR (TIN2006-13425 - Investigador/a)
COMPUTACIÓN NATURAL (PAI - TIC 193) (TIC 193 - Investigador/a)
MODELADO Y SIMULACIÓN COMPUTACIONAL EN BIOLOGÍA DE SISTEMAS (P08-TIC-4200 - Investigador/a)
Máquinas Bio-Inspiradas sobre plataformas de computación de altas prestaciones: un enfoque multidisciplinar (TIN2017-89842-P - Investigador/a)
Cell-based Membrane Computing systems and their applications in Biology (Grant No. 61320106005 - Investigador/a)
De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (TIN2012-37434 - Investigador/a)
Incentivo al Grupo de Investigación TIC-193 (2010/TIC-193 - Investigador/a)
MYMEM: Creación de un servicio móvil de relación entre contactos (Investigador/a)
Computación Celular: Aplicaciones a la Biología de Sistemas y Sintética (TIN2009-13192 - Investigador/a)
Libros publicados
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
RECENT RESULTS IN NATURAL COMPUTING. FENIX EDITORIAL. 2005. 84-609-6864-2
RECENT RESULTS IN NATURAL COMPUTING. FENIX EDITORIAL. 2005. 84-609-6864-2
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Teoría de la Complejidad en modelos de Computación Celular con Membranas. Editorial KRONOS. 2002. 84-86273-57-9
Teoría de la Complejidad en modelos de Computación Celular con Membranas. Editorial KRONOS. 2002. 84-86273-57-9
Briales-Morales, Emilio;Carriazo, Alfonso;Chacón Rebollo, Tomás;Real, Pedro;Romero-Jiménez, Álvaro:
ACTAS DEL ENCUENTRO DE MATEMÁTICOS ANDALUCES - VOLÚMEN 1: CONFERENCIAS PLENARIAS Y SEMBLANZAS. Colección Abierta, n. 52. UNIVERSIDAD DE SEVILLA-FUNDACIÓN EL MONTE. 2001. 84-472-0289-5
ACTAS DEL ENCUENTRO DE MATEMÁTICOS ANDALUCES - VOLÚMEN 1: CONFERENCIAS PLENARIAS Y SEMBLANZAS. Colección Abierta, n. 52. UNIVERSIDAD DE SEVILLA-FUNDACIÓN EL MONTE. 2001. 84-472-0289-5
Capítulos en Libros
Romero-Jiménez, Álvaro;Orellana-martín, David:
Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing. Pág. 237-255. Springer, Cham. Springer, Cham. 2018.
Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing. Pág. 237-255. Springer, Cham. Springer, Cham. 2018.
Romero-Jiménez, Álvaro;Riscos-Nuñez, Agustin;Macias-Ramos, Luis Felipe;Graciani, Carmen;Pérez-Jiménez, Mario Jesús;Valencia-Cabrera, Luis:
Twelve Years of Sevilla Carpets: a Survey. Pág. 141-152. Spandugino. Spandugino. 2015.
Twelve Years of Sevilla Carpets: a Survey. Pág. 141-152. Spandugino. Spandugino. 2015.
Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin;Romero-Jiménez, Álvaro;Woods-, Damien Paul:
Complexity - Membrane division, membrane creation. Pág. 302-336. Oxford University Press. Oxford University Press. 2009.
Complexity - Membrane division, membrane creation. Pág. 302-336. Oxford University Press. Oxford University Press. 2009.
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Computationally Hard Problems Addressed Through P Systems. Pág. 315-346. SPRINGER-VERLAG. SPRINGER-VERLAG. 2006.
Computationally Hard Problems Addressed Through P Systems. Pág. 315-346. SPRINGER-VERLAG. SPRINGER-VERLAG. 2006.
Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin;Romero-Campero, Francisco José;Romero-Jiménez, Álvaro:
CHARACTERIZING TRACTABILITY BY CELL-LIKE MEMBRANE SYSTEMS. Pág. 137-154. World Scientific Publishing. World Scientific Publishing. 2006.
CHARACTERIZING TRACTABILITY BY CELL-LIKE MEMBRANE SYSTEMS. Pág. 137-154. World Scientific Publishing. World Scientific Publishing. 2006.
Asistencia a congresos
Romero-Jiménez, Álvaro;Valencia-Cabrera, Luis;Pérez-Jiménez, Mario Jesús:
Generating Diophantine Sets by Virus Machines. Comunicación en congreso. 10th International Conference on Bio-Inspired Computing: Theories and Applications. HEFEI (CHINA). 2015
Generating Diophantine Sets by Virus Machines. Comunicación en congreso. 10th International Conference on Bio-Inspired Computing: Theories and Applications. HEFEI (CHINA). 2015
Romero-Jiménez, Álvaro;Valencia-Cabrera, Luis;Riscos-Nuñez, Agustin;Pérez-Jiménez, Mario Jesús:
Computing Partial Recursive Functions by Virus Machines. Comunicación en congreso. 16th International Conference on Membrane Computing. Valencia, Spain. 2015
Computing Partial Recursive Functions by Virus Machines. Comunicación en congreso. 16th International Conference on Membrane Computing. Valencia, Spain. 2015
Martínez-del-Amor, Miguel Ángel;Pérez-Jiménez, Mario Jesús;Pérez-Hurtado De Mendoza, Ignacio;Garcia Quismondo-Fernandez, Manuel;Macias-Ramos, Luis Felipe;Valencia-Cabrera, Luis;Romero-Jiménez, Álvaro;Graciani-Díaz, Mª Del Carmen;Riscos-Nuñez, Agustin;Colomer-, M. Angels:
DCBA: Simulating population dynamics P systems with proportional object distribution. Comunicación en congreso. Thirteen International Conference on Membrane Computing. BUDAPEST, HUNGRÍA. 2012
DCBA: Simulating population dynamics P systems with proportional object distribution. Comunicación en congreso. Thirteen International Conference on Membrane Computing. BUDAPEST, HUNGRÍA. 2012
Martínez-del-Amor, Miguel Ángel;Pérez-Jiménez, Mario Jesús;Pérez-Hurtado De Mendoza, Ignacio;Garcia Quismondo-Fernandez, Manuel;Macias-Ramos, Luis Felipe;Valencia-Cabrera, Luis;Romero-Jiménez, Álvaro;Colomer-, M. Angels:
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution. Comunicación en congreso. Tenth Brainstorming Week on Membrane Computing. Escuela Técnica Superior de Ingeniería Informática. Universidad de Sevilla. 2012
Rivero-Gil,Elena;Gutierrez-Naranjo, Miguel Angel;Romero-Jiménez, Álvaro;Riscos-Nuñez, Agustin:
A Software Tool for Generating Graphics by Means of P Systems. Comunicación en congreso. International Workshop on Computing with Biomolecules. VIENNA, AUSTRIA. 2008
A Software Tool for Generating Graphics by Means of P Systems. Comunicación en congreso. International Workshop on Computing with Biomolecules. VIENNA, AUSTRIA. 2008
Romero-Jiménez, Álvaro;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús:
Graphical Modelling of Higher Plants Using P Systems. Comunicación en congreso. 7th Workshop on Membrane Computing. LEIDEN - PAÍSES BAJOS. 2006
Graphical Modelling of Higher Plants Using P Systems. Comunicación en congreso. 7th Workshop on Membrane Computing. LEIDEN - PAÍSES BAJOS. 2006
Romero-Jiménez, Álvaro;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús:
The Growth of Branching Structures with P Systems . Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006
The Growth of Branching Structures with P Systems . Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
A Polynomial Complexity Class in P Systems Using Membrane Division. Comunicación en congreso. Fifth International Workshop on Descriptional Complexity of Formal Systems. BUDAPEST, HUNGRÍA. 2003
A Polynomial Complexity Class in P Systems Using Membrane Division. Comunicación en congreso. Fifth International Workshop on Descriptional Complexity of Formal Systems. BUDAPEST, HUNGRÍA. 2003
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Complexity classes in cellular computing with membranes. Conferencia Congreso no publicada. First Joint Meeting between the RSME and the AMS. Santander (ESPAÑA). 2003
Complexity classes in cellular computing with membranes. Conferencia Congreso no publicada. First Joint Meeting between the RSME and the AMS. Santander (ESPAÑA). 2003
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Complexity classes in cellular computing with membranes. Comunicación en congreso. First Annual Meeting of the European Molecular Computing Consortium. TURKU, FINLAND. 2003
Complexity classes in cellular computing with membranes. Comunicación en congreso. First Annual Meeting of the European Molecular Computing Consortium. TURKU, FINLAND. 2003
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Complexity classes in cellular computing with membranes. Comunicación en congreso. Brainstorming Week on Membrane Computing. TARRAGONA. ESPAÑA. 2003
Complexity classes in cellular computing with membranes. Comunicación en congreso. Brainstorming Week on Membrane Computing. TARRAGONA. ESPAÑA. 2003
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Solving VALIDITY Problem by Active Membranes with Input. Comunicación en congreso. Brainstorming Week on Membrane Computing. TARRAGONA. ESPAÑA. 2003
Solving VALIDITY Problem by Active Membranes with Input. Comunicación en congreso. Brainstorming Week on Membrane Computing. TARRAGONA. ESPAÑA. 2003
Pérez-Jiménez, Mario Jesús;Graciani-Díaz, Mª Del Carmen;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Formalización computacional del experimento de Lipton sobre el problema SAT. Comunicación en congreso. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. Mérida. España. 2002
Formalización computacional del experimento de Lipton sobre el problema SAT. Comunicación en congreso. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. Mérida. España. 2002
Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
NP-Completitud y Computación ADN. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Sevilla, ESPAÑA. 2000
NP-Completitud y Computación ADN. Comunicación en congreso. Encuentro de Matemáticos Andaluces. Sevilla, ESPAÑA. 2000
Pérez-Jiménez, Mario Jesús;Sancho-Caparrini, Fernando;Graciani-Díaz, Mª Del Carmen;Romero-Jiménez, Álvaro:
Soluciones moleculares del problema SAT de la Lógica Proposicional. Comunicación en congreso. Primeras Jornadas de Lógica y Lenguaje. Santander (ESPAÑA). 2000
Soluciones moleculares del problema SAT de la Lógica Proposicional. Comunicación en congreso. Primeras Jornadas de Lógica y Lenguaje. Santander (ESPAÑA). 2000
Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro:
Some Functional Schemes in Arithmetic. Comunicación en congreso. Logic Colloquium 2000. PARÍS. FRANCIA. 2000
Some Functional Schemes in Arithmetic. Comunicación en congreso. Logic Colloquium 2000. PARÍS. FRANCIA. 2000
Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Initial segments maximal ¿¿-definable sets in fragments of arithmetic. Comunicación en congreso. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. . BARCELONA, ESPAÑA. 1999
Initial segments maximal ¿¿-definable sets in fragments of arithmetic. Comunicación en congreso. Joint Conference of the 5th Barcelona Logic Meeting and the 6th Kurt Gödel Colloquium. . BARCELONA, ESPAÑA. 1999
Graciani-Díaz, Mª Del Carmen;Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro:
Descripciones funcionales de colección y colección fuerte en la aritmética. Comunicación en congreso. I Congreso Iberoamericano de Filosofía. Cáceres - Madrid (ESPAÑA). 1998
Descripciones funcionales de colección y colección fuerte en la aritmética. Comunicación en congreso. I Congreso Iberoamericano de Filosofía. Cáceres - Madrid (ESPAÑA). 1998
Artículos publicados
Pérez-Jiménez, Mario Jesús;Graciani, Carmen;Orellana-martín, David;Riscos-Nuñez, Agustin;Romero-Jiménez, Álvaro;Valencia-Cabrera, Luis:
Fuzzy reasoning spiking neural P systems revisited: A formalization. Theoretical Computer Science. 2017. Vol: 701. Pág. 216-225. https://doi.org/10.1016/j.tcs.2017.04.014.
Fuzzy reasoning spiking neural P systems revisited: A formalization. Theoretical Computer Science. 2017. Vol: 701. Pág. 216-225. https://doi.org/10.1016/j.tcs.2017.04.014.
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro:
Fuzzy reasoning spiking neural P systems revisited: A formalization. Theoretical Computer Science. 2017. https://doi.org/10.1016/j.tcs.2017.04.014.
Fuzzy reasoning spiking neural P systems revisited: A formalization. Theoretical Computer Science. 2017. https://doi.org/10.1016/j.tcs.2017.04.014.
Graciani, Carmen;Macias-Ramos, Luis Felipe;Martínez-del-Amor, Miguel Ángel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin;Romero-Jiménez, Álvaro;Valencia-Cabrera, Luis:
Paun's conjecture beyond polarizations: Alternative formulations. Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol: Anul LXII. Pág. 47-60.
Paun's conjecture beyond polarizations: Alternative formulations. Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol: Anul LXII. Pág. 47-60.
Orellana-martín, David;Graciani-Díaz, Mª Del Carmen;Macias-Ramos, Luis Felipe;Martínez-del-Amor, Miguel Ángel;Riscos-Nuñez, Agustin;Romero-Jiménez, Álvaro;Valencia-Cabrera, Luis:
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. Fundamenta Informaticae. 2014. Vol: 134. Núm: 1-2. Pág. 153-166. 10.3233/FI-2014-1096.
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. Fundamenta Informaticae. 2014. Vol: 134. Núm: 1-2. Pág. 153-166. 10.3233/FI-2014-1096.
Martínez-del-Amor, Miguel Ángel;Pérez-Jiménez, Mario Jesús;Pérez-Hurtado De Mendoza, Ignacio;Garcia Quismondo-Fernandez, Manuel;Macias-Ramos, Luis Felipe;Valencia-Cabrera, Luis;Romero-Jiménez, Álvaro;Graciani, Carmen;Colomer-cugat, Maria Angels:
DCBA: Simulating population dynamics P systems with proportional objects distribution. Lecture Notes in Computer Science. 2013. Vol: 7762. Pág. 257-276. 10.1007/978-3-642-36751-9_18.
DCBA: Simulating population dynamics P systems with proportional objects distribution. Lecture Notes in Computer Science. 2013. Vol: 7762. Pág. 257-276. 10.1007/978-3-642-36751-9_18.
Graciani-Díaz, Mª Del Carmen;Gutierrez-Naranjo, Miguel Angel;Pérez-Hurtado De Mendoza, Ignacio;Riscos-Nuñez, Agustin;Romero-Jiménez, Álvaro:
A Rete-based Algorithm for Rule Selection in P Systems. International Journal of Unconventional Computing. 2013. Vol: 9. Núm: 5-6. Pág. 367-384.
A Rete-based Algorithm for Rule Selection in P Systems. International Journal of Unconventional Computing. 2013. Vol: 9. Núm: 5-6. Pág. 367-384.
Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin;Rius, M. ;Romero-Jiménez, Álvaro:
Seeking sharper frontiers of efficiency in tissue P systems. International Journal of Foundations of Computer Science. 2013. Vol: 24. Núm: 5. Pág. 577-579.
Seeking sharper frontiers of efficiency in tissue P systems. International Journal of Foundations of Computer Science. 2013. Vol: 24. Núm: 5. Pág. 577-579.
Rivero-Gil,Elena;Gutierrez-Naranjo, Miguel Angel;Romero-Jiménez, Álvaro;Riscos-Nuñez, Agustin:
A software tool for generating graphics by means of P systems. Natural Computing. 2011. Vol: 10. Núm: 2. Pág. 879-890. 10.1007/s11047-010-9198-9.
A software tool for generating graphics by means of P systems. Natural Computing. 2011. Vol: 10. Núm: 2. Pág. 879-890. 10.1007/s11047-010-9198-9.
Díaz-Pernil, Daniel;Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro:
Efficient simulation of tissue-like P systems by transition cell-like P systems. Natural Computing. 2009. Vol: 8. Núm: 4. Pág. 797-806. 10.1007/s11047-008-9102-z.
Efficient simulation of tissue-like P systems by transition cell-like P systems. Natural Computing. 2009. Vol: 8. Núm: 4. Pág. 797-806. 10.1007/s11047-008-9102-z.
Díaz-Pernil, Daniel;Pérez-Jiménez, Mario Jesús;Riscos-Nuñez, Agustin;Romero-Jiménez, Álvaro:
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems. Romanian Journal of Information Science and Technology. 2008. Vol: 11. Núm: 3. Pág. 229-241.
Computational Efficiency of Cellular Division in Tissue-like Membrane Systems. Romanian Journal of Information Science and Technology. 2008. Vol: 11. Núm: 3. Pág. 229-241.
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
A Polynomial Complexity Class in P Systems Using Membrane Division. Journal Of Automata, Languages And Combinatorics. 2006. Vol: 11. Núm: 4. Pág. 423-434.
A Polynomial Complexity Class in P Systems Using Membrane Division. Journal Of Automata, Languages And Combinatorics. 2006. Vol: 11. Núm: 4. Pág. 423-434.
Romero-Jiménez, Álvaro;Gutierrez-Naranjo, Miguel Angel;Pérez-Jiménez, Mario Jesús:
GRAPHICAL MODELING OF HIGHER PLANTS USING P SYSTEMS. Lecture Notes in Computer Science. 2006. Vol: 4361. Pág. 496-506.
GRAPHICAL MODELING OF HIGHER PLANTS USING P SYSTEMS. Lecture Notes in Computer Science. 2006. Vol: 4361. Pág. 496-506.
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Modelos de computación celular con membranas. Boletín de la Sociedad Española de Matemática Aplicada. 2004. Vol: 29. Pág. 57-88.
Modelos de computación celular con membranas. Boletín de la Sociedad Española de Matemática Aplicada. 2004. Vol: 29. Pág. 57-88.
Romero-Jiménez, Álvaro;Pérez-Jiménez, Mario Jesús:
COMPUTING PARTIAL RECURSIVE FUNCTIONS BY TRANSITION P SYSTEMS. Lecture Notes in Computer Science. 2004. Vol: 2933. Pág. 320-340.
COMPUTING PARTIAL RECURSIVE FUNCTIONS BY TRANSITION P SYSTEMS. Lecture Notes in Computer Science. 2004. Vol: 2933. Pág. 320-340.
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
THE P VERSUS NP PROBLEM THROUGH CELLULAR COMPUTING WITH MEMBRANES. Lecture Notes in Computer Science. 2004. Vol: 2950. Pág. 338-352.
THE P VERSUS NP PROBLEM THROUGH CELLULAR COMPUTING WITH MEMBRANES. Lecture Notes in Computer Science. 2004. Vol: 2950. Pág. 338-352.
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
COMPLEXITY CLASSES IN MODELS OF CELLULAR COMPUTING WITH MEMBRANES. Natural Computing. 2003. Vol: 2. Núm: 3. Pág. 265-285.
COMPLEXITY CLASSES IN MODELS OF CELLULAR COMPUTING WITH MEMBRANES. Natural Computing. 2003. Vol: 2. Núm: 3. Pág. 265-285.
Pérez-Jiménez, Mario Jesús;Romero-Jiménez, Álvaro;Sancho-Caparrini, Fernando:
Decision P Systems and the P¿NP Conjecture. Lecture Notes in Computer Science. 2003. Vol: 2597. Pág. 388-399. 10.1007/3-540-36490-0_27.
Decision P Systems and the P¿NP Conjecture. Lecture Notes in Computer Science. 2003. Vol: 2597. Pág. 388-399. 10.1007/3-540-36490-0_27.
Romero-Jiménez, Álvaro;Pérez-Jiménez, Mario Jesús:
GENERATION OF DIOPHANTINE SETS BY COMPUTING P SYSTEMS WITH EXTERNAL OUTPUT. Lecture Notes in Computer Science. 2002. Vol: 2509. Pág. 176-190.
GENERATION OF DIOPHANTINE SETS BY COMPUTING P SYSTEMS WITH EXTERNAL OUTPUT. Lecture Notes in Computer Science. 2002. Vol: 2509. Pág. 176-190.
Romero-Jiménez, Álvaro;Pérez-Jiménez, Mario Jesús:
SIMULATING TURING MACHINES BY P SYSTEMS WITH EXTERNAL OUTPUT. Fundamenta Informaticae. 2002. Vol: 49. Núm: 1-3. Pág. 273-287.
SIMULATING TURING MACHINES BY P SYSTEMS WITH EXTERNAL OUTPUT. Fundamenta Informaticae. 2002. Vol: 49. Núm: 1-3. Pág. 273-287.
Tesis dirigidas o codirigidas
Díaz-Pernil, Daniel:
SISTEMAS CELULARES DE TEJIDOS: FORMALIZACIÓN Y EFICIENCIA COMPUTACIONAL. Tesis Doctoral. 2008
SISTEMAS CELULARES DE TEJIDOS: FORMALIZACIÓN Y EFICIENCIA COMPUTACIONAL. Tesis Doctoral. 2008
