Heinz Riener
About
Heinz Riener has authored 26 papers that have received a total of 161 indexed citations.
This includes 16 papers in Computational Theory and Mathematics, 11 papers in Electrical and Electronic Engineering and 10 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 papers), Software Testing and Debugging Techniques (6 papers) and Quantum Computing Algorithms and Architecture (5 papers). Heinz Riener is often cited by papers focused on Formal Methods in Verification (13 papers), Software Testing and Debugging Techniques (6 papers) and Quantum Computing Algorithms and Architecture (5 papers) and collaborates with scholars based in Switzerland, Germany and United States. Heinz Riener's co-authors include Giovanni De Micheli, Mathias Soeken, Alan Mishchenko, Görschwin Fey and Eleonora Testa and has published in prestigious journals such as Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by S. Ragazzi are about Top authors papers by Ken Arimura are co-authored with Top authors papers by Chiara Rossitto are co-authored with Top countries impacted by papers by Nofel Lagrosas Top fields papers by Vladimir G. Radchenko are about Top authors papers by C Laroche are co-authored with Top authors papers by Мykola Zos–Kior are co-authored with Top countries impacted by papers by Don H. Doyle