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 journals papers by Weihong Liang are published in Top fields papers by Shoichi Minota are about Top authors papers by Wang Fen are co-authored with Top fields papers by Chelsea M. Heveran are about Top journals papers by Lauren Takahashi are published in Top countries impacted by papers by Pavel Dubský Top authors papers by John D. Lauzon are co-authored with Top authors papers by Junfang Zhao are co-authored with