Publications

Export 228 results:
[ Author(Desc)] Title Type Year
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, 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, 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, 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, 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., 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, Verificación formal en ACL2 del algoritmo de Buchberger. Proquest Information and Learning, p. 338, 2004.
J. Daniel Morcillo-Regueiro, Estero-Botaro, A., and García-Domínguez, A., Interfaz gráfica para MuBPEL, Universidad de Cádiz, Cádiz, Spain, 2011.
O
G. Ortiz and García-de-Prado, A., Improving device-aware Web services and their mobile clients through an aspect-oriented, model-driven approach, Information and Software Technology, vol. 52, p. 1093, 2010.
G. Ortiz, Boubeta-Puig, J., and Brenes-Ureba, A., Context-Aware Leisure Service: A Case-Study based on a SOA 2.0 Infrastructure, in Proceedings of The Ninth International Conference on Internet and Web Applications and Services, Paris, France, 2014.
G. Ortiz and García-de-Prado, A., Adapting Web Services for Multiple Devices: A Model-Driven, Aspect-Oriented Approach, in Proceedings of the 2009 Congress on Services - I, Washington, {DC}, {USA}, 2009.
G. Ortiz, Hernández, J., and Clemente, P., Reusable Web service composition patterns and their extra-funcional properties, International Journal of computer systems science and engineering, vol. 21, no. 4, p. 313, 2006.
G. Ortiz and García-de-Prado, A., Una Adaptación Unificada para Servicios Web, in {VI} Jornadas Científico-Técnicas en Servicios Web y {SOA}, Valencia, 2010.
G. Ortiz and García-de-Prado, A., Towards Adapting Web Services for Multiple Devices, in Fourth International Conference on Internet and Web Applications and Services, 2009. {ICIW} '09, 2009.
G. Ortiz, Improving cross-curricular skills in Web services: Virtual vs. Attendance environments, International Journal on advances in life sciences, vol. 1, no. 4, p. 121, 2009.
G. Ortiz, Hernández, J., and Clemente, P., Preparing and re-using Web services for choreography, International Journal of Web engineering and technology, p. 334, 2006.
G. Ortiz, Peinado, S., de Prado, A. García, and Boubeta-Puig, J., MoDAS: Methodology and Tool for Model Driven Adaptable Services, in Service-{Oriented} {Computing} - {ICSOC} 2014 {Workshops}, 1st ed., vol. 8954, F. Toumani, Pernici, B., Grigori, D., Benslimane, D., Mendling, J., Ben Hadj-Alouane, N., Blake, B., Perrin, O., Saleh, I., and Bhiri, S. Switzerland: Springer International Publishing, 2015, pp. 32–43.
G. Ortiz and García-de-Prado, A., Web Service Adaptation: A Unified Approach Versus Multiple Methodologies for Different Scenarios, in Proceedings of the 2010 Fifth International Conference on Internet and Web Applications and Services, Washington, DC, USA, 2010.
G. Ortiz and Hernández, J., Aspect-oriented techniques for Web services: a model-driven approach, International Journal of business process integration and management (on line), p. 152, 2007.
G. Ortiz, Cruz, S. Peinado, and Sánchez, M. Jesús Rod, Un caso de Estudio para la Adaptación de Servicios Web al Dispositivo, Madrid, Spain, 2013, pp. 81–94.
G. Ortiz, Comai, S., Preciado, J. - C., Linaje, M., and Sánchez-Figueroa, F., A system for teaching Web engineering concepts in a supervised way using rich internet applications, International Journal on Learning Technology, p. 23, 2009.
G. Ortiz and García-de-Prado, A., Improving Device-Aware Web Services and their Mobile Clients, in {VII} Jornadas de Ciencia e Ingeniería de Servicios, La Coruña , 2011.
G. Ortiz and Hernández, J., Model-driven extra-funcional property develpment for Web services: a case study from the service and client side perspectives, The European Journal for the informatic professional (upgrade), 2006.
G. Ortiz and Boubeta-Puig, J., Special Issue on Service-Oriented Architecture in the Era of Big Data, International Journal of Systems and Service-Oriented Engineering, vol. 5, p. v–viii, 2015.
G. Ortiz and García-de-Prado, A., Mobile-Aware Web Services, in Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, 2009. {UBICOMM} '09, 2009.

Pages