Swann Perarnau

9 papers and 40 indexed citations i.

Swann Perarnau has authored 9 papers that have received a total of 40 indexed citations. This includes 5 papers in Computer Networks and Communications, 4 papers in Hardware and Architecture and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Parallel Computing and Optimization Techniques (4 papers), Cloud Computing and Resource Management (3 papers) and Formal Methods in Verification (2 papers). Swann Perarnau is often cited by papers focused on Parallel Computing and Optimization Techniques (4 papers), Cloud Computing and Resource Management (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, France and Spain. Swann Perarnau's co-authors include Leonardo Bautista-Gomez, Radu Iosif, Kazutomo Yoshii, Allen D. Malony and Marius Bozga and has published in prestigious journals such as Lecture notes in computer science and Journal of Automated Reasoning