Multiattribute indexing with m-Q-trees. - Antonio Polo Márquez; Juan Carlos Manzano; Miryam Salas Sánchez; Marisol Sánchez; Elena Jurado; Manuel Barrena García; Juan Hernández Núñez; Juan-Miguel Martínez 002 (PDP, 1998)

Simulación del comportamiento en entornos de cooperación de objetos activos mediante Maude. - Marisol Sánchez; Juan Manuel Murillo; Amparo Navasa Martínez; Miguel A. Pérez 001; Antonio Polo Márquez (JISBD, 1999)

Guaranteeing Coherent Software Systems when Composing Coordinated Components. - Marisol Sánchez; José Luis Herrero; Juan Manuel Murillo; Juan Hernández Núñez (COORDINATION, 2000)

Eficiencia o adaptabilidad: Factores de calidad. - José Luis Herrero; Marisol Sánchez; Fernando Sánchez; Miguel Toro (JISBD, 2000)

Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas. - Marisol Sánchez; José Luis Herrero (JISBD, 2001)

Propuesta de un Profile de Aspectos en UML. - José Luis Herrero; Marisol Sánchez; Fernando Sánchez; Miguel Toro (JISBD, 2002)

CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment. - Marisol Sánchez; Pedro J. Clemente; Juan Manuel Murillo; Juan Hernández Núñez (LDTA@ETAPS, 2003)