Universidad de Sevilla

Vicerrectorado de Investigación

Ficha personal - Álvaro Romero Jiménez


Álvaro Romero Jiménez
Telefono: 954 55 68 55
Email: Solicitar correo
Página personal: http://www.cs.us.es/~alvaro
Perfil en ORCID: 0000-0002-2638-9101
Perfil en Scopus: 7801333154
Perfil en Dialnet: 2549536

Grupo de Investigación: Computacion Natural
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Contratado Doctor

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Desarrollo de modelos computacionales de especies invasoras en el Guadalquivir: herramientas de gestión para su control y prevención (P20_00486 - Equipo de Investigación)
    • Máquinas Bio-Inspiradas sobre plataformas de computación de altas prestaciones: un enfoque multidisciplinar (TIN2017-89842-P - Equipo de Investigación)
    • De la Computación Celular a la Computación de Alto Rendimiento. Aplicación a la Dinámica de Poblaciones. (TIN2012-37434 - Investigador)
    • Computación celular: aplicación a la biología de sistema y sintética (TIN2009-13192 - Investigador)
    • Modelado y Simulación Computacional en Biología de Sistemas (P08-TIC-04200 - Investigador)
    • Análisis computacional y simulación de procesos biológicos en computación celular (TIN2006-13425 - Investigador)
    • Desarrollo de modelos y herramientas de computación celular con membranas para aplicaciones en biología y economía (EXC/2005/TIC-581 - Investigador)
    • Modelización y simulación de procesos biológicos y computacionales a través de sistemas celulares con membranas (TIN2005-09345-C04-01 - Investigador)
    • Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas (TIC2002-04220-C03-01 - Investigador)

  • Contrato con empresas (Arts. 68/83 LOU):
    • International Collaboration Science Program for Biological Computation (P001-23/E20 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-193 (2017/TIC-193 - Investigador)
    • Incentivo al Grupo de Investigación TIC-193 (2011/TIC-193 - Investigador)
    • Incentivo al Grupo de Investigación TIC-193 (2010/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2009/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2008/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2007/TIC-193 - Investigador)
    • Cellular Computing Network (OTRI/06-PC36 - Investigador)
    • Advancing mathematical and computacional aids for diagnosis and prognosis in molecular medicine (OTRI/08-FCIE32 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2006/TIC-193 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-193 (2005/TIC-193 - Investigador)
    • Theory and practice of membrane computing (HI2005-0194 - Contratado)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
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. Santander (ESPAÑA). Editorial KRONOS. 2002. 118. ISBN 84-86273-57-9

Otra participación en Libros
Pérez Jiménez, Mario Jesús (Editor/a), Romero Jiménez, Álvaro (Editor/a), Sancho Caparrini, Fernando (Editor/a):
Recent Results in Natural Computing. Santander (ESPAÑA). Fenix Editorial. 2005. ISBN 84-609-6864-2

Briales Morales, Emilio (Editor/a), Carriazo, Alfonso (Editor/a), Chacón Rebollo, Tomás (Editor/a), Real, Pedro (Editor/a), Romero Jiménez, Álvaro (Editor/a):
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. ISBN 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. Pag. 237-255. En: Enjoying Natural Computing. Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday. Springer, Cham. 2018. x+331. ISBN 978-3-030-00265-7

Romero Jiménez, Álvaro, Riscos Nuñez, Agustin, Macias Ramos, Luis Felipe, Graciani, Carmen, Pérez Jiménez, Mario Jesús, et. al.:
Twelve Years of Sevilla Carpets: a Survey. Pag. 141-152. En: Multidisciplinary Creativity. Bucarest, Rumanía. Spandugino. 2015. X+334. ISBN 975-606-8401-63-8

Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Romero Jiménez, Álvaro, Woods, Damien Paul:
Complexity - Membrane division, membrane creation. Pag. 302-336. En: The Oxford Handbook of Membrane Computing. Oxford, Inglaterra. Oxford University Press. 2009. ISBN 978-0-19-955667-0

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. Pag. 137-154. En: Formal Models, Languages and Applications. Singapur, Singapur. World Scientific Publishing. 2006. ISBN 981-256-889-1

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Computationally Hard Problems Addressed Through P Systems. Pag. 315-346. En: Applications of Membrane Computing. Berlín, Alemania. Springer-Verlag. 2006. ISBN 3-540-25017-4

Publicaciones en Revistas
Orellana Martín, David, Ramírez de Arellano Marrero, Antonio, Andreu, José Antonio, Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
A protocol for solutions to DP-complete problems through tissue membrane systems. En: Mathematics. 2023. Vol. 11. Núm. 13. https://doi.org/10.3390/math11132797

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro:
Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. https://doi.org/10.1016/j.tcs.2017.04.014

Pérez Jiménez, Mario Jesús, Graciani, Carmen, Orellana Martín, David, Riscos Nuñez, Agustin, Romero Jiménez, Álvaro, et. al.:
Fuzzy reasoning spiking neural P systems revisited: A formalization. En: Theoretical Computer Science. 2017. Vol. 701. Pag. 216-225. 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, et. al.:
Paun's conjecture beyond polarizations: Alternative formulations. En: Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol. Anul LXII. Pag. 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, et. al.:
Sevilla Carpets Revisited: Enriching the Membrane Computing Toolbox. En: Fundamenta Informaticae. 2014. Vol. 134. Núm. 1-2. Pag. 153-166. 10.3233/Fi-2014-1096

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. En: International Journal of Foundations of Computer Science. 2013. Vol. 24. Núm. 5. Pag. 577-579

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. En: International Journal of Unconventional Computing. 2013. Vol. 9. Núm. 5-6. Pag. 367-384

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
DCBA: Simulating population dynamics P systems with proportional objects distribution. En: Lecture Notes in Computer Science. 2013. Vol. 7762. Pag. 257-276. 10.1007/978-3-642-36751-9_18

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. En: Natural Computing. 2011. Vol. 10. Núm. 2. Pag. 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. En: Natural Computing. 2009. Vol. 8. Núm. 4. Pag. 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. En: Romanian Journal of Information Science and Technology. 2008. Vol. 11. Núm. 3. Pag. 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. En: Journal Of Automata, Languages And Combinatorics. 2006. Vol. 11. Núm. 4. Pag. 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. En: Lecture Notes in Computer Science. 2006. Vol. 4361. Pag. 496-506

Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
Computing Partial Recursive Functions by Transition P Systems. En: Lecture Notes in Computer Science. 2004. Vol. 2933. Pag. 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. En: Lecture Notes in Computer Science. 2004. Vol. 2950. Pag. 338-352

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Modelos de computación celular con membranas. En: Boletín de la Sociedad Española de Matemática Aplicada. 2004. Vol. 29. Pag. 57-88

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Complexity Classes in Models of Cellular Computing With Membranes. En: Natural Computing. 2003. Vol. 2. Núm. 3. Pag. 265-285

Pérez Jiménez, Mario Jesús, Romero Jiménez, Álvaro, Sancho Caparrini, Fernando:
Decision P Systems and the P¿NP Conjecture. En: Lecture Notes in Computer Science. 2003. Vol. 2597. Pag. 388-399. 10.1007/3-540-36490-0_27

Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
Simulating Turing Machines by P Systems With External Output. En: Fundamenta Informaticae. 2002. Vol. 49. Núm. 1-3. Pag. 273-287

Romero Jiménez, Álvaro, Pérez Jiménez, Mario Jesús:
Generation of Diophantine Sets by Computing P Systems With External Output. En: Lecture Notes in Computer Science. 2002. Vol. 2509. Pag. 176-190

Otra participación en Libros de Actas
Graciani, Carmen (Editor/a), Orellana Martín, David (Editor/a), Riscos Nuñez, Agustin (Editor/a), Romero Jiménez, Álvaro (Editor/a), Valencia Cabrera, Luis (Editor/a):
Proceedings of the Fourteenth Brainstorming Week on Membrane Computing. 2016. ISBN 978-84-946316-1-0. Sevilla, España

Romero Jiménez, Álvaro (Editor/a), Paun, Gheorghe (Editor/a):
Fifth Brainstorming Week on Membrane Computing. 2007. ISBN 978-84-611-6776-0. 326. Fenix Editorial. Santander (ESPAÑA)

Graciani Díaz, Mª del Carmen (Editor/a), Paun, Gheorghe (Editor/a), Romero Jiménez, Álvaro (Editor/a), Sancho Caparrini, Fernando (Editor/a):
Fourth Brainstorming Week on Membrane Computing (Volume II). 2006. ISBN 84-611-0519-2. Fenix Editorial. Sevilla (España)

Paun, Gheorghe (Editor/a), Riscos Nuñez, Agustin (Editor/a), Romero Jiménez, Álvaro (Editor/a), Sancho Caparrini, Fernando (Editor/a):
Second Brainstorming Week on Membrane Computing. 2004. ISBN 84-688-6101-4. 456. Research Group on Natural Computing - Universidad de Sevilla. Santander (ESPAÑA)

Aportaciones a Congresos
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

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

Martínez del Amor, Miguel Ángel, Pérez Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
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 Hurtado de Mendoza, Ignacio, Garcia Quismondo Fernandez, Manuel, Macias Ramos, Luis Felipe, Valencia Cabrera, Luis, et. al.:
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. International Workshop on Computing with Biomolecules. 87. 100

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. Fourth Brainstorming Week on Membrane Computing. 253. 265

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. Pre-proceedings of the 7th Workshop on Membrane Computing WMC7. 474. 484

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. Brainstorming Week on Membrane Computing. 279. 290

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. European Molecular Computing Consortium: Program and Abstracts. 18. 18

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. Brainstorming Week on Membrane Computing. 270. 278

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. First Joint Meeting between the RSME and the AMS. Abstracts. 4. 4

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. Primer Congreso Español de Algoritmos Evolutivos y Bioinspirados. 326. 332

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. Abstracts of Contributed Papers. LC 2000 and ELSS 2000. 154. 154

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. Lógica, Lenguaje e Información. 243. 252

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

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. Collegium Logicum. 37. 38

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

Otras Publicaciones
Romero Jiménez, Álvaro:
Teorías diofánticamente indecidibles. Otras Publicaciones. 2001. Español. - Sevilla, ESPAÑA

Romero Jiménez, Álvaro:
Exponenciación y Fragmentos de la Aritmética. Otras Publicaciones. 1997. Español. - Sevilla, ESPAÑA

Tesis dirigidas y co-dirigidas:


Díaz Pernil, Daniel:
Sistemas Celulares de Tejidos: Formalización y Eficiencia Computacional. Tesis Doctoral. 2008

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla