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 fields papers by Xiangbin Wang are about Top journals papers by Anjali Desai are published in Top journals papers by Hisashi Yamasaki are published in Top countries impacted by papers by Xianjie Wen Top authors papers by Ari Lehtinen are co-authored with Top fields papers by Ningjie Fang are about Top fields papers by R. Bédry are about Top authors papers by Bo‐Mei Liu are co-authored with