| Especificación de un modelo de referencia arquitectural de software a nivel de configuración, estructura y comportamiento HA Diosa PhD o thesis, Universidad del Valle. Doctorado en Ingeniería con Enfasis en …, 2008 | 5 | 2008 |
| Deconstructing GAs into visual software components LP Garzón-Rodriguez, HA Diosa, S Rojas-Galeano Proceedings of the Companion Publication of the 2015 Annual Conference on …, 2015 | 4 | 2015 |
| Towards a component-based software architecture for genetic algorithms LG Rodríguez, HA Diosa, S Rojas-Galeano 2014 9th Computing Colombian Conference (9CCC), 1-6, 2014 | 3 | 2014 |
| Especificación formal de arquitecturas de software basadas en componentes: chequeo de corrección con cálculo− Parq HA Diosa, JFD Frías, CMG Cuevas Revista Científica, 156-171, 2010 | 3 | 2010 |
| The Kite Model for Assessment of Academic Software Products HA Diosa, SR Galeano, M Melgarejo Revista de ingeniería, Universidad Distrital Francisco José de Caldas 18 (2), 2013 | 2 | 2013 |
| Publicación web de trabajos de investigación usando Lenguaje de Marcado Extensible HA Diosa Ingeniería 6 (2), 35-41, 2001 | 2 | 2001 |
| La universidad que vivimos... una ruta para lograr la universidad que soñamos... H Diosa Ingeniería 19 (1), 2014 | 1 | 2014 |
| Una arquitectura de software para la gestión de historias clínicas electrónicas soportada en tecnologías web HA Diosa, CAI Peña, TB González Ingeniería 7 (2), 39-44, 2002 | 1 | 2002 |
| Linear Temporal Logic Applied to Component-Based Software Architectural Models Specified Through Calculus OJ Puentes, HA Diosa Workshop on Engineering Applications, 393-405, 2018 | | 2018 |
| PintArq: A Visualizer of Architectural Execution Flow for Component-Based Software Architectures JAR García, HA Diosa Workshop on Engineering Applications, 15-26, 2016 | | 2016 |
| Methodological hybrid SOA+ CBSD for services oriented software development CDA Maldonado, LAC Nieto, DSP Cala, HA Diosa 2015 10th Computing Colombian Conference (10CCC), 86-92, 2015 | | 2015 |
| 1. Justificación HA Diosa | | 2010 |
| FACULTAD DE INGENIERÍA CONSEJO DE MAESTRÍA MAESTRÍA EN CIENCIAS DE LA INFORMACION Y LAS COMUNICACIONES ACTA No. 044-2010 HA DIOSA UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS, 2010 | | 2010 |
| Simulacion de un entorno socio-economico de abastecimiento alimentario usando agentes de software y sistemas suaves LFG Munoz, JDV Gutiérrez, HA Diosa | | |
| Simulation of agri-food socioeconomic settings using soft systems and software agents LFG Munoz, JDV Gutiérrez, HA Diosa | | |
| Especificación Formal de Arquitecturas de Software Basadas en Componentes: Chequeo de corrección con HA Diosa, CM Gaona | | |
| The KITE Model for Assessment of Academic Software Products MA Melgarejo Rey, HA Diosa, SA Rojas Galeano Universidad Distrital Francisco José de Caldas, 0 | | |
| Formal Specification of Component-Based Software Architectures: Correctness Checking with Parq− Calculus CM Gaona Cuevas, JF Díaz Frías, HA Diosa Universidad Distrital Francisco José de Caldas, 0 | | |
| The university we live: A path to the university we dream. H Diosa Universidad Distrital Francisco José de Caldas, 0 | | |
| UNA REVISIÓN CONCEPTUAL AL CALCULO− π HA DIOSA | | |
