Anders P. Ravn
About
Anders P. Ravn has authored 47 papers that have received a total of 593 indexed citations.
This includes 25 papers in Hardware and Architecture, 21 papers in Computational Theory and Mathematics and 13 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (20 papers), Real-Time Systems Scheduling (20 papers) and Embedded Systems Design Techniques (15 papers). Anders P. Ravn is often cited by papers focused on Formal Methods in Verification (20 papers), Real-Time Systems Scheduling (20 papers) and Embedded Systems Design Techniques (15 papers) and collaborates with scholars based in Denmark, United States and China. Anders P. Ravn's co-authors include Hans Rischel, Martin Schoeberl, Thomas Bak, Roozbeh Izadi‐Zamanabadi and V. Stavridou and has published in prestigious journals such as IEEE Transactions on Software Engineering, Control Engineering Practice and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Honghua Zhao Breakdown of academic impact, for papers by Kayla Yano Breakdown of academic impact, for papers by Aleksandra Wolińska‐Grabczyk Breakdown of academic impact, for papers by C.W. Duncan Breakdown of academic impact, for papers by Siti Zaharah Sakimin Breakdown of academic impact, for papers by Takahiro Igarashi Breakdown of academic impact, for papers by Xinyang Zhang Breakdown of academic impact, for papers by Masaaki Ozawa