Publications
Export 21 results:
[ Author
] Title Type Year Filters: Author is Inmaculada Medina-Bulo [Clear All Filters]
, “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.
, La biblioteca estándar de C. Cádiz: Universidad de Cádiz, 1998.
, “A certified algorithm for translating formulas into polynomials. An ACL2 approach”, International Joint Conference on Automated Reasoning (CADE + FTP + TABLEAUX) , Siena (Italy). 2001.
, “A framework for mutant genetic generation for WS-BPEL”, Lecture Notes in Computer Science, vol. 5404, p. 240, 2009.
, “Verified Computer Algebra in Acl2 (Gröbner Bases Computation)”, in Artificial Intelligence and Symbolic Computation, vol. 3249, Springer Berlin Heidelberg, 2004, pp. 171-184.
, “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.
, Lambda-Cálculo clásico: estrategias de reducción. Departamento de Ciencias de la Computación e Inteligencia Artificial. Universidad de Sevilla, 1999.
, “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.
, “A verified common LISP implementation of Buchberger's algorithm in ACL2”, Journal of Symbolic Computation, London, United Kingdom, no. 45, pp. 96-123, 2010.
, “Automated Verification of Buchberger's Algorithm”, Journal of Symbolic Computation, vol. 45, pp. 96-123, 2010.
, “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.
, “A certified polynomial-based decision procedure for propositional logic”, Lecture Notes in Computer Science, vol. 2152, p. 312, 2001.
, “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.
, Verificación formal en ACL2 del algoritmo de Buchberger. Proquest information and learning, 2004.
, “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.
, “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.
, “Verified computer algebra in ACL2 (Grobner bases computation)”, Lecture Notes in Computer Science, vol. 3249, p. 184, 2004.
, “Verificación formal en ACL2 del algoritmo de Buchberger”. Proquest Information and Learning, p. 338, 2004.
, Por fin, C ISO: un curso de C estándar. Cádiz: Universidad de Cádiz, 1998.
, “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.
, “Proposal of methodology for implementing a service-oriented architecture in distributed manufacturing systems”, AIP conference proceedings, vol. 1181, p. 632, 2009.