ALVARO ROMERO JIMENEZ

Categoría
Profesor Contratado Doctor

Contacto

Correo electrónico
Área
Ciencia de la Computación e Inteligenc. Artificial

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
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
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

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.
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.
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.
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.
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.

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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.

Tesis dirigidas o codirigidas

Díaz-Pernil, Daniel:
SISTEMAS CELULARES DE TEJIDOS: FORMALIZACIÓN Y EFICIENCIA COMPUTACIONAL. Tesis Doctoral. 2008