Raimund Kirner
About
Raimund Kirner has authored 50 papers that have received a total of 226 indexed citations.
This includes 41 papers in Hardware and Architecture, 19 papers in Computer Networks and Communications and 19 papers in Computational Theory and Mathematics. The topics of these papers are Real-Time Systems Scheduling (36 papers), Embedded Systems Design Techniques (28 papers) and Formal Methods in Verification (13 papers). Raimund Kirner is often cited by papers focused on Real-Time Systems Scheduling (36 papers), Embedded Systems Design Techniques (28 papers) and Formal Methods in Verification (13 papers) and collaborates with scholars based in United Kingdom, Austria and Pakistan. Raimund Kirner's co-authors include Peter Puschner, Martin Schoeberl, Bernhard Rieder, Ibrahim Al-Shourbaji and Athanasios Tsokanos and has published in prestigious journals such as IEEE Access, IEEE Transactions on Industrial Informatics and IEEE/ACM Transactions on Networking
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Natalya Kizilova are co-authored with Top countries impacted by papers by Carlos Martínez‐Murillo Top fields papers by Silvana Silveira Kempfer are about Top countries impacted by papers by Junji Ueno Top fields papers by Hussam Ali are about Top authors papers by Luboš Komárek are co-authored with Top countries impacted by papers by Ziad Dahdouh Top countries impacted by papers by Sergey A. Rashkovskiy