|
|
ROMERO JIMÉNEZ, ÁLVAROPerfil en ORCID: 0000-0002-2638-9101 Perfil en Scopus: 7801333154\ Perfil en Dialnet: 2549536 Grupos de Investigación Responsable de los siguientes proyectos/ayudas en la USParticipa los siguientes proyectos/ayudas en la USProyectos: - 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).
- Computación Celular: Aplicaciones a la Biología de Sistemas y Sintética ( TIN2009-13192 - 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).
- THEORY AND PRACTICE OF MEMBRANE COMPUTING ( HI2005-0194 - Investigador/a).
- MYMEM: Creación de un servicio móvil de relación entre contactos ( - 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).
- FOURTH INTERNATIONAL CONFERENCE ON UNCONVENTIONAL COMPUTATION ( TIN2004-23021-E - Investigador/a).
- DESARROLLO, VERIFICACIÓN Y AUTOMATIZACIÓN DE MODELOS MOLECULARES Y CELULARES CON MEMBRANAS ( TIC2002-04220-C03-01 - Investigador/a).
- RED TEMATICA ESPAÑOLA DE COMPUTACION MOLECULAR CON ADN Y COMPUTACION CELULAR CON MEMBRANAS ( TIC 2002-10648-E - Investigador/a).
- THIRD BRAINSTORMING WEEK ON MEMBRANE COMPUTING ( PP2004/01-17 - Investigador/a).
- CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO ( DGES PB96-1345 - Investigador/a).
- FINITE MODEL THEORY AND BOUNDED ARITHMETIC ( ERBFMBICT971999 - Investigador/a).
- MODELADO Y SIMULACIÓN COMPUTACIONAL EN BIOLOGÍA DE SISTEMAS ( P08-TIC-4200 - Investigador/a).
Ayudas: - Incentivo al Grupo de Investigación TIC-193 ( 2010/TIC-193 - Investigador/a ).
- EXPLORATORY WORKSHOP ON CELLULAR COMPUTING (COMPLEXITY ASPECTS) ( 2004/1401 - Investigador/a ).
- COMPUTACIÓN NATURAL (PAI - TIC 193) ( TIC 193 - Investigador/a ).
PublicacionesLibros: - Pérez-Jiménez, Mario Jesús, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
RECENT RESULTS IN NATURAL COMPUTING. FENIX EDITORIAL. 2005. ISBN 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. ISBN 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. ISBN 84-472-0289-5
Capítulo de 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. 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, Valencia-Cabrera, Luis:
Twelve Years of Sevilla Carpets: a Survey. Pag. 141 - 152. En: Multidisciplinary Creativity. Spandugino. 2015. 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 University Press. 2009. ISBN 978-0-19-955667-0 - 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. SPRINGER-VERLAG. 2006. ISBN 3-540-25017-4 - 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. World Scientific Publishing. 2006. ISBN 981-256-889-1
Publicaciones en Revistas: - 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. En: Theoretical Computer Science. 2017. Vol. 701. Núm. . Pag. 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. En: Theoretical Computer Science. 2017. Vol. . Núm. . Pag. - 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. En: Analele Universitatii din Bucuresti. Seria Informatica. 2015. Vol. Anul LXII. Núm. . 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, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
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 - 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. En: Lecture Notes in Computer Science. 2013. Vol. 7762. Núm. . Pag. 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. En: International Journal of Unconventional Computing. 2013. Vol. 9. Núm. 5-6. Pag. 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. En: International Journal of Foundations of Computer Science. 2013. Vol. 24. Núm. 5. Pag. 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. 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. Núm. . Pag. 496-506 - 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. Núm. . Pag. 57-88 - 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. Núm. . 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. Núm. . Pag. 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. 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. Núm. . Pag. 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. En: Lecture Notes in Computer Science. 2002. Vol. 2509. Núm. . Pag. 176-190 - 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
Otra participación en Libros de Actas: - Graciani, Carmen, Orellana-martín, David, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Valencia-Cabrera, Luis:
Proceedings of the Fourteenth Brainstorming Week on Membrane Computing. 2016. ISBN 978-84-946316-1-0. Sevilla, España - Romero-Jiménez, Álvaro, Paun-, Gheorghe, Riscos-Nuñez, Agustin:
Fifth Brainstorming Week on Membrane Computing. 2007. ISBN 978-84-611-6776-0. FENIX EDITORIAL Santander (ESPAÑA) - Graciani-Díaz, Mª Del Carmen, Paun-, Gheorghe, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
Fourth Brainstorming Week on Membrane Computing (Volume II). 2006. ISBN 84-611-0519-2. FENIX EDITORIAL SEVILLA (ESPAÑA) - Paun-, Gheorghe, Riscos-Nuñez, Agustin, Romero-Jiménez, Álvaro, Sancho-Caparrini, Fernando:
Second Brainstorming Week on Membrane Computing. 2004. ISBN 84-688-6101-4. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA Santander (ESPAÑA)
Aportaciones 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, 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 - 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 - 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:
The Growth of Branching Structures with P Systems . Comunicación en congreso. Fourth Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2006 - 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 - 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:
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:
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, 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:
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, 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
Tesis dirigidas y co-dirigidas: - Díaz-Pernil, Daniel:
SISTEMAS CELULARES DE TEJIDOS: FORMALIZACIÓN Y EFICIENCIA COMPUTACIONAL. Tesis Doctoral. 2008
|