Publications

Export 137 results:
Author Title Type [ Year(Desc)]
Filters: Author is Inmaculada Medina-Bulo  [Clear All Filters]
1999
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.
2000
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.
F. Palomo-Lozano, Alonso-Jiménez, J. A., and Medina-Bulo, I., Reasoning about matrix arithmetic in ACL2, Workshop AOC. Lyon (France), 2000.
2001
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.
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, 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 Alonso-Jiménez, J. - A., A certified polynomial-based decision procedure for propositional logic, Lecture Notes in Computer Science, vol. 2152, p. 312, 2001.
G. Aburruzaga-García, Medina-Bulo, I., and Palomo-Lozano, F., Fundamentos de C++. Primera edición. Cádiz: Servicio de publicaciones de la Universidad de Cádiz, 2001.
2002
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, 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.
2008
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., An Architecture for Dynamic Invariant Generation in WS-BPEL Web Service Compositions, in Proceedings of {ICE-B} 2008 - International Conference on e-Business, Porto, Portugal, 2008, pp. 37–44.
A. García-Domínguez, Palomo-Duarte, M., and Medina-Bulo, I., Implementación de un framework para la generación dinámica de invariantes en composiciones de servicios web con WS-BPEL, in Actas de las {IV} Jornadas Científico-Técnicas en Servicios Web y {SOA}, Sevilla, Spain, 2008, pp. 91–96.
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., Improving Takuan to analyze a meta-search engine WS-BPEL composition, in Proceedings of the 4th {IEEE} International Symposium on Service-Oriented System Engineering, Jhongli, Taiwan, 2008, pp. 109–114.
J. J. Domínguez-Jiménez, Estero-Botaro, A., and Medina-Bulo, I., Mutant Generation for Web Services Compositions with Genetic Algorithms, Proceedings of the IASK International Conference Teaching and Learning 2008, Madrid, Spain. 2008.
A. Estero-Botaro, Palomo-Lozano, F., and Medina-Bulo, I., Mutation operators for WS-BPEL 2.0, Proceedings of 21st edition of the International Conference on Software & Systems Engineering and their Applications (ICSSEA 2008), París, France. 2008.
A. Estero-Botaro, Palomo-Lozano, F., and Medina-Bulo, I., Operadores de mutación para WS-BPEL 2.0, Actas de Talleres de Ingeniería del Software y Bases de Datos" (PRIS08). Taller celebrado en el marco de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain. 2008.
M. Palomo-Duarte, García-Domínguez, A., and Medina-Bulo, I., Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions, in Proceedings of the 6th {IEEE} European Conference on Web Services, Dublin, Ireland, 2008, pp. 63–72.
J. J. Domínguez-Jiménez, Estero-Botaro, A., and Medina-Bulo, I., Una arquitectura para la prueba de mutaciones de composiciones de servicios web basada en algoritmos genéticos, Actas de Talleres de Ingeniería del Software y Bases de Datos" (PRIS08). Taller celebrado en el marco de las XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), Gijón, Spain. 2008.

Pages