Software Tools in Logic Education: Some Examples. - Belén Pérez Lancho; Elena Jorge; Ana de la Viuda; Raquel Sanchez (Log. J. IGPL, 2007)

DSMeM Streaming: distributed system to mitigate the effects of performance anomaly and user mobility on IEEE 802.11 WLANs. - Manuel Vilas; Raquel Sanchez; Xabiel G. Pañeda; David Melendi; Roberto García 002; Víctor G. García (Wirel. Networks, 2010)

Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. - Raquel Sanchez; Javier Troya; Javier Cámara 001 (SEAMS@ICSE, 2024)