Extending LOTOS towards performance evaluation. - Carlos Miguel; Angel Fernández; Leon Vidaller (FORTE, 1992)

Development of Satellite Communication Networks Based on LOTOS. - Angel Fernández; Carlos Miguel; Leon Vidaller; Juan Quemada (PSTV, 1992)

A LOTOS Based Performance Evaluation Tool. - Carlos Miguel; Angel Fernández; J. M. Ortuño; Leon Vidaller (Comput. Networks ISDN Syst., 1993)

LOTOS Extended with Probablistic Behaviours. - Carlos Miguel; Angel Fernández; Leon Vidaller (Formal Aspects Comput., 1993)

FDDI Performance Evaluation Based on LOTOS Formal Description Tecnique. - Antonio Martínez Maz; Carlos Miguel; E. Pérez; Angel Fernández (HPN, 1994)

Multimedia Systems Based on Satellite Technology. - Francisco Javier Ruiz Piñar; Angel Fernández; Carlos Miguel; Leon Vidaller; Antonio Martínez Mas; Juan Antonio Carral Pelayo (Comput. Networks, 1998)

Scalable architecture and evaluation for multiparty conferencing over satellite links. - Zhili Sun; Dan He 002; Haitham S. Cruickshank; Lei Liang 006; Antonio Sánchez-Esguevillas; Carlos Miguel; Vincenzo Schena; Clementina Tocci; Belén Carro (IEEE J. Sel. Areas Commun., 2004)

A DTN System for Nanosatellite-based Sensor Networks using a New ALOHA Multiple Access with Gateway Priority. - Hector Bedon; Carlos Miguel; Angel Fernández; Jong Sou Park (Smart Comput. Rev., 2013)

Message fragmentation assessment in DTN nanosatellite-based sensor networks. - Hector Bedon; Carlos Miguel; Ramón Alcarria; Angel Fernández; Fco. Javier Ruiz (Ad Hoc Networks, 2016)

A Hardware-Supported Algorithm for Self-Managed and Choreographed Task Execution in Sensor Networks. - Borja Bordel; Carlos Miguel; Ramón Alcarria; Tomás Robles 001 (Sensors, 2018)

MF-TDMA Scheduling Algorithm for Multi-Spot Beam Satellite Systems Based on Co-Channel Interference Evaluation. - Juan Manuel Rodriguez Bejarano; Carlos Miguel; Francisco Javier Ruiz Piñar (IEEE Access, 2019)

Automatic Evaluation and Comparison of Pub/Sub Systems Performance Improvements. - Víctor Rampérez; Javier Soriano 001; David Lizcano; Carlos Miguel (J. Web Eng., 2022)

A deep encoder-decoder for surrogate modelling of liquid moulding of composites. - Joaquín Fernández-León; Keayvan Keramati; Carlos Miguel; Carlos González; Luis Baumela (Eng. Appl. Artif. Intell., 2023)