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
Top authors papers by Jingyi Liu are co-authored with Top journals papers by Shulin Wu are published in Top authors papers by Antonio De Donno are co-authored with Top fields papers by Estelle Herrscher are about Top fields papers by Houston H. Stokes are about Top fields papers by Lu Pan are about Top fields papers by Patra Vezyraki are about Top journals papers by George Stalidis are published in