Improving Eiffel Assertions Using Quantiefied Iterators. - Miguel Katrib; Jesüs Coira (J. Object Oriented Program., 1997)

Synchronizing Java Threads Using Assertions. - Miguel Katrib; Damián Fernández; Ernesto Pimentel 001 (TOOLS (31), 1999)

Java Distributed Separate Objects. - Miguel Katrib; Iskander Sierra; Mario del Valle; Thaizel Fuentes (J. Object Technol., 2002)

C# y la programación en .Net. - Miguel Katrib (CIbSE, 2005)

Adaptación y Reutilización de Componentes Distribuidos. - Miguel Katrib; Jose Luis Pastrana; Ernesto Pimentel 001 (CIbSE, 2005)

Innovaciones en los lenguajes C# 2.0 y el futuro C#3.0. - Miguel Katrib (CIbSE, 2006)

Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (CIbSE, 2006)

Un Perfil UML para la definición de Componentes Inteligentes. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (CIbSE, 2007)

Composition of Self-Adapting Components for Customizable Systems. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (Comput. J., 2008)

Evolución de la Programación y sus Nuevos Retos. - Miguel Katrib (CIbSE, 2010)

Weboo Spaces: Un Enfoque SOA a un Espacio de Tupla. - Leonardo Paneque; Miguel Katrib (CIbSE, 2010)

HAMLET: Heterogeneous Application Middleware Layer for Extensive Tasks. - Leonardo Paneque; Miguel Katrib (CIbSE, 2011)

QoS-enabled and self-adaptive connectors for Web Services composition and coordination. - Jose Luis Pastrana; Ernesto Pimentel 001; Miguel Katrib (Comput. Lang. Syst. Struct., 2011)

Integración de servicios de datos distribuidos y su utilización eficiente en computadoras multi-núcleo. - Alejandro Tamayo; Miguel Katrib (CIbSE, 2012)