Arne Skou
About
Arne Skou has authored 35 papers that have received a total of 668 indexed citations.
This includes 23 papers in Computational Theory and Mathematics, 16 papers in Hardware and Architecture and 11 papers in Software. The topics of these papers are Formal Methods in Verification (22 papers), Real-Time Systems Scheduling (14 papers) and Software Testing and Debugging Techniques (10 papers). Arne Skou is often cited by papers focused on Formal Methods in Verification (22 papers), Real-Time Systems Scheduling (14 papers) and Software Testing and Debugging Techniques (10 papers) and collaborates with scholars based in Denmark, United States and France. Arne Skou's co-authors include Kim G. Larsen, Alexandre David, Marius Mikučionis, Michele Albano and Ulrik Nyman and has published in prestigious journals such as Computer, Lecture notes in computer science and Journal of Building Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Zheyu Zhang are co-authored with Top fields papers by Joseph D. Reid are about Top fields papers by Marika Rossi are about Top countries impacted by papers by Jimin He Top authors papers by Gi Woong Yun are co-authored with Top authors papers by R. Bédry are co-authored with Top countries impacted by papers by Taiichiro Meguro Top authors papers by Konstantina Kyritsi are co-authored with