Guillermo Rodríguez-Navas

22 papers and 160 indexed citations i.

Guillermo Rodríguez-Navas has authored 22 papers that have received a total of 160 indexed citations. This includes 14 papers in Computer Networks and Communications, 11 papers in Hardware and Architecture and 8 papers in Computational Theory and Mathematics. The topics of these papers are Real-Time Systems Scheduling (11 papers), Distributed systems and fault tolerance (9 papers) and Formal Methods in Verification (5 papers). Guillermo Rodríguez-Navas is often cited by papers focused on Real-Time Systems Scheduling (11 papers), Distributed systems and fault tolerance (9 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in Sweden, Spain and Portugal. Guillermo Rodríguez-Navas's co-authors include Hans Hansson, Julián Proenza, Cristina Seceleanu, Luís Almeida and Wilfried Steiner and has published in prestigious journals such as IEEE Transactions on Industrial Informatics, IEEE Transactions on Software Engineering and International Journal of Electrical Power & Energy Systems.