Publications

Export 21 results:
[ Author(Desc)] Title Type Year
Filters: Author is Medina-Bulo, Inmaculada  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
I. Medina-Bulo, García-Domínguez, A., Aguayo-González, F., Sevilla-Hurtado, L., and Marcos-Bárcena, M., Proposal of methodology for implementing a service-oriented architecture in distributed manufacturing systems, AIP conference proceedings, vol. 1181, p. 632, 2009.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jimenez, J. A., Implementation in Acl2 of Well-Founded Polynomial Orderings, The European Joint Conferences on Theory and Practice of Software (ETAPS). Grenoble (France), pp. 66-67, 2002.
I. Medina-Bulo, Palomo-Lozano, F., and Aburruzaga-García, G., La biblioteca estándar de C. Cádiz: Universidad de Cádiz, 1998.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., A certified algorithm for translating formulas into polynomials. An ACL2 approach, International Joint Conference on Automated Reasoning (CADE + FTP + TABLEAUX) , Siena (Italy). 2001.
I. Medina-Bulo, Estero-Botaro, A., and Domínguez-Jiménez, J. J., A framework for mutant genetic generation for WS-BPEL, Lecture Notes in Computer Science, vol. 5404, p. 240, 2009.
I. Medina-Bulo, Palomo-Lozano, F., Alonso-Jiménez, J. A., and Ruiz-Reina, J. L., Verified Computer Algebra in Acl2 (Gröbner Bases Computation), in Artificial Intelligence and Symbolic Computation, vol. 3249, Springer Berlin Heidelberg, 2004, pp. 171-184.
I. Medina-Bulo, Gutiérrez-Madroñal, L., and Domínguez-Jiménez, J. J., Propuesta de optimización en la prueba de mutaciones en Java, V Taller sobre pruebas en Ingeniería del Software (PRIS 2010), Valencia, Comunidad Valenciana, España. 2010.
I. Medina-Bulo and Riscos-Fernández, A., Lambda-Cálculo clásico: estrategias de reducción. Departamento de Ciencias de la Computación e Inteligencia Artificial. Universidad de Sevilla, 1999.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., A certified polynomial-based decision procedure for propositional logic, Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOL 2001), Edinburgh (Scotland), vol. LNCS 2152. pp. 297-312, 2001.
I. Medina-Bulo, Palomo-Lozano, F., and Ruiz-Reina, J. - L., A verified common LISP implementation of Buchberger's algorithm in ACL2, Journal of Symbolic Computation, London, United Kingdom, no. 45, pp. 96-123, 2010.
I. Medina-Bulo, Palomo-Lozano, F., and Ruiz-Reina, J. L., Automated Verification of Buchberger's Algorithm, Journal of Symbolic Computation, vol. 45, pp. 96-123, 2010.
I. Medina-Bulo, Domínguez-Jiménez, J. J., and Estero-Botaro, A., Un sistema para la generación automática de mutantes de composiciones WS-BPEL, Actas de las V Jornadas Científico-Técnicas en Servicios WEB y SOA (JSWEB 2009), Madrid, Spain. 2009.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. - A., A certified polynomial-based decision procedure for propositional logic, Lecture Notes in Computer Science, vol. 2152, p. 312, 2001.
I. Medina-Bulo, Alonso-Jimenez, J. A., and Palomo-Lozano, F., Algoritmos polinómicos en ACL2 (una aproximación al algoritmo de Buchberger), I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial (Conferencia Iberoamericana de Inteligencia artificial). Sevilla, Spain, 2002.
I. Medina-Bulo, Alonso-Jiménez, J. - A., and Ruiz-Reina, J. - L., Verificación formal en ACL2 del algoritmo de Buchberger. Proquest information and learning, 2004.
I. Medina-Bulo, García-Domínguez, A., González, F. Aguayo, Hurtado, L. Sevilla, and Bárcena, M. Marcos, Propuesta metodológica para la implementación de una arquitectura orientada a servicios en entornos de Sistemas de Fabricación Distribuida, in Actas del {III} Congreso Internacional de la Sociedad de Ingeniería de Fabricación, Alcoy, Spain, 2009, pp. 346–353.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., Automatic verification of polynomial rings fundamental properties in ACL2,, ACL2 Workshop 2000 Proceedings, vol. Part A. Universidad de Texas, Department of Computer Sciences. Technical Report TR--00--29, Austin (USA), pp. 136-155, 2000.
I. Medina-Bulo, Palomo-Lozano, F., Alonso-Jiménez, J. - A., and Ruiz-Reina, J. - L., Verified computer algebra in ACL2 (Grobner bases computation), Lecture Notes in Computer Science, vol. 3249, p. 184, 2004.
I. Medina-Bulo, Verificación formal en ACL2 del algoritmo de Buchberger. Proquest Information and Learning, p. 338, 2004.
I. Medina-Bulo, Palomo-Lozano, F., and Aburruzaga-García, G., Por fin, C ISO: un curso de C estándar. Cádiz: Universidad de Cádiz, 1998.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., Certification of matrix multiplication algorithms. Strassen's algorithm in ACL2,, 14th International Conference on Theorem Proving in Higher Order Logics. Division of Informatics, Edinburgh (Scotland), pp. 283-298, 2001.