PAIDI TIC-137 LOCIC

Ciencias de la Computación e Int. Artificial
Universidad de Sevilla

Sobre el grupo

El origen del grupo se encuentra en el Departamento de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla, y todos sus miembros están relacionados íntimamente con él, donde la mayoría son profesores.

Miembros del Grupo

Líneas de Investigación

Las líneas de investigación que interesan al grupo son ricas y diversas, pero siempre enfocadas a la aplicación y desarrollo de técnicas y modelos matemáticos a problemas fundamentales de la Lógica y Computación.

Bajo estas líneas mostramos los Proyectos de Investigación en los que han participado activamente los miembros del grupo.

Intereses

Lógica Matemática
Lógica Computacional
Modelado Multiagente
Inteligencia Artificial
Aprendizaje Automático

Proyectos de Investigación

Mathematical Logic. Ministerio de Ciencia e Innovación. Spain. (Grant PID2020-116773GB-I00). Dates: from 1 September 2021 to 1 September 2024. Scientist in charge: Enrique Casanovas Ruiz-Fornells and Joan Bagaria Pigrau (Univ. Barcelona).
Mathematical Logic. Ministerio de Economía, Industria y Competitividad. Spain. (Grant MTM2017-86777-P). Dates: from 1 January 2018 to 30 September 2021. Scientist in charge: Enrique Casanovas Ruiz-Fornells and Joan Bagaria Pigrau (Univ. Barcelona).
Mathematical Logic. Ministerio de Economía y Competitividad. Spain. (Grant MTM2014-59178-P). Dates: from 1 January 2015 to 31 December 2017. Scientist in charge: Enrique Casanovas Ruiz-Fornells and J. Joost Joosten (Univ. Barcelona).
Model Theory and applications. Ministerio de Ciencia e Innovación, Spain. (Grant MTM2011-26840). Dates: from 1 January 2012 to 31 December 2015. Scientist in charge: Enrique Casanovas Ruiz-Fornells.
Models of Arithmetic and Algebras of Computable Functions. Ministerio de Ciencia e Innovación, Spain. (Grant MTM2008-06435). Dates: from 1 January 2009 to 31 December 2011. Scientist in charge: Alejandro Fernández Margarit.
Models of Arithmetic and Classifications of Computable Functions. Ministerio de Educación y Ciencia, Spain (Grant MTM2005-08658). Dates: from 31 December 2005 to 31 December 2008. Scientist in charge: Alejandro Fernández Margarit.
FP6 Marie Curie Training Network in Model Theory and its Applications. European Commission (Contract MRTN-CT-2004-512234). Dates: from 1 January 2005 to 31 December 2008. Scientist in charge (Node 12, Barcelona): Enrique Casanovas Ruiz-Fornells. MODNET. Node 12.
Classification of Computable Functions by using arithmetic specifications: methodology and design. Ministerio de Educación y Cultura, Spain (Grant: DGICYT PB 96-1345). Dates: from 1997 to 2000. Scientist in charge: Alejandro Fernández Margarit.
Lógica computacional para la ciencia del dato. Entidad financiadora: Programa Estatal de Fomento de la Investigación Cientifica y Técnica de Excelencia. TIN2013-41086-P. Duración: del 1 de enero de 2014 al 31 de diciembre de 2016. Investigador principal: Joaquín Borrego Díaz.
Mapping Big Data Systems: embedding large complex networks in low-dimensional hidden metric spaces. Convocatoria de Ayudas Fundación BBVA a Equipos de Investigación Científica Big Data. 2018.
Metodologías de datos aplicadas al análisis de las exposiciones artísticas en Andalucía para el desarrollo de la economıía creativa. Fundación Pública Centro de Estudios Andaluces. 2017.
Adaptabilidad y Cooperación en Sistemas Biosociales en la Multiescala II. Ministerio de Economía y Competitividad del Gobierno de España. FIS2016-76830-C2-2-P. 2016.
Generación de Laboratorios Virtuales para el Estudio de Zonas Urbanas y Sociales. Research and Postgraduate Funds of Universidad Central de Ecuador. UCE-EC. (Project Director). 2016.
Aplicaciones de los Sistemas Complejos a la Gestión y Análisis del Patrimonio Cultural. Research and Postgraduate Funds of Universidad Central de Ecuador. UCE-EC. 2014.
The CulturePlex. A Lab for the Study of Cultural Complexity. The Social Sciences and Humanities Research Council of Canada. CFI/ORF. 2009
Advances in Computational Topology and Applications. Proyecto Nacional financiado por el Ministerio de Ciencia e Innovación PID2019-107339GB-I00. Duración: 3 años. Investigador principal: María del Rocío González Díaz.
Gestión mecanizada del conocimiento matemático. Los casos de la topología algebraica y la lógica. Entidad financiadora: Ministerio de Ciencia e Innovación. MTM2009-13842-C02-01. Duración: del 1 de enero de 2011 al 31 de diciembre de 2012. Investigador principal: Julio Rubio García.
Informe técnico sobre aplicabilidad de sistemas basados en el conocimiento al proyecto SOLEME. Entidad financiadora: Clever S.L, FIDETIA P025-11/E19. Duración: del 1 de enero de 2011 al 30 de mayo de 2011. Investigador Principal: Francisco J. Martín Mateos.
Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica. Entidad financiadora: Ministerio de Ciencia e Innovación. MTM2009-13842-C02-02. Duración: del 1 de enero de 2010 al 31 de diciembre de 2010. Investigador principal: José Luis Ruiz Reina.
Realización del estudio del arte para el proyecto Evaprex. Entidad financiadora: Instituto Andaluz de Tecnología, FIDETIA P029-08/E19. Duración: del 20 de septiembre de 2008 al 15 de octubre de 2008. Investigador Principal: Francisco J. Martín Mateos.
Investigación de los factores críticos de los procesos de fabricación básicos del sector aeronáutico andaluz, Sensor-IA. Entidad financiadora: Instituto Andaluz de Tecnología, FIDETIA P044-07/E19. Duración: del 5 de octubre de 2007 al 16 de junio de 2008. Investigador Principal: Francisco J. Martín Mateos.
Sistemas verificados para razonamiento en la web semántica. Entidad financiadora: Ministerio de Ciencia y Tecnología. TIN2004-03884. Duración: del 28 de diciembre de 2004 al 27 de diciembre de 2007. Investigador principal: José A. Alonso Jiménez.
Desarrollo y verificación formal de sistemas de razonamiento. Entidad financiadora: Ministerio de Educación. DGI TIC2000-1368-C03-02. Duración: del 28 de diciembre de 2000 al 27 de diciembre de 2003. Investigador principal: José A. Alonso Jiménez.
Herramientas Lógicas y Algebraicas para el Análisis de Sistemas Basados en Conocimiento. Aplicaciones (PID2019-109152GB-I00)
Lógica Computacional para la Ciencia del Dato (TIN2013-41086-P)
Conceptos Emergentes en Sistemas Complejos. Aplicaciones en Entornos Urbanos y en Complejidad Cultural (P10-TIC-6064)
Modelo lógico-computacional para la evolución de teorías sobre conceptos formales (TIN2009-09492)
Escalabilidad y eficiencia mediante computación heterogénea CPU-GPU (EFICOMP-GPU). (P033-17/E21). Responsable: Joaquín Borrego Díaz, Referencia: P033-17/E21, Fecha de Inicio: 15-09-2017, Fecha de Finalización: 15-06-2018, Financiación: Datrik Intelligence, S.A.
Gestión Interactiva de Jardines mediante el Tratamiento Inteligente de Datos. Entidad Financiadora: Nomad Garden S.L. Entidad Participante: FIDETIA. Duración: desde 01/11/2015 hasta: 31/03/2016. Investigador responsable: Joaquín Borrego Díaz. Número de participantes: 4
WeTeVe, una red social metaweb móvil. Entidad financiadora: Proyecto Minerva (Vodafone). Entidades participantes: Plataforma de servicios en movilidad. Duración, desde: Enero-2008 hasta: Diciembre-2009. Investigador responsable: Joaquín Borrego Díaz. Número de investigadores participantes: 3
Sistemas verificados para razonamiento en la Web semántica (TIN2004-03884 – Investigador)
Contexto Socioeconómico de la Vivienda: Diseño e Implementación de un Sistema de Inteligencia Colectiva. Investigador principal: GONZÁLEZ DE CANALES RUIZ, FRANCISCO JOSE. Entidad financiadora: Junta de Andalucía. Duración, desde: 01/07/2017 hasta 31/06/2019. Presupuesto: 29979 €. Miembro del equipo de investigación. Número de participantes: 6
El corredor de la carretera N-340 como eje histórico del litoral andaluz: Metodologías de caracterización y estrategias para su patrimonialización y regeneración sostenible. Entidad financiadora: Agencia de Obra Pública de la Junta de Andalucía. Proyectos I+D+i Relativos al Ámbito Competencial de la Consejería de Fomento y Vivienda. Entidades participantes: Universidad de Sevilla. Duración, desde: 15/11/2013 hasta: 15/11/2015. Investigador responsable: Mar Loren Méndez. Número de investigadores participantes: 10
De la Computación Celular a la Computación de Alto Redimiento. Aplicación a la Dinámica de Poblaciones. Proyecto Nacional financiado por el Ministerio de Economía y Competitividad TIN2012-37434. Duración: desde el 1 de enero de 2013 hasta el 31 de diciembre de 2015. Investigador principal: Mario de J. Pérez Jiménez.
Modelado y simulación computacional en Biología de Sistemas. Junta de Andalucía. Proyecto de Excelencia con Investigador de Reconocida Valía P08-TIC-04200. Duración: desde el 14 de enero de 2009 hasta el 13 de enero de 2013. Investigadores principales: Gheorghe Paun y Mario de J. Pérez Jiménez.
Computación Celular: Aplicaciones a la Biología de Sistemas y Sintética. Entidad financiadora: Ministerio de Ciencia e Innovavión TIN-2009-13192. Duración: desde el 1 de octubre de 2009 hasta el 30 de septiembre de 2012. Investigador principal: Mario de J. Pérez Jiménez.
Membrane Computing. Theory and applications in Systems Biology. Entidad financiadora: National Natural Science Foundation de China. Duración: desde el 1 de julio de 2010 hasta el 30 de junio de 2012. Investigadores principales: Linqiang Pan, Mario de J. Pérez Jiménez y María Angels Colomer Cugat.
Creación de una Red Temática en Computación Biomolecular y Biocelular. Ministerio de Ciencia e Innovación. TIN2008-04487-E. Duración: desde el 28 de enero de 2009 hasta el 27 de enero de 2011. Investigador principal y Coordinador de la Red: Mario de J. Pérez Jiménez.
Análisis computacional y simulación de procesos biológicos en Computación Celular. Entidad financiadora: Ministerio de Educación y Ciencia. TIN-2006-13425. Duración: desde el 1 de octubre de 2006 hasta el 30 de septiembre de 2009. Investigador principal: Mario de J. Pérez Jiménez.
Desarrollo de modelos y herramientas de computación celular con membranas para aplicaciones en Biología y Economía. Entidad financiadora: Junta de Andalucía. Proyecto de Excelencia TIC-581. Duración: desde el 28 de febrero de 2006 hasta el 28 de febrero de 2009. Investigador principal: Mario de J. Pérez Jiménez.
Modelización y simulación de procesos biológicos y computacionales a través de sistemas celulares con membranas. Entidad financiadora: Ministerio de Educación y Ciencia. TIN-2005-09345-C04-01. Duración: desde el 31 de diciembre de 2005 hasta el 30 de diciembre de 2006. Investigador principal: Mario de J. Pérez Jiménez.
Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas. Entidad financiadora: Ministerio de Ciencia y Tecnología. TIC-2002-04220-C03-01. Duración: desde el 1 de diciembre de 2002 hasta el 30 de noviembre de 2005. Investigador principal: Mario de J. Pérez Jiménez.
Grupo de Investigación "Computación Natural" Código TIC-0193. Durante el año 2008. Financiado por el Plan Andaluz de Investigación de la Junta de Andalucía. Responsable: Mario J. Perez-Jimenez.
Grupo de Investigación "Lógica, Computación e Ingeniería del Conocimiento" Código TIC-0137. Durante el periodo 1995-2001. Financiado por el Plan Andaluz de Investigación de la Junta de Andalucía. Responsable: Alejandro Fernández Margarit.
Grupo de Investigación "Lógica, Computación e Ingeniería del Conocimiento" Código TIC-0137. Durante el año 2002. Financiado por el Plan Andaluz de Investigación de la Junta de Andalucía. Responsable: José A. Alonso Jiménez.
Grupo de Investigación "Computación Natural" Código TIC-0193. Durante el periodo 2003-2007. Financiado por el Plan Andaluz de Investigación de la Junta de Andalucía. Responsable: Mario J. Jiménez-Pérez.
Bibliografía de Bibliografías. PAPIT (UNAM, México). Inst. Inv. Bibliográficas (UNAM, México). Duración 2019-2021. IP Laurette Godinas.
Desarrollo de Sistema de Alerta Temprana para UCRI basado en Machine Learning. SEPAR. Servicio Vasco de Salud. Duración 2019-2020. IP Cristóbal Esteban González
Machine Learning en la Predicción de Exacerbaciones en Pacientes con EPOC Telemonitorizados: Diseño, Desarrollo, Implantación y Validación. Departamento de Salud del País Vasco. Hospital de Galsakao-Usánsolo, U. Sevilla. Duración 2018-2019. IP José A. Gutiérrez Escorza, Cristóbal Esteban González
Vision and Crowdsensing Technology for an Optimal Response in Physical-Security (VICTORY). Ministerio de Economía y Competitividad. U. Sevilla , U. Castilla La Mancha. Duración 2018-2020. IP J. A. Álvarez García, F. Enríquez de Salamanca Ros.
Metodologías de datos aplicadas al análisis de las exposiciones artísticas para el desarrollo de la economía creativa. Centro de Estudios Andaluces. U. Sevilla , U. Málaga, U. Western Ontario. Duración 2017-2019. IP Nuria Rodríguez Ortega
Aplicaciones de los Sistemas Complejos a la Gestión y Análisis del Patrimonio Cultural Ecuatoriano. Dir. Inv. y Posgrado de la U. Central del Ecuador. U. Central del Ecuador. Duración 2014-2015. IP Fernando Sancho Caparrini
Aplicación del Aprendizaje Automático para la detección precoz de exacerbaciones en pacientes EPOC reingresadores. SEPAR. Hospital de Galdakao-Usánsolo , U. Sevilla. Duración 2012-2013. IP Cristóbal Esteban González
eComplexcity: Conceptos emergentes en sistemas complejos. Aplicaciones en entornos urbanos y en complejidad cultural. Proyecto de Excelencia de la Junta de Andalucía. U. Sevilla. Duración 2012-2015. IP Joaquín Borrego Díaz
The Hispanic Baroque: Complexity in the First Atlantic Culture. Major Collaborative Research Initiatives, SSHRC. U. Western Ontario. Duración 2007-2016. IP Juan Luís Suárez
Complexity Theory and the Humanities. Research Development Initiatives, SSHRC. U. Western Ontario. Duración 2005-2007. IP Juan Luís Suárez
Mymen. Proyecto Minerva. Yaco Sistemas , U. Sevilla, Sandetel Duración 07/2007- 12/2008. IP Mario de J. Pérez Jiménez
ESF Exploratory Workshop on Membrane Computing. European Science Foundation. EW 04 - 134 (PESC). U. Sevilla. Duración 31/01/2005 - 02/02/2005. IP Mario de J. Pérez Jiménez
Acción Complementaria Fourth International Conference on Unconventional Computation. Financia Min. Educación y Ciencia. TIN-2004-23021-E. Participantes U. Sevilla, U. Milano-Bicocca. Duración 01/09/2005 - 01/10/2006. IP Mario de J. Pérez Jiménez.
Programa de Acción Integrada Hispano-Italiana: Theory and Practice in Membrane Computing. Min. Educación y Ciencia. HI-2005-0194. U.Sevilla, U. Milano-Bicocca. Duración 01/12/2005 - 30/11/2007. IP Mario de J. Pérez Jiménez
Modelización y simulación de procesos biológicos y computacionales a través de sistemas celulares con membranas. Min. Educación y Ciencia. TIN-2005-09345-C04-01. U. Sevilla. Duración 31/12/2005 - 31/12/2006. IP Mario de J. Pérez Jiménez
Grupo de Investigación en Computación Natural (TIC-193). Cons. Investigación, Ciencia y Tecnología, J. Andalucía. U. Sevilla. Duración 01/10/2003 - 01/10/2006. IP Mario de J. Pérez Jiménez
Red temática española de computación molecular con ADN y computación celular con membranas. Min. Ciencia y Tecnología. U. Sevilla, U. Rovira i Virgili, U. Politécnica de Madrid, U. País Vasco, U. Valencia. Duración 01/01/2003 - 31/12/2005. IP Carlos Martín-Vide
Desarrollo, verificación y automatización de modelos moleculares y celulares con membranas. Min. Ciencia y Tecnología, TIC2002-04220-C03-01. U. Sevilla. Duración 01/12/2002 - 31/11/2005. IP Mario de J. Pérez Jiménez
Medidas Vectoriales y Espacios Funcionales. D. Gral de Ciencia, Inv. y Tecnología, Ref.PB-93-0926. U. Sevilla. Duración 01/1996 - 12/1998. IP Juan Arias de Reyna
Grupo de Análisis Matemático de la Universidad de Sevilla. Plan Andaluz de Investigación, Ref. 1007 y FQM104. U. Sevilla. Duración 01/1996 - 12/1998. IP Juan Arias de Reyna

Publicaciones

A continuación se muestras las publicaciones realizadas por los distintos miembros del grupo en sus diversas labores de investigación.

Equating local reflection and (local) induction, A. Cordón-Franco; F.F. Lara-Martín. In preparation.
Wadge determinacy and Arithmetical Transfinite Recursion, A. Cordón-Franco; F.F. Lara-Martín; Manuel J.S. Loureiro. In preparation.
Lipschitz and Wadge binary games in second order arithmetic, A. Cordón-Franco; F.F. Lara-Martín; Manuel J.S. Loureiro. Submitted.
Predicativity through transfinite reflection, A. Cordón-Franco; D. Fernández-Duque; J. Joosten; F.F. Lara-Martín. J. Symbolic Logic 82 (2017), no. 3, 787-808. Preprint, arXiv:1412.5521 and Paper.
Existentially closed models in the framework of arithmetic, Z. Adamowicz; A. Cordón-Franco; F.F. Lara-Martín. J. Symbolic Logic 81 (2016), no. 2, 774-788. Preprint, PDF and Paper.
Local induction and provably total computable functions, A. Cordón-Franco; F.F. Lara-Martín. Ann. Pure Appl. Logic, 165(9): 1429-1444, 2014. Preprint and Paper.
On axiom schemes for T-provably $\Delta_1$-formulas, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Arch. Math. Logic, 53(3-4):327-349, 2014. Preprint and Paper.
On the Optimality of Conservation Results for Local Reflection in Arithmetic, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Journal of Symbolic Logic, 78(4):1025-1035, 2013. Preprint and Paper.
Local induction and provably total computable functions: a case study, A. Cordón-Franco; F.F. Lara-Martín. How the world computes, Lecture Notes in Computer Science, 7318:440-449, 2012. Preprint and Paper.
A Note on Parameter Free $\Pi_1$-Induction and Restricted Exponentiation, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Mathematical Logic Quarterly, 57(5):444-455, 2011. Preprint and Paper.
Existentially Closed Models and Conservation Results in Bounded Arithmetic, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Journal of Logic and Computation, 19(1):123-143, 2009. Preprint and Paper.
A Note on $\Sigma_1$-Maximal Models, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Journal of Symbolic Logic, 72(3):1072-1078, 2007. Preprint and Paper.
On Rules and Parameter Free Systems in Bounded Arithmetic, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Lecture Notes in Computer Science, 4497:179-188, 2007. Preprint and Paper.
Envelopes, Indicators and Conservativeness, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Mathematical Logic Quarterly, 52(1):51-70, 2006. Preprint and Paper.
Fragments of Arithmetic and True Sentences, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Mathematical Logic Quarterly, 51(3): 313-328, 2005. Preprint and Paper.
Induction, Minimization and Collection for $\Delta_{n+1}(T)$-Formulas, A. Fernández-Margarit; F.F. Lara-Martín. Archive for Mathematical Logic, 43(4):505-541, 2004. Preprint and Paper.
On the Quantifier Complexity of $\Delta_{n+1}(T)$-Induction, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Archive for Mathematical Logic, 43(3): 371-398, 2004. Preprint and Paper.
Provably Total Primitive Recursive Functions: Theories With Induction, A. Cordón-Franco; A. Fernández-Margarit; F.F. Lara-Martín. Lecture Notes in Computer Science, 3210:355-369, 2004. Preprint and Paper.
Some Results on $L\Delta_{n+1}^-$, A. Fernández-Margarit; F.F. Lara-Martín. Mathematical Logic Quarterly, 47(4): 503-512, 2001. Preprint and Paper.
García-Victoria, P., Cavaliere, M., Gutiérrez-Naranjo, M.A., Cárdenas-Montes, M. Evolutionary Game Theory in a Cell: A Membrane Computing Approach. Submitted
Paluzo-Hidalgo, E., Gonzalez-Diaz, R., Gutiérrez-Naranjo, Heras, J. Optimizing the simplicial-map neural network architecture. Submitted
Luque-Cerpa,A., Gutiérrez-Maranjo, M.A., Cárdenas-Montes, M. Dynamic Price of Parking Service based on Deep Learning. Submitted
García-Victoria, P., Gutiérrez-Naranjo, M.A., Cárdenas-Montes, M., Vasco-Carofilis, R.A. PBIL for optimizing Inception Module in Convolutional Neural Networks. Submitted
Gonzalez-Diaz, R., Gutiérrez-Naranjo, M.A., Paluzo-Hidalgo, E. Representative Datasets: The Perceptron Case. Submitted.
Paluzo-Hidalgo, E., Gonzalez-Diaz, R., Gutiérrez-Naranjo, M.A. Towards a Philological Metric through a Topological Data Analysis Approach. Submitted
Paluzo-Hidalgo, E., Gonzalez-Diaz, R., Gutiérrez-Naranjo, M.A., Heras J. Simplicial-map neural networks robust to adversarial examples. Mathematics 2021, 9(2), 169 ISSN: 2227-7390 DOI: https://doi.org/10.3390/math9020169
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez, Daniel Rodríguez-Chavarría, Towards a Notion of Basis for Knowledge-Based Systems—Applications, Mathematics. 2021; 9(3):252.
Borrego-Díaz, J, Algebraic Combinatorics in Bounded Induction, Annals of Pure and Applied Logic, Volume 172, Issue 2 (2021).
Rodríguez-Chavarría, D., Gutiérrez-Naranjo, M.A., Borrego-Díaz, J. Logic Negation with Spiking Neural P Systems, Neural Processing Letters (2020)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez, A model of three-way decisions for Knowledge Harnessing, International Journal of Approximate Reasoning, Volume 120, pp. 184-202, (2020)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez and Alejandro Trujillo Caballero, On experimental efficiency for retraction operator to stem basis, Trends in Mathematics and Computational Intelligence pp 73-79 (2019)
José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Magdalena Fernández-Lebrón and M. José Hidalgo-Doblado, A logic-algebraic tool for reasoning with Knowledge-Based Systems, Journal of Logical and Algebraic Methods in Programming Volume 101, December 2018, Pages 88-109
Jaime de Miguel-Rodríguez, Juan Galán Páez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City. Proceedings Workshop on Smart and Sustainable City 2016, pp. 968-974, (IEEE, 2017).
Joaquín Borrego-Díaz, Las Matemáticas en el país de los datos (II): ¿Y las tres (cuatro) Vs?, Gaceta de la Real Sociedad Matemática Española, Volumen 20, número 2 (2017).
Joaquín Borrego-Díaz, Inteligencia Artificial y el futuro: de la percepción a la realidad, [Libre Pensamiento 89 (2017)
Joaquín Borrego-Díaz, Las Matemáticas en el país de los datos (I): De puntos a mónadas, Gaceta de la Real Sociedad Matemática Española, Volumen 20, número 1 (2017).
Joaquín Borrego-Díaz, Antonia M. Chávez-González, José L. Pro-Martín, Virginia Matos-Arana, Semantics for incident identification and resolution reports, Logic Journal of the IGPL (2016)
Davide Beraldo; Juan Galan Paez. The #OCCUPY network on Twitter and the challenges to social movements theory and research. International Journal of Electronic Governance. 6 - 4, pp. 319 - 341. Inderscience Publishers, 2013. ISSN 1742-7509
Virginia Paloma; Carlos Camacho; Juan Galan Paez; Manuel García Ramírez; José A. Langa; Lucas Olmedo;Fernando Sancho Caparrini; David Solís Martín; Soto Olga; Antonio Suárez. Experimentos virtuales de intervenciones sociales para la mejora del bienestar inmigrante en Andalucía . BIENESTAR Y REALIDAD SOCIAL. FI00117, pp. 1 - 56. Fundación Pública Andaluza Centro de Estudios Andaluces, 2017. ISBN 978-84-944564-3-5
David Solís-Martín, Juan Galán Páez, Joaquín Borrego Díaz, Fernando Sancho-Caparrini, ASAP: A Framework for Designing and Analyzing Gamified Models of Complex Problems, to appear in Proc. 2nd Workshop on Gaming, Simulation and Play (GSP 2016),CISTI’2016 – 11th Iberian Conference on Information Systems and Technologies (2016).
Gonzalo A. Aranda-Corral, Joaquín Borrego Díaz, Juan Galán Páez, Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data, to appear in SAI Intelligent Systems Conference 2016 September 21-22, 2016 London, UK.
Gonzalo A. Aranda-Corral, Joaquín Borrego Díaz, Juan Galán Páez, Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities, 10th International Conference on Soft Computing Models in Industrial and Environmental Applications Volume 368 of the series Advances in Intelligent Systems and Computing pp 79-89 (2015).
Joaquín Borrego Díaz, Juan Galán Páez, Pedestrian Behavior Mining from Dataç, Proc. Late-Breaking ECAL 2015 pp:4-7 (2015)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, David Solís Martín, iaBastos: An Intelligent Marketplace for Agricultural Products, Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection Volume 9086 of the series Lecture Notes in Computer Science pp 255-258 (2015).
Juan Galán Páez, Gonzalo A. Aranda-Corral, Joaquín Borrego Díaz, Modeling Lexicon Emergence as Concept Emergence in Networks, Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015 Volume 427 of the series Advances in Intelligent Systems and Computing pp 409-420 (2015).
Joaquín Borrego Díaz, Juan Galán Páez, Antonia M. Chávez-González, [La movilidad en N-340 desde los datos. Un análisis crítico de la información y la accesibilidad patrimonial desde la Ciencia del Dato y la Multiagencia. Módulo 6 del informe del proyecto El corredor de la carretera N-340 como eje histórico del litoral andaluz: metodologías de caracterización y estrategias para su patrimonialización y regeneración sostenible.
Daniel Albendín Moya, Gonzalo A. Aranda Corral, Joaquín Borrego Díaz, Ángel Cantó Vicente. Semandal: Extracting knowledge and data from city councils, in Proc. 7th European Symposium on Computational Intelligence and Mathematics, pp. 180-85 (2015).
Juan Galán Páez, Joaquín Borrego-Díaz, Jaime de Miguel-Rodríguez: Extracting emergent knowledge about the socioeconomic urban contexts. UbiComp/ISWC Adjunct 2015: 1571-1574.
J.A. Alonso, M.J. Hidalgo, J. Borrego, J.L. Ruíz, F.J. Martín, Formally verified reasoners for description logics, Journal of Automated Reasoning, Volume 52, Issue 3, pp 331-360 (2014).
Joaquín Borrego-Díaz y Antonia M. Chávez-González, José L. Pro-Martín, Virginia Matos-Arana, Specifying and Verifying Meta-Security by Means of Semantic Web Methods. International Joint Conference SOCO’14-CISIS’14-ICEUTE’14 Volume 299 of the series Advances in Intelligent Systems and Computing pp 355-365(2014).
Gonzalo A. Aranda-Corral, Joaquín Borrego Díaz, Juan Galán Páez, Phenomenological percolation in conceptual networks associated to Complex Systems, Proc. 2nd World Conference on Complex Systems (WCCS) pp.413-418 IEEE Press (2014)
Joaquín Borrego-Díaz, Galán-Páez, Juan, and De Miguel-Rodríguez, Jaime, An approach to social perception of socioeconomic contexts by means of concept reasoning. The case of urban housing markets. DySES 2014, VII International Meeting in Dynamics of Socio-Economic Systems (2014).
Gonzalo A. Aranda-Corral, Joaquín Borrego Díaz, Juan Galán Páez, Antonio Jiménez Mavillard, Emergent Concepts on Knowledge Intensive Processes, Computational Collective Intelligence. Technologies and Applications, Volume 8733 of the series Lecture Notes in Computer Science pp 282-291 (2014).
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Galán-Páez, Juan; Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte. JANUS, Anexo 1:87–100 (2014).
Joaquín Borrego-Díaz, Galán-Páez, Juan. Discovering new sentiments from the social web. arXiv preprint arXiv:1407.0374, abs/1407.0374 (2014)
Joaquín Borrego-Díaz, Juan Galán Páez, Jaime de Miguel, Building Knowledge Layers and Networks from Urban Digital Information, International Conference Virtual City and Territory. “9° Congresso Città e Territorio Virtuale, Roma, 2, 3 e 4 ottobre 2013”. Roma: Università degli Studi Roma Tre, p. 216-228 (2014).
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González: Extending Qualitative Spatial Theories with Emergent Spatial Concepts – An Automated Reasoning Approach, Hybrid Artificial Intelligence Systems, Volume 8480 of the series Lecture Notes in Computer Science pp 427-438 (2014).
Gonzalo A. Aranda Corral, Joaquín Borrego-Díaz, Juan Galán Paez, On the Phenomenological Reconstruction of Complex Systems. The Scale-Free Conceptualization Hypothesis, Systems Research and Behavioral Science 3(5):1-19 (2013).
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, and Giráldez-Cru, Jesús. Agent-mediated shared conceptualizations in tagging services. Multimedia Tools Appl., 65(1):5–28, July 2013.
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez, Qualitative Reasoning on Complex Systems from Observations, Hybrid Artificial Intelligent Systems, Volume 8073 of the series Lecture Notes in Computer Science pp 202-211 (2013).
Gonzalo A. Aranda Corral, Alejandro Blanco Escudero, Manuel Gomar Acosta, Joaquín Borrego Díaz, Exploiting Digital Information on the City to Estimate Resilience. A Multiagent Approach, in Geographic Information Systems for Smart Cities, Copal Pub. pp 1-30 (2013)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Galán-Páez, Juan; Discovering New Sentiments from the Social Web in Global Computing for our Complex Hyper-connected World. European Conference on Complex Systems (ECCS’13) (2013)
G. A. Aranda-Corral, Joaquín Borrego-Díaz, A. M. Chávez-González; Repairing conceptual relations in ontologies by means of an interactive visual reasoning: Cognitive and design principles; Proc. IEEE 3rd International Conference on Cognitive Infocommunications. pp 739-744 (2012)
G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán Páez; Simulating Language Dynamics by Means of Concept Reasoning, Volume 134 of the series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering pp 296-311 (2014).
Gonzalo A. Aranda Corral, Joaquín Borrego-Díaz, Juan Galán Paez, Complex concept lattices for simulating human prediction in sport, Journal of Systems Science and Complexity, Volume 26, Issue 1, pp 117-136 (2013).
Gonzalo A. Aranda Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru, Agent-mediated shared conceptualizations in tagging services, Multimedia Tools and Applications, Volume 65, Issue 1, pp 5-28 (2013).
Gonzalo A. Aranda Corral, Joaquín Borrego-Díaz, Juan Galán Paez, Qualitative Reasoning on Complex Systems from Observations, Hybrid Artificial Intelligent Systems, Volume 8073 of the series Lecture Notes in Computer Science pp 202-211 (2013).
G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán-Páez, Scale-Free Structure in Concept Lattices Associated to Complex Systems. Proc. ICCS 2012, International Conference on Complex Systems (2012)
G. Aranda, J. Borrego A. Blanco M. Gomar, Estimating urban resilience by means of Multiagent simulation. Smart City World Congress 2012
G. Aranda, J. Borrego, eComplexcity project. Seminal Workshop of Smart Planning Network. Roma 2012
G. Aranda, J. Borrego A. Blanco M. Gomar, Estimating urban resilience by means of GIS-based Multiagent Systems. GEOGRAPHIC INFORMATION SYSTEM FOR SMART CITIES (2012).
J. Borrego-Díaz,A. M. Chávez-González, M.A. Martín-Pérez, J.A. Zamora-Aguilera, Semantic geodemography for smartcities. Smart City World Congress 2012.
Joaquín Borrego-Díaz, Antonia M. Chávez-González, M.A.Marín-Perez, J.A.Zamora-Aguilera, Semantic Geodemography and Urban Interoperability,Metadata and Semantics Research, Volume 343 of the series Communications in Computer and Information Science pp 1-12 (2012).
G. A. Aranda-Corral, J. Borrego-Díaz, J. Giráldez-Cru, Conceptual-based Reasoning in Mobile Web 2.0 by Means Multiagent Systems – Knowledge Engineering Notes. ICAART Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2 – Agents, Vilamoura, Algarve, Portugal, 6-8 February, 2012. SciTePress, 176-183.
Gonzalo A. Aranda Corral, Joaquín Borrego-Díaz, Juan Galán Paez, Scale-free structure in concept lattices associated to complex systems, Proc. Int. Conf Complex Systems (ICCS), pp. 1-6 (2012).
Gonzalo A. Aranda Corral, Joaquín Borrego-Díaz, Jesús Giráldez-Cru, On the complexity of shared conceptualizations, Artificial Intelligence and Soft Computing Volume 7267 of the series Lecture Notes in Computer Science pp 629-638 (2012).
G. A. Aranda-Corral, J. Borrego-Díaz, Theoretical Foundations of a Formal Model for Context Reasoning in Multiagent Systems by means Conservative Retraction, proc. V International Symposium of Ubiquitous Computing and Ambient Intelligence (UCAMI 2011).
G. Aranda, J. Borrego A. Blanco M. Gomar, Data-in-the-cloud City. Proc. 7th Virtual Cities and Territories (2011)
J. Antonio Alonso-Jiménez, Joaquín Borrego-Díaz, A. M. Chávez-González, F. Jesús Martín-Mateos Computational Logic and Knowledge Representation Issues, in Data Management in the Semantic Web (NOVA Pub.) 2011, pp. 105-130
G. Aranda, J. Borrego A. Blanco , M. Gomar, Modelling Urban Dynamics as Complex Systems. European Conference on Complex Systems 2011
G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán Páez: Bounded Rationality for Data Reasoning Based on Formal Concept Analysis. Proc. DEXA Workshops 2011: 350-354 (2011)
G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán Páez: Selecting Attributes for Sport Forecasting using Formal Concept Analysis ECAL-CS Sport proceedings CoRR abs/1107.5474: (2011)
G. A. Aranda-Corral, Joaquín Borrego-Díaz, J. Galán Páez: Confidence-Based Reasoning with Local Temporal Formal Contexts. Advances in Computational Intelligence Volume 6692 of the series Lecture Notes in Computer Science pp 461-468 (2011).
G. A. Aranda-Corral, Joaquín Borrego-Díaz, Ontological dimensions of Semantic Mobile Web 2.0. First principles. Handbook of Research on Mobility and Computing: Evolving Technologies and Ubiquitous Impacts. IGI publishers pp. 667-688 (2011)
G. A. Aranda-Corral, J. Borrego-Díaz, Antonio Jiménez-Mavillard, Social Ontology Documentation for Knowledge Externalization, Metadata and Semantic Research, Volume 108 of the series Communications in Computer and Information Science pp 137-148 (2010).
G. A. Aranda-Corral, Joaquín Borrego-Díaz, Mereotopological Analysis of Formal Concepts in Security Ontologies. Computational Intelligence in Security for Information Systems 2010 Volume 85 of the series Advances in Intelligent and Soft Computing pp 33-40 (2010).
G. A. Aranda-Corral, Joaquín Borrego-Díaz, Reconciling Knowledge in Social Tagging Web Services. Hybrid Artificial Intelligence Systems, Hybrid Artificial Intelligence Systems Volume 6077 of the series Lecture Notes in Computer Science pp 383-390 (2010).
J.A. Alonso, J. Borrego, A. M. Chávez, F.J. Martín, Computational Logic and Knowledge Representation Issues in Data Analysis for the Semantic Web, in Data Management in the Semantic Web, Nova Pub. (2011) pp. 105-130.
Gonzalo A. Aranda Corral, Juan Galán Paez, Joaquín Borrego-Díaz, Bounded Rationality for Data Reasoning based on Formal Concept Analysis, Database and Expert Systems Applications (DEXA), 2011 22nd International Workshop on pp. 350 – 354 (2011).
Gonzalo A. Aranda Corral, Juan Galán Paez, Joaqun Borrego-Díaz, Selecting Attributes for Sport Forecasting using Formal Concept Analysis, Proc. ECAL Workshop CS-Sport pp. 1-15 (2011).
Gonzalo A. Aranda Corral, Alejandro Blanco Escudero, Manuel Gomar Acosta, Joaquín Borrego Díaz, Data-in-the-cloud City, Proc. 7th Int. Conf. on Virtual Cities and Territories, pp. 565-571 (2011).
Gonzalo A. Aranda Corral, Alejandro Blanco Escudero, Manuel Gomar Acosta, Joaquín Borrego Díaz, Modelling Urban Dynamics as Complex Systems, European Conference on Complex Systems, pp. 61 (2011).
G.A. Aranda Corral, J. Borrego-Díaz, A.M. Chávez-González, Mereotopological Patterns for Ontology Evolution and Debugging, Image-A, 1(3), 151-158 (2010).
G.A. Aranda Corral, J. Borrego Díaz, Mereotopological Analysis of Formal Concepts in Security Ontologies, Computational Intelligence in Security for Information Systems 2010 Volume 85 of the series Advances in Intelligent and Soft Computing pp 33-40 (2010)
G.A. Aranda Corral, J. Borrego Díaz, A. Jiménez-Mavillard, Social Ontology Documentation for Knowledge Externalization, Metadata and Semantic Research Volume 108 of the series Communications in Computer and Information Science pp 137-148 (2010).
G.A. Aranda Corral, J. Borrego Díaz, Reconciling Knowledge in Social Tagging Web Services, Hybrid Artificial Intelligence Systems Volume 6077 of the series Lecture Notes in Computer Science pp 383-390 (2010).
J. Borrego-Díaz, Infoxicación amiga, ruido en tu creciente vecindario digital, EBE 2009
J. Borrego-Díaz, A.M. Chávez-González, On the Use of Automated Reasoning Systems in Ontology Integration, Third International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science. Amsterdam, Holanda. 2009. Proceedings of the Third International Workshop on Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science, pp. 37-48 (2009)
G.A. Aranda Corral, J. Borrego Díaz, M.M. Fernández-Lebrón, Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations, Intelligent Computer Mathematics Volume 5625 of the series Lecture Notes in Computer Science pp 45-58
G.A. Aranda Corral, J. Borrego Díaz, F. Gómez Marín, Toward Semantic Mobile Web 2.0 through Multiagent Systems, Agent and Multi-Agent Systems: Technologies and Applications, Volume 5559 of the series Lecture Notes in Computer Science pp 400-409 (2009).
J. Borrego-Díaz, Artificial Intelligence and the semantics of (virtual) space, Inclusiva-Net: Digital Nets and physical spaces, pp. 52-68 (2009).
J.A. Alonso-Jiménez, J. Borrego-Díaz, A.M. Chávez-González, Inconsistency, Logic Databases, and Ontologies, in Encyclopedia of Database Technologies and Applications, 452-459 (2009).
J. Borrego-Díaz, Derechos humanos versus derechos digitales, Bottup, Septiembre 2008.
J. Borrego-Díaz, Vacío Web 2.0 o la emergencia de las nuevas marcas, Bottup, Septiembre 2008
J. Borrego-Díaz, A.M. Chávez-González, Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies, Uncertainty Reasoning for the Semantic Web I, Volume 5327 of the series Lecture Notes in Computer Science pp 315-329 (2008).
J.A. Alonso-Jimenez, G.A. Aranda-Corral, J. Borrego-Díaz, M.M. Fernandez- Lebron, M.J. Hidalgo-Doblado, Extending attribute exploration by means of Boolean derivates, Proceedings of the Sixth International Conference on Concept Lattice and their Applications, CEUR-WS Proceedings pp. 1-12 (2008).
G.A. Aranda-Corral, J. Borrego-Díaz, A.M. Chavez-Gonzalez, Learning services based on Formal Concept Reasoning, Intelligent Systems and Agents 2007.
J.A. Alonso-Jiménez, J. Borrego-Díaz, M.J. Hidalgo-Doblado, F.J. Martín- Mateos, J.L. Ruiz-Reina, A Formally Veried Prover for the ALC Description Logic,Theorem Proving in Higher Order Logics, Volume 4732 of the series Lecture Notes in Computer Science pp 135-150 (2007).
J. Borrego-Díaz, A.M. Chávez-González, A Formal Foundation for Knowledge Integration of Deficient Information in the Semantic Web, Lecture Notes in CS 4739 305-312 (2007).
J.A. Alonso-Jimenez, J. Borrego-Daz, A. M. Chavez-Gonzalez, Anomalías en Ontologías Provisionales. Proc. VIII Congreso ISKO-España, pp- 159-167 (2007).
J.A. Alonso, J. Borrego, A. M. Chávez, F.J. Martín, Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web, IEEE Intelligent Systems 21(1):42-52 (2006).
J. Borrego-Daz, A.M. Chavez-Gonzalez, Fusion Automatizada de Ontologas: Aplicacion al Razonamiento Espacial Cualitativo (spanish), in Una perspectiva de la Inteligencia Articial en su 50 Aniversario, pp. 91-102 (2006).
J. Borrego-Daz, A.M. Chavez-Gonzalez, Visual Ontology Cleaning: Cognitive Principles and Applicability, European Semantic Web Congress, Lecture Notes in CS 4011, pp. 317-331 (2006).
J. Borrego-Daz, A.M. Chavez-Gonzalez, Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy, Uncertainty Reasoning for the Semantic Web, CEUR-WS Proceedings pag. 1-11 (2006).
J.A. Alonso, J. Borrego, A. M. Chavez, Logic Databases and Inconsistency Handling, Encyclopedia of Database Technologies and Applications, IDEA Group Pub. 336-340 (2005).
J. Borrego-Daz, A.M. Chavez-Gonzalez, Extension of Ontologies Assisted by Automated Reasoning Systems, EUROCAST 2005 Computer Aided Systems Theory, Lecture Notes in CS (2005)
J.A. Alonso, J. Borrego, A. M. Chavez, Towards a tool for ontology engineering, Advances in Robotics, Manufacturing, Automation, Control, Soft Computing, Multimedia, Biomedicine, Image Processing and Financial Engineering, 193 – 198 (2004).
J.A. Alonso, J. Borrego, M. J. Hidalgo, F.J. Martn, J.L. Ruz, Verication of Formal Concept Analysis, Rev. R. Acad. Cien. Serie A. Mat. 98(3): 3-16 (2004).
J.A. Alonso, J. Borrego, A.M. Chavez, Ontology Cleaning by Mereotopological Reasoning, Ontology Cleaning by Mereotopological Reasoning. Comunicación en congreso. International Workshop on Web Semantics. Webs 2004. Zaragoza, España. 2004. Database and Expert Systems Applications (DEXA). pp. 132-137 (2004). See also See also in J. Alonso’s homepage
J.A. Alonso, J. Borrego, A.M. Chavez, M.A. Gutierrez, J.D. Navarro, Towards a practical argumentative reasoning with qualitative spatial databases, Developments in Applied Articial Intelligence, 16th International Conference on Industrial and Engineering Applications of Articial Intelligence and Expert Systems, Lecture Notes in AI (2003). See also in J. Alonso’s homepage
J. Borrego Díaz, Los teoremas de incompletitud y la lógica de la demostrabilidad. Tesina. Facultad de Matemáticas de la Universidad de Sevilla (1990).
J. Borrego Díaz, M.J. Hidalgo Doblado, Validez parcial en la Aritmética.Trabajos de Lógica y Computación. Sección III. CCIA U. Sevilla (1991).
D. Balbontín Noval, J. Borrego Díaz, M.J. Pérez Jiménez, Curso de Algorítmica (I).Trabajos de Lógica y Computación. Sección I. CCIA U. Sevilla (1992).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez, Splitting en fragmentos del máximo. Lenguajes Naturales y Lenguajes Formales VIII, pp. 221-227 (1992).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.Las teorías $I\Delta_n$ e $I\nabla_n$. I Congreso de lógica y Filosofía de la ciencia (ISBN: 84–604–8342–8), 128–131 (1993).
J. Borrego Díaz, A. Fernández Margarit,M.J. Pérez Jiménez, Extensiones cofinales de modelos de la Aritmética. Lenguajes Naturales y Lenguajes Formales IX, pp. 273–277 (1993).
P. Pisón Casares, E. Briales Morales, J. Borrego Díaz, M.J. Pérez Jiménez, Computing with Ideals of Semigroups, III International Symposium on Effective Methods in Algebraic Geometry, Santander. Preprint Universidad de Sevilla (1994).
J. Borrego Díaz, B. Kemme, Una aplicación de la lógica temporal proposicional para la representación y deducción de conocimientos temporales. Lenguajes Naturales y Lenguajes. Formales X, pp. 167–182 (1994).
J. Borrego Díaz.Modelos de Inducción Acotada (Tesis). Trabajos de Lógica y Computación. Sección I. CCIA U. Sevilla (1994).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez. On $\Sigma_n$–definability in Arithmetic. Prepublicaciones de la Facultad de Matemáticas. (1995).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.On overspill principles and axiom schemes for bounded formulas, Math. Logic Quarterly 42:341-348 (1996).
J. Borrego Díaz.Algoritmos y Computabilidad, in Lógica Formal: Orígenes, métodos y aplicaciones, pp. 117–148 (1996).
D. Balbontín Noval, J. Borrego Díaz, M.J. Pérez Jiménez. Fundamentos de Algorítmica: Algunas cuestiones metodológicas. II Jornadas Nacionales de innovación en la enseńanza de las ingenierías pp. 400–405 ICE de la UPM (1996).
J. Borrego Díaz, M.J. Pérez Jiménez. End and cofinal extensions in Arithmetic. in Bulletin of the Workshop of Model Theory and Complexity, pp. 119–138 (1997).
J. Borrego Díaz, A. Fernánez Margarit, M.J. Pérez Jiménez, Bounded Induction and feasible computable functions. Prepublicaciones de la Facultad de Matemáticas de la Universidad de Sevilla (1997).
J. Borrego Díaz, M.J. Pérez Jiménez.Fundamentos de computación paralela. Trabajos de Lógica y Computación. Sección II. CCIA U. Sevilla (1997).
J. Borrego Díaz, F.J. Salguero Lamillar (eds), Bulletin of the Workshop on Model Theory and Complexity Ed. Kronos (1997).
J.A. Alonso, J. Borrego, M.J. Pérez y J.L. Ruiz .Curso práctico de teoría de conjuntos.Editorial la ñ (1998).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez.Maximal Models and the end-extension problem. Prepublicaciones de la Facultad de Matemáticas (1998).
J. Borrego Díaz, M.C. Graciani Díaz, M.J. Pérez Jiménez. Matemáticas para la verificación de programas. IV Jornadas sobre la enseńanza universitaria de la informática pp. 380–385. Engineria i Arquitectura La Salle (1998).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez, Especificación y deducción propiedades temporales factibles. El sistema FDUX.III Jornadas de Ingeniería del Software, pp. 351–362 D. M. Editor (1998).
J.A. Alonso, J. Borrego y M.J. Pérez, Interpretación reactiva de sistemas basados en conocimiento. IV Congreso ISKO-Espańa EOCONSID’99, pp. 187–193 (1999).
J. Borrego Díaz Programas transversales científico–tecnológicos: expectativas, limitaciones y resultados. Revista de Enseńanza universitaria (Número extr.), pp. 197–204 (1999).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez, On $\Sigma_n$–definability in Arithmetic, Proc. 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts. Cracow (1999)
J.A. Alonso, J. Borrego y F. Olías. Verificación automática de bases de conocimiento. Demostración automática versus model checking. Proc. IV CINTE, pp. 268–275 (2000).
M.A. Gutiérrez, J.A. Alonso y J. Borrego, A topological study of the upward refinement operators in ILP. Proc. Inductive Logic Programming 2000 (CEUR–WS Vol. 35) (2000).
M.A. Gutiérrez, J.A. Alonso y J. Borrego.Una quasi–métrica basada en subsunción.Proc. IV CINTE (CA–883/2000), 260–267 (2000).
J.A. Alonso, J. Borrego y A. Chávez.Estrategias para la demostración automática de teoremas. Proc. IV CINTE (CA–883/2000), 276–283 (2000).
J. A. Alonso, J. Borrego y F. Olías, Interpretación reactiva de sistemas basados en conocimiento: especificaciones (I). Trabajos de Lógica y Computación. Sección III. CCIA U. Sevilla (2000).
J.A. Alonso, J. Borrego y A. Chávez, Deducción automática en anillos ternarios: algunos métodos de procesamiento del conocimiento matemático.Actas del Encuentro de Matemáticos Andaluces, pp. 23–32 (2001).
J.A. Alonso, M.A. Gutiérrez y J. Borrego.Proximidad entre cláusulas en Programación Lógica Inductiva. Actas del Encuentro de Matemáticos Andaluces, Vol. II (ISBN (8447206394), 33–40 (2001).
J. Borrego, M. J. Pérez, A.J. Pérez, Computación, Computabilidad y Programación. Trabajos de Lógica y Computación. Sección I. CCIA U. Sevilla (2001).
M. A. Gutiérrez Naranjo, J. A. Alonso Jiménez, J. Borrego Díaz, A quasi-metric for Machine Learning, Advances in Artificial Intelligence — IBERAMIA 2002 Volume 2527 of the series Lecture Notes in Computer Science pp 193-203(2002).
J. Alonso Jiménez, J. Borrego Díaz, Antonia M. Chávez González, M. A. Gutiérrez Naranjo, A. M. Chávez González, Jorge D. Navarro Marín, A Methodology for the Computer–Aided Cleaning of Complex Knowledge Databases.Proceedings of IECON 2002, pp. 1806-1812. IEEE Press (2003).
J. Alonso Jiménez, J. Borrego Díaz, Agentes Inteligentes. Una aproximación desde la lógica computacional. (128 pag.) Ed. Kronos. ISBN 84-86273-59-5. (2002).
J. Alonso Jiménez, J. Borrego Díaz, Lógica computacional, vol. 1.Ed. Kronos (2002).
J. Alonso Jiménez, J. Borrego Díaz, Antonia M. Chávez González, J. D. Navarro Marín Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases, Developments in Applied Artificial Intelligence, Volume 2718 of the series Lecture Notes in Computer Science pp 789-798 (2003).
M. A. Gutiérrez Naranjo, J. A. Alonso Jiménez, J. Borrego Díaz, Generalizing logic programs via Subsumption, Computer Aided Systems Theory – EUROCAST 2003 Volume 2809 of the series Lecture Notes in Computer Science pp 115-126(2003).
J. Borrego Díaz, A. Fernández Margarit, M.J. Pérez Jiménez, On Sigma-n definability in Arithmetic, Philosophical dimensions of Logic and Science, pag 47–56. Kluwer Ac. Press (2003)
A. Lara; D. Páez; P. Almagro; E. Regalado. La gentrificación en América Latina, una simulación computacional basada en agentes. Casos de estudio: La Habana, Quito, Buenos Aires. Publicación Académica Resultante del II Congreso Ecuatoriano de Estudios de la Ciudad Guayaquil 2018 - II CEC CIVITIC. ISBN: 978-9942-825-08-7
M. Boguña, D. Krioukov, P. Almagro, M. Angeles Serrano. Small worlds and clustering in spatial networks. Physical Review Research, 2, 023040. https://doi.org/10.1103/PhysRevResearch.2.023040
P Almagro-Blanco, F Sancho-Caparrini. Improving Skip-Gram based Graph Embeddings via Centrality-Weighted Sampling. arXiv Cornell University Library. New York. USA. 2019. arXiv:1907.08793. English: 14 pages.
P. Almagro. Caja negra, caja blanca: la inteligencia artificial explicable. Revista de Occidente, Número 446-447 Julio-Agosto. Fundación José Ortega y Gasset-Gregorio Marañón. ISSN: 0034-8635.
P. Almagro; F. Sancho. Semantic Preserving Embeddings for Multi-Relational Graphs. Proceedings of the 2017 SAI Computing Conference (SAI). London, UK. ISBN (IEEE XPLORE): 978-1-5090-5443-5. ISBN (USB): 978-1-5090-5442-8. Pages 41-50.
P Almagro-Blanco, F Sancho-Caparrini. Semantic Preserving Embeddings for Generalized Graphs. arXiv Cornell University Library. New York. USA. 2017. arXiv:1709.02759. English: 28 pages.
P Almagro-Blanco, F Sancho-Caparrini. Generalized Graph Pattern Matching. arXiv Cornell University Library. New York. USA. 2017. arXiv:1708.03734. English: 26 pages.
P Almagro-Blanco, F Sancho-Caparrini. Induction of Decision Trees based on Generalized Graph Queries. arXiv Cornell University Library. New York. USA. 2017. arXiv:1708.05563. English: 26 pages.
P. Almagro-Blanco, F Sancho-Caparrini. Inmersión Semántica de Grafos Generalizados en Espacios Vectoriales. arXiv Cornell University Library. New York. USA. 2017. arXiv:1709.02759. Spanish: 32 pages.
P. Almagro-Blanco, F Sancho-Caparrini. Consulta de Patrones en Grafos Generalizados. arXiv Cornell University Library. New York. USA. 2017. arXiv:1708.03734. Spanish: 23 pages.
P. Almagro-Blanco, F Sancho-Caparrini. Inducción de Árboles de Decisión basados en Generalized Graph Queries. arXiv Cornell University Library. New York. USA. 2017. arXiv:1708.05563. Spanish: 20 pages.
P. Almagro Blanco. Descubrimiento de Conocimiento en Grafos Multi-Relacionales. Departamento de Ciencias de la Computación e Inteligencia Artificial, Universidad de Sevilla, España.
P. Almagro; R. Mora; E. Regalado. Análisis del Patrimonio Cultural usando Bases de Datos en Grafo. Memorias Encuentro Latinoamericano Patrimonio Cultural del Bicentenario 200 Años de Territorio, Ciudad y Arquitectura. Edición: 2016. Tucumán, Argentina. ISBN 978-987-754-023-9. Pages 1103-1114.
P. Almagro; E. Regalado; A. Ruiz. Automatización del Escáner David 3D para la Digitalización de Piezas Patrimoniales. Memorias Encuentro Latinoamericano Patrimonio Cultural del Bicentenario 200 Años de Territorio, Ciudad y Arquitectura. 2016. Tucumán, Argentina. ISBN 978-987-754-023-9. Pages 1175-1188.
P. Almagro; Ï. Arrazola; J.C. Guzmán P. Hollenstein M.R. Yumbla. Flujos Alimentarios, Poder y Estructuras Sociales en Galápagos: El Sistema Comercial de Papa y Tomate entre las Islas y el Continente. INFORME GALÁPAGOS 2015 - 2016. Puerto Ayora, Galápagos, Ecuador. ISBN 978-9942-8571-2-5. Pages 71-76.
P. Almagro; I. Medina; E. Regalado. Recovering of 24 May Avenue in the historical center of Quito. FORMA 15: Complex Systems Workshop. Sevilla, España, 2015. ISBN 978-84-617-9074-6. Pages 47-51.
P. Almagro; E. Dávila; G. Guerrero; I. Medina; E. Regalado; Z. Ruíz; J. Salvador; F. Sancho Caparrini. Nuevas líneas metodológicas aplicadas al patrimonio cultural ecuatoriano. Revista del Patrimonio Cultural del Ecuador, Vol 6, 2015. Quito, Ecuador. ISSN 1390 9231. Pages 68-75.
P. Almagro; S. Ordoñez. Generador de Grafos Multi Relacionales a partir de Redes Sociales. Ingeniería, Vol. 19, Núm. 1 (2014). Bogotá , Colombia. ISSN 0121750X, EISSN 23448393. Pages 8-18.
Modelling Algebraic Structures and Morphisms in ACL2, J. Heras, F.J. Martín Mateos, V. Pascual. Applicable Algebra in Engineering, Communication and Computing (ISSN 0938-1279) 26(3), 277-303, Springer, 2015.
Formally Verified Tableau-Based Reasoners for a Description Logic, M.J. Hidalgo, J.A. Alonso, J. Borrego, F.J. Martín Mateos, J.L. Ruiz, Journal of Automated Reasoning (ISSN 0168-7433), 52(3), 331-360, Springer, 2014.
Verifying the Bridge between Simplicial Topology and Algebra: the Eilenberg–Zilber Algorithm, L. Lambán, J. Rubio, F.J. Martín Mateos, J.L. Ruiz, Logic Journal of the IGPL (ISSN 1367-0751), 22(1), 39-65, Oxford University Press, 2014.
Formalization of a Normalization Theorem in Simplicial Topology, L. Lambán, F.J. Martín, J. Rubio, J.L. Ruiz, Annals of Mathematics and Artificial Intelligence (ISSN 1012-2443), 64(1), 1-37, Kluwer Academic Publishers, 2012.
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials, L. Lambán, F.J. Martín, J. Rubio, J.L. Ruiz, Lecture Notes in Computer Science (ISSN 0302-9743), 6898, 200-215, Springer-Verlag, 2011.
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2, F.J. Martín, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, Journal of Automated Reasoning (ISSN 0168-7433), 47(3), 229-250, Kluwer Academic Publishers, 2011.
Topología Simplicial en ACL2, L. Lambán, F.J. Martín, J.L. Ruiz, Contribuciones científicas en honor de Mirian Andrés Gómez (ISBN 978-84-96487-50-5), 1-20, Logroño, España, 2010.
Expert System to Real Time Control of Machining Processes, F.J. Martín, L.C. González, R. Serrano, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (ISSN 0302-9743), 5988, 281-290, Springer-Verlag, 2010.
Sistema experto para el control en tiempo real de procesos de mecanizado, F.J. Martín, L.C. González, R. Serrano, Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial (ISBN 978-84-692-6424-9), 1, 477-496, Sevilla, España, 2009.
Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso, F.J. Martín, J.L. Ruiz, J. Rubio, L. Lambán, IX Jornadas sobre Programación y Lenguajes (ISBN 978-84-692-4600-9), 1, 7-14, San Sebastián, España, 2009.
ACL2 verification of simplicial degeneracy programs in the Kenzo system, F.J. Martín, J. Rubio, J.L. Ruiz, Lecture Notes in Artificial Intelligence (ISSN 0302-9743), 5625, 106-121, Springer-Verlag, 2009.
Architecture for the Optimization of a Machining Process in Real Time through Rule-Based Expert System, R. Serrano, L.C. Gonzalez, F.J. Martín, Third Manufacturing Engineering Society International Conference: MESIC-09, AIP Conference Proceedings (ISSN 0094-243X), 1181, 652-661, American Institute of Physics, 2009.
Constructing Formally Verified Reasoners for the ALC Description Logic, J.A. Alonso, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, Electronic Notes Theoretical Computer Sciences (ISSN 1571-0661), 200(3), 87-102, Edición electrónica, 2008.
KRRT: Knowledge Representation & Reasoning Tutor System, J.A. Alonso, G.A. Aranda, F.J. Martín, Lectures Notes in Computer Science (ISSN 0302-9743), 4739, 400-407, Berlín (Alemania), 2007.
A Formally Verified Prover for the ALC Description Logic, J.A. Alonso, J. Borrego, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, Lecture Notes in Computer Science (ISSN 0302-9743), 4732, 135-150, Springer-Verlag, 2007.
KRRT: Knowledge Representation & Reasoning Tutor System, J.A. Alonso, G.A. Aranda, F.J. Martín, Computer Aided Systems Theory (ISBN 978-84-690-3603-7), 400-407, IUCTC Universidad de Las Palmas de Gran Canaria, 2007.
Sistema experto para la simulación de sistemas tácticos de baloncesto con software libre, M. Palomo, F.J. Martín, Proceedings of the FLOSS International Conference (ISBN 978-84-9828-124-8), 38-51, Servicio de publicaciones de la Universidad de Cádiz, 2007.
FITS: Formalization with an Intelligent Tutor System, J.A. Alonso, G.A. Aranda, F.J. Martín, Current Developments in Technology-Assisted Education (ISBN 84-690-2472-8), 2, 861-865, FORMATEX, Badajoz, 2006.
Formal Correctness of a Quadratic Unification Algorithm, J.L. Ruiz, F.J. Martín, J.A. Alonso, M.J. Hidalgo, Journal of Automated Reasoning (ISSN 0168-7433), 37:1-2, 67-92, Kluwer Academic Publishers, Holanda, 2006.
Foundational challenges in Automated Data and Ontology cleaning in the Semantic Web, J.A. Alonso, J. Borrego, A.M. Chávez, F.J. Martín, IEEE Intelligent Systems (ISSN 1541-1672), 21:1, 42-52, IEEE Computer Society, USA, 2006.
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2, F.J. Martín, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, Lecture Notes in Computer Science (ISSN 0302-9743), 3603, 358-372, Springer-Verlag, 2005.
Rete Algorithm Applied to Robotic Soccer, M. Palomo, F.J. Martín, J.A. Alonso, Lecture Notes in Computer Science (ISSN 0302-9743), 3643, 571-576, Springer-Verlag, 2005.
Verification of the Formal Concept Analysis, J.A. Alonso, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, Revista de la Real Academia de Ciencias. Serie A: Matemáticas (ISSN 1578-7303), 98, 3-16, Real Academia de Ciencias Exactas, Físicas y Naturales, 2004.
Formal verification of a generic framework to synthesize SAT-provers, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, Journal of Automated Reasoning (ISSN 0168-7433), 32:4, 287-313, Kluwer Academic Publishers, 2004.
Formal Verification of Molecular Computational Models in ACL2: A Case Study, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (ISSN 0302-9743), 3040, 344-353, Springer-Verlag, 2004.
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, Lecture Notes in Computer Science (ISSN 0302-9743), 3018, 75-91, Springer-Verlag, 2004.
Formal Verification of Molecular Computational Models in ACL2: A Case Study, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, CAEPIA - TTIA 2003 (ISBN 84-8373-564-4), 1, 235-244, Universidad del País Vasco, 2003.
Termination in ACL2 using multiset relation, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, Thirty Five Years of Automating Mathematics Applied Logic Series (ISBN 1-4020-1656-5), 28, 217-245, Kluwer Academic Publishers, 2003.
A Formal Proof of Dickson's Lemma in ACL2, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (ISSN 0302-9743), 2850, 49-58, Springer-Verlag, 2003.
Formal Reasoning About Efficient Data Structures: A Case Study in ACL2, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, LOPSTR 2003 (Technical Report CW-365), 97-112, Dep. of Computer Science Katholieke Universiteit Leuven, 2003.
Verification in ACL2 of a generic framework to synthesize SAT-provers, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, Lecture Notes in Computer Science (ISSN 0302-9743), 2664, 182-198, Springer-Verlag, 2003.
Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment, C. Graciani, F.J. Martín, M.J. Pérez, Lecture Notes in Computer Science (ISSN 0302-9743), 2509, 126-136, Springer-Verlag, 2002.
Formal proofs about rewriting using ACL2, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, Annals of Mathematics and Artificial Intelligence (ISSN 1012-2443), 36:3, 239-262, Kluwer Academic Publishers, 2002.
Verifying an Applicative ATP Using Multiset Relations, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, Lecture Notes in Computer Science (ISSN 0302-9743), 2178, 612-626, Springer-Verlag, 2001.
Formalización del razonamiento ecuacional en una lógica computacional, J.A. Alonso, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, Actas del Encuentro de Matemáticos Andaluces (ISBN 84-472-0290-9), II, 41-50, Secretariado de Publicaciones Universidad de Sevilla, 2001.
Formalizing Rewriting in the ACL2 Theorem Prover, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (ISSN 0302-9743), 1930, 92-106, Springer-Verlag, 2001.
Multiset relations: a tool for proving termination, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, ACL2 Workshop 2000 (Technical Report TR-00-29), Dep. of Computer Sciences Univ. of Texas at Austin, 2000.
A mechanical proof of Knuth-Bendix critical pair theorem (using ACL2), J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, Proceedings of FTP'2000 (Technical Report 5-2000), 206-216, Fachberichte Informatik Universitat Koblenz-Landau, 2000.
Verificación automática de sistemas de razonamiento (aplicación a la enseñanza de la Inteligencia Artificial), J.L. Ruiz, F.J. Martín, J.A. Alonso y M.J. Hidalgo, Jornades sobre l'Ensenyament Universitari de la Infomàtica JENUI'98 (ISBN 84-922538-3-5), 297-304, Enginyeria i Arquitectura La Salle, 1998.
Razonamiento automático en sistemas de representación del conocimiento (y su relación con la enseñanza de la Inteligencia Artificial), F.J. Martín, J.A. Alonso, M.J. Hidalgo y J.L. Ruiz, Jornades sobre l'Ensenyament Universitari de la Infomàtica JENUI'98 (ISBN 84-922538-3-5), 289-296, Enginyeria i Arquitectura La Salle, 1998.
GTI: Una herramienta de edición de cursos adaptativos, J.J. Arrabal, D. Balbontín, J.A. Alonso, F.F. Lara, F.J. Martín, M.J. Pérez, J.L. Ruiz, Actas del XIII Congreso Nacional de Ingeniería de Proyectos (ISBN 84-88783-30-2), 627-634, Minerva, 1997.
Razonamiento automático en lógicas polivalentes mediante métodos algebraicos en MAPLE, F.J. Martín, II Congreso de Usuarios de MAPLE. Revista Electrónica de Cálculo Simbólico (ISSN 1139-658X), 3, 52-70, Edición electrónica, 1996.
Using Abstract Stobjs in ACL2 to compute Matrix Normal Forms, L. Lambán, F.J. Martín Mateos, J. Rubio, J.L. Ruiz. En Interactive Theorem Proving – ITP 2017, Interactive Theorem Proving - Eighth International Conference, pp. 354-370, Brasilia, 2017.
Certified Symbolic Manipulation: Bivariate Simplicial Polynomials, L. Lambán, F.J. Martín Mateos, J. Rubio, J.L. Ruiz. International Symposium on Symbolic and Algebraic Computation - ISSAC 2013. Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation, 243–250, Northeastern University, Boston, USA, 2013.
Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials, L. Lambán, F.J. Martín-Mateos, J. Rubio, J.L. Ruiz Reina, Interactive Theorem Proving - Second International Conference, ITP 2011, Interactive Theorem Proving - Second International Conference, pp. 200-214, Berg en Dal, The Netherlands, 2011.
Sensorización y Control de un Proceso de Mecanizado Utilizando un Sistema Experto Basado en Reglas, L.C. González, R. Serrano, F.J. Martín, XIV Congreso Internacional de Proyectos de Ingeniería, XIV Congreso Internacional de Proyectos de Ingeniería, pp 2088-2100, Madrid, 2010.
Expert System for Machining Process Control, L.C. González, R. Serrano, F.J. Martín, Rapid Product Developement Event, RPD 2010, Rapid Product Developement Event, RPD 2010, Marinha Grande, Açores, Portugal, 2010.
Formalizing Mathematical Abstract Concepts in ACL2, F.J. Martín, J.L. Ruiz, L. Lambán, Algebraic computing, soft computing and program verification, Castro Urdiales, 2010.
Sistema experto para el control en tiempo real de procesos de mecanizado, F.J. Martín, II Jornadas de Lógica, Computación e Inteligencia Artificial, Sevilla, 2009.
Sistema experto para el control en tiempo real de procesos de mecanizado, F.J. Martín, L.C. González, R. Serrano, XIII Conferencia de la Asociación Española para la Inteligencia Artificial, CAEPIA-TTIA-09, Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial, pp 477-486, Sevilla, 2009.
Polinomios simpliciales: una herramienta para la formalización de la Topología Simplicial en ACL2, F.J. Martín, J.L. Ruiz, L. Lambán, Computational Logics and Artificial Intelligence, CLAI 2009, Computational Logics and Artificial Intelligence, pp 35-45, Sevilla, 2009.
Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso, F.J. Martín, J.L. Ruiz, J. Rubio, L. Lambán, IX Jornadas sobre Programación y Lenguajes, PROLE 2009, IX Jornadas sobre Programación y Lenguajes, pp 7-14, San Sebastián, 2009.
ACL2 verification of simplicial degeneracy programs in the Kenzo system, F.J. Martín, J. Rubio, J.L. Ruiz, 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning, CALCULEMUS'09, Intelligent Computer Mathematics, pp 106-121, Ontario (Canadá), 2009.
Arquitectura para la optimización de un proceso de mecanizado en tiempo real mediante un sistema experto, R. Serrano, L.C. González, F.J. Martín, Third Manufacturing Engineering Society International Conference, MESIC-09, Third Manufacturing Engineering Society International Conference, pp 378-341, Alcoy, 2009.
Constructing Formally Verified Reasoners for the ALC Description Logic, M.J. Hidalgo, J.A. Alonso, F.J. Martín, J.L. Ruiz, Third International Workshop on Automated Specification and Verification of Web Systems, WWV'07, Proceedings of the 3rd International Workshop on Automated Specification and Verification of Web Systems, pp 87-102, Venecia (Italia), 2007.
A Formally Verified Prover for the ALC Description Logic, J.A. Alonso, J. Borrego, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, Theorem Proving in Higher Order Logics, TPHOLs 2007, Theorem Proving in Higher Order Logics, pp 135-150, Kaiserslautern (Alemania), 2007.
El sistema de razonamiento automático OTTER, F.J. Martín, Jornadas de Ingeniería y Tecnologías Informáticas, 2007, Cádiz, 2007.
Sistema Experto para la Simulación de Sistemas Tácticos de Baloncesto con Software Libre, M. Palomo, F.J. Martín, Free/Libre/Open Source Systems International Conference, FLOSS 2007, Free/Libre/Open Source Systems International Conference, FLOSS 2007, Jérez de la Frontera, 2007.
KRRT: Knowledge Representation & Reasoning Tutor System, J.A. Alonso, G.A. Aranda, F.J. Martín, Computer Aided Systems Theory, EUROCAST 2007, Computer Aided Systems Theory, EUROCAST 2007, pp 280-283, Las Palmas de Gran Canaria, 2007.
FITS: Formalization with an Intelligent Tutor System, J.A. Alonso, G.A. Aranda, F.J. Martín, IV International Conference on Multimedia and Information and Communication Technologies in Education, m-ICTE2006, Current Developments in Technology-Assisted Education (2006), pp 861-865, Sevilla, 2006.
Verified Computer Algebra in a Computational Logic, F.J. Martín, Mathematics, Algorithms and Proofs, MAP 2006, Castro Urdiales, 2006.
Proof Pearl: A Formal Proof of Higman's Lemma in ACL2, F.J. Martín, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, Theorem Proving in Higher Order Logics, TPHOLs 2005, Theorem Proving in Higher Order Logics, pp 358-372, Oxford (Gran Bretaña), 2005.
Rete algorithm applied to robotic soccer, M. Palomo, F.J. Martín, J.A. Alonso, Computer Aided Systems Theory, EUROCAST 2005, Cast and Tools for Robotics, Vehicular and Communication Systems, pp 280-283, Las Palmas de Gran Canaria, 2005.
A Formally Verified Proof (in PVS) of the Strong Completeness Theorem of Propositional SLD-resolution, J.A. Alonso, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, Computer Aided Systems Theory, EUROCAST 2005, Cast and Tools for Robotics, Vehicular and Communication Systems, pp 83-86, Las Palmas de Gran Canaria, 2005.
A Formally Verified Quadratic Unification Algorithm, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, ACL2 Workshop 2004, ACL2 Workshop 2004 Proceedings, Austin, TX (Estados Unidos), 2004.
Formal verification of molecular computational models in ACL2: a case study, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, Conferencia de la Asociación Española para la Inteligencia Artificial, CAEPIA 2003, CAEPIA - TTIA 2003, Volumen 1, pp 235-240, San Sebastián, 2003.
A Formal Proof of Dickson's Lemma in ACL2, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2003, Logic for Programming, Artificial Intelligence, and Reasoning, pp 49-58, Almaty (Kazakhstan), 2003.
Formal Reasoning About Efficient Data Structures: A Case Study in ACL2, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2003, Preproceedings of the International Workshop on Logic Based Program Synthesis and Transformation, pp 97-112, Uppsala (Suecia), 2003.
Verificación formal y eficiencia: un caso de estudio aplicado a la unificación de términos, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial, IDEIA 2002, Actas del I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial, pp 77-90, Sevilla, 2002.
Una introducción al Análisis Formal de Conceptos en PVS, J.A. Alonso, J. Borrego, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial, IDEIA 2002, Actas del I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial, pp 33-46, Sevilla, 2002.
Desarrollo formal y verificación de sistemas proposicionales, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial, IDEIA 2002, Actas del I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial, pp 1-12, Sevilla, 2002.
Specification of Adleman's Restricted Model Using An Automated Reasoning System: Verification of Lipton's Experiment, C. Graciani, F.J. Martín, M.J. Pérez, International Conference on Unconventional Models of Computation, UMC 2002), Proceedings of the Third International Conference on Unconventional Models of Computation, pp 126-136, Kobe (Japón), 2002.
Verification in ACL2 of a generic framework to synthesize SAT-provers, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, International Workshop on Logic Based Program Development and Transformation, LOPSTR 2002, Preproceedings of the International Workshop on Logic Based Program Development and Transformation, pp 182-197, Madrid, 2002.
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, ACL2 Workshop 2002, Third Intl. Workshop on the ACL2 Theorem Prover and its Applications, pp 188-203, Grenoble (Francia), 2002.
Molecular Computation Models in ACL2: a Simulation of Lipton's Experiment Solving SAT, F.J. Martín, J.A. Alonso, M.J. Pérez, F. Sancho, ACL2 Workshop 2002, Third Intl. Workshop on the ACL2 Theorem Prover and its Applications, pp 175-187, Grenoble (Francia), 2002.
Progress Report: Term Dags Using Stobjs, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, ACL2 Workshop 2002, Third Intl. Workshop on the ACL2 Theorem Prover and its Applications, pp 101-108, Grenoble (Francia), 2002.
A Theory About First-order Terms in ACL2, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, ACL2 Workshop 2002, Third Intl. Workshop on the ACL2 Theorem Prover and its Applications, pp 78-100, Grenoble (Francia), 2002.
Verifying an applicative ATP using multiset relations, F.J. Martín, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz, Computer Aided Systems Theory, EUROCAST 2001, Computer Aided Systems Theory, EUROCAST 2001, pp 616-626, Las Palmas de Gran Canaria, 2001.
Formalización del razonamiento ecuacional en una lógica computacional, J.A. Alonso, M.J. Hidalgo, F.J. Martín, J.L. Ruiz, Encuentro de Matemáticos Andaluces, Actas del Encuentro de Matemáticos Andaluces, Volumen II, pp 41-50, Sevilla, 2000.
Formalizing rewriting in the ACL2 theorem prover, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, Int. Conference on Artificial Intelligence and Symbolic Computation, AISC 2000, Artificial Intelligence and Symbolic Computation, AISC 2000, Revised Papers, pp 92-106, Madrid, 2000.
Multiset relations: a tool for proving termination, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, ACL2 Workshop 2000, ACL2 Workshop 2000 Proceedings, Austin, TX (Estados Unidos), 2000.
A mechanical proof of Knuth-Bendix critical pair theorem (using ACL2), J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, F.J. Martín, Third International Workshop on First order Theorem Proving, FTP 2000, FTP'2000 Third International Workshop on First order Theorem Proving, pp 206-216, St. Andrews (Escocia), 2000.
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover, J.L. Ruiz, F.J. Martín, J.A. Alonso y M.J. Hidalgo, Joint Conference on Declarative Programming, AGP 1999, Conference on Declarative Programming, AGP-99, pp 289-304, L'Aquila (Italia), 1999.
Verificación automática de sistemas de razonamiento (aplicación a la enseñanza de la Inteligencia Artificial), J.L. Ruiz, F.J. Martín, J.A. Alonso y M.J. Hidalgo, IV Jornades sobre l'Ensenyament Universitari de la Infomàtica, JENUI 1998, IV Jornades sobre l'Ensenyament Universitari de la Infomàtica, JENUI 1998, pp 297-304, Sant Julià de Lòria (Andorra), 1998.
Razonamiento automático en sistemas de representación del conocimiento (y su relación con la enseñanza de la Inteligencia Artificial), F.J. Martín, J.A. Alonso, M.J. Hidalgo y J.L. Ruiz, IV Jornades sobre l'Ensenyament Universitari de la Infomàtica, JENUI 1998, IV Jornades sobre l'Ensenyament Universitari de la Infomàtica, JENUI 1998, pp 289-296, Sant Julià de Lòria (Andorra), 1998.
GTI: Una herramienta de edición de cursos adaptativos, J.J. Arrabal, D. Balbontín, J.A. Alonso, F.F. Lara, F.J. Martín, M.J. Pérez, J.L. Ruiz, XIII Congreso Nacional de Ingeniería de Proyectos, Actas del XIII Congreso Nacional de Ingeniería de Proyectos, pp 627-634, Sevilla, 1997.
Razonamiento automático en lógicas polivalentes mediante métodos algebraicos en MAPLE, F.J. Martín, II Congreso de Usuarios de MAPLE, Actas del II Congreso de Usuarios de MAPLE, Sevilla, 1996.
D. Cabrera; F. *Sancho-Caparrini*; R.V. Sánchez; M. Cerrada; C. Li; J. Valente. One-Shot Fault Diagnosis of Three-Dimensional Printers Through Improved Feature Space Learning. IEEE Transactions on Industrial Electronics, Vol 68 (9), pp. 8768-8776, 2021. (https://ieeexplore.ieee.org/document/9161402 )
E.J. López Ortíz; F. Sancho Caparrini; M.A. Martínez del Amor; L.M. Soria Morillo; J.A. Álvarez García. Hybrid agent-based methodology for testing response protocols. Knowledge-Based Systems, 2021, 107005, ISSN 0950-7051, https://doi.org/10.1016/j.knosys.2021.107005
C. Esteban; F.J. Moraza: P. García; A. Aramburu; F. Sancho Caparrini; L. Chasco; J.A. Gutiérrez; F.J. Conde; S. Resino; C. Esteban. Recurrent Neural Networks and environmental data for COPD exacerbation prediction. European Respiratory Journal 2020 56: 2664; DOI: 10.1183/13993003.congress-2020.2664
D. Cabrera; F. *Sancho-Caparrini*; R.V. Sánchez; M. Cerrada; C. Li; J. Valente. From fault detection to one-class severity discrimination of 3D printers with one-class support vector machine. ISA Transactions, 2020.
J.L. Salazar; C. Zaccaro; J.A. Álvarez-García; L.M. Soria; F. *Sancho-Caparrini*. Real-time gun detection in CCTV: An open problem. Neural Networks, 2020.
J. de Miguel; E. Villafañe; L. Piskorec; F. *Sancho-Caparrini*. Generative Building Typologies with Deep Variational Autoencoders. Design Science (Cambridge Core), 2020.
D. Cabrera; F. *Sancho-Caparrini*; R.V. Sánchez; M. Cerrada; C. Li; J. Valente. One-shot fault diagnosis of 3D printers through improved feature space learning. IEEE Transactions on Industrial Electronics, doi: 10.1109/TIE.2020.3013546. 2020.
C. Li; D. Cabrera; F. *Sancho-Caparrini*; R.V. Sánchez; M. Cerrada; J. Long; J. Valente. Fusing convolutional generative adversarial encoders for 3D printer fault detection with only normal condition signals. Mechanical Systems and Signal Processing, in press. 2020.
D. Cabrera; F. *Sancho-Caparrini*; M. Cerrada; R.V. Sánchez; C. Li. Knowledge Extraction from Deep Convolutional Neural Networks Applied to Cyclo-stationary Time-Series Classification. Information Sciences, Volumen 524, pp. 1-14. 2020.
F. Enríquez; L. M. Soria; J. A. Álvarez-García; F. Sancho-Caparrini; F. Velasco; O. Deniz; N. Vallez. Vision and crowdsensing technology for an optimal response in physical-security. International Conference on Computational Science, Springer, 2019, pp. 15–26.
C. Esteban; C. Esteban-Aizpiri; A. Aramburu; F.J. Moraza; F. *Sancho-Caparrini*. Telehealth and machine learning for COPD patient care. International Journal of Integrated Care (IJIC) 19. 2019.
**D. Cabrera; F. **Sancho-Caparrini**; J. Long; R.V. Sánchez; S. Zhang; M. Cerrada; C. Li .**** Generative Adversarial Networks Selection Approach for Extremely Imbalanced Fault Diagnosis of Reciprocating Machinery. IEEE Access. Diciembre, 2019. Vol. 7, Issue 1. Pags 70643-70653. Print ISSN: 2169-3536. Online ISSN: 2169-3536. Digital Object Identifier: 10.1109/ACCESS.2019.2917604
D. Cabrera; F. *Sancho-Caparrini*; F. Tobar. Combining reservoir computing and variational inference for efficient one-class learning on dynamical systems. Journal of Intelligent and Fuzzy Systems, IOS Press, 2018.
*F. **Sancho-Caparrini**.* *Breve Historia de la Inteligencia Artificial*. En "La Inteligencia Artificial. El mundo que viene". Revista de Occidente, Julio-Agosto 2018. http://www.ortegaygasset.edu/publicaciones/revistadeoccidente/julio-agosto-2018
D. Cabrera; F. *Sancho-Caparrini*; F. Tobar; *M. Cerrada; R.V. Sánchez*. Echo state network and variational autoencoder for efficient one-class learning on dynamical systems. Journal of Intelligent and Fuzzy Systems, IOS Press. DOI: 10.3233/JIFS-16955.
D. Cabrera; F. *Sancho-Caparrini*; C. Li; M. Cerrada; R.V. Sánchez; F. Pacheco; J. Valente. Automatic Feature Extraction of Time-Series applied to Fault Severity Evaluation of Helical Gearbox in Stationary and Non-Stationary Speed Operation. Applied Soft Computing Journal. [http://doi.org/10.1016/j.asoc.2017.04.016
F. Sancho-Caparrini. Del Genoma a la Cultura... o Cómo No Morir Ahogado por los Datos. Historiografía Digital, proyectos para almacenar y construir la Historia (Anejos de la Revista de Historiografía nº4 del Instituto de Historiografía Julio Caro Baroja). Dra. Mirella Romero Recio. ISBN 978-84-16829-01-9.
R. Ulloa; C. Kacperski; F. Sancho-Caparrini. Institutions and Cultural Diversity: Effects of Democratic and Propaganda Processes on Local Convergence and Global Diversity. . PLoS ONE 11(4): e0153334. doi:10.1371/journal.pone.0153334
M. Peña; F. Sancho-Caparrini. Big Data y Humanidades Digitales. Capítulo de libro en "Las Humanidades Digitales", editado por Red de Humanidades Digitales (RedHD), 2015.
D. Cabrera; F. Sancho-Caparrini; R.V. Sánchez; G. Zurita; M. Cerrada; C. Li; R.E. Vásquez. Fault diagnosis of spur gearbox based on random forest and wavelet packet decomposition. Frontiers of Mechanical Engineering. Sept, 2015
P. Almagro; E. Dávila; G. Guerrero; I. Medina; E. Regalado; Z. Ruíz; J. Salvador; F. Sancho-Caparrini. Nuevas líneas metodológicas aplicadas al patrimonio cultural ecuatoriano. Revista del Patrimonio Cultural del Ecuador, Vol 6, I Semestre 2015, ISSN 1390-9231 (Directora: Elena Noboa Jiménez).
A. Vanrell; J. L. Suárez; A. Sánchez; F. Sancho-Caparrini. Propuestas para el Análisis de Colecciones de Arte a través de Metodologías y Herramientas Computacionales. Anuario Tarea, 2, 2015, Buenos Aires, Argentina.
J.L. Suarez; F. Sancho-Caparrini; E. Ortega; J. de la Rosa; N. Caldas; D. Brown. Towards a digital geography of Hispanic Baroque art. Literary and Linguistic Computing 2013; doi: 10.1093/llc/fqt050
E. Arriaga; J.L. Suárez; F. Sancho-Caparrini. Modeling Afro-Latin American Artistic Representations in Topic Maps. Digital Humanities Quarterly. 2013, Volumen 7, Number 1.
J.C. García; D.H. Cámpora; S. Rodríguez; F. Sancho-Caparrini. Biham-Middleton-Levine trafﬁc model in a two-dimensional hexagonal lattice. Proceedings of the European Conference on Complex Systems 2012, part. XIII, pp 943-948 (doi: 10.1007/978-3-319-00395-5_113).
J. de la Rosa; J.L. Suárez; F. *Sancho-Caparrini*. A Digital Geography of Hispanic Baroque Art. Aceptado, en proceso de publicación.
J. de la Rosa; J.L. Suárez; F. *Sancho-Caparrini*.The art-space of a global community: the network of Baroque paintings in Hispanic-America. Proceedings of the International Conference on Culture and Computing 2011 at Kyoto University, Japan. Feb 2012.
J. de la Rosa; J.L. Suárez; F. *Sancho-Caparrini*.Sustaining a Global Community: Art and Religion in the Network of Baroque Hispanic-American Paintings. Leonardo Transactions, 2011.
J.L. Suárez; S. Vásquez; F. *Sancho-Caparrini*.The Potosí Principle: Religious Prosociality Fosters Self-Organization of Larger Communities under Extreme Natural and Economic Conditions. Literary and Linguistic Computing, 27(1), pp. 25-38, 2011.
J.L. Suárez; F. *Sancho-Caparrini*.A Virtual Laboratory for the Study of History and Cultural Dynamics. Journal of Artificial Societies and Social Simulation 14 (4) 19, 2011.
D. Cámpora; J. de la Torre; J.C. García; F. *Sancho-Caparrini*. [BML model on non-orientable surfaces. Physica A: Statistical Mechanics and its Applications, 2010.
[M. Peña; J.L. Suárez; F. *Sancho-Caparrini**. [Topic Maps for Philological Analysis*. Linked Topic Maps. Fifth International Conference on Topic Maps Research and Applications Conference, TMRA 2009. 29-39.
O. Kurganskyy; I. Potapov; F. *Sancho-Caparrini*. Reachability problems in low-dimensional iterative maps. International Journal of Foundations of Computer Science (IJFCS), 19 (4), pp. 935-951, 2008.
M.J. Pérez-Jiménez; A. Romero; F. *Sancho-Caparrini*. A polynomial complexity class in P systems using membrane. Journal of Automata, Languages and Combinatorics (JALC), 4, 2006.
M.J. Pérez-Jiménez; A. Romero; F. *Sancho-Caparrini*. Computationally hard problems addressed through P systems, pp. 313-345, 2006. Springer-Verlag.
A. Cordón; F. *Sancho-Caparrini*. Non-Discrete P Systems. Membrane Computing. Lecture Notes in Computer Science, 3365, pp. 287-295, 2005.
M.J. Pérez-Jiménez, F. *Sancho-Caparrini*. Formal verification of programs in molecular models with random access memory. Recent Results in Natural Computing. Fénix Editora, 2005.
Gh. Paun; M.J. Pérez-Jiménez; F. *Sancho-Caparrini*. On the Reachability Problem for P systems with Symport/Antiport. Publicationes Mathematicae-Debrecen , 65 (Suplementum), pp. 603-627, 2004.
M.J. Pérez-Jiménez; A. Romero; F. *Sancho-Caparrini*. The P versus NP problem through cellular computing with membranes. Aspects of Molecular Computing. Lecture Notes in Computer Science, 2950, pp. 338-352, 2004.
A. Cordón; M.A. Gutiérrez; M.J. Pérez-Jiménez; A. Riscos; F. *Sancho-Caparrini*. Implementing in Prolog an effective cellular solution for the knapsack problem. Membrane Computing. Lecture Notes in Computer Science, 2933, pp. 185-196, 2004.
A. Cordón; M.A. Gutiérrez; M.J. Pérez-Jiménez; F. *Sancho-Caparrini*. A Prolog simulator for deterministic P systems with active membranes. New Generation Computing, 22 (4), pp. 349-363, 2004.
M.J. Pérez-Jiménez; A. Romero; F. *Sancho-Caparrini*. Modelos de Computación Celular con Membranas. Boletín de la Sociedad Española de Matemática Aplicada, 29, pp. 57-88, 2004.
A. Cordón; F. *Sancho-Caparrini*. A Note on Complexity measures for Probabilistic P Systems. Journal of Universal Computer Science, 10 (5), pp. 559-566, 2004.
M.J. Pérez-Jiménez; A. Romero; F. *Sancho-Caparrini*. Decision P systems and the P=NP conjecture. Lecture Notes in Computer Science, 2597, pp. 388-401, 2003.
D. Balbontín; M.J. Pérez-Jiménez; F. *Sancho-Caparrini*. A Mz-Scheme implementation of transition P systems. Lecture Notes in Computer Science, 2597, pp. 58-73, 2003.
M.J. Pérez-Jiménez; A. Romero; F. *Sancho-Caparrini*. Complexity classes in cellular computing with membranes. Natural Computing, 2 (3), pp. 265-285, 2003.
M.J. Pérez-Jiménez; F. *Sancho-Caparrini*. A formalization of transition P systems. Fundamenta Informaticae, 49(1-3), pp. 261-272, 2002.
M.J. Pérez-Jiménez; F. *Sancho-Caparrini*. Verifying a P system generating squares. Romanian J. of Information Science and Technology,5 (1-2), pp. 181-191, 2002.
M.J. Pérez-Jiménez; F. *Sancho-Caparrini*. Solving Knapsack Problems in a Sticker Based Model. Lecture Notes in Computer Science, 2340, pp. 161-171, 2002.
C. Esteban; F.J. Moraza: P. García; A. Aramburu; F. Sancho Caparrini; L. Chasco; J.A. Gutiérrez; F.J. Conde; S. Resino; C. Esteban. Recurrent Neural Networks and environmental data for COPD exacerbation prediction. 2020 ERS International Congress, in session “Respiratory viruses in the "pre COVID-19" era”.
C. Esteban; A. Aramburu; F. Sancho Caparrini; F.J. Moraza; P. García; L. Chasco; J.A. Gutierrez; S. Resino; F.J. Conde; M.D. Tovar; C. Esteban. Predicción de Exacerbaciones EPOC mediante Deep Learning. 53º Congreso Nacional Virtual de la Sociedad Española de Neumología y Cirugía Torácica (SEPAR), Noviembre 2020.
J. de Miguel; M.E. Villafañe; L. Piskorec; F. Sancho Caparrini. Deep Form Finding: Using Variational Autoencoders for deep form finding of structural typologies. (eCAADe 37 / SIGraDi 23), Oporto, Portugal, Septiembre 11-13, 2019.
*P. Almagro; F. Sancho Caparrini.* Improving Graph Embeddings via Centrality-Weighted Sampling. Physics Challenges for Machine Learning and Network Science Workshop, Londres, Reino Unido, Septiembre 3-4, 2019.
Enriquez, F.; Soria, L.M.; Álvarez-García, J.A.; Sancho Caparrini, F.; Velasco, F.; Deniz, O.; Vallez, N. Vision and Crowdsensing Technology for an Optimal Response in Physical-Security. 19th International Conference in Computer Science (ICCS 2019), Faro, Portugal, June 12–14, 2019.
Esteban, C.; Esteban-Aizpiri, C.; Aramburu, A. Moraza, F.J.; Sancho Caparrini, F.; Tovar, M.D.; Goiria, B.; Aguirre, U.; Aburto, M.; Quintana, J.M. Telehealth and machine learning for COPD patient care. 19th International Conference for Integrated Care 2019. ICIC19, San Sebastián, País Vasco. 2019
D. Cabrera; F. Sancho Caparrini; F. Tobar. Combining reservoir computing and variational inference for efficient one-class learning on dynamical systems . International Conference on

Sensing, Diagnostics, Prognostics, and Control (SDPC), 2017
F. Sancho Caparrini. Multi-relational Big Data: The Next Challenge. ALA-ICA Conferencia, México, 2017.
P. Almagro Blanco; F. Sancho Caparrini. Property Query Graphs for Multi-Relational Learning. Machine Learning in Network Science, NetSci'17, Indianapolis, 2017.
P. Almagro Blanco; F. Sancho Caparrini. Semantic preserving embeddings for multi-relational graphs. Computing Conference'17, Londres, 2017.
D. Solís Martín; J. Galán Páez; J. Borrego Díaz; F. Sancho Caparrini. ASAP: A Framework for Designing Gamified Models of Complex Systems. 2nd workshop on Gaming, Simulation and Play (GSP 2016), workshop de la 11ª Conferencia Ibérica de Sistemas y Tecnologías de Información (CISTI'2016). 2016
F. Sancho Caparrini. Tratamiento Automático de la Información en Humanidades: Metodologías y Casos de Estudio . Charla invitada en el Seminario Internacional Redes Culturales en el Primer Imperio Global (Siglos XVI-XVIII), Escuela de Estudios Hispano-Americanos, Marzo 2016.
J. De Miguel Rodriguez; I. Domínguez Sánchez de la Blanca; J. Aldarias Chinchilla; F. Sancho Caparrini. Conecting education and research: Educational innovation in multi-agent computation systems and its application to scholar research. ICERI2015, 8th annual International Conference of Education, Research and Innovation. Sevilla, Noviembre 2015.
F. Sancho Caparrini. Del genoma a la cultura... o cómo no morir ahogado por los datos. Charla invitada en el Coloquio Internacional Almahisto: “El almacén de la historia (1700-1939)”, Universidad Carlos III de Madrid, Noviembre 2015.
P. Almagro; E. Regalado; F. Sancho Caparrini. Aplicaciones de los Sistemas Complejos al análisis y conservación del Patrimonio Cultural Ecuatoriano. Segundo Congreso Internacional El Patrimonio Cultural y las Nuevas Tecnologías, México D.F., México, Octubre 2015.
J.C. García Vázquez; F. Sancho Caparrini. Dynamic behavior of a non-local totalistic cellular automaton. AUTOMATA2015 (21st International Workshop on Cellular Automata and Discrete Complex Systems). Turku, Finlandia, Junio 2015.
C. Esteban González; J. Moraza Cortés; C. Esteban Aizpiri; F. Sancho Caparrini; M. Aburto Barrenetxea; A. Aramburu Ojambarrena; H. Azcuna Fernández; B. Goiria Bikandi; A. Capelastegui Saiz. Sistema de Alerta Temprana para el programa telEPOC mediante Machine Learning. Congreso Internacional SEPAR 2015, Gran Canarias, España, Junio 2015.
C. Esteban González; J. Moraza Cortés; C. Esteban Aizpiri; F. Sancho Caparrini; M. Aburto Barrenetxea; A. Aramburu Ojambarrena; H. Azcuna Fernández; B. Goiria Bikandi; A. Capelastegui Saiz. Machine Learning for COPD exacerbation prediction. ERS 2015 International Congress, Amsterdam, Holanda, Septiembre 2015.
P. Almagro Blanco; E. Dávila; G. Guerrero Suárez; I. Medina Carranco; E. Regalado Bolaños; Z. Ruíz Chávez; J. Salvador Meneses; F. Sancho Caparrini. Nuevas Herramientas Metodológicas Aplicadas al Análisis Social: Violencia de Género en Ecuador. PRSCO 2014. Loja, Ecuador, Julio 2014.
P. Almagro Blanco; E. Dávila; G. Guerrero Suárez; I. Medina Carranco; E. Regalado Bolaños; Z. Ruíz Chávez; J. Salvador Meneses; F. Sancho Caparrini. Análisis Computacional del Patrimonio Cultural del Ecuador. PRSCO 2014. Loja, Ecuador, Julio 2014.
D. Cabrera Mendieta; F. Sancho Caparrini. Diagnósticos de Fallos en Cajas de Engranajes Rectos con Random Forest y Paquetes de Wavelet. COLIM 2014. Cuenca, Ecuador, Noviembre 2014.
J.L. Suárez; A. Vanrell Vellosillo; A. Sánchez Ortiz; F. Sancho Caparrini. Nuevas herramientas para la conservación de colecciones de arte con elementos tecnológicos: propuestas metodológicas de humanidades digitales. 15ª Jornada Conservación de Arte Contemporáneo. Museo Nacional Centro de Arte Reina Sofía, España, Febrero 2014.
J.L. Suárez; F. Sancho Caparrini. Evolving Creativity: An Analisys of the Creative Method in elBulli Restaurant. Culture and Computing 2013. Kyoto, Japón, Octubre 2013.
J. De la Rosa Pérez; J.L. Suárez; F. Sancho Caparrini. SylvaDB: A Polyglot and Multi-backend Graph Database and Management System. DATA'13. 2013.
J.C. García Vázquez; D.H. Cámpora Pérez; S. Rodríguez Gómez; F. Sancho Caparrini. Biham-Middleton-Levine trafﬁc model in a two-dimensional hexagonal lattice. Complex Behaviour in Discrete Dynamical Systems, European Conference on Complex Systems (ECCS'12). Bruselas, Bélgica, Septiembre 2012.
J. De la Rosa Pérez; J.L. Suárez; F. Sancho Caparrini. A Digital Geography of Hispanic Baroque Art. Digital Humanities 2012. Hamburgo, Alemania, Julio 2012.
J.L. Suárez; A. Vanrell Vellosillo; F. Sancho Caparrini. Nuevas herramientas y uso de redes sociales para al gestión de proyectos de investigación en conservación de arte contemporáneo. RICAC: Red Iberoamericana de Conservación de Arte Contemporáneo. 13ª Jornada Conservación de Arte Contemporáneo. Museo Nacional Centro de Arte Reina Sofía, España, Febrero 2012.
J.L. Suárez; A. Vanrell Vellosillo; F. Sancho Caparrini. YUTZU: La herramienta de colaboración para mentes creativas. 13ª Jornada Conservación de Arte Contemporáneo. Museo Nacional Centro de Arte Reina Sofía, España, Febrero 2012.
J. De la Rosa Pérez; J.L. Suárez; F. Sancho Caparrini.Sustaining a Global Community: Art and Religion in the Network of Baroque Hispanic-American Paintings. Arts, Humanities, and Complex Networks — 2nd Leonardo satellite symposium at NetSci2011.
J. De la Rosa Pérez; J.L. Suárez; F. Sancho Caparrini.The art-space of a global community: the network of Baroque paintings in Hispanic-America. International Conference on Culture and Computing 2011 at Kyoto University, Japan. 2011.
J.L. Suárez; F. Sancho Caparrini. Nuevas tecnologías y patrimonio cultural. Más allá de la digitalización: el caso del Hispanic Baroque Project. I Congreso Iberoamericano de Patrimonio Cultural. Publicaciones de la Universidad de Costa Rica en CD. 2010
M. Peña Pimentel; J.L. Suárez; F. Sancho Caparrini. Topic Maps for Philological Analysis. Linked Topic Maps. Fifith International Conference on Topic Maps Research and Applications Conference, TMRA 2009. Eds.: Lutz Maicher and Lars Marius Garshol. Leipziger Beiträge zur Informatik: Band XIX, 2009. 29-39. Leipzig (Alemania). Noviembre, 2009.
J.L. Suárez; F. Sancho Caparrini. Modeling Cultural Dynamics: A (Beta) Simulator. Workshop on Complexity, Computing and the Humanities. The University of Western Ontario. June 16-17, 2008.
F. Sancho Caparrini. Filosofía y Matemáticas. La Filosofía fuera de sí. Simposium Internacional de Filosofía. Centro Mediterráneo, Universidad de Granada. Septiembre, 2008.
J.C. García Vázquez; J. de la Rosa; F.J. Viñuales; F. Sancho Caparrini. Estudio y representación de Redes Sociales: Sistemas complejos y Topic Maps. Conferencia Internacional de Software Libre (Open Source World Conference) OSWC08. Málaga. Octubre, 2008.
M. Pérez Jiménez; F. Sancho Caparrini. La Biología como Alternativa Computacional. XII Feria Internacional de Informática, 2007. Ciudad de la Habana, Cuba, Febrero, 2007. (Presentación PPT)
O. Kurganskyy; I. Potapov; F. Sancho Caparrini. Reachability problems in low-dimensional iterative maps. Workshop on Reachability Problems, Developments in Language Theory, DLT07. Turku, Finlandia, Julio, 2007.
F. Sancho Caparrini. Membrane Computing. Conferencia Invitada del 2nd ISCV Thematic Workshop: Biologically-Inspired Computing, BIC 2007. Valparaiso, Chile, Diciembre, 2007.
A. Cordón Franco; F. Sancho Caparrini. Non-discrete P Systems. Workshop on Membrane Computing, WMC-2004. Milán, Italia, Junio, 2004.
M.J. Pérez Jiménez; A. Pérez Jiménez; F. Sancho Caparrini. Complexity classes in P systems. Meeting of the European Molecular Computing Consortium. Turku, Finland, Mayo, 2003.
M.J. Pérez Jiménez; A. Romero Jiménez; F. Sancho Caparrini Complexity classes in cellular computing with membranes. First Joint Meeting AMS-RSME. Sevilla, España, Junio, 2003.
M.J. Pérez Jiménez; A. Pérez Jiménez; F. Sancho Caparrini. A polynomial complexity class in P systems using membrane division. Descriptional Complexity of Formal Systems, DCFS 2003. Budapest, Hungary, Julio 12-14, 2003.
C. Martín-Vide; V. Mitrana; M.J. Pérez Jiménez; F. Sancho Caparrini. Hybrid Networks of Evolutionary Processors. Genetic and Evolutionary Computation Conference, GECCO 2003. Chicago, USA, Julio 12-16, 2003.
A. Cordón Franco; M.A. Gutiérrez Naranjo; A. Riscos Núñez; M.J. Pérez Jiménez; F. Sancho Caparrini. Implementing in Prolog an effective cellular solution for the knapsack problem. Workshop on Membrane Computing, WMC-2003. Tarragona, España, Julio 17-22, 2003.
M.J. Pérez Jiménez; F. Sancho Caparrini; C. Graciani; A. Romero. Formalización computacional del experimento de Lipton sobre el problema SAT. Primer Congreso Español de Algoritmos Evolutivos y Bio-inspirados. Mérida, 6-8 de febrero de 2002.
F.J. Martín Mateos; J.A. Alonso; M.J. Pérez Jiménez; F. Sancho Caparrini. Molecular computation models in ACL2: a simulation of Lipton's SAT experiment in the Adleman's. Third International Workshop on the ACL2 Theorem Prover and Its Applications. Grenoble (Francia), 8-9 de abril de 2002.
Gh. Paun; M.J. Pérez Jiménez; F. Sancho Caparrini. On the Reachability Problem for P systems with Porters. 10 th International Conference on Automata and Formal Languages. Debrecen, Hungary, 13-18 de agosto de 2002.
M.J. Pérez Jiménez; F. Sancho Caparrini. Minimal Set Cover Problem: On a DNA Solution of Selection Stage. Workshop on Membrane Computing. Curtea de Arges (Rumanía), 20-25 de agosto de 2001.
M.J. Pérez Jiménez; F. Sancho Caparrini. Solving Knapsack Problems in a Sticker Based Model. Seventh International Meeting on DNA Based Computers. Tampa (Florida), 10-13 de junio de 2001.
M.J. Pérez Jiménez; F. Sancho Caparrini; M.C. Graciani Díaz; A. Romero Jiménez. *NP-completitud y Computación ADN*. Encuentro de Matemáticos Andaluces. Sevilla, 13 al 17 de noviembre de 2000.
M.J. Pérez Jiménez; F. Sancho Caparrini; M.C. Graciani Díaz; A. Romero Jiménez. Soluciones moleculares del problema SAT de la Lógica Proposicional. Jornadas de Lógica, Lenguaje e Información, JOLL'2000. Sevilla, 29, 30 noviembre y 1 diciembre 2000.
Graciani, M.C.; Pérez Jiménez, M.J.; Romero, A.; Sancho, F. Initial Segment Maximal Σn-definable Sets in Fragments of Arithmetic. Joint Conference of the 5th Barcelona Logic Meeting and 6th Kurt Gödel Colloquium. Abstracts of the Joint Conference of the 5th Barcelona Logic Meeting and 6th Kurt Gödel Colloquium, pp 37--38. Barcelona, 16 al 19 de Junio de 1999.
TinyPaella: A formal tool for FCA contexts debugging. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Antonia M. Chávez-González y Juan Galán-Páez. Mi agradecimiento a Gonzalo Aranda en el 11th European Symposium on Computational Intelligence and Mathematics. Del 2 al 5 de Octubre de 2019, en Toledo.
Una aplicación de las tecnologías de la Web Semántica al estudio del periodismo en la Edad Moderna. F. Baena-Sánchez, A. M. Chávez-González. La Revista de Humanidades Digitales Año 1. Vol 1. (2017). Humanidades Digitales Hispánicas. Innovación, globalización e impacto. pp.: 379-407.
Semantics for incident identification and resolution reports. J. Borrego-Díaz, A. M. Chávez-González, J. L. Pro-Martín and V. Matos-Arana. Revista científica de la UNED. Oxford Journals. Logic Journal of the IGPL. Agosto 2016 24 (4)

La formalización de la emergencia del discurso periodístico en España como desafío multidisciplinar en las Humanidades Digitales F. Baena Sánchez, A.M. Chávez González, U. Martín Mendiguren y P. Varo Herrero. Actas del Congreso Humanidades Digitales Hispánicas. HDH 2015. II Congreso Internacional Innovación, Globalización e Impacto. Madrid, UNED 5-7 Octubre 2015.
Specifying and Verifying Meta-Security by Means of Semantic Web Methods. Joaquín Borrego-Díaz, Antonia M. Chávez-González, José L. Pro-Martín and Virginia Matos-Arana. Advances in Intelligent Systems and Computing. Vol 299.J. Gaviria, I. García, P. García, F. Klett, A. Abraham, A. C.P.L.F. Carvalho, Á. Herrero, B. Baruque, H. Quintián, E. Corchado (Eds.), pp.355-366, 2014. ISSN 2194-5357. 7th Computational Intelligence in Security for Information Systems, CISIS 2014.
Extending Qualitative Spatial Theories with Emergent Spatial Concepts. An Automated Reasoning Approach. J. Borrego-Díaz, A. M. Chávez-González and G. Aranda-Corral. LNAI 8480. M. Polycarpou, A.C.P.L.F. de Carvalho, J.Pan, M. Wozniak, H. Quintián, E. Corchado (Eds.), pp.427-438, 2014. ISSN 0302-9743. 9th International Conference Hybrid Artificial Intelligence Systems, HAIS 2014.
Semantic geodemography for smartcities. J. Borrego-Díaz, A. M. Chávez-González, M.A. Martín-Pérez, J.A. Zamora-Aguilera. Smart City World Congress 2012.
Semantic Geodemography and Urban Interoperability. J. Borrego-Díaz, A. M. Chávez-González, M.A. Martín-Pérez, J.A. Zamora-Aguilera. Proc. Metadata and Semantic Research 6th International Conference, MTSR 2012.
Computational Logic and Knowledge Representation Issues in Data Analysis for the Semantic Web. J.A. Alonso-Jiménez, Joaquín Borrego-Díaz, A. M. Chávez-González, F. Jesús Martín-Mateos. Data Management in the Semantic Web (NOVA Pub.) 2011, pp. 105-130.
Mereotopological Patterns for Ontology Evolution and Debugging. G. A. Aranda-Corral, Joaquín Borrego-Díaz, A. M. Chávez-González. IMAGE-A, 1: 151-158 (2010).
Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies. URSW 2005-2007 Uncertainty Reasoning form the Semantic Web. Lecture Notes in Artificial Intelligence. P.C.G. da Costa et al. (Eds.): URSW 2005-2007, LNAI 5327, pp. 315-329, 2008. Springer-Verlag Berlin Heideberg 2008. ISSN: (En colaboración con J. Borrego-Díaz).
Learning Services Based on Formal Concept Reasoning. IADIS International Conference Intelligent Systems and Agents 2007, (IADIS'07). ISBN: 978-972-8924-39-3.(2007). (En colaboración con J. Borrego-Díaz y G. Aranda-Corral).
Anomalías en Ontologías Provisionales. Actas del VIII Congreso ISKO España. Interdisciplinarity and Transdisciplinarity in the Organization of Scientific Knowledge, (ISKO'07). ISBN: 978-84-9773-333-5.(2007). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
A Formal Foundation for Knowledge Integration of Deficient Information in the Semantic Web. The 10th International Conference on Computer Aided Systems Theory. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): EUROCAST 2007, LNCS 4739, pp. 305-312, 2007. Springer-Verlag Berlin Heideberg 2007. ISSN: 0302-9743 (En colaboración con J. Borrego-Díaz).
Fusión Automatizada de Ontologías: Aplicación al Razonamiento Espacial Cualitativo. Actas del congreso 50 Años de Inteligencia Artificial. Campus Multidisciplinar en Percepción e Inteligencia, (CMPI'06). ISBN:84-689-9561-4.(2006). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Visual Ontology Cleaning: Cognitive Principles and Applicability. 3th European Semantic Web Conference ESWC'06. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): , LNCS 4011,The Semantic Web: Research and applications pp. 317-331, 2006. Springer-Verlag Berlin Heideberg 2006. ISBN:0302-9743 (En colaboración con J. Borrego-Díaz).
Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web. IEEE Intelligent Systems, Special Issue: AI, Agents and the Web. ISSN:1541-1672 (2006). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz y F.J. Martín-Mateos).
Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy. 4th International Semantic Web Conference, Workshop on Uncertainty Reasoning for the Semantic Web. Noviembre 2005. Galway, Irlanda. (En colaboración con J. Borrego-Díaz).
Razonamiento Mereotopológico Automatizado para la Depuración de Ontologías. Tesis Doctoral dirigida por el Prof. Dr. D. Joaquín Borrego Díaz. Dept. Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla. Junio 2005.
Logic Databases and Inconsistency Handling. L.C. Rivero, J. H. Doorn y V. E. Ferraggine (Eds.) Encyclopedia of Database Technologies and Applications, pp. 336-340, 2005. Idea Group Reference. ISBN: 1-59140-560-2. (2005). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Extension of Ontologies Assisted by Automated Reasoning Systems. The 10th International Conference on Computer Aided Systems Theory. Lecture Notes in Computer Science. R. Moreno Diaz et al. (Eds.): EUROCAST 2005, LNCS 3643, pp. 247-253, 2005. Springer-Verlag Berlin Heideberg 2005.ISBN:3-540-29002-8 (En colaboración con J. Borrego-Díaz).
Towards a Tool for Ontology Engineering. Proc. of World Automation Congress (WAC'04). ISBN:1-889335-20-7. IEEE Press (2004). (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Ontology Cleaning by Mereotopological Reasoning. Proc. of DEXA Workshop on Web Semantics (WebS'04), pp. 132-137. IEEE Computer Society (2004). ISBN: 0-7695-2195-9 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. Developments in Applied Artificial Intelligence. Lecture Notes in Artificial Intelligence, LNAI 2718, pp. 789-798. Springer-Verlag (2003). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz y J.D. Navarro Marín).
A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. Proc. of The 28th Annual Conference of the IEEE Industrial Electrocnics Society (IECON 2002), pp. 1806-1812. IEEE Press. ISBN:0-7803-7475-4 (2002). (En colaboración con J.A. Alonso-Jiménez, J. Borrego-Díaz, M.A. Gutiérrez-Naranjo y J.D. Navarro-Marín).
Estrategias para la demostración automática de teoremas. IV Jornadas Científicas en Tecnologías de la Información CINTE'00, Libro de Actas pp. 132-137. (2000). ISBN/DL:CA-883/2000 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Deducción Automática en Anillos Ternarios: Algunos Métodos de procesamiento del conocimiento matemático. Primer Encuentro de Matemáticos Andaluces (EMA 2000). Libro de Actas pp. 23-32 Universidad de Cádiz. (2000). ISBN/DL:CA-84-472-0290-0 (En colaboración con J.A. Alonso-Jiménez y J. Borrego-Díaz).
Vasco-Carofilis, R.A., Gutiérrez-Naranjo, M.A., Cárdenas Montes, M. PBIL for optimizing hyperparameters of Convolutional Neural Networks and STL Decomposition. In HAIS 2020: 15th International Conference on Hybrid Articicial Intelligent Systems. de la Cal E.A., Villar Flecha J.R., QuintiÃ¡n H., Corchado E. (Eds). Lecture Notes in Computer Science, vol 12344. Springer, Cham. DOI: 10.1007/978-3-030-61705-9_13
Paluzo-Hidalgo, E., Gonzalez-Diaz, R., Gutiérrez-Naranjo, M.A. Two-Hidden-Layer Feedforward Networks are Universal Approximators: a Constructive Approach. Accepted paper at Neural Networks Neural Networks. DOI : 10.1016/j.neunet.2020.07.021
Rodríguez-Chavarría, D., Gutiérrez-Naranjo, M.A., Borrego-Díaz, J. Logic Negation with Spiking Neural P Systems. Neural Processing Letters 52(2), 2020. pp.: 1583-1599. DOI: 10.1007/s11063-020-10324-6
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina: Interactive Theorem Proving - 8th International Conference, ITP 2017: LNCS 10499, 354-370 (2017)
Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk). José Luis Ruiz Reina. Artificial Intelligence and Symbolic Computation - 12th International Conference. LNCS 8884, 1-6 (2014).
"Certified symbolic manipulation: bivariate simplicial polynomials". Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio and José-Luis Ruiz-Reina, International Symposium on Symbolic and Algebraic Computation, ISSAC'13 Proc. of the ACM, pp. 243-250, 2013
"Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials". L. Lambán, F.J. Martín-Mateos, J. Rubio, M. and J.L. Ruiz Reina, Interactive Theorem Proving 2011 (ITP'11), Lecture Notes in Computer Science 6898 pp.200-215, Springer Verlag, 2011.
"ACL2 verification of simplicial degeneracy programs in the Kenzo system". F.J. Martín-Mateos, J. Rubio, J.L. Ruiz Reina. Calculemus/MKM 2009, Lecture Notes in Computer Science 5625 pp.106-121, Springer Verlag, 2009.
"Constructing Formally Verified Reasoners for the ACC Description Logic". María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina. Electronic Notes Theoretical Computer Sciences 200(3): pp. 87-102, 2008.
"A Formally Verified Prover for the ALC Description Logic". José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina . TPHOLs 2007, LNCS 4732, pp. 135-150", 2007.
"Formalizing Simplicial Topology in ACL2" Mirian Andrés, Laureano Lambán, Julio Rubio, José-Luis Ruiz-Reina: . Seventh International Workshop on the ACL2 Theorem Prover and its Application, Austin, Texas (Estados Unidos), 2007.
"Proof Pearl: A Formal Proof of Higman's Lemma in ACL2". Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo. TPHOLs 2005, LNCS 3603 pp. 358-372.
Formal Verification of Molecular Computational Models in ACL2: A Case Study. F.J. Martín, J.A. Alonso, M. J. Hidalgo y J.L. Ruiz Reina. Current Topics in Artificial Intelligence 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, Revised Selected Papers volumen 3040 de Lecture Notes in Artificial Intelligence, Springer Verlag, 2004.
Verified Computer Algebra in ACL2 (Gröbner basis Computation). I. Medina Bulo, F. Palomo Lozano, J.A. Alonso, J.L Ruiz Reina. Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004, volumen 3249 de Lecture Notes in Artificial Intelligence, Springer Verlag, 2004.
Formal reasoning about effcient data structures: a case study in ACL2. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. 13th International Symposium LOPSTR 2003, Revised Selected Papers volumen 3018 de Lecture Notes in Computer Science, Springer Verlag, 2004.
A Formal Proof of Dickson's Lemma in ACL2. F.J. Martín, J.A. Alonso, M. J. Hidalgo y J.L. Ruiz Reina. Proceedings of the 10th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2003), volumen 2850 de Lecture Notes in Artificial Intelligence, Springer Verlag, 2003.
Verification in ACL2 of a generic framework to synthetize SAT provers. F.J. Martín, J.A. Alonso, M. J. Hidalgo y J.L. Ruiz Reina. Logic Based program synthesis and transformation, LOPSTR 2002, Revised Papers, volumen 2664 de Lecture Notes in Computer Science, Springer Verlag, 2003.
Verificación formal y eficiencia: Un caso de estudio aplicado a la unificación de términos. J.L. Ruiz Reina, F.J. Martín, J.A. Alonso y M. J. Hidalgo. I Taller Iberoamericano de Deducción e Inteligencia Artificial, 2002.
Una introducción al análisis formal de conceptos en PVS. M. J. Hidalgo, F.J. Martín, J.A. Alonso, y J.L. Ruiz Reina. I Taller Iberoamericano de Deducción e Inteligencia Artificial, 2002.
Desarrollo formal y verificación de sistemas proposicionales. F.J. Martín, J.A. Alonso, M. J. Hidalgo y J.L. Ruiz Reina. I Taller Iberoamericano de Deducción e Inteligencia Artificial, 2002.
A Theory About First-order Terms in ACL2. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Proceedings of the Third ACL2 workshop, Grenoble 2002
Progress Report: Term Dags Using Stobjs. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Proceedings of the Third ACL2 workshop, Grenoble 2002
A Generic Instantiation Tool and a Case Study: A Generic Multiset Theory. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Proceedings of the Third ACL2 workshop, Grenoble 2002
Formalizing rewriting in the ACL2 theorem prover. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Artificial Intelligence and Symbolic Computation, AISC 2000, Revised Papers, volumen 1930 de Lecture Notes in Computer Science, Springer Verlag, 2001.
Formalización del razonamiento ecuacional en una lógica computacional. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Encuentro de Matemáticos Andaluces, Volumen 2, páginas 41-50.
Verifying an applicative ATP using multiset relations. F.J. Martín, J.A. Alonso, M. J. Hidalgo y J.L. Ruiz Reina. Proceedings of EUROCAST 2001, volumen 2178 de Lecture Notes in Computer Science, Springer Verlag.
A mechanical proof of Knuth-Bendix critical pair theorem (using ACL2). J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Proceedings of the Third International Workshop on First-Order Theorem Proving (FTP 2000), St. Andrews, Escocia. Publicado como Technical Report 5-2000, páginas 206-216, Fachberichte Informatik, Universitat Koblenz-Landau, 2000.
Multiset relations: a tool for proving termination. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Proceedings of the Second ACL2 workshop, Technical Report TR-00-29, Computer Science Departament, University of Texas at Austin, 2000.
Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. J.L. Ruiz Reina, F.J. Martín, J.A. Alonso, y M.J. Hidalgo. Proceedings AGP'99, Joint Conference on Declarative Programming, L'Aquila (Italia), September 1999.
Verificación automática de sistemas de razonamiento. J.L. Ruiz Reina, F.J., Martín, J.A. Alonso, y M.J. Hidalgo. IV Jornades sobre l'ensenyament univeristari de la informática (JENUI'98), páginas 297-304, 1998.
Razonamiento automático en sistemas de representación del conocimiento. F.J., Martín, J.A. Alonso, M.J. Hidalgo y J.L. Ruiz Reina. IV Jornades sobre l'ensenyament univeristari de la informática (JENUI'98), páginas 289-296, 1998.
GTI: Una herramienta de edición de cursos adaptativos. J.L. Ruiz Reina, J.A. Alonso, J.J. Arrabal, D. Balbontín, F.F. Lara, F.J. Martín y M.J. Pérez. Actas del XIII Congreso Nacional de Ingeniería de Diseño, páginas 627-634, 1997.
Prueba por consistencia de teoremas inductivos: inducción sin inducción. J.L. Ruiz Reina y M. E. Gegúndez. Actas del X Congreso de Lenguajes Naturales y Lenguajes Formales, páginas 597-606, 1994.
Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm. Laureano Lambán, Francisco J. Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina: Logic Journal of IGPL 22(1): 39-65 (2014)
Formally Verified Tableau-Based Reasoners for a Description Logic María-José Hidalgo-Doblado, José A. Alonso-Jiménez, Joaquín Borrego-Díaz, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina: . Journal of Automated Reasoning 52(3): 331-360 (2014)
"Formalization of a normalization theorem in simplicial topology" Laureano Lambán, Francisco-Jesús Martín-Mateos, Julio Rubio and José-Luis Ruiz-Reina, Annals of Mathematics and Artif Intelligence 64(1) pp. 1-37, 2012
"Proof pearl: a formal proof of Higman's lemma in ACL2" F.J. Martín-Mateos, J.A. Alonso, M. J. Hidalgo and J.L. Ruiz Reina, Journal of Automated Reasoning, 47(3): pp. 229-250, 2011.
"A verified Common Lisp implementation of Buchberger's algorithm in ACL2" Inmaculada Medina-Bulo, Francisco Palomo-Lozano and José Luis Ruiz Reina. Journal of Symbolic Computation 45(1): pp. 96-123, 2009.
"Constructing Formally Verified Reasoners for the ACC Description Logic" María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina. Electronic Notes Theoretical Computer Sciences 200(3): pp. 87-102, 2008.
"Efficient execution in an automated reasoning environment" David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Stroother Moore, Sandip Ray, Jose-Luis Ruiz-Reina, Rob Sumners, Daron Vroon and Matt Wilding., Journal of Functional Programming, Vol. 18, Núm. 01,pp. 15-46 2008.
"Formal Correctness of a Quadratic Unification Algorithm" José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo. Journal of Automated Reasoning, vol. 37(1-2), pp. 67-92, 2006.
Formal verification of a generic framework to synthesize SAT-provers. F.J. Martín, J.A. Alonso, M. J. Hidalgo y J.L. Ruiz Reina. Journal of Automated Reasoning(32), pp. 287-313, 2004
Termination in ACL2 Using Multiset Relations. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. capítulo del libro Thirty Five Years of Automating Mathematics editado por Fairouz Kamareddine en la serie Kluwer Applied Logic, Kluwer Academic Publisher, Noviembre 2003.
Formal Proofs About Rewriting Using ACL2. J.L. Ruiz Reina, J.A. Alonso, M. J. Hidalgo y F.J. Martín. Annals of Mathematics and Artificial Intelligence 36(3): 239-262 (2002)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez and Daniel Rodríguez-Chavarría. Towards a Notion of Basis for Knowledge-Based Systems – Applications. Enero 2021. https://doi.org/10.3390/math9030252. Mathematics (ISSN 2227-7390). Volume 9 Issue 3. (JCR 2019: Q1 Mathematics)
Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez. A model of three-way decisions for Knowledge Harnessing. Mayo 2020. https://doi.org/10.1016/j.ijar.2020.02.010 . International Journal of Approximate Reasoning. Volume 120, May 2020, Pages 184-202. (JCR 2019: Q2 Computer Sciences)
José A. Alonso-Jiménez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, M. Magdalena Fernández-Lebrón, M. José Hidalgo-Doblado, A logic-algebraic tool for reasoning with Knowledge-Based Systems, Journal of Logical and Algebraic Methods in Programming, Volume 101, 2018, Pages 88-109, ISSN 2352-2208, https://doi.org/10.1016/j.jlamp.2018.09.001. (JCR 2018: Q2 Logic) Special collection: Top papers selected by the Editorial Board
Aranda-Corral G.A., Borrego-Díaz J., Galán-Páez J., Caballero A.T. (2019) On Experimental Efficiency for Retraction Operator to Stem Basis. In: Cornejo M., Kóczy L., Medina J., De Barros Ruano A. (eds) Trends in Mathematics and Computational Intelligence. Studies in Computational Intelligence, vol 796. Springer, Cham
Urban Knowledge Extraction, Representation and Reasoning as a Bridge from Data City towards Smart City. July 2016. DOI10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0152. Conference: 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). Jaime de miguel, Juan Galán-Páez, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz
Lecture Notes in Computer Science. September 2014. DOI10.1007/978-3-319-11289-3_29. Conference: International Conference on Computational Collective Intelligence. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez, Antonio Jimenez-Mavillard
Phenomenological percolation in conceptual networks associated to Complex Systems. March 2015. DOI10.1109/ICoCS.2014.7060948. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
Modeling Lexicon Emergence as Concept Emergence in Networks. January 2016. DOI10.1007/978-3-319-29504-6_39. In book: Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015. Juan Galán-Páez, Joaquín Borrego-Díaz, Gonzalo A. Aranda-Corral
Towards a Soft Evaluation and Refinement of Tagging in Digital Humanities. January 2015. DOI10.1007/978-3-319-19719-7_7. In book: 10th International Conference on Soft Computing Models in Industrial and Environmental Applications. Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
Aranda-Corral G. A., Borrego-Díaz J., Galán-Páez J. (2018) Synthetizing Qualitative (Logical) Patterns for Pedestrian Simulation from Data. In: Bi Y., Kapoor S., Bhatia R. (eds) Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016. IntelliSys 2016. Lecture Notes in Networks and Systems, vol 16. Springer, Cham. https://doi.org/10.1007/978-3-319-56991-8_19
Repairing Conceptual Relations in Ontologies by means of an Interactive Visual Reasoning: Cognitive and Design Principles. G. A. Aranda-Corral, J. Borrego-Díaz, Antonia M. Chávez-González. CogInfoCom 2012. Kosice. Page(s): 739 – 744. E-ISBN : 978-1-4673-5186-7. Print ISBN: 978-1-4673-5187-4. Digital Object Identifier : 10.1109/CogInfoCom.2012.6421949
Scale-Free Structure in Concept Lattices Associated to Complex Systems.G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán-Páez. ICCS 2012. Agadir. Morocco.
Complex Concept Lattices for Simulating Human Prediction in Sport. Journal of Systems Science and Complexity (JCR). G. A. Aranda-Corral, J. Borrego-Díaz, J. Galán-Páez. (20 pág.). 2012. Aceptado
G. A. Aranda-Corral, J. Borrego-Díaz, J. Giráldez-Cru: Agent-mediated shared conceptualizations in tagging services. Multimedia Tools and Applications (JCR(2011): 0.617), DOI: 10.1007/s11042-012-1146-5, http://www.springerlink.com/content/b0733j74166q7148/ (2012)
Díaz-Pernil, D., Gutiérrez-Naranjo M.A., Peng, H. Membrane Computing and Image Processing: A Short Survey. Journal of Membrane Computing 1(1), 2019. pp.: 58-73. ISSN: 2523-8906. On line. DOI:10.1007/s41965-018-00002-x
Bie D., Gutiérrez Naranjo M.A., Zhao J., Zhu Y. A Membrane Computing Framework for Self-reconfigurable Robots. Natural Computing Vol. 18(3) (2019). pp.: 635-646. ISSN: 1567-7818. On line. DOI:10.1007/s11047-018-9702-1
Gutiérrez-Naranjo M.A. Other Buds in Membrane Computing. In Enjoying Natural Computing. Graciani C., A. Riscos-Núñez, Gh. Paun, G. Rozenberg, A. Salomaa (eds). Lecture Notes in Computer Science, vol 11270. Springer, Cham. ISBN 978-3-030-00264-0, pp: 142 - 154. DOI 10.1007/978-3-030-00265-7_12
González-Díaz, R., Paluzo-Hidalgo, E., Gutiérrez-Naranjo M.A. Representative datasets for neural networks. Electronic Notes in Discrete Mathematics, vol. 68 (2018), pp.: 89 - 94. DOI 10.1016/j.endm.2018.06.016
Díaz-Pernil, D., Christinal, H.A., Gutiérrez Naranjo M.A. Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells. Information Sciences vol. 430 (2018), pp.: 240--246. DOI 10.1016/j.ins.2017.11.022
Díaz-Pernil, D., Gutiérrez Naranjo M.A. Semantics of Deductive Databases with Spiking Neural P Systems. Neurocomputing, vol. 272 (2018), pp.: 365--373. DOI 10.1016/j.neucom.2017.07.007
Bie D., Gutiérrez-Naranjo M.A., Zhao J. and Zhu, Y. An Approach to the Bio-inspired Control of Self-Reconfigurable Robots. In Bio-inspired Computing: Theories and Applications 12th International Conference, BIC-TA 2017, Harbin, China, December 1-3, 2017, Proceedings. Cheng He, Hongwei Mo, Linqiang Pan, Yuxin Zhao (eds.) Communications in Computer and Information Science, Springer Nature, Singapore, 791. ISBN: 978-981-10-7179-9, pp.: 24-38 (2017). DOI 10.1007/978-981-10-7179-9_3. Best Paper Award
Christinal, H.A., John R.R., Chandy D.A., Gutiérrez Naranjo M.A. Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division. In Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings. Patitz, Matthew J., Stannett, Mike (Eds.) Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 10240. ISBN:978-3-319-58186-6, pp.:170-181.
Díaz-Pernil, D. ,Berciano, A., Peña-Cantillana, F., Gutiérrez-Naranjo M.A. Bio-inspired Parallel Computing of Representative Geometrical Objects of Holes of Binary 2D-images. International Journal of Bio-Inspired Computation (IJBIC) Vol. 9, No. 2, 2017. ISSN: 1758-0366, pp.: 77 - 92
Díaz-Pernil, Gutiérrez Naranjo M.A., Peng H. Some Notes on Membrane Computing and Image Processing. Bulletin of the International Membrane Computing Society (IMCS) Number 2, December 2016, pp.: 103 - 128
Díaz-Pernil, D., Fondón, I., Peña-Cantillana, F. Gutiérrez-Naranjo M.A. Fully Automatized Parallel Segmentation of the Optic Disc in Retinal Fundus Images. Pattern Recognition Letters Vol. 83, Part 1 (2016), pp.: 99 -107.
Díaz-Pernil, D., Christinal, H.A., Gutiérrez Naranjo M.A. Solving the 3-COL Problem by Using Tissue P Systems without Environment and Proteins on Cells. In Fourteenth Brainstorming Week on Membrane Computing. C. Graciani, D. Orellana-Martín, A. Riscos-Núñez, A. Romero-Jiménez, L. Valencia-Cabrera (eds.) Fénix Editora 2015, ISBN 978-84-946316-1-0, pp.: 163-172.
Díaz-Pernil, Gutiérrez Naranjo M.A. Semantics of Deductive Databases in a Membrane Computing Connectionist Model. In Fourteenth Brainstorming Week on Membrane Computing. C. Graciani, D. Orellana-Martín, A. Riscos-Núñez, A. Romero-Jiménez, L. Valencia-Cabrera (eds.) Fénix Editora 2015, ISBN 978-84-946316-1-0, pp.: 173-184.
Díaz-Pernil, D., Alhazov, A., Freund, R., Gutiérrez-Naranjo M.A., Leporati, A. Recognizer P Systems with Antimatter. Romanian Journal of Information Science and Technology (ROMJIST) Vol. 18, Number 3 (2015). Editura Academiei Romane, Bucarest, Rumanía, ISSN 1453-8245, pp.:201 - 217.
Díaz-Pernil, D., Alhazov, A., Freund, R., Gutiérrez-Naranjo M.A. Solving SAT with Antimatter in Membrane Computing. In Thirteenth Brainstorming Week On Membrane Computing. L.F. Macías-Ramos, Gh. Paun, A. Riscos-Núñez, L. Valencia-Cabrera (eds.) Fénix Editora 2015, ISBN 978-84-944366-2-8, pp.: 121-130
Díaz-Pernil, D., Freund, R., Gutiérrez-Naranjo M.A., Leporati, A. On the Semantics of Annihilation Rules in Membrane Computing. In Thirteenth Brainstorming Week On Membrane Computing. L.F. Macías-Ramos, Gh. Paun, A. Riscos-Núñez, L. Valencia-Cabrera (eds.) Fénix Editora 2015, ISBN 978-84-944366-2-8, pp.: 131-142
Gazdag, Z., Gutiérrez-Naranjo M.A. A Characterization of PSPACE with Antimatter and Membrane Creation. In Thirteenth Brainstorming Week On Membrane Computing. L.F. Macías-Ramos, Gh. Paun, A. Riscos-Núñez, L. Valencia-Cabrera (eds.). Fénix Editora 2015, ISBN 978-84-944366-2-8, pp.: 159-178
Llorente-Rivera, D., Gutiérrez-Naranjo M.A. The Pole Balancing Problem with Enzymatic Numerical P Systems. In Thirteenth Brainstorming Week On Membrane Computing. L.F. Macías-Ramos, Gh. Paun, A. Riscos-Núñez, L. Valencia-Cabrera (eds.) Fénix Editora 2015, ISBN 978-84-944366-2-8, pp.: 195-206
Díaz-Pernil, D., Freund, R., Gutiérrez-Naranjo M.A., Leporati, A. On the Semantics of Annihilation Rules in Membrane Computing. Proceedings of the 16th International Conference on Membrane Computing 17-21 August, 2015,Valencia (Spain) José M. Sempere and Claudio Zandron (Eds.), pp: 91-100
Díaz-Pernil, D., Alhazov, A., Freund, R., Gutiérrez-Naranjo M.A. Solving SAT with Antimatter in Membrane Computing. Proceedings of the Workshop on Membrane Computing 2015 (WMC2015). Satellite workshop of the Conference on Unconventional Computation & Natural Computation (UCNC2015). August 2015. Michael J. Dinneen (Editor). pp.: 48-58 Centre for Discrete Mathematics and Theoretical Computer Science. Department of Computer Science. University of Auckland. Auckland, New Zealand
Gutiérrez Naranjo M.A. Pérez-Jiménez M.J. Local Search with P Systems: A Case Study. Chapter at the book Natural Computing for Simulation and Knowledge Discovery. Leandro Nunes de Castro, Ed. DOI: 10.4018/978-1-4666-4253-9 IGI Global, ISBN13: 9781466642539, pp.: 139-148
Ivanov, S., Alhazov, A., Rogojin, V., Gutiérrez Naranjo M.A. Forward and Backward Chaining with P Systems. Chapter at the book Natural Computing for Simulation and Knowledge Discovery Leandro Nunes de Castro, Ed. DOI: 10.4018/978-1-4666-4253-9, IGI Global, ISBN13: 9781466642539, pp.: 149-158
Peña-Cantillana, F., Díaz-Pernil, D., Christinal, H.A., Gutiérrez Naranjo M.A. Implementation on CUDA of the Smoothing Problem with Tissue-like P Systems. Chapter at the book Natural Computing for Simulation and Knowledge Discovery Leandro Nunes de Castro, Ed. DOI: 10.4018/978-1-4666-4253-9, IGI Global, ISBN13: 9781466642539, pp.: 184-193
Díaz-Pernil, D., Peña-Cantillana, F. Gutiérrez-Naranjo M.A. Skeletonizing Digital Images with Cellular Automata. Chapter in the book Cellular Automata in Image Processing and Geometry. P. Rosin, A. Adamatzky, X. Sun (Eds.) Emergence, Complexity and Computation 10, Springer International Publishing Switzerland, 2014. DOI: 10.1007/978-3-319-06431-4, ISBN: 978-3-319-06430-7 (Print) 978-3-319-06431-4 (Online). pp.:47-63
Gazdag, Z., Gutiérrez-Naranjo M.A. Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques. In Membrane Computing15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers. M. Gheorghe, G. Rozenberg, A. Salomaa, P. SosÃk, C. Zandron (eds.) Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 8961 ISBN: 978-3-319-14369-9 (Print) 978-3-319-14370-5 (Online) DOI: 10.1007/978-3-319-14370-5_13, pp.:215-228.
Gazdag, Z., Kolonits, G., Gutiérrez-Naranjo M.A. Simulating Turing Machines with Polarizationless P Systems with Active Membranes. In Membrane Computing15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers. M. Gheorghe, G. Rozenberg, A. Salomaa, P. SosÃk, C. Zandron (eds.). Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 8961. ISBN: 978-3-319-14369-9 (Print) 978-3-319-14370-5 (Online) DOI: 10.1007/978-3-319-14370-5_14, pp.:229-240.
Díaz-Pernil, D., Peña-Cantillana, F., Alhazov, A., Freunf, R., Gutiérrez-Naranjo M.A. Antimatter as a Frontier of Tractability in Membrane Computing (Journal version). Fundamenta Informaticae 134 (2014). DOI 10.3233/FI-2014-1092, IOS Press ISSN: 0169-2968, pp.: 83 - 96.
Díaz-Pernil, D., Peña-Cantillana, F. Gutiérrez-Naranjo M.A. Self-constructing Recognizer P Systems. In Twelfth Brainstorming Week on Membrane Computing. L.F. Macías-Ramos, M.A. Martínez-del-Amor, Gh. Paun, A. Riscos-Núñez, L. Valencia-Cabrera (eds.) Fénix Editora 2014, ISBN 978-84-940056-4-0, pp.: 137-154
Díaz-Pernil, D., Peña-Cantillana, F. Gutiérrez-Naranjo M.A. Antimatter as a Frontier of Tractability in Membrane Computing. In Twelfth Brainstorming Week on Membrane Computing. L.F. Macías-Ramos, M.A. Martínez-del-Amor, Gh. Paun, A. Riscos-Núñez, L. Valencia-Cabrera (eds.). Fénix Editora 2014, ISBN 978-84-940056-4-0, pp.: 155-168
Gazdag, Z., Gutiérrez-Naranjo M.A. Solving the ST-Connectivity Problem with Pure Membrane Computing Techniques. In Twelfth Brainstorming Week on Membrane Computing. L.F. Macías-Ramos, M.A. Martínez-del-Amor, Gh. Paun, A. Riscos-Núñez, L. Valencia-Cabrera (eds.). Fénix Editora 2014, ISBN 978-84-940056-4-0. pp.: 207-220
Christinal, H.A., Berciano, A., Díaz-Pernil, D., Gutiérrez Naranjo, M.A. Searching Partially Bounded Regions with P Systems. In Proceedings of the Third International Conference on Soft Computing for Problem Solving. Advances in Intelligent Systems and Computing, Springer India. DOI: 10.1007/978-81-322-1771-8_5. ISSN 2194-5357, Volume 258, 2014, pp.: 45-54
Graciani, C., Gutiérrez-Naranjo M.A., Pérez-Hurtado I., Riscos-Núñez A., Romero-Jiménez, A. A Rete-based Algorithm for Rule Selection in P Systems. International Journal of Unconventional Computing, Volume 9, Number (5-6), 2013. Old City Publishing, ISSN 1548-7199, pp.: 367-384
Ardelean, I., Díaz-Pernil, D., Gutiérrez Naranjo, M.A., Peña-Cantillana, F., Sarchizian, I. Studying the Chlorophyll Fluorescence in Cyanobacteria with Membrane Computing Techniques. In Eleventh Brainstorming Week on Membrane Computing. L. Valencia-Cabrera, M. García-Quismondo, L.F. Macías-Ramos, M.A. Martínez-del-Amor, Gh. Paun, Riscos-Núñez A. (eds.) Fénix Editora 2013, ISBN 978-84-940691-9-2, pp.: 9-24
Graciani, C., Gutiérrez-Naranjo M.A. Riscos-Núñez A. Rete Algorithm for P System Simulators. In Eleventh Brainstorming Week on Membrane Computing. L. Valencia-Cabrera, M. García-Quismondo, L.F. Macías-Ramos, M.A. Martínez-del-Amor, Gh. Paun, Riscos-Núñez A. (eds.). Fénix Editora 2013, ISBN 978-84-940691-9-2, pp.: 125-136
Díaz-Pernil, D., Peña-Cantillana, F., Gutiérrez Naranjo, M.A. A Parallel Algorithm for Skeletonizing Images by Using Spiking Neural P Systems. Neurocomputing, 115 (2013). DOI: http://dx.doi.org/10.1016/j.neucom.2012.12.032 ISSN: 0925-2312, pp.: 81 - 91
Peña-Cantillana, F., Díaz-Pernil, D., Berciano, A., Gutiérrez Naranjo M.A. Segmenting Images with Gradient-based Edge Detection Using Membrane Computing. Pattern Recognition Letters 34(8), (2013). pp.: 846-855 ISSN: 0167-8655 DOI: 10.1016/j.patrec.2012.10.014
Zhang, G.X.,Gutiérrez Naranjo, M.A., Qin, Y., Gheorghe, M., Cheng, J.X. A Population-Membrane-System-Inspired Evolutionary Algorithm for Distribution Network Reconfiguration. Pre-Proceedings of Asian Conference on Membrane Computing (ACMC 2012). Huazhong University of Science and Technology, October 15-18, 2012, Wuhan, China L. Pan, Gh. Paun, T. Song (Eds.) pp.: 139 - 160
Christinal, H.A., Díaz-Pernil, D., Gutiérrez Naranjo M.A., Real, P. Using Membrane Computing for Effective Homology. Applicable Algebra in Engineering, Communication and Computing Volume 23, Number 5-6 (2012) Springer-Verlag. DOI: 10.1007/s00200-012-0176-6, pp.: 233-249
Ardelean, I., Díaz-Pernil, D., Gutiérrez Naranjo, M.A., Peña-Cantillana, F., Reina-Molina, R., Sarchizian, I. Counting Cells with Tissue-like P Systems. In Tenth Brainstorming Week on Membrane Computing Volume I. M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero (eds.) Fénix Editora 2012, ISBN 978-84-940056-5-7, pp.: 69 - 78
Díaz-Pernil, D., Peña-Cantillana, F., Gutiérrez Naranjo M.A. Skeletonizing Images by Using Spiking Neural P Systems. In Tenth Brainstorming Week on Membrane Computing Volume I. M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero (eds.) Fénix Editora 2012, ISBN 978-84-940056-5-7, pp.: 91 - 110
Reina-Molina, R., Díaz-Pernil, D. Gutiérrez Naranjo M.A. Cell Complexes and Membrane Computing for Thinning 2D and 3D Images. In Tenth Brainstorming Week on Membrane Computing Volume II. M. García-Quismondo, L.F. Macías-Ramos, Gh. Paun, L. Valencia-Cabrera (eds.) Fénix Editora 2012, ISBN 978-84-940056-6-4, pp.: 167 - 186
Zhang, G., Gutiérrez Naranjo, M.A., Qin, Y., Gheorghe, M. A Membrane-Inspired Evolutionary Algorithm with a Population P System and its Application to Distribution System Reconfiguration. In Tenth Brainstorming Week on Membrane Computing Volume II. M. García-Quismondo, L.F. Macías-Ramos, Gh. Paun, L. Valencia-Cabrera (eds.). Fénix Editora 2012, ISBN 978-84-940056-6-4, pp.: 277 - 297
Peña-Cantillana, F., Berciano, A., Díaz-Pernil, D., Gutiérrez Naranjo M.A. Parallel Skeletonizing of Digital Imagery by Using Cellular Automata. In Computational Topology in Image Context 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings. Massimo Ferri, Patrizio Frosini, Claudia Landi, Andrea Cerri and Barbara Di Fabio (eds.) Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 7309, pp.:39-48.
Díaz-Pernil, D., Gutiérrez Naranjo M.A., Molina-Abril, H., Real, P. Designing a New Software Tool for Digital Imagery Based on P Systems. Natural Computing 11, Number 3, (2012), pp.: 381-386 Springer, ISSN: 1567-7818 DOI 10.1007/s11047-011-9287-4
Gutiérrez Naranjo M.A. Pérez-Jiménez M.J. Local Search with P Systems: A Case Study. International Journal on Natural Computing Research Volume 2, Number 2 (2011). IGI Global, ISSN: 1947-928X, pp.: 47-55
Ivanov, S., Alhazov, A., Rogojin, V., Gutiérrez Naranjo M.A. Forward and Backward Chaining with P Systems. International Journal on Natural Computing Research Volume 2, Number 2 (2011). IGI Global, ISSN: 1947-928X, pp.: 56-66
Peña-Cantillana, F., Díaz-Pernil, D., Christinal, H.A., Gutiérrez Naranjo M.A. Implementation on CUDA of the Smoothing Problem with Tissue-like P Systems. International Journal on Natural Computing Research Volume 2, Number 3 (2011), IGI Global, ISSN: 1947-928X,pp.: 25-34
Carnero, J., Díaz-Pernil, D., Gutiérrez Naranjo M.A. Designing Tissue-like P Systems for Image Segmentation on Parallel Architectures. In Ninth Brainstorming Week on Membrane Computing. M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero, L. Valencia-Cabrera (eds.) Fénix Editora 2011, ISBN 978-84-615-1837-1, pp.: 43 - 61
Cavaliere, M. Gutiérrez Naranjo M.A. P Systems with Replicator Dynamics: A Proposal. In Ninth Brainstorming Week on Membrane Computing. M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero, L. Valencia-Cabrera (eds.) Fénix Editora 2011, ISBN 978-84-615-1837-1,pp.: 63 - 70
Gutiérrez Naranjo M.A. Pérez-Jiménez M.J. Implementing Local Search with Membrane Computing. In Ninth Brainstorming Week on Membrane Computing. M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero, L. Valencia-Cabrera (eds.). Fénix Editora 2011, ISBN 978-84-615-1837-1, pp.: 159 - 168
Ivanov, S., Alhazov, A., Rogojin, V., Gutiérrez Naranjo M.A. Forward and Backward Chaining with P Systems. In Ninth Brainstorming Week on Membrane Computing. M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero, L. Valencia-Cabrera (eds.) Fénix Editora 2011, ISBN 978-84-615-1837-1, pp.: 221 - 236
Peña-Cantillana, F., Díaz-Pernil, D., Christinal, H.A., Gutiérrez Naranjo M.A. Smoothing Problem in 2D Images with Tissue-like P Systems and Parallel Implementation In Ninth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero, L. Valencia-Cabrera (eds.) Fénix Editora 2011, ISBN 978-84-615-1837-1 pp.: 317 - 328
Reina-Molina, R., Díaz-Pernil, D., Gutiérrez Naranjo M.A. Integer Linear Programming for Tissue-like P Systems In Ninth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, F.J. Romero-Campero, L. Valencia-Cabrera (eds.) Fénix Editora 2011, ISBN 978-84-615-1837-1 pp.: 343 - 353
Rivero-Gil, E., Gutiérrez-Naranjo, M.A., Romero-Jiménez, A., Riscos-Núñez, A. A Software Tool for Generating Graphics by Means of P Systems Natural Computing Volume 10, Issue 2 (2011) Springer, ISSN: 1567-7818 pp.: 879-890
Peña-Cantillana, F., Díaz-Pernil, D., Berciano, A., Gutiérrez Naranjo M.A. A Parallel Implementation of the Thresholding Problem by Using Tissue-Like P Systems In CAIP 2011, 14th International Conference on Computer Analysis of Images and Patterns Seville (Spain) 29-31 August 2011 (CAIP 2011) A. Berciano et al. (eds,) Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 6855 pp.:277-284.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Depth-first Search with P Systems In Membrane Computing11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers. M. Gheorghe, T. Hinze, Gh. Paun, G. Rozenberg and A. Salomaa (eds.) Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 6501 pp.:257-264.
Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez A., Gutiérrez-Naranjo and Rius-Font, M. On a Partial Affirmative Answer for A Paun's Conjecture International Journal of Foundations of Computer Science Vol 22. No. 1 ( January 2011) ISSN 0129-0541 World Scientific Publishing Company. pp.: 55-64
Díaz Pernil, D., Gutiérrez Naranjo M.A., Real, P. Sánchez-Canales, V. A New Way to Obtain Homology Groups in Binary 2D Images Using Membrane Computing EACA 2010 Libro de Resúmenes - Books of Abstracts XII Encuentro de Algebra Computacional y Aplicaciones EACA 2010 Santiago de Compostela (Spain), 19--21 July, 2010. ISBN 978-84-9887-518-8 Universidade de Santiago de Compostela Publicacións pp.: 107-112
Díaz-Pernil, D., Fernández-Márquez, C.M., García-Quismondo, M., Gutiérrez Naranjo M.A., Martínez-del-Amor, M.A. Solving Sudoku with Membrane Computing Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications BIC-TA 2010 Volume 1 Changsha, China,September 23 - 26, 2010 K. Li, Z. Tang, R. Li ,A.K. Nagar and R. Thamburaj (eds.) IEEE, Inc. ISBN 978-1-4244-6438-8 pp.: 610 - 615
Díaz-Pernil, D., Gutiérrez Naranjo M.A., Molina-Abril, H., Real, P. A Bio-inspired Software for Segmenting Digital Images Proceedings of the 2010 IEEE Fifth International Conference on Bio-Inspired Computing: Theories and Applications BIC-TA Volume 2 8th - 10th September 2010 Liverpool Hope University, Liverpool, UK A.K. Nagar, R. Thamburaj, K. Li, Z. Tang and R. Li (eds.) IEEE, Inc. ISBN 978-1-4244-6438-8 pp.:1377 - 1381
Christinal, H.A., Díaz-Pernil, D., Gutiérrez Naranjo M.A, Pérez Jiménez M.J. Thresholding of 2D Images with Cell-like P Systems Romanian Journal of Information Science and Technology (ROMJIST) Volume 13, Number 2, (2010) Editura Academiei Romane, Bucarest, Rumanía, ISSN 1453-8245 pp.: 131 - 140
Díaz-Pernil, D., Gutiérrez Naranjo M.A., Real, P., Sánchez-Canales, V. Computing Homology Groups in Binary 2D Imagery by Tissue-like P Systems Romanian Journal of Information Science and Technology (ROMJIST) Volume 13, Number 2, (2010) Editura Academiei Romane, Bucarest, Rumanía, ISSN 1453-8245 pp.: 141 - 152
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Depth-first Search with P Systems In Proceedings of the Eleventh International Conference on Membrane Computing (CMC11) Friedrich Schiller University Jena, Germany 24-27 August 2010 M. Gheorghe, T. Hinze and Gh. Paun (eds.) Pro BUSINESS GmbH 2010, ISBN 978-3-86805-721-8 pp.: 257 - 267
Christinal, H.A., Díaz-Pernil, D., Gutiérrez Naranjo M.A., Pérez-Jiménez, M.J. Array Tissue-like P Systems In Eighth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, A. Riscos-Núñez (eds.) Fénix Editora 2010, ISBN 978-84-614-2357-6 pp.: 37 - 51
Christinal, H.A., Díaz-Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiméz, M.J. Tissue-like P Systems without Environment In Eighth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, A. Riscos-Núñez (eds.) Fénix Editora 2010, ISBN 978-84-614-2357-6 pp.: 53 - 64
Díaz-Pernil, D., Fernández-Márquez, C.M., García-Quismondo, M., Gutiérrez-Naranjo, M.A., Martínez-de-Amor, M.A. A Cellular Sudoku Solver In Eighth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, A. Riscos-Núñez (eds.) Fénix Editora 2010, ISBN 978-84-614-2357-6 pp.: 77 - 88
Díaz-Pernil, D., Gutiérrez Naranjo M.A., Real, P., Sánchez-Canales, V. A Cellular Way to Obtain Homology Groups in Binary 2D Images In Eighth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, A. Riscos-Núñez (eds.) Fénix Editora 2010, ISBN 978-84-614-2357-6 pp.: 89 - 99
Escuela, G. Gutiérrez Naranjo M.A. An Application of Genetic Algorithms to Membrane Computing In Eighth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, A. Riscos-Núñez (eds.) Fénix Editora 2010, ISBN 978-84-614-2357-6 pp.: 101 - 108
García-Quismondo, M., Gutiérrez Naranjo M.A., Ramírez-Martínez, D. How Does a P System Sound? In Eighth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, A. Riscos-Núñez (eds.) Fénix Editora 2010, ISBN 978-84-614-2357-6 pp.: 123 - 132
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Membrane Computing Meets Artificial Intelligence: A Case Study In Eighth Brainstorming Week on Membrane Computing M.A. Martínez-del-Amor, Gh. Paun, I. Pérez-Hurtado, A. Riscos-Núñez (eds.) Fénix Editora 2010, ISBN 978-84-614-2357-6 pp.: 133 - 143
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. A Linear Time Solution to the Partition Problem in a Cellular Tissue-like Model Journal of Computational and Theoretical Nanoscience Volume 7, Number 5, (2010) American Scientific Publishers ISSN: 1936-6612 pp.: 884-889.
Díaz Pernil, D., Graciani, C., Gutiérrez Naranjo M.A., Pérez-Hurtado, I., Pérez Jiménez M.J. Software for P systems. In Gh. Paun, G. Rozenberg, A. Salomaa (eds.) The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (U.K.), 2009, Chapter 17 pp.: 437-454.
Busi, N., Gutiérrez-Naranjo, M.A., Pérez Jiménez M.J. Efficient Computation in Rational-Valued P Systems Mathematical Structures in Computer Science 19, (2009) Cambridge University Press ISSN: 0960-1295 pp.: 1125-1139.
Gutiérrez Naranjo M.A, Pérez Jiménez M.J. Searching Previous Configurations in Membrane Computing In Membrane Computing WMC 2009 Lecture Notes in Computer Science, 5957 (2010) pp.: 301-315.
Gutiérrez Naranjo M.A, Pérez Jiménez M.J. Searching Previous Configurations in Membrane Computing In Tenth Workshop on Membrane Computing WMC10 Gh. Paun, M.J Pérez Jiménez and A. Riscos Núñez (eds). RGNC Report 3/2009 pp.: 282-297.
Díaz Pernil, D., Gallego-Ortiz, P., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. Descriptional Complexity of Tissue-like P Systems with Cell Division In Unconventional Computation UC 2009. C.S. Calude, J.F. Costa, N. Dershowitz, E. Freire and G. Rozenberg (eds.) Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 5715 pp.:168-178.
Graciani Díaz, C., Gutiérrez Naranjo M.A., Pérez Jiménez M.J. An Approach to Ballistic Deposition Based on Membrane Computing International Journal of Unconventional Computation Volume 5, Number 5, 2009 Old City Publishing ISSN: 1548-7199 pp.:427-439.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero Campero F.J. "On the Efficiency of Cell-like and Tissue-like Recognizer Membrane Systems" International Journal of Intelligent Systems. Vol. 24 (2009) Wiley Periodicals ISSN 0884-8173 pp.: 747-765
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. Solving the Independent Set Problem by Using Tissue-like P Systems with Cell Division In Methods and Models in Artificial and Natural Computation IWINAC 2009 . J. Mira et al. (eds.) Lecture Notes in Computer Science, Springer Verlag, Berlin-Heidelberg, 5601 (2009) pp.:213-222.
Gutiérrez Naranjo M.A., Leporati, A. First Steps Towards a CPU Made of Spiking Neural P Systems International Journal of Computers, Communications and Control Vol. IV (2009) No.3 CCC Publications - ISSN 1841-9836 pp. 244-252
Seventh Brainstorming Week on Membrane Computing. Vol I R. Gutiérrez-Escudero, M.A. Gutiérrez-Naranjo, Gh. Paun, Ignacio Pérez-Hurtado, A. Riscos Núñez, (eds.) Fénix Editora 2009, ISBN 978-84-613-2837-6
Gutiérrez Naranjo M.A., Leporati, A. Performing Arithmetic Operations with Spiking Neural P Systems In Seventh Brainstorming Week on Membrane Computing. Vol I R. Gutiérrez-Escudero, M.A. Gutiérrez-Naranjo, Gh. Paun, Ignacio Pérez-Hurtado, A. Riscos Núñez, (eds.) Fénix Editora 2009, ISBN 978-84-613-2837-6 pp.:181-198.
Gutiérrez Naranjo M.A, Pérez Jiménez M.J. Computing Backwards with P systems In Seventh Brainstorming Week on Membrane Computing. Vol I R. Gutiérrez-Escudero, M.A. Gutiérrez-Naranjo, Gh. Paun, Ignacio Pérez-Hurtado, A. Riscos Núñez, (eds.) Fénix Editora 2009, ISBN 978-84-613-2837-6 pp.:211-226.
Gutiérrez Naranjo M.A, Martínez del Amor, M.A. Pérez Hurtado I., Pérez Jiménez M.J. Solving the N-Queens Puzzle with P Systems In Seventh Brainstorming Week on Membrane Computing. Vol I R. Gutiérrez-Escudero, M.A. Gutiérrez-Naranjo, Gh. Paun, Ignacio Pérez-Hurtado, A. Riscos Núñez, (eds.) Fénix Editora 2009, ISBN 978-84-613-2837-6 pp.:199-210.
Díaz Pernil, D., Gallego-Ortiz, P., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. Cell-like versus Tissue-like P Systems by means of Sevilla Carpets In Seventh Brainstorming Week on Membrane Computing. Vol I R. Gutiérrez-Escudero, M.A. Gutiérrez-Naranjo, Gh. Paun, Ignacio Pérez-Hurtado, A. Riscos Núñez, (eds.) Fénix Editora 2009, ISBN 978-84-613-2837-6 pp.:109-121.
Gutiérrez-Naranjo, M.A., Pérez Jiménez M.J. Hebbian Learning from Spiking Neural P Systems View In Membrane Computing, 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers. D. Corne et al. (eds) Lecture Notes in Computer Science, Springer-Verlag, Berlin-Heidelberg, 5391 (2009) pp.: 217-230.
Leporati A., Gutiérrez Naranjo M.A. Solving Subset Sum by Spiking Neural P Systems with Pre-computed Resources Fundamenta Informaticae 87, 1 (2008) IOS Press ISSN: 0169-2968 pp.: 61 - 77.
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "A Fast Solution to the Partition Problem by Using Tissue-like P Systems" Third International Conference on Bio-Inspired Computing: Theories and Applications. BIC-TA 2008 Adelaide, Australia. 28 September - 1 October, 2008. D. Kearney, V. Nguyen, G. Gioiosa, T. Hendtlass (Eds.) University of South Australia IEEE Catalog Number CFP0801F-PRT ISBN 978-1-4244-2724-6 pp.: 43 - 47.
Rivero-Gil, E., Gutiérrez-Naranjo, M.A., Romero-Jiménez, A., Riscos-Núñez, A. A Software Tool for Generating Graphics by Means of P Systems International Workshop on Computing with Biomolecules August 27th, 2008 Vienna, Austria E. Csuhaj-Varjú, R. Freund, M. Oswald and K. Salomaa (Eds.) Osterreichische Computer Gesellschaft ISBN: 978-3-85403-244-1 pp.:87-100.
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "A uniform family of tissue P system with cell division solving 3-COL in a linear time" Theoretical Computer Science, 404 Elsevier, B.V. ISSN 1571-0661 pp.:76-87 DOI:doi:10.1016/j.tcs.2008.04.005
Gutiérrez-Naranjo, M.A., Pérez Jiménez M.J., Ramírez-Martínez, D., A Software Tool for Verification of Spiking Neural P Systems Natural Computing, 7(4), Springer ISSN: 1567-7818, 2008 pp.: 485-497. DOI:10.1007/s11047-008-9083-y
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. A Spiking Neural P System Based Model for Hebbian Learning Ninth Workshop on Membrane Computing Edinburgh, Julu 28 - July 31, 2008. P. Frisco, D.W. Corne, Gh. Paun (Eds.) Techinical report HW-MACS-TR-0061 at School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK, July 2008. pp.: 189 - 207.
Gálvez-Santisteban, M.A., Gutiérrez Naranjo M.A, Ramírez-Martínez, D., Rivero-Gil, E. Testing Einstein's Formula on Brownian Motion Using Membrane Computing In Sixth Brainstorming Week on Membrane Computing D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez Naranjo, Gh. Paun, I, Pérez-Hurtado, A. Riscos Núñez (eds.) Fénix Editora, 2008, ISBN: 978-84-612-4429-4 pp.: 171-182
Rivero-Gil, E., Gutiérrez Naranjo M.A., Pérez Jiménez M.J Graphics and P Systems: Experiments with JPLANT In Sixth Brainstorming Week on Membrane Computing D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez Naranjo, Gh. Paun, I, Pérez-Hurtado, A. Riscos Núñez (eds.) Fénix Editora, 2008, ISBN: 978-84-612-4429-4 pp.: 241-253
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. Solving the Partition Problem by Using Tissue-like P Systems with Cell Division In Sixth Brainstorming Week on Membrane Computing D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez Naranjo, Gh. Paun, I, Pérez-Hurtado, A. Riscos Núñez (eds.) Fénix Editora, 2008, ISBN: 978-84-612-4429-4 pp.: 124-134
Gutiérrez-Naranjo, M.A., Pérez Jiménez M.J. A First Model for Hebbian Learning with Spiking Neural P Systems In Sixth Brainstorming Week on Membrane Computing D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez Naranjo, Gh. Paun, I, Pérez-Hurtado, A. Riscos Núñez (eds.) Fénix Editora, 2008, ISBN: 978-84-612-4429-4 pp.: 211-233
Gutiérrez-Naranjo, M.A., Leporati, A. Solving Numerical NP-complete Problems by Spiking Neural P Systems with Pre-computed Resources In Sixth Brainstorming Week on Membrane Computing D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez Naranjo, Gh. Paun, I, Pérez-Hurtado, A. Riscos Núñez (eds.) Fénix Editora, 2008, ISBN: 978-84-612-4429-4 pp.: 193-210
D. Díaz-Pernil, C. Graciani, M.A. Gutiérrez Naranjo, Gh. Paun, I, Pérez-Hurtado, A. Riscos Núñez (eds.) Sixth Brainstorming Week on Membrane Computing Fénix Editora, 2008, ISBN: 978-84-612-4429-4
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. Multi-dimensional Descriptional Complexity of P Systems Journal of Automata, Languages and Combinatorics 12,1/2, (2007) pp.: 167--179 ISSN 1430-189X
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "A cellular solution to Subset Sum using division of non-elementary membranes and dissolution, with time and initial resources bounded by log k" In Proceedings of the Eighth Workshop on Membrane Computing G. Eleftherakis, P. Kefalas, Gh. Paun (eds.) South-East European Research Centre, 2007, ISBN 978-960-89629-2-7 pp.: 301 -- 315
Fifth Brainstorming Week on Membrane Computing M.A. Gutiérrez Naranjo, Gh. Paun, A. Romero Jiménez, A. Riscos Núñez (eds.) Fénix Editora, 2007, ISBN 978-84-611-6776-0
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "A Linear Solution for Subset Sum Problem with Tissue P Systems with Cell Division" In Fifth Brainstorming Week on Membrane Computing M.A. Gutiérrez Naranjo, Gh. Paun, A. Romero Jiménez, A. Riscos Núñez (eds.) Fénix Editora, 2007, ISBN 978-84-611-6776-0 pp.: 113 -- 130
Graciani-Díaz, C., Gutiérrez Naranjo M.A., Pérez Jiménez M.J. "A Membrane Computing Model for Ballistic Depositions" In Fifth Brainstorming Week on Membrane Computing M.A. Gutiérrez Naranjo, Gh. Paun, A. Romero Jiménez, A. Riscos Núñez (eds.) Fénix Editora, 2007, ISBN 978-84-611-6776-0 pp.: 179 -- 197
Ramírez-Martínez, D., Gutiérrez-Naranjo, M.A. "A Software Tool for Dealing with Spiking Neural P Systems" In Fifth Brainstorming Week on Membrane Computing M.A. Gutiérrez Naranjo, Gh. Paun, A. Romero Jiménez, A. Riscos Núñez (eds.) Fénix Editora, 2007, ISBN 978-84-611-6776-0 pp.: 299 -- 313
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division" In Bio-inspired Modeling of cognitive tasks. J. Mira and J.R. Alvarez (eds.). Lecture Notes in Computer Science, Springer-Verlag, Berlin-Heidelberg, 4527 (2007), pp.: 170-179.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero Campero F.J. "How to Express Tumours Using Membrane Systems" Progress in Natural Science 17(4) (2007) Taylor & Francis, ISSN: 1002-0071 pp.:449 -- 457.
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "A linear-time tissue P system based solution for the 3-coloring problem" Electronic Notes in Theoretical Computer Science, 171 (2) Elsevier B.V. ISSN 1571-0661 pp.: 81-93
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "On the Degree of Parallelism in Membrane Systems" Theoretical Computer Science Volume 372 (2-3) ISSN 0304-3975 pp.: 183-195
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Romero-Campero F.J. "A uniform solution to SAT using membrane creation" Theoretical Computer Science . Volume 371 (1-2) ISSN 0304-3975 pp.: 54-61
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "A logarithmic bound for solving Subset Sum with P Systems" In G. Elefterakis, P. Kefalas, Gh. Paun, G. Rozenberg, A. Salomaa (eds.) Membrane Computing, 8th International Workshop, WMC 2007 Tessaloniki, Greece, June 2007 LNCS 4860, ISSN 0302-9743, Springer pp.: 257-270.
Busi, N., Gutiérrez Naranjo M.A. "A Case Study in (Mem)Brane Computation: Generating {n2|n &ge 1}" In H.J. Hoogeboon, Gh. Paun, G. Rozenberg, A. Salomaa (eds.) Membrane Computing, Seventh International Workshop. WMC 2006 Leiden (The Netherlands), July 2006 LNCS 4361, ISSN 0302-9743, Springer pp.: 233-249.
Romero Jiménez, A., Gutiérrez Naranjo, M.A., Pérez-Jiménez, M.J. "Graphical Modelling of Higher Plants Using P Systems" In H.J. Hoogeboon, Gh. Paun, G. Rozenberg, A. Salomaa (eds.) Membrane Computing, Seventh International Workshop. WMC 2006 Leiden (The Netherlands), July 2006 LNCS 4361, ISSN 0302-9743 Springer pp.: 496-506.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero Campero F.J. "Computational efficiency of dissolution rules in membrane systems" . International Journal of Computer Mathematics. Vol. 83, Number 7, July 2006 Taylor an Francis Ltd, Abingdon, Oxon, UK ISSN 0020-7160 pp.: 593 - 611.
Busi, N., Gutiérrez Naranjo M.A. "Some Notes on (Mem)Brane Computation" PPSN IX - Parallel Problem Solving from Nature Thomas Philip Runarsson Hans-Georg Beyer Edmund Burke Juan J. Merelo-Guervós L. Darrell Whitley XinYao (Eds.) Springer LNCS 4193, ISSN 0302-9743 pp: 262 - 271.
Busi, N., Gutiérrez Naranjo M.A. "A Case Study in (Mem)Brane Computation: Generating {n2|n &ge 1}" In H.J. Hoogeboon, Gh. Paun, G. Rozenberg (eds.) Pre-proceedings of the Seventh Workshop on Membrane Computing Leiden (The Netherlands), July 17-21, 2006 pp.: 196 - 212.
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "An Efficient Solution to 3-COL with Tissue P Systems" Pre-proceedings of the MeCBIC2006 Workshop on Membrane Computing and Biologically Inspired Process Calculi (Satellite of the 33rd International Colloquium on Automata, Languages and Programming, ICALP 2006), Venice, Italy, July 9, 2006, pp. 1-12.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero Campero F.J. "A Membrane Computing View on Tumours" In L.Pan, Gh. Paun (eds.) Pre-proceedings of the First International Conference on Bio-Inspired Computing: Theory and Applications (BIC-TA) September 18-22, 2006, Wuhan, China. pp.: 103 - 112.
Romero Jiménez, A., Gutiérrez Naranjo, M.A., Pérez-Jiménez, M.J. "Graphical Modelling of Higher Plants Using P Systems" In H.J. Hoogeboon, Gh. Paun, G. Rozenberg (eds.) Pre-proceedings of the Seventh Workshop on Membrane Computing Leiden (The Netherlands), July 17-21, 2006 pp.: 455-473.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero Campero F.J. "Cell-like and Tissue-like Membrane Systems as Recognizer Devices" In David Alejandro Pelta and Natalio Krasnogor (eds.) Proceedings of the Workshop on Nature Inspired Cooperative Strategies for Optimization - NICSO 2006 Granada, June 29-30 2006 ISBN 84-689-9323-9 pp.: 173--186.
Fourth Brainstorming Week on Membrane Computing Vol I. M.A. Gutiérrez Naranjo, Gh. Paun, A. Riscos Núñez, F.J. Romero-Campero (eds.) Fénix Editora, 2006, ISBN 84-611-0520-6
Busi, N., Gutiérrez Naranjo M.A. "A Case Study in (Mem)Brane Computation: Generating {n2|n &ge 1}" In M.A. Gutiérrez Naranjo, Gh. Paun, A. Riscos Núñez, F.J. Romero-Campero (eds.) Fourth Brainstorming Week on Membrane Computing Vol I. Fénix Editora, 2006, ISBN 84-611-0520-6 pp.: 81--97.
Díaz Pernil, D., Gutiérrez Naranjo M.A., Pérez Jiménez M.J. "Solving 3-COL with Tissue P Systems" In C. Graciani Díaz, Gh. Paun, A. Romero-Jiménez, Fernando Sancho-Caparrini (eds.) Fourth Brainstorming Week on Membrane Computing Vol II. Fénix Editora, 2006, ISBN 84-611-0519-2 pp.: 17--29.
Gutiérrez Naranjo, M.A., Pérez-Jiménez, M.J. "Fractals and P Systems" In C. Graciani Díaz, Gh. Paun, A. Romero-Jiménez, Fernando Sancho-Caparrini (eds.) Fourth Brainstorming Week on Membrane Computing Vol II. Fénix Editora, 2006, ISBN 84-611-0519-2 pp.: 65--86.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "An Approach to the Degree of Parallelism in P Systems" In C. Graciani Díaz, Gh. Paun, A. Romero-Jiménez, Fernando Sancho-Caparrini (eds.) Fourth Brainstorming Week on Membrane Computing Vol II. Fénix Editora, 2006, ISBN 84-611-0519-2 pp.: 87--104.
Romero Jiménez, A., Gutiérrez Naranjo, M.A., Pérez-Jiménez, M.J. "The Growth of Branching Structures with P Systems" In C. Graciani Díaz, Gh. Paun, A. Romero-Jiménez, Fernando Sancho-Caparrini (eds.) Fourth Brainstorming Week on Membrane Computing Vol II. Fénix Editora, 2006, ISBN 84-611-0519-2 pp.: 253--265.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "Available membrane computing software" In G. Ciobanu, Gh. Paun, M.J. Pérez (eds.) Applications of Membrane Computing, Natural Computing Series, Springer-Verlag, 2006, Chapter 15, 411-438.
Leporati, A., Zandron C., Gutiérrez Naranjo M.A. "P Systems with Input in Binary Form" International Journal of Foundations of Computer Science Vol 17. No. 1 (2006) ISSN 0129-0541 World Scientific Publishing Company. pp.: 127-146
Gutiérrez Naranjo, M.A., Pérez-Jiménez, M.J. , Riscos Núñez A. , Romero-Campero F.J. "On the power of dissolution in P systems with active membranes". In R. Freund, Gh. Paun, Gr. Rozenberg, A. Salomaa (eds.) Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science, Springer-Verlag, Berlín-Heidelberg, 3850 (2006), 224-240.
Gutiérrez Naranjo, M.A., Pérez Jiménez M.J. , Romero Campero F.J. A linear solution for QSAT with membrane creation. In R. Freund, Gh. Paun, Gr. Rozenberg, A. Salomaa (eds.) Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science, Springer-Verlag, Berlín-Heidelberg, 3850 (2006), 241-252.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero-Campero F.J. "Characterizing Tractability by Cell-like Membrane Systems" In K.G. Subramanian, K. Rangarajan, M. Mukund (eds.) Formal models, languages and applications, World Scientific, Series in Machine Perception and Artificial Intelligence - Vol 66, 2006. ISBN 981-256-889-1 pp.: 137 - 154.
Gutiérrez Naranjo, M.A., Pérez-Jiménez, M.J. , Riscos Núñez A. , Romero-Campero F.J. "Characterizing Tractability with Membrane Creation" SYNASC 2005 - 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Daniela Zaharie et al. (Eds.) IEEE Computer Society ISBN 0-7695-2453-2 pp.: 448-457
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Riscos Nuñez A. "On Descriptive Complexity of P Systems" Membrane Computing. Fifth International Workshop, WMC5 2004. G. Mauri, Gh. Paun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa (Eds.) Springer LNCS 3365, ISSN 0302-9743 pp: 320 - 330.
Cordón Franco, A., Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Riscos Nuñez A. "Exploring Computation Trees Associated with P Systems" Membrane Computing. Fifth International Workshop, WMC5 2004. G. Mauri, Gh. Paun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa (Eds.) Springer LNCS 3365, ISSN 0302-9743 pp: 278 - 286.
Cordón Franco, A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Nuñez A. "Cellular Solutions of Some Numerical NP-Complete Problems: A Prolog Implementation" Chapter of the book "Molecular Computational Models: Unconventional Approaches" M.Gheorge (Ed.), Idea Group, Inc. ISBN 1-59140-333-2. pp.: 115-149
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Riscos Nuñez A. " A Fast P System for Finding Balanced 2-partition" Soft Computing , 9(9), 2005 ISSN 1432-7643 Springer-Velag Heidelberg pp.:673-678
Gutiérrez Naranjo, M.A., Pérez Jiménez M.J., Romero-Campero F.J. "Solving SAT with Membrane Creation" CiE 2005: New Computational Paradigms. S. Barry Cooper, Benedikt Lowe, Leen Torenvliet (Eds.) ILLC Scientific Publications X-2005-01. Institute for Logic, Language and Computation (ILLC). Univertity of Amsterdam. pp.:82-91.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Romero-Campero F.J. "A linear solution of Subset Sum Problem by using Membrane Creation" Mechanisms, Symbols and Models Underlying Cognition: First International Work-Conference on the Interplay between Natural and Artificial Computation. IWINAC 2005. Las Palmas de Gran Canaria, Islas Canarias (Spain), June 15-18, 2005. José Mira, José R. Álvarez (Eds.) ISSN: 0302-9743 LNCS 3561 pp.: 258-267.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Riscos Nuñez A. " Towards a Programming Language in Cellular Computing" Proceedings of the 11th Workshop on Logic, Language, Information and Computation (Wollic 2004) R. de Queiroz and P. Cégielski, eds. Electronic Notes in Theoretical Computer Science Elsevier. ISSN: 1571-0661. Volume 123, 1 March 2005. pp: 93 -110.
Gutiérrez Naranjo M.A., Leporati, A. and Zandron, C. "Converting Integer Numbers from Binary to Unary Notation with P Systems" (Abstract) In M.A. Gutiérrez-Naranjo, Gh. Paun, M.J. Pérez-Jiménez (eds.) Cellular Computing (Complexity Aspects). ESF PESC Exploratory Workshop, Sevilla, January 31-February 2, 2005. Fénix Editora, Sevilla, 2005 ISBN 84-609-5338-6 pp.: 201-207.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. "P systems with membrane creation and rule input" (Abstract) In M.A. Gutiérrez-Naranjo, Gh. Paun, M.J. Pérez-Jiménez (eds.) Cellular Computing (Complexity Aspects). ESF PESC Exploratory Workshop, Sevilla, January 31-February 2, 2005. Fénix Editora, Sevilla, 2005 ISBN 84-609-5338-6 pp.: 209-224.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "Multidimensional Sevilla Carpets associated with P systems." (Abstract) In M.A. Gutiérrez-Naranjo, Gh. Paun, M.J. Pérez-Jiménez (eds.) Cellular Computing (Complexity Aspects). ESF PESC Exploratory Workshop, Sevilla, January 31-February 2, 2005. Fénix Editora, Sevilla, 2005 ISBN 84-609-5338-6 pp.: 225-235.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "A Simulator for Confluent P Systems" In M.A. Gutiérrez-Naranjo, A. Riscos Núñez, F.J. Romero-Campero, D. Sburlan (eds.) Third Brainstorming Week on Membrane Computing. RGCN Report 01/2005 Fénix Editora, Sevilla (Spain), 2005 ISBN 84-609-6771-9 pp.: 169-184 .
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Romero-Campero F.J. "Simulating Avascular Tumours with Membrane Systems" In M.A. Gutiérrez-Naranjo, A. Riscos Núñez, F.J. Romero-Campero, D. Sburlan (eds.) Third Brainstorming Week on Membrane Computing. RGCN Report 01/2005 Fénix Editora, Sevilla (Spain), 2005 ISBN 84-609-6771-9 pp.: 185-195.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. "Multidimensional Descriptional Complexity of P Systems" Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems June 30 - July 2, 2005, Como, Italy. C. Mereghetti, B. Palano, G. Pighizzini, D. Wotschke (Eds.) pp.: 134-145
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A. Romero-Campero F.J. "P systems with Active Membranes, without Polarizations and with Dissolution: A Characterization of P" Unconventional Computation Fourth International Conference, UC 2005 LNCS 3699, Springer, ISSN 0302-9743 pp.: 105-116
Third Brainstorming Week on Membrane Computing. RGCN Report 01/2005 M.A. Gutiérrez-Naranjo, A. Riscos Núñez, F.J. Romero-Campero, D. Sburlan (eds.) Fénix Editora, Sevilla (Spain), 2005 ISBN 84-609-6771-9 Title, Preface and Contents, Cover.
Cellular Computing (Complexity Aspects) ESF PESC Exploratory Workshop, Sevilla, January 31-February 2, 2005. M.A. Gutiérrez-Naranjo, Gh. Paun, M.J. Pérez-Jiménez (eds.) Fénix Editora, Sevilla, 2005 ISBN 84-609-5338-6 Title, Preface and Contents, Cover.
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero-Campero F.J. "On the Power of Dissolution in P Systems with Active Membranes" Pre-proceedings of the 6th International Workshop on Membrane Computing Vienna, July 18-21, 2005. R. Freund, G. Lojka, M. Oswald, G. Paun (Eds.) pp.: 373-394
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Romero-Campero F.J. "A Linear Solution for QSAT with Membrane Creation" Pre-proceedings of the 6th International Workshop on Membrane Computing Vienna, July 18-21, 2005. R. Freund, G. Lojka, M. Oswald, G. Paun (Eds.) pp.: 395-409
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Núñez A., Romero-Campero F.J. "Characterizing Tractability with Membrane Creation" TAPS'05 Workshop on Theory and Applications of P Systems G. Ciobany Gh. Paun, eds. September 26 - 27, 2005. Timisoara, Romania pp.:61-68
Cordón Franco, A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Sancho Caparrini, F. "A Prolog Simulator for Deterministic P Systems with Active Membranes" New Generation Computing. Vol. 22 No. 4. (2004) Ohmsha Springer pp.:349-363
Cordón Franco, A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Nuñez A., Sancho Caparrini, F. "Implementing in Prolog an effective cellular solution to the knapsack problem" Workshop on Membrane Computing WMC 2003. C. Martín-Vide, Gh. Paun, G. Rozenberg and A. Salomaa (eds). Springer LNCS 2933, ISSN 0302-9743 pp: 140 - 152
Cordón Franco, A. Gutiérrez Naranjo M.A., Pérez Jiménez, M.J. "Looking for P Truth" Abstract Second Brainstorming Week on Membrane Computing. Gh. Paun, A. Riscos-Nuñez, A. Romero-Jiménez, F. Sancho-Caparrini (Eds.) Report RGCN 01/04 Sevilla, Spain. ISBN 84-688-6101-4 pp: 134 - 138
Cordón Franco, A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Nuñez A. "Weak Metrics on Configurations of a P System" Abstract Second Brainstorming Week on Membrane Computing. Gh. Paun, A. Riscos-Nuñez, A. Romero-Jiménez, F. Sancho-Caparrini (Eds.) Report RGCN 01/04 Sevilla, Spain. ISBN 84-688-6101-4 pp: 139 - 151
Riscos Nuñez A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J. "An Efficient Cellular Solution for the Partition Problem" Abstract Second Brainstorming Week on Membrane Computing. Gh. Paun, A. Riscos-Nuñez, A. Romero-Jiménez, F. Sancho-Caparrini (Eds.) Report RGCN 01/04 Sevilla, Spain. ISBN 84-688-6101-4 pp: 237 - 246
Riscos Nuñez A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J. "Towards a Programming Language in Cellular Computing" Abstract Second Brainstorming Week on Membrane Computing. Gh. Paun, A. Riscos-Nuñez, A. Romero-Jiménez, F. Sancho-Caparrini (Eds.) Report RGCN 01/04 Sevilla, Spain. ISBN 84-688-6101-4 pp: 247 - 257
Rogozhin, V. and Gutiérrez-Naranjo, M.A. "Deductive Databases and P Systems" Abstract Second Brainstorming Week on Membrane Computing. Gh. Paun, A. Riscos-Nuñez, A. Romero-Jiménez, F. Sancho-Caparrini (Eds.) Report RGCN 01/04 Sevilla, Spain. ISBN 84-688-6101-4 pp: 258 - 263
Cordón Franco, A., Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Riscos Nuñez A. "Exploring Computation Trees Associated with P Systems" Pre-proceedings of Fifth Workshop on Membrane Computing (WMC5). G. Mauri, Gh. Paun, C. Zandron, Eds. MolCoNet project - IST-2001-32008 pp: 196 - 204
Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Riscos Nuñez A. "On Descriptive Complexity of P Systems" Pre-proceedings of Fifth Workshop on Membrane Computing (WMC5). G. Mauri, Gh. Paun, C. Zandron, Eds. MolCoNet project - IST-2001-32008 pp: 245 - 255
Cordón Franco, A., Gutiérrez Naranjo M.A., Pérez Jiménez M.J. Riscos Nuñez A. "Towards an Efficient Strategy for Searching in P Systems" 16th European Conference on Artificial Intelligence - ECAI 2004 Workshop on Symbolic Networks José M. Sempere and Damiá López (Eds.) pp.: 15-25.
Rogozhin, V. and Gutiérrez-Naranjo, M.A. "Deductive Databases and P Systems" Computer Science Journal of Moldova 12(1) 2004, ISSN 1561-4042 pp.:80-88
Gutiérrez Naranjo, Miguel A. y Hitzler, Pascal "ILP Operators for Propositional Connectionist Networks" Proceedings of the 17th Workshop Logische Programmierung TU Dresden, December 11-13, 2002. Ed. B. Fronhofer and S. Holldobler. ISSN 1430-211X pp.:103-108
Gutiérrez Naranjo, Miguel A., Alonso Jiménez J.A y Borrego Díaz, J. "Generalizing Logic Programs via Subsumption" (Extended Abstract). Cast and Tools for Complexity in Biological, Physical and Engineering Systems Extended Abstracts EUROCAST 2003 pp.: 185-188 Edited by R. Moreno-Díaz jr. A. Quesada-Arencibia and J.C. Rodríguez Rodríguez. ISBN 84-688-0820-2
Cordón Franco, A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Sancho Caparrini, F. "A Prolog Simulator for Deterministic P Systems with Active Membranes" in Papers of the Brainstorming Meeting on Membrane Computing in Tarragona, February 2003. Technical Report No.26 of the Rovira i Virgili University. M. Cavaliere, C. Martín-Vide, Gheorghe Paun (Eds.) pp.:141-154
Alonso Jiménez J.A., Borrego Díaz, J., Chávez González A.M., Gutiérrez Naranjo, M. A.,Navarro Marín, J.D. "Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases" Developments in Applied Artificial Intelligence 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Loughborough, UK, June 23-26, 2003. Proceedings pp: 789--798 Springer LNAI 2718. ISBN 3-540-40455-4. ISSN 0302-9743.
Cordón Franco, A. Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Nuñez A., Sancho Caparrini, F. "Implementing in Prolog an effective cellular solution to the knapsack problem" Preproceedings of the Workshop on Membrane Computing; Tarragona, July 17-22 2003 Artiom Alhazov, Carlos Martín-Vide and Gheorghe Paun (Editors). pp: 185-196
Gutiérrez Naranjo, Miguel A., Alonso Jiménez J.A y Borrego Díaz, J. "Generalizing Programs via Subsumption". Computer Aided Systems Theory - EUROCAST 2003. Edited by R. Moreno-Díaz and F. Pichler pp.: 115-126 Springer LNCS 2809. ISBN 3-540-20221-8. ISSN 0302-9743
Gutiérrez Naranjo M.A., Pérez Jiménez M.J., Riscos Nuñez A. "Solving numerical NP-complete problems using P systems with active membranes: the Partition problem and beyond" 2nd Annual MolCoNet Meeting. pp.: 1-5 Vienna University of Technology. November 27-29, 2003. Wien, Austria
Gutiérrez Naranjo, M. A. Operadores de generalización para el aprendizaje clausal Tesis doctoral Septiembre, 2002p
J.A. Alonso, J. Borrego, A. Chávez, M.A. Gutiérrez y J.D. Navarro "A methodology for the computer-aided cleaning of complex knowledge databases" The 28th Annual Conference of the IEEE Industrial Electronics Society. Seville 2002. ISBN: 0-7803-7474-6
Gutiérrez Naranjo, Miguel A., Alonso Jiménez J.A y Borrego Díaz, J. "A quasi metric for Machine Learning"Advances in Artificial Intelligence - IBERAMIA 2002 pp: 193--203 Springer LNAI 2527. ISSN 0302-9743
J.A. Alonso Jiménez, J. Borrego Díaz, A. Chávez González, M.A. Gutiérrez Naranjo y J.D. Navarro Marín "Towards a practical argumentative reasoning with qualitative spatial databases" I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial, IDEIA 2002 pp.: 111-120 November 2002. Seville, Spain
Gutiérrez Naranjo, Miguel A., Alonso Jiménez J.A y Borrego Díaz, J. "A topological study of the upward refinement operators in ILP". Inductive Logic Programming 10th International Conference, ILP 2000, London, UK, July 2000 Work-in-Progress Reports James Cussens and Alan Frisch (Eds.) pp.: 120-137
Gutiérrez Naranjo, Miguel A., Alonso Jiménez J.A y Borrego Díaz, J. "Proximidad entre cláusulas en Programación Lógica Inductiva". Actas del Encuentro de Matemáticos Andaluces. pp.:33--40 ISBN 84-472-0639-4
Gutiérrez Naranjo, Miguel A., Alonso Jiménez J.A y Borrego Díaz, J. "Una quasi-métrica basada en subsunción" Actas de las IV Jornadas Científicas en Tecnologías de la Información Ed. Esther Gadechi Díaz y Diego Gómez Vela. CA - 883/2000. pp.:260-267
Mateos Párraga, L., Marín Fernández, A., Gutiérrez Naranjo, M. A., Rodríguez Corral, J.M. "Una aplicación de la Programación Lógica Inductiva a las Ciencias Sociales en Andalucía" Actas de las IV Jornadas Científicas en Tecnologías de la Información Ed. Esther Gadechi Díaz y Diego Gómez Vela. CA - 883/2000 pp.:252-259
Gutiérrez Naranjo, Miguel A. y Rodríguez Corral, José M. "La invención de predicados en Programación Lógica Inductiva" Actas de las III Jornadas Científicas Andaluzas en Tecnología de la Información. Diego Gómez Vela y Esther Gadeschi Díaz (Ed.) CA-345/1998 -- ISBN 84-89867-11-9 pp.: 313-320
Gutiérrez Naranjo, Miguel A.** "The immediate consequence operator and Robinson s operator"** Proceedings of the APPIA-GULP-PRODE'98 Joint Conference on Declarative Programming Ed. Freire-Nistal, Falaschi, Vilares-Ferro pp.: 357-363
Gutiérrez Naranjo, Miguel A. "Programación lógica inductiva: algunos ejemplos con CIGOL" Actas de las II Jornadas Científicas en Tecnología de la Información. Ed. Depto. de Lenguajes y Sistemas Informáticos. Universidad de Cádiz. CA-217-96 pp.: 79-88
Gutiérrez Naranjo, Miguel A. "Aplicaciones de la Programación Lógica Inductiva al estudio de la sintaxis" Actas del XI Congreso de Lenguajes Naturales y Lenguajes Formales Carlos Martín Vide, Ed. pp.:413-420 ISBN 84-477-0501-3

Capacidad Formativa

Junto a las labores de docencia habituales que los distintos miembros del grupo realizan en sus respectivas universidades, aquí queremos destacar la parte de docencia más relacionada con el inicio y desarrollo de la investigación de los alumnos: Trabajos Fin de Grado, Trabajos Fin de Máster, y Tesis Doctorales dirigidas.

Debido a que la lista de TFGs y TFMs es muy extensa, indicamos aquí únicamente las Tesis Doctorales dirigidas por los miembros del grupo, el resto de trabajos dirigidos pueden consultarse en las páginas personales de los distintos miembros del equipo.

Tesis Doctorales Dirigidas

Computational Topology on Neural Networks: From the data to the model , de Eduardo Paluzo Hidalgo. 2021.
Modelado de Sistemas Dinámicos con Machine Learning: Aplicaciones al Mantenimiento Basado en la Condición, de Diego Cabrera Mendieta. 2018. Premio extraordinario de Doctorado.
Descubrimiento de Conocimiento en Grafos Multi-Relacionales, de Pedro Almagro Blanco. 2017
Semilinear Order Property and Infinite games, de Manuel José Simoes Loureiro. 2016.
Aplicaciones de la racionalidad acotada al razonamiento cualitativo sobre sistemas complejos Juan Galán Páez, Septiembre 2014.
Formalización en Isar de la metalógica de primer orden Tesis doctoral de Fabián Fernando Serrano Suárez. Universidad de Sevilla, Junio de 2012.
Tratamiento de la semantica emergente mediante sistemas de agentes basados en conocimiento Gonzalo A. Aranda Corral, Septiembre de 2011.
Técnicas de depuración e integración de ontologías en el ámbito empresarial. Tesis doctoral de Antonio Paredes Moreno. Universidad de Sevilla, 2008.
Razonamiento Mereotopológico Automatizado para la Depuración de Ontologías Antonia M. Chávez González, Junio 2005.
Teoría computacional (en PVS) de la programación lógica y del análisis formal de conceptos. de María José Hidalgo Doblado. Universidad de Sevilla, 2004.
Programación celular: resolución eficiente de problemas numéricos NP-completos, de Agustín Riscos Núñez. 2004.
Verificación formal en ACL2 del algoritmo de Buchberger Tesis doctoral de Inmaculada Medina Bulo. Universidad de Sevilla, 2003.
Especificación y Verificación de Programas Moleculares en PVS, de Carmen Graciani Díaz. 2003
Teoría computacional (en ACL2) sobre cálculos proposicionales Tesis doctoral de Francisco J. Martín Mateos. Universidad de Sevilla, 2002.
Operadores de generalización para el aprendizaje clausal. Tesis doctoral de Miguel A. Gutiérrez Naranjo. Universidad de Sevilla, 2002.
Una teoría computacional acerca de la lógica ecuacional (formalización n ACL2 de la lógica ecuacional y demostración automática de sus propiedades). Tesis doctoral de José L. Ruiz Reina. Universidad de Sevilla, 2001.

Contacto

La mayoría de los miembros del grupo pertenecen al Dpto. de Ciencias de la Computación e Inteligencia Artificial de la Universidad de Sevilla, que tiene su centro en la Escuela Superior de Ingeniería Informática (Avda. Reina Mercedes s/n), repartidos entre los módulos E y H, planta 1ª.

Sec. Dpto: (034)-954 55 65 80
fsancho (en) us (.) es

LÓGICA, COMPUTACIÓN E INGENIERÍA DEL CONOCIMIENTO

Universidad de Sevilla