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