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 countries impacted by papers by Raghavendra L. S. Hallur Top fields papers by Rita de Cássia Helú Mendonça Ribeiro are about Top fields papers by Daria Fomina are about Top journals papers by Nabanita Das are published in Top authors papers by Roman Prokop are co-authored with Top countries impacted by papers by Fei Peng Top fields papers by Muhammad Imran are about Top countries impacted by papers by Misbahuddin Khaja